heyting-algebras-0.2.0.1: Heyting and Boolean algebras
Safe HaskellNone
LanguageHaskell2010

Algebra.Boolean.Properties

Synopsis

Documentation

prop_neg :: (Heyting a, Ord a, Eq a, Ord e) => a -> CounterExample e Source #

Test that not satisfies Boolean algebra axioms.

prop_not :: (Heyting a, Ord a, Eq a, Ord e) => a -> CounterExample e Source #

Deprecated: Use prop_neg

prop_BooleanAlgebra :: (Boolean a, Ord a, Eq a, Show a) => a -> a -> a -> CounterExample (BooleanAlgebraLawViolation a) Source #

Test that a is satisfy both prop_HeytingAlgebra and prop_not.