Index
| addArrowTypes | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| addToClasses | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| allTypes | Algebra.Equation.Reduce |
| App | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| Arity | |
| 1 (Type/Class) | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| 2 (Data Constructor) | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| C | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| checkNames | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| classesFromEqs | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| classesToReps | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| collectExprs | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| combine | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| compareTerms | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| consistent | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| Const | |
| 1 (Type/Class) | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| 2 (Data Constructor) | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| constArity | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| constName | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| constsFrom | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| constType | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| countArity | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| Ctx | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| doCount | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| doPrune | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| doReduce | Algebra.Equation.Reduce |
| emptySig | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| Eq | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| eqConsts | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| Eqs | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| Equation | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| eqVars | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| extendOrd | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| extendSig | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| getRep | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| getVal | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| HasType | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| hasType | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| isIn | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| ListOfConstants | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| mkCxt | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| mkEqs2N | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| MkHT | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| mkUniv2N | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| mkUnSomeClassN | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| mkUnSomeClassN2 | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| mkUnSomeClassN2' | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| Name | |
| 1 (Type/Class) | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| 2 (Data Constructor) | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| parseAndReduce | Algebra.Equation.Reduce |
| pruneEqsN | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| qsEqToEq | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| QSSig | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| qsTermToTerm | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| reduction | Algebra.Equation.Reduce |
| renderN | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| renderQSConst | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| renderQSConsts | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| renderQSVars | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| renderQSVarType | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| renderTermN | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| replaceEqTypes | Algebra.Equation.Reduce |
| replaceInType | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| replaceTermTypes | Algebra.Equation.Reduce |
| replaceTypes | Algebra.Equation.Reduce |
| repToQSRep | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| restoreTypes | Algebra.Equation.Reduce |
| S | |
| 1 (Type/Class) | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| 2 (Data Constructor) | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| setAllTypes | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| setForEq | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| setForTerm | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| showEqs | Algebra.Equation.Reduce |
| showEqsOnLinesN | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| Sig | |
| 1 (Type/Class) | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| 2 (Data Constructor) | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| sigConsts | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| sigFrom | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| sigFromEq | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| sigFromEqs | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| sigToSymN | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| sigVars | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| splitCommas | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| stripLoc | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| stripN | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| symToConst | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| symToVar | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| Term | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| term | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| termArity | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| termConsts | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| termToExprN | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| termType | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| termType' | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| termVars | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| tyCon | Algebra.Equation.Reduce |
| Type | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| typeName | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| univ2N | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| unName | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| unSomeClassesN2 | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| unSomePruneN | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| unSomeSortedClasses | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| unSomeSortedQSClasses | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| unwrapParens | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| V | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| Var | |
| 1 (Type/Class) | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| 2 (Data Constructor) | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| varArity | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| varName | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| varsFrom | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| varType | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| withConsts | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| withVars | Algebra.Equation.Internal.Types, Algebra.Equation.Internal |
| Z | |
| 1 (Type/Class) | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |
| 2 (Data Constructor) | Algebra.Equation.Internal.Eval, Algebra.Equation.Internal |