lawz-0.1.1: Common mathematical laws.

Safe HaskellSafe
LanguageHaskell2010

Test.Relation

Documentation

module Test.Relation.Transitive

module Test.Relation.Symmetric

module Test.Relation.Reflexive

module Test.Relation.Connex