Module

Test.QuickCheck.Laws.Data.BooleanAlgebra

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

#checkBooleanAlgebra Source

checkBooleanAlgebra :: forall a. Arbitrary a => BooleanAlgebra a => Eq a => Proxy a -> Effect Unit
  • Excluded middle: a || not a = tt

#checkBooleanAlgebraGen Source