Module

Test.QuickCheck.Laws.Control.Plus

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

#checkPlus Source

checkPlus :: forall f. Plus f => Arbitrary (f A) => Eq (f A) => Eq (f B) => Proxy f -> Effect Unit
  • Left identity: empty <|> x == x
  • Right identity: x <|> empty == x
  • Annihilation: f <$> empty == empty

#checkPlusGen Source

checkPlusGen :: forall f. Plus f => Eq (f A) => Eq (f B) => Gen (f A) -> Effect Unit
Modules
Test.QuickCheck.Laws
Test.QuickCheck.Laws.Control
Test.QuickCheck.Laws.Control.Alt
Test.QuickCheck.Laws.Control.Alternative
Test.QuickCheck.Laws.Control.Applicative
Test.QuickCheck.Laws.Control.Apply
Test.QuickCheck.Laws.Control.Bind
Test.QuickCheck.Laws.Control.Category
Test.QuickCheck.Laws.Control.Comonad
Test.QuickCheck.Laws.Control.Extend
Test.QuickCheck.Laws.Control.Monad
Test.QuickCheck.Laws.Control.MonadPlus
Test.QuickCheck.Laws.Control.Plus
Test.QuickCheck.Laws.Control.Semigroupoid
Test.QuickCheck.Laws.Data
Test.QuickCheck.Laws.Data.BooleanAlgebra
Test.QuickCheck.Laws.Data.Bounded
Test.QuickCheck.Laws.Data.BoundedEnum
Test.QuickCheck.Laws.Data.CommutativeRing
Test.QuickCheck.Laws.Data.DivisionRing
Test.QuickCheck.Laws.Data.Enum
Test.QuickCheck.Laws.Data.Eq
Test.QuickCheck.Laws.Data.EuclideanRing
Test.QuickCheck.Laws.Data.Field
Test.QuickCheck.Laws.Data.Foldable
Test.QuickCheck.Laws.Data.Functor
Test.QuickCheck.Laws.Data.FunctorWithIndex
Test.QuickCheck.Laws.Data.HeytingAlgebra
Test.QuickCheck.Laws.Data.Monoid
Test.QuickCheck.Laws.Data.Ord
Test.QuickCheck.Laws.Data.Ring
Test.QuickCheck.Laws.Data.Semigroup
Test.QuickCheck.Laws.Data.Semiring