Module

Test.QuickCheck.Laws.Control.Comonad

#checkComonad

checkComonad :: forall w. Comonad w => Arbitrary (w A) => Coarbitrary (w A) => Eq (w A) => Proxy w -> Effect Unit
  • Left Identity: extract <<= x = x
  • Right Identity: extract (f <<= x) = f x

#checkComonadGen

checkComonadGen :: forall w. Comonad w => Eq (w A) => Gen (w A) -> Gen (w A -> B) -> Effect Unit

Modules