| asCompleteTheorem | Language.Haskell.FreeTheorems |
| asTheorem | Language.Haskell.FreeTheorems |
| Banged | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| BangTypeExpression | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| BasicSubset | Language.Haskell.FreeTheorems |
| BotPair | Language.Haskell.FreeTheorems.Theorems |
| BottomReflecting | Language.Haskell.FreeTheorems.Theorems |
| check | Language.Haskell.FreeTheorems |
| checkAgainst | Language.Haskell.FreeTheorems |
| Checked | Language.Haskell.FreeTheorems |
| Class | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| ClassDecl | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| ClassDeclaration | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| classFuns | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| className | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| classVar | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| Con | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| ConChar | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| ConDouble | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| ConFloat | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| ConInt | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| ConInteger | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| Conjunction | Language.Haskell.FreeTheorems.Theorems |
| ConList | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| ConMore | Language.Haskell.FreeTheorems.Theorems |
| ConPair | Language.Haskell.FreeTheorems.Theorems |
| Continuous | Language.Haskell.FreeTheorems.Theorems |
| ConTuple | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| ConUnit | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| Data | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| DataCon | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| dataConName | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| dataCons | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| DataConstructor | Language.Haskell.FreeTheorems.Theorems |
| DataConstructorDeclaration | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| dataConTypes | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| DataDecl | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| DataDeclaration | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| dataName | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| dataVars | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| DCon | Language.Haskell.FreeTheorems.Theorems |
| DConConsList | Language.Haskell.FreeTheorems.Theorems |
| DConEmptyList | Language.Haskell.FreeTheorems.Theorems |
| DConTuple | Language.Haskell.FreeTheorems.Theorems |
| Declaration | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| EquationalTheorem | Language.Haskell.FreeTheorems |
| Equivalence | Language.Haskell.FreeTheorems.Theorems |
| filterSignatures | Language.Haskell.FreeTheorems.ValidSyntax, Language.Haskell.FreeTheorems |
| FixedTypeExpression | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| ForallFunctions | Language.Haskell.FreeTheorems.Theorems |
| ForallPairs | Language.Haskell.FreeTheorems.Theorems |
| ForallRelations | Language.Haskell.FreeTheorems.Theorems |
| ForallVariables | Language.Haskell.FreeTheorems.Theorems |
| Formula | Language.Haskell.FreeTheorems.Theorems |
| FunAbs | Language.Haskell.FreeTheorems.Theorems |
| functionNameStore1 | Language.Haskell.FreeTheorems.NameStores |
| functionNameStore2 | Language.Haskell.FreeTheorems.NameStores |
| FunVar | Language.Haskell.FreeTheorems.Theorems |
| getDeclarationArity | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| getDeclarationName | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| Ident | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| Identifier | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| Implication | Language.Haskell.FreeTheorems.Theorems |
| InequationalTheorem | Language.Haskell.FreeTheorems |
| Intermediate | Language.Haskell.FreeTheorems |
| interpret | Language.Haskell.FreeTheorems |
| IsEqual | Language.Haskell.FreeTheorems.Theorems |
| IsLessEq | Language.Haskell.FreeTheorems.Theorems |
| IsMember | Language.Haskell.FreeTheorems.Theorems |
| IsNotBot | Language.Haskell.FreeTheorems.Theorems |
| isStrictDeclaration | Language.Haskell.FreeTheorems.ValidSyntax |
| IsTrue | Language.Haskell.FreeTheorems.Theorems |
| LanguageSubset | Language.Haskell.FreeTheorems |
| LeftClosed | Language.Haskell.FreeTheorems.Theorems |
| Newtype | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| newtypeCon | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| NewtypeDecl | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| NewtypeDeclaration | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| newtypeName | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| newtypeRhs | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| newtypeVars | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| OmitLanguageSubsets | Language.Haskell.FreeTheorems |
| OmitTypeInstantiations | Language.Haskell.FreeTheorems |
| parse | Language.Haskell.FreeTheorems.Parser.Haskell98 |
| 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 |
| rawDeclaration | Language.Haskell.FreeTheorems.ValidSyntax, Language.Haskell.FreeTheorems |
| rawSignature | Language.Haskell.FreeTheorems.ValidSyntax, Language.Haskell.FreeTheorems |
| RelAbs | Language.Haskell.FreeTheorems.Theorems |
| Relation | Language.Haskell.FreeTheorems.Theorems |
| RelationInfo | |
| 1 (Type/Class) | Language.Haskell.FreeTheorems.Theorems |
| 2 (Data Constructor) | Language.Haskell.FreeTheorems.Theorems |
| relationInfo | Language.Haskell.FreeTheorems.Theorems |
| relationLanguageSubset | Language.Haskell.FreeTheorems.Theorems |
| relationLeftType | Language.Haskell.FreeTheorems.Theorems |
| relationNameStore | Language.Haskell.FreeTheorems.NameStores |
| relationRightType | Language.Haskell.FreeTheorems.Theorems |
| RelationVariable | Language.Haskell.FreeTheorems.Theorems |
| relationVariables | Language.Haskell.FreeTheorems |
| RelBasic | Language.Haskell.FreeTheorems.Theorems |
| RelFun | Language.Haskell.FreeTheorems.Theorems |
| RelFunLab | Language.Haskell.FreeTheorems.Theorems |
| RelLift | Language.Haskell.FreeTheorems.Theorems |
| RelVar | Language.Haskell.FreeTheorems.Theorems |
| RespectsClasses | Language.Haskell.FreeTheorems.Theorems |
| Restriction | Language.Haskell.FreeTheorems.Theorems |
| runChecks | Language.Haskell.FreeTheorems |
| RVar | Language.Haskell.FreeTheorems.Theorems |
| Signature | |
| 1 (Type/Class) | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| 2 (Data Constructor) | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| signatureName | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| signatureType | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| simplify | Language.Haskell.FreeTheorems |
| simplifyUnfoldedLift | Language.Haskell.FreeTheorems |
| specialise | Language.Haskell.FreeTheorems |
| specialiseInverse | Language.Haskell.FreeTheorems |
| Strict | Language.Haskell.FreeTheorems.Theorems |
| SubsetWithFix | Language.Haskell.FreeTheorems |
| SubsetWithSeq | Language.Haskell.FreeTheorems |
| superClasses | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TC | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| Term | Language.Haskell.FreeTheorems.Theorems |
| TermApp | Language.Haskell.FreeTheorems.Theorems |
| TermComp | Language.Haskell.FreeTheorems.Theorems |
| TermIns | Language.Haskell.FreeTheorems.Theorems |
| TermVar | Language.Haskell.FreeTheorems.Theorems |
| TermVariable | Language.Haskell.FreeTheorems.Theorems |
| TF | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| Theorem | Language.Haskell.FreeTheorems.Theorems |
| TheoremType | Language.Haskell.FreeTheorems |
| Total | Language.Haskell.FreeTheorems.Theorems |
| TV | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TVar | Language.Haskell.FreeTheorems.Theorems |
| Type | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeAbs | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeAbsLab | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeClass | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeCon | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeConstructor | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeDecl | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeDeclaration | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeExp | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeExpression | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| typeExpressionNameStore | Language.Haskell.FreeTheorems.NameStores |
| TypeFun | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeFunLab | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| typeName | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| typeNameStore | Language.Haskell.FreeTheorems.NameStores |
| typeRhs | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeSig | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeVar | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| TypeVariable | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| typeVars | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| Unbanged | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| unfoldClasses | Language.Haskell.FreeTheorems |
| UnfoldedClass | |
| 1 (Type/Class) | Language.Haskell.FreeTheorems.Theorems |
| 2 (Data Constructor) | Language.Haskell.FreeTheorems.Theorems |
| UnfoldedDataCon | Language.Haskell.FreeTheorems.Theorems |
| UnfoldedLift | |
| 1 (Type/Class) | Language.Haskell.FreeTheorems.Theorems |
| 2 (Data Constructor) | Language.Haskell.FreeTheorems.Theorems |
| unfoldLifts | Language.Haskell.FreeTheorems |
| unpackIdent | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |
| ValidDeclaration | |
| 1 (Type/Class) | Language.Haskell.FreeTheorems.ValidSyntax, Language.Haskell.FreeTheorems |
| 2 (Data Constructor) | Language.Haskell.FreeTheorems.ValidSyntax |
| ValidSignature | |
| 1 (Type/Class) | Language.Haskell.FreeTheorems.ValidSyntax, Language.Haskell.FreeTheorems |
| 2 (Data Constructor) | Language.Haskell.FreeTheorems.ValidSyntax |
| variableNameStore | Language.Haskell.FreeTheorems.NameStores |
| withoutBang | Language.Haskell.FreeTheorems.BasicSyntax, Language.Haskell.FreeTheorems.Syntax |