Module

Test.StrongCheck.Laws.Control.Extend

Package
purescript-strongcheck-laws
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)