genvalidity-property-1.0.0.0: Standard properties for functions on `Validity` types
Safe HaskellNone
LanguageHaskell2010

Test.Validity.Relations

Description

Properties of relations

Documentation

module Test.Validity.Relations.Antireflexivity

module Test.Validity.Relations.Antisymmetry

module Test.Validity.Relations.Reflexivity

module Test.Validity.Relations.Symmetry

module Test.Validity.Relations.Transitivity