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

Safe Haskell	Safe
Language	Haskell2010

Test.Abides.Data.Ord

Synopsis

reflexive :: Ord a => a -> Bool
antisymmetry :: Ord a => a -> a -> Bool
transitive :: Ord a => a -> a -> a -> Bool

Documentation

reflexive :: Ord a => a -> Bool Source #

x <= x?

antisymmetry :: Ord a => a -> a -> Bool Source #

x y && y <= x = x == y

transitive :: Ord a => a -> a -> a -> Bool Source #

x y && y <= z = x <= z