abides-0.0.0: Simple boolean tests to see if a value abides by certain properties (Index)

abides-0.0.0: Simple boolean tests to see if a value abides by certain properties

Index

annihilation
1 (Function)	Test.Abides.Control.Alternative
2 (Function)	Test.Abides.Control.Monad
antisymmetry	Test.Abides.Data.Ord
associative
1 (Function)	Test.Abides.Control.Category
2 (Function)	Test.Abides.Control.Comonad
3 (Function)	Test.Abides.Control.Monad
4 (Function)	Test.Abides.Properties
5 (Function)	Test.Abides.Data.Semigroup
bounded	Test.Abides.Data.Bounded
commutative	Test.Abides.Properties
compareHom	Test.Abides.Data.Enum
composition
1 (Function)	Test.Abides.Control.Applicative
2 (Function)	Test.Abides.Data.Functor
constL	Test.Abides.Properties
constR	Test.Abides.Properties
distributive
1 (Function)	Test.Abides.Control.Alternative
2 (Function)	Test.Abides.Control.Monad
3 (Function)	Test.Abides.Properties
foldMap'	Test.Abides.Data.Foldable
idempotent	Test.Abides.Properties
identity
1 (Function)	Test.Abides.Control.Applicative
2 (Function)	Test.Abides.Control.Category
3 (Function)	Test.Abides.Data.Functor
leftIdentity
1 (Function)	Test.Abides.Control.Comonad
2 (Function)	Test.Abides.Control.Monad
3 (Function)	Test.Abides.Data.Monoid
negation	Test.Abides.Data.Eq
predsucc	Test.Abides.Data.Enum
reflexive
1 (Function)	Test.Abides.Data.Ord
2 (Function)	Test.Abides.Properties, Test.Abides.Data.Eq
rightIdentity
1 (Function)	Test.Abides.Control.Comonad
2 (Function)	Test.Abides.Control.Monad
3 (Function)	Test.Abides.Data.Monoid
succpred	Test.Abides.Data.Enum
symmetry	Test.Abides.Data.Eq
transitive
1 (Function)	Test.Abides.Data.Ord
2 (Function)	Test.Abides.Data.Eq