abides-0.0.1: Simple boolean tests to see if a value abides by certain properties

Safe Haskell	Safe
Language	Haskell2010

Test.Abides.Data.Enum

Synopsis

compareHom :: Enum a => Ord a => a -> a -> Bool
predsucc :: Enum a => Eq a => a -> Bool
succpred :: Enum a => Eq a => a -> Bool

Documentation

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