Module

Test.Abides.Data.Eq

#symmetry 

symmetry :: forall a. Eq a => a -> a -> Boolean

x == y => y == x?

#transitive 

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

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

#negation 

negation :: forall a. Eq a => a -> a -> Boolean

x /= y => not (x == y)

Re-exports from Test.Abides.Properties

#reflexive 

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

x == x?

Modules