Safe Haskell | None |
---|---|

Language | Haskell2010 |

## Synopsis

- prop_not :: (HeytingAlgebra a, Ord a, Eq a, Ord e) => a -> CounterExample e
- data BooleanAlgebraLawViolation a
- prop_BooleanAlgebra :: (BooleanAlgebra a, Ord a, Eq a, Show a) => a -> a -> a -> CounterExample (BooleanAlgebraLawViolation a)

# Documentation

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

Test that

satisfies Boolean algebra axioms.`not`

data BooleanAlgebraLawViolation a Source #

## Instances

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

Test that `a`

is satisfy both

and
`prop_HeytingAlgebra`

.`prop_not`