Algebra.Boolean.Properties

Documentation

prop_not :: (HeytingAlgebra a, Ord a, Eq a, Ord e) => a -> CounterExample e

Test that not satisfies Boolean algebra axioms.

data BooleanAlgebraLawViolation a

Constructors

BALVHeytingAlgebraLawViolation (HeytingAlgebraLawViolation a)

BALVNotLawViolation a

Instances

Eq a => Eq (BooleanAlgebraLawViolation a)

Defined in Algebra.Boolean.Properties

Methods

(==) :: BooleanAlgebraLawViolation a -> BooleanAlgebraLawViolation a -> Bool

(/=) :: BooleanAlgebraLawViolation a -> BooleanAlgebraLawViolation a -> Bool

Ord a => Ord (BooleanAlgebraLawViolation a)

Defined in Algebra.Boolean.Properties

Methods

compare :: BooleanAlgebraLawViolation a -> BooleanAlgebraLawViolation a -> Ordering

(<) :: BooleanAlgebraLawViolation a -> BooleanAlgebraLawViolation a -> Bool

(<=) :: BooleanAlgebraLawViolation a -> BooleanAlgebraLawViolation a -> Bool

(>) :: BooleanAlgebraLawViolation a -> BooleanAlgebraLawViolation a -> Bool

(>=) :: BooleanAlgebraLawViolation a -> BooleanAlgebraLawViolation a -> Bool

max :: BooleanAlgebraLawViolation a -> BooleanAlgebraLawViolation a -> BooleanAlgebraLawViolation a

min :: BooleanAlgebraLawViolation a -> BooleanAlgebraLawViolation a -> BooleanAlgebraLawViolation a

Show a => Show (BooleanAlgebraLawViolation a)

Defined in Algebra.Boolean.Properties

Methods

showsPrec :: Int -> BooleanAlgebraLawViolation a -> ShowS

show :: BooleanAlgebraLawViolation a -> String

showList :: [BooleanAlgebraLawViolation a] -> ShowS

prop_BooleanAlgebra :: (BooleanAlgebra a, Ord a, Eq a, Show a) => a -> a -> a -> CounterExample (BooleanAlgebraLawViolation a)

Test that a is satisfy both prop_HeytingAlgebra and prop_not.