Module

Test.QuickCheck.Laws.Control.Extend

#checkExtend 

checkExtend :: forall w. Extend w => Arbitrary (w A) => Coarbitrary (w A) => Coarbitrary (w B) => Eq (w C) => Proxy w -> Effect Unit
  • Associativity: extend f <<< extend g = extend (f <<< extend g)

#checkExtendGen 

checkExtendGen :: forall w. Extend w => Arbitrary (w A) => Coarbitrary (w A) => Coarbitrary (w B) => Eq (w C) => Gen (w A) -> Gen (w B -> C) -> Gen (w A -> B) -> Effect Unit

Modules