Module

Test.Abides.Data.BoundedEnum

#compareHom 

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

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

#predsucc 

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

pred (succ x) == x

#succpred 

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

succ (pred x) == x

Modules