Module

Test.QuickCheck.Laws.Control.Extend

#checkExtend

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