Module

Test.StrongCheck.Laws.Control.Comonad

Package
purescript-strongcheck-lawsDEPRECATED
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
Modules
Test.StrongCheck.Laws
Test.StrongCheck.Laws.Control
Test.StrongCheck.Laws.Control.Alt
Test.StrongCheck.Laws.Control.Alternative
Test.StrongCheck.Laws.Control.Applicative
Test.StrongCheck.Laws.Control.Apply
Test.StrongCheck.Laws.Control.Bind
Test.StrongCheck.Laws.Control.Category
Test.StrongCheck.Laws.Control.Comonad
Test.StrongCheck.Laws.Control.Extend
Test.StrongCheck.Laws.Control.Monad
Test.StrongCheck.Laws.Control.MonadPlus
Test.StrongCheck.Laws.Control.MonadZero
Test.StrongCheck.Laws.Control.Plus
Test.StrongCheck.Laws.Control.Semigroupoid
Test.StrongCheck.Laws.Data
Test.StrongCheck.Laws.Data.BooleanAlgebra
Test.StrongCheck.Laws.Data.Bounded
Test.StrongCheck.Laws.Data.CommutativeRing
Test.StrongCheck.Laws.Data.DivisionRing
Test.StrongCheck.Laws.Data.Eq
Test.StrongCheck.Laws.Data.EuclideanRing
Test.StrongCheck.Laws.Data.Field
Test.StrongCheck.Laws.Data.Functor
Test.StrongCheck.Laws.Data.HeytingAlgebra
Test.StrongCheck.Laws.Data.Monoid
Test.StrongCheck.Laws.Data.Ord
Test.StrongCheck.Laws.Data.Ring
Test.StrongCheck.Laws.Data.Semigroup
Test.StrongCheck.Laws.Data.Semiring