Module
Test.StrongCheck.Laws.Data
- Package
- purescript-strongcheck-lawsDEPRECATED
- Repository
- garyb/purescript-strongcheck-laws
Re-exports from Test.StrongCheck.Laws.Data.BooleanAlgebra
#checkBooleanAlgebra Source
checkBooleanAlgebra :: forall a. Arbitrary a => BooleanAlgebra a => Eq a => Proxy a -> Effect Unit
- Excluded middle:
a || not a = tt
Re-exports from Test.StrongCheck.Laws.Data.Bounded
Re-exports from Test.StrongCheck.Laws.Data.CommutativeRing
#checkCommutativeRing Source
checkCommutativeRing :: forall a. CommutativeRing a => Arbitrary a => Eq a => Proxy a -> Effect Unit
- Commutative multiplication:
a * b = b * a
Re-exports from Test.StrongCheck.Laws.Data.DivisionRing
#checkDivisionRing Source
checkDivisionRing :: forall a. DivisionRing a => Arbitrary a => Eq a => Proxy a -> Effect Unit
Non-zero ring: one /= zero Non-zero multiplicative inverse: recip a * a = a * recip a = one for all non-zero a
Re-exports from Test.StrongCheck.Laws.Data.Eq
Re-exports from Test.StrongCheck.Laws.Data.EuclideanRing
#checkEuclideanRing Source
checkEuclideanRing :: forall a. EuclideanRing a => Arbitrary a => Eq a => Proxy a -> Effect Unit
- Integral domain:
a /= 0
andb /= 0
impliesa * b /= 0
- Multiplicative Euclidean function:
a = (a / b) * b + (a `mod` b)
wheredegree a > 0
anddegree a <= degree (a * b)
Re-exports from Test.StrongCheck.Laws.Data.Field
Re-exports from Test.StrongCheck.Laws.Data.Functor
Re-exports from Test.StrongCheck.Laws.Data.HeytingAlgebra
#checkHeytingAlgebra Source
checkHeytingAlgebra :: forall a. Arbitrary a => HeytingAlgebra a => Eq a => Proxy a -> Effect Unit
- Associativity:
a || (b || c) = (a || b) || c
a && (b && c) = (a && b) && c
- Commutativity:
a || b = b || a
a && b = b && a
- Absorption:
a || (a && b) = a
a && (a || b) = a
- Idempotent:
a || a = a
a && a = a
- Identity:
a || ff = a
a && tt = a
- Implication:
a `implies` a = tt
a && (a `implies` b) = a && b
b && (a `implies` b) = b
a `implies` (b && c) = (a `implies` b) && (a `implies` c)
- Complemented:
not a = a `implies` ff
Re-exports from Test.StrongCheck.Laws.Data.Monoid
Re-exports from Test.StrongCheck.Laws.Data.Ord
Re-exports from Test.StrongCheck.Laws.Data.Ring
Re-exports from Test.StrongCheck.Laws.Data.Semigroup
Re-exports from Test.StrongCheck.Laws.Data.Semiring
#checkSemiring Source
checkSemiring :: forall a. Semiring a => Arbitrary a => Eq a => Proxy a -> Effect Unit
- Commutative monoid under addition:
- Associativity:
(a + b) + c = a + (b + c)
- Identity:
zero + a = a + zero = a
- Commutative:
a + b = b + a
- Associativity:
- Monoid under multiplication:
- Associativity:
(a * b) * c = a * (b * c)
- Identity:
one * a = a * one = a
- Associativity:
- Multiplication distributes over addition:
- Left distributivity:
a * (b + c) = (a * b) + (a * c)
- Right distributivity:
(a + b) * c = (a * c) + (b * c)
- Left distributivity:
- Annihiliation:
zero * a = a * zero = zero
- Modules
- Test.
StrongCheck. Laws - Test.
StrongCheck. Laws. Control - Test.
StrongCheck. Laws. Control. Alt - Test.
StrongCheck. Laws. Control. Alternative - Test.
StrongCheck. Laws. Control. Applicative - Test.
StrongCheck. Laws. Control. Apply - Test.
StrongCheck. Laws. Control. Bind - Test.
StrongCheck. Laws. Control. Category - Test.
StrongCheck. Laws. Control. Comonad - Test.
StrongCheck. Laws. Control. Extend - Test.
StrongCheck. Laws. Control. Monad - Test.
StrongCheck. Laws. Control. MonadPlus - Test.
StrongCheck. Laws. Control. MonadZero - Test.
StrongCheck. Laws. Control. Plus - Test.
StrongCheck. Laws. Control. Semigroupoid - Test.
StrongCheck. Laws. Data - Test.
StrongCheck. Laws. Data. BooleanAlgebra - Test.
StrongCheck. Laws. Data. Bounded - Test.
StrongCheck. Laws. Data. CommutativeRing - Test.
StrongCheck. Laws. Data. DivisionRing - Test.
StrongCheck. Laws. Data. Eq - Test.
StrongCheck. Laws. Data. EuclideanRing - Test.
StrongCheck. Laws. Data. Field - Test.
StrongCheck. Laws. Data. Functor - Test.
StrongCheck. Laws. Data. HeytingAlgebra - Test.
StrongCheck. Laws. Data. Monoid - Test.
StrongCheck. Laws. Data. Ord - Test.
StrongCheck. Laws. Data. Ring - Test.
StrongCheck. Laws. Data. Semigroup - Test.
StrongCheck. Laws. Data. Semiring