proposition-0.1: Library for manipulating propositions. Contents Index

Data.Proposition.Formula

Description

This is probably the standard instance, it has reasonable simplification and has a nice output for understanding. It does not perform any factorisation or expansion - as there is no real way to know if it would succeed or not and therefore might leave the result larger.

Documentation

data Formula a

Instances Prop Formula Eq a => Eq (Formula a) Ord a => Ord (Formula a) Show a => Show (Formula a)

propRebuildFormula :: (Prop p, PropLit a) => p a -> Formula a

Produced by Haddock version 0.8