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

Index - P

parse 
1 (Function)Language.Haskell.FreeTheorems.Parser.Haskell98
2 (Function)Language.Haskell.FreeTheorems.Parser.Hsx
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