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

Safe Haskell | None
Language | Haskell2010

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