parse | |
1 (Function) | Language.Haskell.FreeTheorems.Parser.Haskell98 |
2 (Function) | Language.Haskell.FreeTheorems.Parser.Hsx |
Parsed | Language.Haskell.FreeTheorems |
Predicate | |
1 (Type/Class) | Language.Haskell.FreeTheorems.Theorems |
2 (Data Constructor) | Language.Haskell.FreeTheorems.Theorems |
prettyDeclaration | Language.Haskell.FreeTheorems |
prettyRelationVariable | Language.Haskell.FreeTheorems |
prettySignature | Language.Haskell.FreeTheorems |
prettyTheorem | Language.Haskell.FreeTheorems |
PrettyTheoremOption | Language.Haskell.FreeTheorems |
prettyUnfoldedClass | Language.Haskell.FreeTheorems |
prettyUnfoldedLift | Language.Haskell.FreeTheorems |