Module

Test.Abides.Data.BoundedEnum

Package
purescript-abides
Repository
athanclark/purescript-abides

#compareHom Source

compareHom :: forall a. BoundedEnum a => Ord a => a -> a -> Boolean

compare x y == compare (fromEnum x) (fromEnum y)

#predsucc Source

predsucc :: forall a. BoundedEnum a => Eq a => a -> Boolean

pred (succ x) == x

#succpred Source

succpred :: forall a. BoundedEnum a => Eq a => a -> Boolean

succ (pred x) == x