proposition-0.1: Library for manipulating propositions.ContentsIndex
Data.Proposition.Simple
Description

Proposition that focuses on being correct, and working as a test harness for comparisons.

Some basic simplifications are performed, such as True || x = x.

Documentation
data PropSimple a
show/hide Instances
Prop PropSimple
(Eq a, ??? a) => Eq (PropSimple a)
Show a => Show (PropSimple a)
propRebuildSimple :: (Prop p, PropLit a) => p a -> PropSimple a
Produced by Haddock version 0.8