proposition-0.1: Library for manipulating propositions. Contents Index

Data.Proposition.All

Description

Proposition based on PropSimple, Formula and BDD at the same time. The operations propIsTrue and propIsFalse are designed to crash if they disagree. Mainly useful for testing.

Documentation

data PropAll a

Constructors PropAll propSimple :: (PropSimple a) propFormula :: (Formula a) propBDD :: (BDD a) Instances Prop PropAll Show a => Show (PropAll a)

Produced by Haddock version 0.8