free-theorems-0.3.2.1: Automatic generation of free theorems.

Index - P

parseLanguage.Haskell.FreeTheorems.Parser.Haskell98
ParsedLanguage.Haskell.FreeTheorems
Predicate 
1 (Type/Class)Language.Haskell.FreeTheorems.Theorems
2 (Data Constructor)Language.Haskell.FreeTheorems.Theorems
prettyDeclarationLanguage.Haskell.FreeTheorems
prettyRelationVariableLanguage.Haskell.FreeTheorems
prettySignatureLanguage.Haskell.FreeTheorems
prettyTheoremLanguage.Haskell.FreeTheorems
PrettyTheoremOptionLanguage.Haskell.FreeTheorems
prettyUnfoldedClassLanguage.Haskell.FreeTheorems
prettyUnfoldedLiftLanguage.Haskell.FreeTheorems