Module

Test.QuickCheck.Laws.Control.Comonad

Package
purescript-quickcheck-laws
Repository
garyb/purescript-quickcheck-laws

#checkComonad Source

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