Module

Test.QuickCheck.Laws.Data.BooleanAlgebra

#checkBooleanAlgebra

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

#checkBooleanAlgebraGen

Modules