Module

Test.StrongCheck.Laws.Control.Comonad

Package
purescript-strongcheck-laws
Repository
garyb/purescript-strongcheck-laws

#checkComonad Source

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