abides-0.0.0: Simple boolean tests to see if a value abides by certain properties
Test.Abides.Data.Eq
reflexive :: Eq a => a -> Bool Source #
x == x?
symmetry :: Eq a => a -> a -> Bool Source #
x == y => y == x?
transitive :: Eq a => a -> a -> a -> Bool Source #
x == y && y == z => x == z
negation :: Eq a => a -> a -> Bool Source #
x /= y => not (x == y)