| |||||
| |||||
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 | |||||
| |||||
propRebuildSimple :: (Prop p, PropLit a) => p a -> PropSimple a | |||||
Produced by Haddock version 0.8 |