Module

Test.Abides.Data.Ord

#reflexive 

reflexive :: forall a. Ord a => a -> Boolean

x <= x?

#antisymmetry 

antisymmetry :: forall a. Ord a => a -> a -> Boolean

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

#transitive 

transitive :: forall a. Ord a => a -> a -> a -> Boolean

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

Modules