Module
Test.StrongCheck.Laws.Control.Extend
- Package
- purescript-strongcheck-lawsDEPRECATED
- Repository
- garyb/purescript-strongcheck-laws
#checkExtend Source
checkExtend :: forall w. Extend w => Arbitrary (w A) => Coarbitrary (w A) => Coarbitrary (w B) => Eq (w C) => Proxy2 w -> Effect Unit- Associativity:
extend f <<< extend g = extend (f <<< extend g)
- 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