Test.SDP.Ord

Test.SDP.Ord provides basic test suite for Ord instances.

Ord test

type TestOrd l = l -> l -> l -> Bool

TestOrd is service type synonym for more comfortable quickCheck using.

ordTest :: Ord l => l -> l -> l -> Bool

ordTest is basic test suite for Ord instances.

Lexicographic test

lexicographicOrdTest :: (Linear l e, Ord l, Ord e) => l -> l -> Bool

lexicographicOrdTest checks Linear structures for lexicographic order.