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

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

Index

additiveInverse	Test.Abides.Data.Ring
annihilation
1 (Function)	Test.Abides.Data.Semiring
2 (Function)	Test.Abides.Control.Monad
3 (Function)	Test.Abides.Control.Alternative
antisymmetry	Test.Abides.Data.Ord
associative
1 (Function)	Test.Abides.Control.Category
2 (Function)	Test.Abides.Control.Comonad
3 (Function)	Test.Abides.Properties
4 (Function)	Test.Abides.Data.Semigroup
5 (Function)	Test.Abides.Control.Monad
bounded	Test.Abides.Data.Bounded
commutative
1 (Function)	Test.Abides.Properties
2 (Function)	Test.Abides.Data.CommutativeRing
commutativeMonoid	Test.Abides.Data.Semiring
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.Properties
2 (Function)	Test.Abides.Control.Monad
3 (Function)	Test.Abides.Control.Alternative
distributive'	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
integralDomain	Test.Abides.Data.EuclideanRing
inverse	Test.Abides.Data.DivisionRing
leftDistributive	Test.Abides.Data.Semiring
leftIdentity
1 (Function)	Test.Abides.Control.Comonad
2 (Function)	Test.Abides.Data.Monoid
3 (Function)	Test.Abides.Control.Monad
monoid	Test.Abides.Data.Semiring
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
rightDistributive	Test.Abides.Data.Semiring
rightIdentity
1 (Function)	Test.Abides.Control.Comonad
2 (Function)	Test.Abides.Data.Monoid
3 (Function)	Test.Abides.Control.Monad
succpred	Test.Abides.Data.Enum
symmetry	Test.Abides.Data.Eq
transitive
1 (Function)	Test.Abides.Data.Ord
2 (Function)	Test.Abides.Data.Eq