abides-0.0.1: Simple boolean tests to see if a value abides by certain properties
Test.Abides.Data.Enum
compareHom :: Enum a => Ord a => a -> a -> Bool Source #
compare x y == compare (fromEnum x) (fromEnum y)
predsucc :: Enum a => Eq a => a -> Bool Source #
pred (succ x) == x
succpred :: Enum a => Eq a => a -> Bool Source #
succ (pred x) == x