Module

Test.StrongCheck.Laws.Data.BooleanAlgebra

Package
purescript-strongcheck-laws
Repository
garyb/purescript-strongcheck-laws

#checkBooleanAlgebra Source

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