Module

Test.QuickCheck.Laws.Control.Comonad

Package
purescript-quickcheck-laws
Repository
purescript-contrib/purescript-quickcheck-laws

#checkComonad Source

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 Source

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