| addClass | Language.Egison.Type.Env |
| addDictionaryParametersT | Language.Egison.Type.TypeClassExpand |
| addInstance | Language.Egison.Type.Env |
| addWarning | Language.Egison.Type.Infer, Language.Egison.Type |
| AlgebraicDataMatcherExpr | Language.Egison.AST, Language.Egison |
| AmbiguousType | Language.Egison.Type.Error, Language.Egison.Type |
| AndPat | Language.Egison.AST, Language.Egison |
| AnonListParamFuncExpr | Language.Egison.AST, Language.Egison |
| AnonParamExpr | Language.Egison.AST, Language.Egison |
| AnonParamFuncExpr | Language.Egison.AST, Language.Egison |
| AnonTupleParamFuncExpr | Language.Egison.AST, Language.Egison |
| AnyTypeWarning | Language.Egison.Type.Error, Language.Egison.Type |
| APConsPat | Language.Egison.AST, Language.Egison |
| APEmptyPat | Language.Egison.AST, Language.Egison |
| APInductivePat | Language.Egison.AST, Language.Egison |
| APPatVar | Language.Egison.AST, Language.Egison |
| appendDF | Language.Egison.Tensor |
| Apply1 | Language.Egison.Math.Expr, Language.Egison.Math |
| apply1 | Language.Egison.Math.Expr |
| apply1M | Language.Egison.Math.Expr |
| Apply2 | Language.Egison.Math.Expr, Language.Egison.Math |
| apply2 | Language.Egison.Math.Expr |
| apply2M | Language.Egison.Math.Expr |
| Apply3 | Language.Egison.Math.Expr, Language.Egison.Math |
| apply3 | Language.Egison.Math.Expr |
| apply3M | Language.Egison.Math.Expr |
| Apply4 | Language.Egison.Math.Expr, Language.Egison.Math |
| apply4 | Language.Egison.Math.Expr |
| apply4M | Language.Egison.Math.Expr |
| applyConcreteConstraintDictionaries | Language.Egison.Type.TypeClassExpand |
| applyConcreteConstraintDictionariesInPattern | Language.Egison.Type.TypeClassExpand |
| ApplyExpr | Language.Egison.AST, Language.Egison |
| applySubst | Language.Egison.Type.Subst |
| applySubstConstraint | Language.Egison.Type.Subst |
| applySubstIndex | Language.Egison.Type.Subst |
| applySubstScheme | Language.Egison.Type.Subst |
| APSnocPat | Language.Egison.AST, Language.Egison |
| APTuplePat | Language.Egison.AST, Language.Egison |
| APWildCard | Language.Egison.AST, Language.Egison |
| Arg | |
| 1 (Type/Class) | Language.Egison.AST, Language.Egison |
| 2 (Data Constructor) | Language.Egison.AST, Language.Egison |
| ArgPattern | Language.Egison.AST, Language.Egison |
| ArgumentsNumPrimitive | Language.Egison.Data, Language.Egison |
| ArityMismatch | Language.Egison.Type.Error, Language.Egison.Type |
| Assertion | Language.Egison.Data, Language.Egison |
| Assoc | Language.Egison.AST, Language.Egison |
| assoc | Language.Egison.AST, Language.Egison |
| Atom | Language.Egison.PrettyMath.AST |
| BFSMode | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| binaryOp | Language.Egison.Primitives.Utils |
| Bind | Language.Egison.AST, Language.Egison |
| Binding | Language.Egison.Data, Language.Egison |
| BindingExpr | Language.Egison.AST, Language.Egison |
| BindWithIndices | Language.Egison.AST, Language.Egison |
| BindWithType | Language.Egison.AST, Language.Egison |
| Bool | Language.Egison.Data, Language.Egison |
| BoolExpr | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| buildEnvironments | Language.Egison.EnvBuilder |
| builtinEnv | Language.Egison.Type.Check, Language.Egison.Type |
| CambdaExpr | Language.Egison.AST, Language.Egison |
| capitalizeFirst | Language.Egison.Type.Types, Language.Egison.Type |
| cfgCollectWarnings | Language.Egison.Type.Infer, Language.Egison.Type |
| cfgPermissive | Language.Egison.Type.Infer, Language.Egison.Type |
| CFunc | Language.Egison.Data, Language.Egison |
| Char | Language.Egison.Data, Language.Egison |
| CharExpr | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| CharHash | Language.Egison.Data, Language.Egison |
| CharKey | Language.Egison.Data, Language.Egison |
| ClassDecl | |
| 1 (Type/Class) | Language.Egison.AST, Language.Egison |
| 2 (Data Constructor) | Language.Egison.AST, Language.Egison |
| ClassDeclExpr | Language.Egison.AST, Language.Egison |
| ClassEnv | |
| 1 (Type/Class) | Language.Egison.Type.Env |
| 2 (Data Constructor) | Language.Egison.Type.Env |
| classEnv | Language.Egison.EvalState, Language.Egison |
| classEnvClasses | Language.Egison.Type.Env |
| classEnvInstances | Language.Egison.Type.Env |
| classEnvToList | Language.Egison.Type.Env |
| ClassInfo | |
| 1 (Type/Class) | Language.Egison.Type.Types, Language.Egison.Type.Env, Language.Egison.Type |
| 2 (Data Constructor) | Language.Egison.Type.Types, Language.Egison.Type.Env, Language.Egison.Type |
| ClassMethod | |
| 1 (Type/Class) | Language.Egison.AST, Language.Egison |
| 2 (Data Constructor) | Language.Egison.AST, Language.Egison |
| ClassMethodRef | Language.Egison.Data, Language.Egison |
| classMethods | |
| 1 (Function) | Language.Egison.AST, Language.Egison |
| 2 (Function) | Language.Egison.Type.Types, Language.Egison.Type.Env, Language.Egison.Type |
| className | Language.Egison.AST, Language.Egison |
| classParam | Language.Egison.Type.Types, Language.Egison.Type.Env, Language.Egison.Type |
| classSuperclasses | Language.Egison.AST, Language.Egison |
| classSupers | Language.Egison.Type.Types, Language.Egison.Type.Env, Language.Egison.Type |
| classTypeParams | Language.Egison.AST, Language.Egison |
| clearWarnings | Language.Egison.Type.Infer, Language.Egison.Type |
| cmdParser | Language.Egison.CmdOptions, Language.Egison |
| Collection | |
| 1 (Data Constructor) | Language.Egison.Data, Language.Egison |
| 2 (Data Constructor) | Language.Egison.PrettyMath.AST |
| CollectionExpr | Language.Egison.AST, Language.Egison |
| collectionToList | Language.Egison.Data.Collection |
| collectionToRefs | Language.Egison.Data.Collection |
| completeEgison | Language.Egison.Completion |
| composeSubst | Language.Egison.Type.Subst |
| ConsExpr | Language.Egison.AST, Language.Egison |
| ConstantExpr | |
| 1 (Data Constructor) | Language.Egison.AST, Language.Egison |
| 2 (Type/Class) | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| Constraint | |
| 1 (Type/Class) | Language.Egison.Type.Types, Language.Egison.Type |
| 2 (Data Constructor) | Language.Egison.Type.Types, Language.Egison.Type |
| constraintClass | |
| 1 (Function) | Language.Egison.AST, Language.Egison |
| 2 (Function) | Language.Egison.Type.Types, Language.Egison.Type |
| ConstraintExpr | |
| 1 (Type/Class) | Language.Egison.AST, Language.Egison |
| 2 (Data Constructor) | Language.Egison.AST, Language.Egison |
| constraintType | Language.Egison.Type.Types, Language.Egison.Type |
| constraintTypes | Language.Egison.AST, Language.Egison |
| ConstructorEnv | Language.Egison.EvalState, Language.Egison |
| constructorEnv | Language.Egison.EvalState, Language.Egison |
| ConstructorInfo | |
| 1 (Type/Class) | Language.Egison.EvalState, Language.Egison |
| 2 (Data Constructor) | Language.Egison.EvalState, Language.Egison |
| ContPat | Language.Egison.AST, Language.Egison |
| coreLibraries | Language.Egison |
| ctorArgTypes | Language.Egison.EvalState, Language.Egison |
| ctorTypeName | Language.Egison.EvalState, Language.Egison |
| ctorTypeParams | Language.Egison.EvalState, Language.Egison |
| DApplyPat | Language.Egison.AST, Language.Egison |
| declaredSymbols | Language.Egison.Type.Infer, Language.Egison.Type |
| DeclareSymbol | Language.Egison.AST, Language.Egison |
| Default | Language.Egison.Data, Language.Egison |
| defaultInferConfig | Language.Egison.Type.Infer, Language.Egison.Type |
| defaultOption | Language.Egison.CmdOptions, Language.Egison |
| Define | Language.Egison.AST, Language.Egison |
| DefineWithType | Language.Egison.AST, Language.Egison |
| DeprecatedFeatureWarning | Language.Egison.Type.Error, Language.Egison.Type |
| desugarExpr | Language.Egison.Desugar |
| desugarTopExpr | Language.Egison.Desugar |
| desugarTopExprs | Language.Egison.Desugar |
| desugarTypedExprT | Language.Egison.Type.TypedDesugar |
| desugarTypedTopExprT | Language.Egison.Type.TypedDesugar |
| desugarTypedTopExprT_TensorMapOnly | Language.Egison.Type.TypedDesugar |
| desugarTypedTopExprT_TypeClassOnly | Language.Egison.Type.TypedDesugar |
| DF | Language.Egison.IExpr |
| DFSMode | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| DimLit | Language.Egison.Type.Types, Language.Egison.Type |
| DimVar | Language.Egison.Type.Types, Language.Egison.Type |
| Div | |
| 1 (Data Constructor) | Language.Egison.Math.Expr, Language.Egison.Math |
| 2 (Data Constructor) | Language.Egison.PrettyMath.AST |
| DoExpr | Language.Egison.AST, Language.Egison |
| ebrClassEnv | Language.Egison.EnvBuilder |
| ebrConstructorEnv | Language.Egison.EnvBuilder |
| ebrPatternConstructorEnv | Language.Egison.EnvBuilder |
| ebrPatternTypeEnv | Language.Egison.EnvBuilder |
| ebrTypeEnv | Language.Egison.EnvBuilder |
| EgisonBug | Language.Egison.Data, Language.Egison |
| EgisonData | Language.Egison.Data, Language.Egison |
| EgisonError | Language.Egison.Data, Language.Egison |
| EgisonHashKey | Language.Egison.Data, Language.Egison |
| EgisonOpts | |
| 1 (Type/Class) | Language.Egison.CmdOptions, Language.Egison |
| 2 (Data Constructor) | Language.Egison.CmdOptions, Language.Egison |
| egisonToScalarData | Language.Egison.Data, Language.Egison |
| EgisonValue | Language.Egison.Data, Language.Egison |
| emptyClassEnv | Language.Egison.Type.Env |
| emptyContext | Language.Egison.Type.Error, Language.Egison.Type |
| emptyEnv | Language.Egison.Type.Env |
| emptyPatternEnv | Language.Egison.Type.Env |
| emptySubst | Language.Egison.Type.Subst |
| emptySubstIndex | Language.Egison.Type.Subst |
| enumTensorIndices | Language.Egison.Tensor |
| Env | |
| 1 (Type/Class) | Language.Egison.Data, Language.Egison |
| 2 (Data Constructor) | Language.Egison.Data, Language.Egison |
| EnvBuildResult | |
| 1 (Type/Class) | Language.Egison.EnvBuilder |
| 2 (Data Constructor) | Language.Egison.EnvBuilder |
| EnvLayer | Language.Egison.Data, Language.Egison |
| envToBindingList | Language.Egison.Data, Language.Egison |
| envToList | Language.Egison.Type.Env |
| equalMonomial | Language.Egison.Math.Expr |
| equalMonomialM | Language.Egison.Math.Expr |
| errorContext | Language.Egison.Type.Error, Language.Egison.Type |
| errorExpr | Language.Egison.Type.Error, Language.Egison.Type |
| errorLocation | Language.Egison.Type.Error, Language.Egison.Type |
| evalExpr | Language.Egison.Eval, Language.Egison |
| evalExprDeep | Language.Egison.Core |
| evalExprShallow | Language.Egison.Core |
| EvalM | Language.Egison.Data, Language.Egison |
| evalObj | Language.Egison.Data.Utils |
| evalRef | Language.Egison.Data.Utils |
| evalRuntimeT | Language.Egison.RState, Language.Egison |
| EvalState | |
| 1 (Type/Class) | Language.Egison.EvalState, Language.Egison |
| 2 (Data Constructor) | Language.Egison.EvalState, Language.Egison |
| evalTopExpr | Language.Egison.Eval, Language.Egison |
| evalTopExprs | Language.Egison.Eval, Language.Egison |
| evalTopExprs' | Language.Egison.Eval, Language.Egison |
| evalTopExprsNoPrint | Language.Egison.Eval, Language.Egison |
| evalTopExprStr | Language.Egison.Eval, Language.Egison |
| evalWHNF | Language.Egison.Core |
| Execute | Language.Egison.AST, Language.Egison |
| expandCollection | Language.Egison.Data.Collection |
| expandLoads | Language.Egison.Eval, Language.Egison |
| expandTypeClassMethodsInPattern | Language.Egison.Type.TypeClassExpand |
| expandTypeClassMethodsT | Language.Egison.Type.TypeClassExpand |
| Expr | Language.Egison.AST, Language.Egison |
| exprOps | Language.Egison.RState, Language.Egison |
| extendEnv | |
| 1 (Function) | Language.Egison.Type.Env |
| 2 (Function) | Language.Egison.Data, Language.Egison |
| extendEnvMany | Language.Egison.Type.Env |
| extendPatFuncEnv | Language.Egison.Data, Language.Egison |
| extendPatternEnv | Language.Egison.Type.Env |
| extendTypeEnv | Language.Egison.EvalState, Language.Egison |
| extractIndex | Language.Egison.IExpr |
| extractNameFromVar | Language.Egison.IExpr |
| extractNameFromVarWithIndices | Language.Egison.AST, Language.Egison |
| extractScalar | Language.Egison.Data, Language.Egison |
| extractSupOrSubIndex | Language.Egison.IExpr |
| findMatchingInstanceForType | Language.Egison.Type.Instance |
| findOpFrom | Language.Egison.AST, Language.Egison |
| flipIndexKind | Language.Egison.Type.Index, Language.Egison.Type |
| FlipIndicesExpr | Language.Egison.AST, Language.Egison |
| Float | Language.Egison.Data, Language.Egison |
| FloatExpr | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| Forall | Language.Egison.Type.Types, Language.Egison.Type |
| ForallPat | Language.Egison.AST, Language.Egison |
| ForallPatContext | Language.Egison.Match |
| formatTypeError | Language.Egison.Type.Error, Language.Egison.Type |
| formatTypeWarning | Language.Egison.Type.Error, Language.Egison.Type |
| freeTyVars | Language.Egison.Type.Types, Language.Egison.Type |
| freeVarsInEnv | Language.Egison.Type.Env |
| fresh | Language.Egison.RState, Language.Egison |
| freshTyVar | Language.Egison.Type.Types, Language.Egison.Type |
| freshVar | Language.Egison.Type.Infer, Language.Egison.Type |
| FreshVarExpr | Language.Egison.AST, Language.Egison |
| fromEgison | Language.Egison.Data, Language.Egison |
| fromEvalM | Language.Egison.Data, Language.Egison |
| fromEvalT | Language.Egison.Data, Language.Egison |
| fromEvalTWithState | Language.Egison.Data, Language.Egison |
| fromList | Language.Egison.MList |
| fromMList | Language.Egison.MList |
| fromSeq | Language.Egison.MList |
| fromTensor | Language.Egison.Tensor |
| Func | |
| 1 (Data Constructor) | Language.Egison.Data, Language.Egison |
| 2 (Data Constructor) | Language.Egison.PrettyMath.AST |
| func | Language.Egison.Math.Expr |
| funcM | Language.Egison.Math.Expr |
| funcNameStack | Language.Egison.EvalState, Language.Egison |
| FunctionData | Language.Egison.Math.Expr, Language.Egison.Math |
| FunctionExpr | Language.Egison.AST, Language.Egison |
| generalize | Language.Egison.Type.Env, Language.Egison.Type.Infer, Language.Egison.Type |
| GenerateTensorExpr | Language.Egison.AST, Language.Egison |
| getClassEnv | Language.Egison.EvalState, Language.Egison |
| getConstructorEnv | Language.Egison.EvalState, Language.Egison |
| getEnv | Language.Egison.Type.Infer, Language.Egison.Type |
| getFuncNameStack | Language.Egison.EvalState, Language.Egison |
| getInstanceEnv | Language.Egison.EvalState, Language.Egison |
| getPatternEnv | Language.Egison.EvalState, Language.Egison |
| getPatternFuncEnv | Language.Egison.EvalState, Language.Egison |
| getSymId | Language.Egison.Data, Language.Egison |
| getSymName | Language.Egison.Data, Language.Egison |
| getTypeEnv | Language.Egison.EvalState, Language.Egison |
| HashExpr | Language.Egison.AST, Language.Egison |
| IAndPat | Language.Egison.IExpr |
| IApplyExpr | Language.Egison.IExpr |
| IBindingExpr | Language.Egison.IExpr |
| ICambdaExpr | Language.Egison.IExpr |
| ICharHash | Language.Egison.Data, Language.Egison |
| ICollection | Language.Egison.Data, Language.Egison |
| ICollectionExpr | Language.Egison.IExpr |
| IConsExpr | Language.Egison.IExpr |
| IConstantExpr | Language.Egison.IExpr |
| IContPat | Language.Egison.IExpr |
| IDApplyPat | Language.Egison.IExpr |
| IDeclareSymbol | Language.Egison.IExpr |
| IDefine | Language.Egison.IExpr |
| IDefineMany | Language.Egison.IExpr |
| IDoExpr | Language.Egison.IExpr |
| IElement | Language.Egison.Data, Language.Egison |
| IExecute | Language.Egison.IExpr |
| IExpr | Language.Egison.IExpr |
| IfExpr | Language.Egison.AST, Language.Egison |
| IFlipIndicesExpr | Language.Egison.IExpr |
| IForallPat | Language.Egison.IExpr |
| IFunctionExpr | Language.Egison.IExpr |
| IGenerateTensorExpr | Language.Egison.IExpr |
| IHashExpr | Language.Egison.IExpr |
| IIfExpr | Language.Egison.IExpr |
| IIndexedExpr | Language.Egison.IExpr |
| IIndexedPat | Language.Egison.IExpr |
| IInductiveData | Language.Egison.Data, Language.Egison |
| IInductiveDataExpr | Language.Egison.IExpr |
| IInductiveOrPApplyPat | Language.Egison.IExpr |
| IInductivePat | Language.Egison.IExpr |
| IIntHash | Language.Egison.Data, Language.Egison |
| IJoinExpr | Language.Egison.IExpr |
| ILambdaExpr | Language.Egison.IExpr |
| ILaterPatVar | Language.Egison.IExpr |
| ILetExpr | Language.Egison.IExpr |
| ILetPat | Language.Egison.IExpr |
| ILetRecExpr | Language.Egison.IExpr |
| ILoad | Language.Egison.IExpr |
| ILoadFile | Language.Egison.IExpr |
| ILoopPat | Language.Egison.IExpr |
| ILoopRange | |
| 1 (Type/Class) | Language.Egison.IExpr |
| 2 (Data Constructor) | Language.Egison.IExpr |
| IMatchAllExpr | Language.Egison.IExpr |
| IMatchClause | Language.Egison.IExpr |
| IMatcherExpr | Language.Egison.IExpr |
| IMatchExpr | Language.Egison.IExpr |
| IMemoizedLambdaExpr | Language.Egison.IExpr |
| InconsistentTensorIndex | Language.Egison.Data, Language.Egison |
| InconsistentTensorShape | Language.Egison.Data, Language.Egison |
| Index | |
| 1 (Type/Class) | Language.Egison.Type.Index, Language.Egison.Type |
| 2 (Type/Class) | Language.Egison.IExpr |
| indexCounter | Language.Egison.RState, Language.Egison |
| IndexedExpr | Language.Egison.AST, Language.Egison |
| IndexedPat | Language.Egison.AST, Language.Egison |
| IndexExpr | Language.Egison.AST, Language.Egison |
| IndexExprData | Language.Egison.Data, Language.Egison |
| IndexKind | Language.Egison.Type.Index, Language.Egison.Type |
| IndexPlaceholder | Language.Egison.Type.Index, Language.Egison.Type |
| IndexSpec | Language.Egison.Type.Index, Language.Egison.Type |
| IndexSym | Language.Egison.Type.Index, Language.Egison.Type |
| indexSymbol | Language.Egison.Type.Index, Language.Egison.Type |
| IndexTyVar | |
| 1 (Type/Class) | Language.Egison.Type.Index, Language.Egison.Type |
| 2 (Data Constructor) | Language.Egison.Type.Index, Language.Egison.Type |
| IndexVar | Language.Egison.Type.Index, Language.Egison.Type |
| InductiveConstructor | |
| 1 (Type/Class) | Language.Egison.AST, Language.Egison |
| 2 (Data Constructor) | Language.Egison.AST, Language.Egison |
| inductiveCtorArgs | Language.Egison.AST, Language.Egison |
| inductiveCtorName | Language.Egison.AST, Language.Egison |
| InductiveData | Language.Egison.Data, Language.Egison |
| InductiveDecl | Language.Egison.AST, Language.Egison |
| InductiveOrPApplyPat | Language.Egison.AST, Language.Egison |
| InductivePat | Language.Egison.AST, Language.Egison |
| Infer | Language.Egison.Type.Infer, Language.Egison.Type |
| inferClassEnv | Language.Egison.Type.Infer, Language.Egison.Type |
| InferConfig | |
| 1 (Type/Class) | Language.Egison.Type.Infer, Language.Egison.Type |
| 2 (Data Constructor) | Language.Egison.Type.Infer, Language.Egison.Type |
| inferConfig | Language.Egison.Type.Infer, Language.Egison.Type |
| inferConstant | Language.Egison.Type.Infer, Language.Egison.Type |
| inferConstraints | Language.Egison.Type.Infer, Language.Egison.Type |
| inferCounter | Language.Egison.Type.Infer, Language.Egison.Type |
| inferEnv | Language.Egison.Type.Infer, Language.Egison.Type |
| inferIExpr | Language.Egison.Type.Infer, Language.Egison.Type |
| inferITopExpr | Language.Egison.Type.Infer, Language.Egison.Type |
| inferITopExprs | Language.Egison.Type.Infer, Language.Egison.Type |
| inferPatternEnv | Language.Egison.Type.Infer, Language.Egison.Type |
| inferPatternFuncEnv | Language.Egison.Type.Infer, Language.Egison.Type |
| InferState | |
| 1 (Type/Class) | Language.Egison.Type.Infer, Language.Egison.Type |
| 2 (Data Constructor) | Language.Egison.Type.Infer, Language.Egison.Type |
| inferWarnings | Language.Egison.Type.Infer, Language.Egison.Type |
| InfixDecl | Language.Egison.AST, Language.Egison |
| InfixExpr | Language.Egison.AST, Language.Egison |
| InfixL | Language.Egison.AST, Language.Egison |
| InfixN | Language.Egison.AST, Language.Egison |
| InfixPat | Language.Egison.AST, Language.Egison |
| InfixR | Language.Egison.AST, Language.Egison |
| initialEnv | Language.Egison |
| initialEvalState | Language.Egison.EvalState, Language.Egison |
| initialInferState | Language.Egison.Type.Infer, Language.Egison.Type |
| initialInferStateWithConfig | Language.Egison.Type.Infer, Language.Egison.Type |
| Inner | Language.Egison.Data, Language.Egison |
| INotPat | Language.Egison.IExpr |
| insertTensorMaps | Language.Egison.Type.TensorMapInsertion |
| instanceClass | Language.Egison.AST, Language.Egison |
| instanceConstraints | Language.Egison.AST, Language.Egison |
| InstanceDecl | |
| 1 (Type/Class) | Language.Egison.AST, Language.Egison |
| 2 (Data Constructor) | Language.Egison.AST, Language.Egison |
| InstanceDeclExpr | Language.Egison.AST, Language.Egison |
| InstanceEnv | Language.Egison.EvalState, Language.Egison |
| instanceEnv | Language.Egison.EvalState, Language.Egison |
| InstanceInfo | |
| 1 (Type/Class) | Language.Egison.Type.Types, Language.Egison.Type.Env, Language.Egison.Type |
| 2 (Data Constructor) | Language.Egison.Type.Types, Language.Egison.Type.Env, Language.Egison.Type |
| InstanceMethod | |
| 1 (Type/Class) | Language.Egison.AST, Language.Egison |
| 2 (Data Constructor) | Language.Egison.AST, Language.Egison |
| instanceMethods | Language.Egison.AST, Language.Egison |
| instanceTypes | Language.Egison.AST, Language.Egison |
| instantiate | Language.Egison.Type.Env |
| instClass | Language.Egison.Type.Types, Language.Egison.Type.Env, Language.Egison.Type |
| instContext | Language.Egison.Type.Types, Language.Egison.Type.Env, Language.Egison.Type |
| instMethodBody | Language.Egison.AST, Language.Egison |
| instMethodName | Language.Egison.AST, Language.Egison |
| instMethodParams | Language.Egison.AST, Language.Egison |
| instMethods | Language.Egison.Type.Types, Language.Egison.Type.Env, Language.Egison.Type |
| instType | Language.Egison.Type.Types, Language.Egison.Type.Env, Language.Egison.Type |
| IntegerExpr | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| IntHash | Language.Egison.Data, Language.Egison |
| IntKey | Language.Egison.Data, Language.Egison |
| InvertedArg | Language.Egison.AST, Language.Egison |
| IOFunc | Language.Egison.Data, Language.Egison |
| ioPrimitives | Language.Egison.Primitives.IO |
| IOrPat | Language.Egison.IExpr |
| IPApplyPat | Language.Egison.IExpr |
| IPattern | Language.Egison.IExpr |
| IPatternDef | Language.Egison.IExpr |
| IPatternFuncExpr | Language.Egison.IExpr |
| IPatternFunctionDecl | Language.Egison.IExpr |
| IPatVar | Language.Egison.IExpr |
| IPredPat | Language.Egison.IExpr |
| IPrimitiveDataPattern | Language.Egison.IExpr |
| IQuoteExpr | Language.Egison.IExpr |
| IQuoteSymbolExpr | Language.Egison.IExpr |
| isAtom | Language.Egison.Math.Expr, Language.Egison.Math |
| isEmptyCollection | Language.Egison.Data.Collection |
| ISeqConsPat | Language.Egison.IExpr |
| ISeqExpr | Language.Egison.IExpr |
| ISeqNilPat | Language.Egison.IExpr |
| isPlaceholder | Language.Egison.Type.Index, Language.Egison.Type |
| isScalarType | Language.Egison.Type.Types, Language.Egison.Type |
| isSub | Language.Egison.PrettyMath.AST |
| isSubscript | Language.Egison.Type.Index, Language.Egison.Type |
| isSuperscript | Language.Egison.Type.Index, Language.Egison.Type |
| isSupSubPair | Language.Egison.Type.Index, Language.Egison.Type |
| isTensorType | Language.Egison.Type.Types, Language.Egison.Type |
| IStrHash | Language.Egison.Data, Language.Egison |
| ISubCollection | Language.Egison.Data, Language.Egison |
| ISubrefsExpr | Language.Egison.IExpr |
| ISuprefsExpr | Language.Egison.IExpr |
| isWedge | Language.Egison.AST, Language.Egison |
| ITensor | Language.Egison.Data, Language.Egison |
| ITensorContractExpr | Language.Egison.IExpr |
| ITensorExpr | Language.Egison.IExpr |
| ITensorMap2Expr | Language.Egison.IExpr |
| ITensorMap2WedgeExpr | Language.Egison.IExpr |
| ITensorMapExpr | Language.Egison.IExpr |
| ITest | Language.Egison.IExpr |
| ITopExpr | Language.Egison.IExpr |
| ITransposeExpr | Language.Egison.IExpr |
| ITuple | Language.Egison.Data, Language.Egison |
| ITupleExpr | Language.Egison.IExpr |
| ITuplePat | Language.Egison.IExpr |
| IUserrefsExpr | Language.Egison.IExpr |
| IValuePat | Language.Egison.IExpr |
| IVarExpr | Language.Egison.IExpr |
| IVarPat | Language.Egison.IExpr |
| IVectorExpr | Language.Egison.IExpr |
| IWedgeApplyExpr | Language.Egison.IExpr |
| IWildCard | Language.Egison.IExpr |
| IWithSymbolsExpr | Language.Egison.IExpr |
| JoinExpr | Language.Egison.AST, Language.Egison |
| LambdaExpr | Language.Egison.AST, Language.Egison |
| LambdaExpr' | Language.Egison.AST, Language.Egison |
| LaterPatVar | Language.Egison.AST, Language.Egison |
| lazyOneArg | Language.Egison.Primitives.Utils |
| LazyPrimitiveFunc | |
| 1 (Type/Class) | Language.Egison.Data, Language.Egison |
| 2 (Data Constructor) | Language.Egison.Data, Language.Egison |
| lazyThreeArg | Language.Egison.Primitives.Utils |
| LetExpr | Language.Egison.AST, Language.Egison |
| LetPat | Language.Egison.AST, Language.Egison |
| LetRecExpr | Language.Egison.AST, Language.Egison |
| Load | Language.Egison.AST, Language.Egison |
| loadEgisonFile | Language.Egison.Eval, Language.Egison |
| loadEgisonLibrary | Language.Egison.Eval, Language.Egison |
| LoadFile | Language.Egison.AST, Language.Egison |
| loadFile | Language.Egison.Parser, Language.Egison |
| loadLibraryFile | Language.Egison.Parser, Language.Egison |
| lookupClass | Language.Egison.Type.Env |
| lookupConstructor | Language.Egison.EvalState, Language.Egison |
| lookupEnv | Language.Egison.Type.Env |
| lookupInstance | Language.Egison.EvalState, Language.Egison |
| lookupInstances | Language.Egison.Type.Env |
| lookupPatternEnv | Language.Egison.Type.Env |
| lookupVar | Language.Egison.Type.Infer, Language.Egison.Type |
| LoopPat | Language.Egison.AST, Language.Egison |
| LoopPatContext | |
| 1 (Type/Class) | Language.Egison.Match |
| 2 (Data Constructor) | Language.Egison.Match |
| loopPatCtx | Language.Egison.Match |
| LoopRange | |
| 1 (Type/Class) | Language.Egison.AST, Language.Egison |
| 2 (Data Constructor) | Language.Egison.AST, Language.Egison |
| lowerFirst | Language.Egison.Type.Types, Language.Egison.Type |
| lowerReservedWords | Language.Egison.Parser.NonS |
| makeApply | Language.Egison.AST, Language.Egison |
| makeApplyExpr | Language.Egison.Math.Expr, Language.Egison.Math |
| makeBindings' | Language.Egison.Core |
| makeIApply | Language.Egison.IExpr |
| makeICollection | Language.Egison.Data.Collection |
| makeITuple | Language.Egison.Data.Utils |
| makeTuple | Language.Egison.Data.Utils |
| mAny | Language.Egison.MList |
| mappend | Language.Egison.MList |
| Match | Language.Egison.Match |
| MatchAllExpr | Language.Egison.AST, Language.Egison |
| MatchAllLambdaExpr | Language.Egison.AST, Language.Egison |
| MatchClause | Language.Egison.AST, Language.Egison |
| Matcher | Language.Egison.Data, Language.Egison |
| MatcherExpr | Language.Egison.AST, Language.Egison |
| MatchExpr | Language.Egison.AST, Language.Egison |
| matchFail | Language.Egison.Match |
| MatchFailure | Language.Egison.Data, Language.Egison |
| MatchingState | Language.Egison.Match |
| MatchingTree | Language.Egison.Match |
| MatchLambdaExpr | Language.Egison.AST, Language.Egison |
| MatchM | Language.Egison.Match |
| mathDenominator | Language.Egison.Math.Arith, Language.Egison.Math |
| mathDiv | Language.Egison.Math.Arith, Language.Egison.Math |
| mathDivideTerm | Language.Egison.Math.Normalize |
| MathExpr | Language.Egison.PrettyMath.AST |
| mathExprToEgison | Language.Egison.Data, Language.Egison |
| MathIndex | Language.Egison.PrettyMath.AST |
| mathMinus | Language.Egison.Math.Arith |
| mathMult | Language.Egison.Math.Arith, Language.Egison.Math |
| mathNegate | Language.Egison.Math.Expr, Language.Egison.Math |
| mathNormalize' | Language.Egison.Math.Normalize, Language.Egison.Math |
| mathNumerator | Language.Egison.Math.Arith, Language.Egison.Math |
| mathPlus | Language.Egison.Math.Arith, Language.Egison.Math |
| mathPower | Language.Egison.Math.Arith |
| mathScalarMult | Language.Egison.Math.Expr |
| MAtom | Language.Egison.Match |
| mconcat | Language.Egison.MList |
| MCons | Language.Egison.MList |
| MemoizedFunc | Language.Egison.Data, Language.Egison |
| MemoizedLambdaExpr | Language.Egison.AST, Language.Egison |
| mergeClassEnv | Language.Egison.Type.Env |
| methodDefault | Language.Egison.AST, Language.Egison |
| MethodDict | Language.Egison.EvalState, Language.Egison |
| methodName | Language.Egison.AST, Language.Egison |
| methodParams | Language.Egison.AST, Language.Egison |
| methodRetType | Language.Egison.AST, Language.Egison |
| mfoldr | Language.Egison.MList |
| mfor | Language.Egison.MList |
| mLabelFuncName | Language.Egison.EvalState, Language.Egison |
| MList | Language.Egison.MList |
| mmap | Language.Egison.MList |
| MNil | Language.Egison.MList |
| MNode | Language.Egison.Match |
| MonadEval | Language.Egison.EvalState, Language.Egison |
| MonadRuntime | Language.Egison.RState, Language.Egison |
| Monomial | Language.Egison.Math.Expr, Language.Egison.Math |
| msingleton | Language.Egison.MList |
| MState | Language.Egison.Match |
| mStateBindings | Language.Egison.Match |
| mStateEnv | Language.Egison.Match |
| mTrees | Language.Egison.Match |
| Multiply | Language.Egison.PrettyMath.AST |
| MultiSub | Language.Egison.IExpr |
| MultiSubscript | Language.Egison.AST, Language.Egison |
| MultiSup | Language.Egison.IExpr |
| MultiSuperscript | Language.Egison.AST, Language.Egison |
| NegativeAtom | Language.Egison.PrettyMath.AST |
| negQuote | Language.Egison.Math.Expr |
| negQuoteM | Language.Egison.Math.Expr |
| newEvaluatedObjectRef | Language.Egison.Data.Utils |
| noArg | Language.Egison.Primitives.Utils |
| normalizeInductiveTypes | Language.Egison.Type.Types, Language.Egison.Type |
| normalizeTensorType | Language.Egison.Type.Tensor, Language.Egison.Type |
| NotAFunction | Language.Egison.Type.Error, Language.Egison.Type |
| NotATensor | Language.Egison.Type.Error, Language.Egison.Type |
| NotImplemented | Language.Egison.Data, Language.Egison |
| NotPat | Language.Egison.AST, Language.Egison |
| nullEnv | Language.Egison.Data, Language.Egison |
| nullMState | Language.Egison.Match |
| Object | Language.Egison.Data, Language.Egison |
| ObjectRef | Language.Egison.Data, Language.Egison |
| OccursCheck | Language.Egison.Type.Unify |
| OccursCheckError | Language.Egison.Type.Error, Language.Egison.Type |
| oneArg | Language.Egison.Primitives.Utils |
| oneArg' | Language.Egison.Primitives.Utils |
| Op | |
| 1 (Type/Class) | Language.Egison.AST, Language.Egison |
| 2 (Data Constructor) | Language.Egison.AST, Language.Egison |
| optDumpDesugared | Language.Egison.CmdOptions, Language.Egison |
| optDumpEnv | Language.Egison.CmdOptions, Language.Egison |
| optDumpTc | Language.Egison.CmdOptions, Language.Egison |
| optDumpTi | Language.Egison.CmdOptions, Language.Egison |
| optDumpTyped | Language.Egison.CmdOptions, Language.Egison |
| optEvalString | Language.Egison.CmdOptions, Language.Egison |
| optExecFile | Language.Egison.CmdOptions, Language.Egison |
| optExecuteString | Language.Egison.CmdOptions, Language.Egison |
| optFieldInfo | Language.Egison.CmdOptions, Language.Egison |
| optFilterTsvInput | Language.Egison.CmdOptions, Language.Egison |
| optLoadFiles | Language.Egison.CmdOptions, Language.Egison |
| optLoadLibs | Language.Egison.CmdOptions, Language.Egison |
| optMapTsvInput | Language.Egison.CmdOptions, Language.Egison |
| optMathExpr | Language.Egison.CmdOptions, Language.Egison |
| optMathNormalize | Language.Egison.CmdOptions, Language.Egison |
| optNoIO | Language.Egison.CmdOptions, Language.Egison |
| optNoPrelude | Language.Egison.CmdOptions, Language.Egison |
| optPrompt | Language.Egison.CmdOptions, Language.Egison |
| optShowBanner | Language.Egison.CmdOptions, Language.Egison |
| optShowVersion | Language.Egison.CmdOptions, Language.Egison |
| optSubstituteString | Language.Egison.CmdOptions, Language.Egison |
| optTestOnly | Language.Egison.CmdOptions, Language.Egison |
| optTsvOutput | Language.Egison.CmdOptions, Language.Egison |
| optTypeCheck | Language.Egison.CmdOptions, Language.Egison |
| optTypeCheckStrict | Language.Egison.CmdOptions, Language.Egison |
| OrPat | Language.Egison.AST, Language.Egison |
| PApplyPat | Language.Egison.AST, Language.Egison |
| parseExpr | |
| 1 (Function) | Language.Egison.Parser.NonS |
| 2 (Function) | Language.Egison.PrettyMath.AST |
| parseExprs | Language.Egison.Parser.NonS |
| Parser | Language.Egison.Data, Language.Egison |
| parseTopExpr | |
| 1 (Function) | Language.Egison.Parser.NonS |
| 2 (Function) | Language.Egison.Parser, Language.Egison |
| parseTopExprs | Language.Egison.Parser.NonS |
| Partial | Language.Egison.PrettyMath.AST |
| PartiallyTypedWarning | Language.Egison.Type.Error, Language.Egison.Type |
| patDefClauses | Language.Egison.AST, Language.Egison |
| patDefMatcher | Language.Egison.AST, Language.Egison |
| patDefPattern | Language.Egison.AST, Language.Egison |
| PatFuncEnv | Language.Egison.Data, Language.Egison |
| Pattern | Language.Egison.AST, Language.Egison |
| PatternBinding | Language.Egison.Match |
| PatternConstructor | |
| 1 (Type/Class) | Language.Egison.AST, Language.Egison |
| 2 (Data Constructor) | Language.Egison.AST, Language.Egison |
| PatternConstructorEnv | Language.Egison.EvalState, Language.Egison |
| patternCtorArgs | Language.Egison.AST, Language.Egison |
| patternCtorName | Language.Egison.AST, Language.Egison |
| PatternDef | |
| 1 (Type/Class) | Language.Egison.AST, Language.Egison |
| 2 (Data Constructor) | Language.Egison.AST, Language.Egison |
| patternEnv | Language.Egison.EvalState, Language.Egison |
| patternEnvToList | Language.Egison.Type.Env |
| PatternFunc | Language.Egison.Data, Language.Egison |
| patternFuncEnv | Language.Egison.EvalState, Language.Egison |
| PatternFunctionDecl | Language.Egison.AST, Language.Egison |
| PatternFunctionExpr | Language.Egison.AST, Language.Egison |
| PatternInductiveDecl | Language.Egison.AST, Language.Egison |
| patternMatch | Language.Egison.Core |
| patternOps | Language.Egison.RState, Language.Egison |
| PatternTypeEnv | |
| 1 (Type/Class) | Language.Egison.Type.Env |
| 2 (Data Constructor) | Language.Egison.Type.Env |
| PatVar | Language.Egison.AST, Language.Egison |
| PDApply1Pat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDApply2Pat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDApply3Pat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDApply4Pat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDConsPat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDConstantPat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDDivPat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDEmptyPat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDFunctionPat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDInductivePat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDPatternBase | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDPatVar | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDPlusPat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDQuotePat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDSnocPat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDSubPat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDSupPat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDSymbolPat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDTermPat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDTuplePat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDUserPat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PDWildCard | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| permissiveInferConfig | Language.Egison.Type.Infer, Language.Egison.Type |
| Plus | |
| 1 (Data Constructor) | Language.Egison.Math.Expr, Language.Egison.Math |
| 2 (Data Constructor) | Language.Egison.PrettyMath.AST |
| pmIndices | Language.Egison.Data.Utils |
| PMMode | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PolyExpr | Language.Egison.Math.Expr, Language.Egison.Math |
| PolyExprData | Language.Egison.Data, Language.Egison |
| popFuncName | Language.Egison.EvalState, Language.Egison |
| Port | Language.Egison.Data, Language.Egison |
| Power | Language.Egison.PrettyMath.AST |
| PPInductivePat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PPPatVar | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PPTuplePat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PPValuePat | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PPWildCard | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| PredPat | Language.Egison.AST, Language.Egison |
| Prefix | Language.Egison.AST, Language.Egison |
| PrefixExpr | Language.Egison.AST, Language.Egison |
| pretty | Language.Egison.Math.Expr, Language.Egison.Math |
| prettyFunctionName | Language.Egison.Data, Language.Egison |
| prettyIndex | Language.Egison.Type.Pretty |
| prettyMath | Language.Egison.MathOutput |
| prettyStr | Language.Egison.Pretty |
| prettyTensorShape | Language.Egison.Type.Pretty |
| prettyTopExprs | Language.Egison.Pretty |
| prettyType | Language.Egison.Type.Pretty |
| prettyTypeExpr | Language.Egison.Type.Pretty |
| prettyTypeScheme | Language.Egison.Type.Pretty |
| primitiveArithFunctions | Language.Egison.Primitives.Arith |
| PrimitiveDataPattern | Language.Egison.AST, Language.Egison |
| primitiveEnv | Language.Egison.Primitives, Language.Egison |
| primitiveEnvNoIO | Language.Egison.Primitives, Language.Egison |
| PrimitiveFunc | |
| 1 (Type/Class) | Language.Egison.Data, Language.Egison |
| 2 (Data Constructor) | Language.Egison.Data, Language.Egison |
| PrimitiveMatchFailure | Language.Egison.Data, Language.Egison |
| PrimitivePatPattern | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| primitiveStringFunctions | Language.Egison.Primitives.String |
| primitiveTypeFunctions | Language.Egison.Primitives.Types |
| Printable | Language.Egison.Math.Expr, Language.Egison.Math |
| priority | Language.Egison.AST, Language.Egison |
| pushFuncName | Language.Egison.EvalState, Language.Egison |
| Quote | |
| 1 (Data Constructor) | Language.Egison.Math.Expr, Language.Egison.Math |
| 2 (Data Constructor) | Language.Egison.PrettyMath.AST |
| quote | Language.Egison.Math.Expr |
| QuoteExpr | Language.Egison.AST, Language.Egison |
| QuoteFunction | Language.Egison.Math.Expr, Language.Egison.Math |
| quoteFunction | Language.Egison.Math.Expr |
| quoteFunctionM | Language.Egison.Math.Expr |
| QuoteSymbolExpr | Language.Egison.AST, Language.Egison |
| readExpr | Language.Egison.Parser, Language.Egison |
| readExprs | Language.Egison.Parser, Language.Egison |
| readTopExpr | Language.Egison.Parser, Language.Egison |
| readTopExprs | Language.Egison.Parser, Language.Egison |
| readUTF8File | Language.Egison.Parser, Language.Egison |
| recursiveBind | Language.Egison.Core |
| recursiveBindAll | Language.Egison.Core |
| recursiveBindPatFuncs | Language.Egison.Core |
| RefBox | Language.Egison.Data, Language.Egison |
| refPatFunc | Language.Egison.Data, Language.Egison |
| refVar | Language.Egison.Data, Language.Egison |
| registerConstructor | Language.Egison.EvalState, Language.Egison |
| registerInstance | Language.Egison.EvalState, Language.Egison |
| removeDF | Language.Egison.Tensor |
| removeFromEnv | Language.Egison.Type.Env |
| removeShebang | Language.Egison.Parser, Language.Egison |
| repr | Language.Egison.AST, Language.Egison |
| reservedExprOp | Language.Egison.AST, Language.Egison |
| reservedPatternOp | Language.Egison.AST, Language.Egison |
| rewriteSymbol | Language.Egison.Math.Rewrite, Language.Egison.Math |
| RState | |
| 1 (Type/Class) | Language.Egison.RState, Language.Egison |
| 2 (Data Constructor) | Language.Egison.RState, Language.Egison |
| runExpr | Language.Egison.Eval, Language.Egison |
| runInfer | Language.Egison.Type.Infer, Language.Egison.Type |
| runInferI | Language.Egison.Type.Infer, Language.Egison.Type |
| runInferIWithEnv | Language.Egison.Type.Infer, Language.Egison.Type |
| runInferWithWarnings | Language.Egison.Type.Infer, Language.Egison.Type |
| runInferWithWarningsAndState | Language.Egison.Type.Infer, Language.Egison.Type |
| runRuntimeT | Language.Egison.RState, Language.Egison |
| RuntimeM | Language.Egison.RState, Language.Egison |
| RuntimeT | Language.Egison.RState, Language.Egison |
| runTopExpr | Language.Egison.Eval, Language.Egison |
| runTopExprs | Language.Egison.Eval, Language.Egison |
| runTopExprStr | Language.Egison.Eval, Language.Egison |
| sanitizeMethodName | Language.Egison.Type.Types, Language.Egison.Type |
| Scalar | Language.Egison.Data, Language.Egison |
| ScalarData | |
| 1 (Type/Class) | Language.Egison.Math.Expr, Language.Egison.Math |
| 2 (Data Constructor) | Language.Egison.Data, Language.Egison |
| ScalarM | |
| 1 (Type/Class) | Language.Egison.Math.Expr |
| 2 (Data Constructor) | Language.Egison.Math.Expr |
| SDLit | Language.Egison.AST, Language.Egison |
| SDVar | Language.Egison.AST, Language.Egison |
| SectionExpr | Language.Egison.AST, Language.Egison |
| SeqConsPat | Language.Egison.AST, Language.Egison |
| SeqExpr | Language.Egison.AST, Language.Egison |
| SeqNilPat | Language.Egison.AST, Language.Egison |
| SeqPatContext | |
| 1 (Type/Class) | Language.Egison.Match |
| 2 (Data Constructor) | Language.Egison.Match |
| seqPatCtx | Language.Egison.Match |
| setClassEnv | Language.Egison.EvalState, Language.Egison |
| setEnv | Language.Egison.Type.Infer, Language.Egison.Type |
| setPatternEnv | Language.Egison.EvalState, Language.Egison |
| setPatternFuncEnv | Language.Egison.EvalState, Language.Egison |
| setTypeEnv | Language.Egison.EvalState, Language.Egison |
| Shape | Language.Egison.Data, Language.Egison |
| ShapeDim | Language.Egison.AST, Language.Egison |
| ShapeDimType | Language.Egison.Type.Types, Language.Egison.Type |
| ShapeLit | Language.Egison.Type.Types, Language.Egison.Type |
| ShapeMixed | Language.Egison.Type.Types, Language.Egison.Type |
| ShapeUnknown | Language.Egison.Type.Types, Language.Egison.Type |
| ShapeVar | Language.Egison.Type.Types, Language.Egison.Type |
| showMathExpr | |
| 1 (Function) | Language.Egison.PrettyMath.Maxima |
| 2 (Function) | Language.Egison.PrettyMath.Mathematica |
| 3 (Function) | Language.Egison.PrettyMath.Latex |
| 4 (Function) | Language.Egison.PrettyMath.AsciiMath |
| showTSV | Language.Egison.Pretty |
| SingleSymbol | Language.Egison.Math.Expr, Language.Egison.Math |
| SingleTerm | Language.Egison.Math.Expr, Language.Egison.Math |
| singleTerm | Language.Egison.Math.Expr |
| singleTermM | Language.Egison.Math.Expr |
| singletonSubst | Language.Egison.Type.Subst |
| singletonSubstIndex | Language.Egison.Type.Subst |
| Something | Language.Egison.Data, Language.Egison |
| SomethingExpr | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| SourceLocation | |
| 1 (Type/Class) | Language.Egison.Type.Error, Language.Egison.Type |
| 2 (Data Constructor) | Language.Egison.Type.Error, Language.Egison.Type |
| srcColumn | Language.Egison.Type.Error, Language.Egison.Type |
| srcFile | Language.Egison.Type.Error, Language.Egison.Type |
| srcLine | Language.Egison.Type.Error, Language.Egison.Type |
| StrHash | Language.Egison.Data, Language.Egison |
| String | Language.Egison.Data, Language.Egison |
| StringExpr | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| stringToVar | Language.Egison.IExpr |
| stringToVarWithIndices | Language.Egison.AST, Language.Egison |
| stripType | Language.Egison.IExpr |
| stripTypeTopExpr | Language.Egison.IExpr |
| StrKey | Language.Egison.Data, Language.Egison |
| Sub | |
| 1 (Data Constructor) | Language.Egison.IExpr |
| 2 (Data Constructor) | Language.Egison.PrettyMath.AST |
| SubrefsExpr | Language.Egison.AST, Language.Egison |
| Subscript | |
| 1 (Data Constructor) | Language.Egison.AST, Language.Egison |
| 2 (Data Constructor) | Language.Egison.Type.Index, Language.Egison.Type |
| Subst | |
| 1 (Type/Class) | Language.Egison.Type.Subst |
| 2 (Data Constructor) | Language.Egison.Type.Subst |
| SubstIndex | Language.Egison.Type.Subst |
| Sup | Language.Egison.IExpr |
| Super | Language.Egison.PrettyMath.AST |
| Superscript | |
| 1 (Data Constructor) | Language.Egison.AST, Language.Egison |
| 2 (Data Constructor) | Language.Egison.Type.Index, Language.Egison.Type |
| SuprefsExpr | Language.Egison.AST, Language.Egison |
| SupSub | Language.Egison.IExpr |
| SupSubscript | Language.Egison.AST, Language.Egison |
| Symbol | Language.Egison.Math.Expr, Language.Egison.Math |
| symbol | Language.Egison.Math.Expr |
| SymbolExpr | Language.Egison.Math.Expr, Language.Egison.Math |
| SymbolExprData | Language.Egison.Data, Language.Egison |
| SymbolM | |
| 1 (Type/Class) | Language.Egison.Math.Expr |
| 2 (Data Constructor) | Language.Egison.Math.Expr |
| symbolM | Language.Egison.Math.Expr |
| symbolScalarData | Language.Egison.Data, Language.Egison |
| symbolScalarData' | Language.Egison.Data, Language.Egison |
| TAny | Language.Egison.Type.Types, Language.Egison.Type |
| TBool | Language.Egison.Type.Types, Language.Egison.Type |
| TChar | Language.Egison.Type.Types, Language.Egison.Type |
| TCollection | Language.Egison.Type.Types, Language.Egison.Type |
| tConcat' | Language.Egison.Tensor |
| tContract | Language.Egison.Tensor |
| tContract' | Language.Egison.Tensor |
| TEApp | Language.Egison.AST, Language.Egison |
| TEBool | Language.Egison.AST, Language.Egison |
| TEChar | Language.Egison.AST, Language.Egison |
| TEConstrained | Language.Egison.AST, Language.Egison |
| TEDiffForm | Language.Egison.AST, Language.Egison |
| TEFloat | Language.Egison.AST, Language.Egison |
| TEFun | Language.Egison.AST, Language.Egison |
| TEInt | Language.Egison.AST, Language.Egison |
| TEIO | Language.Egison.AST, Language.Egison |
| TEList | Language.Egison.AST, Language.Egison |
| TEMatcher | Language.Egison.AST, Language.Egison |
| TEMathExpr | Language.Egison.AST, Language.Egison |
| TEMatrix | Language.Egison.AST, Language.Egison |
| Tensor | |
| 1 (Type/Class) | Language.Egison.Data, Language.Egison |
| 2 (Data Constructor) | Language.Egison.Data, Language.Egison |
| 3 (Data Constructor) | Language.Egison.PrettyMath.AST |
| TensorComponent | Language.Egison.Tensor |
| TensorContractExpr | Language.Egison.AST, Language.Egison |
| TensorData | Language.Egison.Data, Language.Egison |
| TensorExpr | Language.Egison.AST, Language.Egison |
| TensorIndexExpr | Language.Egison.AST, Language.Egison |
| TensorIndexMismatch | Language.Egison.Type.Error, Language.Egison.Type |
| TensorIndexOutOfBounds | Language.Egison.Data, Language.Egison |
| TensorMap2Expr | Language.Egison.AST, Language.Egison |
| TensorMapExpr | Language.Egison.AST, Language.Egison |
| TensorShape | Language.Egison.Type.Types, Language.Egison.Type |
| TensorShapeExpr | Language.Egison.AST, Language.Egison |
| TensorShapeMismatch | Language.Egison.Type.Error, Language.Egison.Type |
| TEPattern | Language.Egison.AST, Language.Egison |
| Term | Language.Egison.Math.Expr, Language.Egison.Math |
| term | Language.Egison.Math.Expr |
| TermExpr | Language.Egison.Math.Expr, Language.Egison.Math |
| TermExprData | Language.Egison.Data, Language.Egison |
| TermM | |
| 1 (Type/Class) | Language.Egison.Math.Expr |
| 2 (Data Constructor) | Language.Egison.Math.Expr |
| termM | Language.Egison.Math.Expr |
| termsGcd | Language.Egison.Math.Normalize |
| Test | Language.Egison.AST, Language.Egison |
| TEString | Language.Egison.AST, Language.Egison |
| TETensor | Language.Egison.AST, Language.Egison |
| TETuple | Language.Egison.AST, Language.Egison |
| TEVar | Language.Egison.AST, Language.Egison |
| TEVector | Language.Egison.AST, Language.Egison |
| tFlipIndices | Language.Egison.Tensor |
| TFloat | Language.Egison.Type.Types, Language.Egison.Type |
| TFun | Language.Egison.Type.Types, Language.Egison.Type |
| THash | Language.Egison.Type.Types, Language.Egison.Type |
| threeArgs' | Language.Egison.Primitives.Utils |
| throwErrorWithTrace | Language.Egison.Data, Language.Egison |
| Thunk | Language.Egison.Data, Language.Egison |
| TIAndPat | Language.Egison.IExpr |
| TIApplyExpr | Language.Egison.IExpr |
| TIBindingExpr | Language.Egison.IExpr |
| TICambdaExpr | Language.Egison.IExpr |
| TICollectionExpr | Language.Egison.IExpr |
| TIConsExpr | Language.Egison.IExpr |
| TIConstantExpr | Language.Egison.IExpr |
| TIContPat | Language.Egison.IExpr |
| TIDApplyPat | Language.Egison.IExpr |
| TIDeclareSymbol | Language.Egison.IExpr |
| TIDefine | Language.Egison.IExpr |
| TIDefineMany | Language.Egison.IExpr |
| TIDoExpr | Language.Egison.IExpr |
| TIExecute | Language.Egison.IExpr |
| TIExpr | |
| 1 (Type/Class) | Language.Egison.IExpr |
| 2 (Data Constructor) | Language.Egison.IExpr |
| tiExprConstraints | Language.Egison.IExpr |
| TIExprNode | Language.Egison.IExpr |
| tiExprNode | Language.Egison.IExpr |
| tiExprScheme | Language.Egison.IExpr |
| tiExprType | Language.Egison.IExpr |
| tiExprTypeVars | Language.Egison.IExpr |
| TIFlipIndicesExpr | Language.Egison.IExpr |
| TIForallPat | Language.Egison.IExpr |
| TIFunctionExpr | Language.Egison.IExpr |
| TIGenerateTensorExpr | Language.Egison.IExpr |
| TIHashExpr | Language.Egison.IExpr |
| TIIfExpr | Language.Egison.IExpr |
| TIIndexedExpr | Language.Egison.IExpr |
| TIIndexedPat | Language.Egison.IExpr |
| TIInductiveDataExpr | Language.Egison.IExpr |
| TIInductiveOrPApplyPat | Language.Egison.IExpr |
| TIInductivePat | Language.Egison.IExpr |
| TIJoinExpr | Language.Egison.IExpr |
| TILambdaExpr | Language.Egison.IExpr |
| TILaterPatVar | Language.Egison.IExpr |
| TILetExpr | Language.Egison.IExpr |
| TILetPat | Language.Egison.IExpr |
| TILetRecExpr | Language.Egison.IExpr |
| TILoad | Language.Egison.IExpr |
| TILoadFile | Language.Egison.IExpr |
| TILoopPat | Language.Egison.IExpr |
| TILoopRange | |
| 1 (Type/Class) | Language.Egison.IExpr |
| 2 (Data Constructor) | Language.Egison.IExpr |
| TIMatchAllExpr | Language.Egison.IExpr |
| TIMatchClause | Language.Egison.IExpr |
| TIMatcherExpr | Language.Egison.IExpr |
| TIMatchExpr | Language.Egison.IExpr |
| TIMemoizedLambdaExpr | Language.Egison.IExpr |
| TIndexExpr | Language.Egison.Type.Types, Language.Egison.Type |
| TInductive | Language.Egison.Type.Types, Language.Egison.Type |
| TINotPat | Language.Egison.IExpr |
| TInt | Language.Egison.Type.Types, Language.Egison.Type |
| TIO | Language.Egison.Type.Types, Language.Egison.Type |
| TIORef | Language.Egison.Type.Types, Language.Egison.Type |
| TIOrPat | Language.Egison.IExpr |
| TIPApplyPat | Language.Egison.IExpr |
| TIPattern | |
| 1 (Type/Class) | Language.Egison.IExpr |
| 2 (Data Constructor) | Language.Egison.IExpr |
| TIPatternDef | Language.Egison.IExpr |
| TIPatternFunctionDecl | Language.Egison.IExpr |
| TIPatternNode | Language.Egison.IExpr |
| TIPatVar | Language.Egison.IExpr |
| TIPlaceholderSub | Language.Egison.AST, Language.Egison |
| TIPlaceholderSup | Language.Egison.AST, Language.Egison |
| tipPatternNode | Language.Egison.IExpr |
| TIPredPat | Language.Egison.IExpr |
| tipScheme | Language.Egison.IExpr |
| tipType | Language.Egison.IExpr |
| TIQuoteExpr | Language.Egison.IExpr |
| TIQuoteSymbolExpr | Language.Egison.IExpr |
| tiScheme | Language.Egison.IExpr |
| TISeqConsPat | Language.Egison.IExpr |
| TISeqExpr | Language.Egison.IExpr |
| TISeqNilPat | Language.Egison.IExpr |
| TISub | Language.Egison.AST, Language.Egison |
| TISubrefsExpr | Language.Egison.IExpr |
| TISup | Language.Egison.AST, Language.Egison |
| TISuprefsExpr | Language.Egison.IExpr |
| TITensorContractExpr | Language.Egison.IExpr |
| TITensorExpr | Language.Egison.IExpr |
| TITensorMap2Expr | Language.Egison.IExpr |
| TITensorMap2WedgeExpr | Language.Egison.IExpr |
| TITensorMapExpr | Language.Egison.IExpr |
| TITest | Language.Egison.IExpr |
| TITopExpr | Language.Egison.IExpr |
| TITransposeExpr | Language.Egison.IExpr |
| TITupleExpr | Language.Egison.IExpr |
| TITuplePat | Language.Egison.IExpr |
| TIUserrefsExpr | Language.Egison.IExpr |
| TIValuePat | Language.Egison.IExpr |
| TIVarExpr | Language.Egison.IExpr |
| TIVarPat | Language.Egison.IExpr |
| TIVectorExpr | Language.Egison.IExpr |
| TIWedgeApplyExpr | Language.Egison.IExpr |
| TIWildCard | Language.Egison.IExpr |
| TIWithSymbolsExpr | Language.Egison.IExpr |
| tMap | Language.Egison.Tensor |
| tMap2 | Language.Egison.Tensor |
| TMatcher | Language.Egison.Type.Types, Language.Egison.Type |
| TMathExpr | Language.Egison.Type.Types, Language.Egison.Type |
| toEgison | Language.Egison.Data, Language.Egison |
| ToMathExpr | Language.Egison.PrettyMath.AST |
| toMathExpr | Language.Egison.PrettyMath.AST |
| TopExpr | Language.Egison.AST, Language.Egison |
| topFuncName | Language.Egison.EvalState, Language.Egison |
| toTensor | Language.Egison.Tensor |
| TPInvertedVar | Language.Egison.AST, Language.Egison |
| TPolyExpr | Language.Egison.Type.Types, Language.Egison.Type |
| TPort | Language.Egison.Type.Types, Language.Egison.Type |
| tProduct | Language.Egison.Tensor |
| TPTuple | Language.Egison.AST, Language.Egison |
| TPUntypedVar | Language.Egison.AST, Language.Egison |
| TPUntypedWildcard | Language.Egison.AST, Language.Egison |
| TPVar | Language.Egison.AST, Language.Egison |
| TPWildcard | Language.Egison.AST, Language.Egison |
| TransposeExpr | Language.Egison.AST, Language.Egison |
| transVarIndex | Language.Egison.Desugar |
| tref | Language.Egison.Tensor |
| TSLit | Language.Egison.AST, Language.Egison |
| TSMixed | Language.Egison.AST, Language.Egison |
| TString | Language.Egison.Type.Types, Language.Egison.Type |
| TSVar | Language.Egison.AST, Language.Egison |
| TSymbolExpr | Language.Egison.Type.Types, Language.Egison.Type |
| TTensor | Language.Egison.Type.Types, Language.Egison.Type |
| TTermExpr | Language.Egison.Type.Types, Language.Egison.Type |
| tTranspose | Language.Egison.Tensor |
| tTranspose' | Language.Egison.Tensor |
| TTuple | Language.Egison.Type.Types, Language.Egison.Type |
| Tuple | |
| 1 (Data Constructor) | Language.Egison.Data, Language.Egison |
| 2 (Data Constructor) | Language.Egison.PrettyMath.AST |
| TupleExpr | Language.Egison.AST, Language.Egison |
| TupleLength | Language.Egison.Data, Language.Egison |
| TuplePat | Language.Egison.AST, Language.Egison |
| tupleToList | Language.Egison.Data.Utils |
| tupleToListWHNF | Language.Egison.Data.Utils |
| tupleToRefs | Language.Egison.Data.Utils |
| TVar | Language.Egison.Type.Types, Language.Egison.Type |
| twoArgs | Language.Egison.Primitives.Utils |
| twoArgs' | Language.Egison.Primitives.Utils |
| Type | Language.Egison.Type.Types, Language.Egison.Type |
| TypeAnnotation | Language.Egison.AST, Language.Egison |
| TypeAnnotationMismatch | Language.Egison.Type.Error, Language.Egison.Type |
| typeConstructorName | Language.Egison.Type.Types, Language.Egison.Type |
| TypedLambdaExpr | Language.Egison.AST, Language.Egison |
| TypedMemoizedLambdaExpr | Language.Egison.AST, Language.Egison |
| TypedParam | Language.Egison.AST, Language.Egison |
| typedVarConstraints | Language.Egison.AST, Language.Egison |
| typedVarIndices | Language.Egison.AST, Language.Egison |
| typedVarName | Language.Egison.AST, Language.Egison |
| typedVarParams | Language.Egison.AST, Language.Egison |
| typedVarRetType | Language.Egison.AST, Language.Egison |
| TypedVarWithIndices | |
| 1 (Type/Class) | Language.Egison.AST, Language.Egison |
| 2 (Data Constructor) | Language.Egison.AST, Language.Egison |
| TypeEnv | |
| 1 (Type/Class) | Language.Egison.Type.Env |
| 2 (Data Constructor) | Language.Egison.Type.Env |
| typeEnv | Language.Egison.EvalState, Language.Egison |
| TypeError | Language.Egison.Type.Error, Language.Egison.Type |
| TypeErrorContext | |
| 1 (Type/Class) | Language.Egison.Type.Error, Language.Egison.Type |
| 2 (Data Constructor) | Language.Egison.Type.Error, Language.Egison.Type |
| TypeExpr | Language.Egison.AST, Language.Egison |
| typeExprToType | Language.Egison.Type.Types, Language.Egison.Type |
| TypeMismatch | |
| 1 (Data Constructor) | Language.Egison.Type.Error, Language.Egison.Type |
| 2 (Data Constructor) | Language.Egison.Type.Unify |
| 3 (Data Constructor) | Language.Egison.Data, Language.Egison |
| TypeScheme | Language.Egison.Type.Types, Language.Egison.Type |
| typeToName | Language.Egison.Type.Types, Language.Egison.Type |
| TypeWarning | Language.Egison.Type.Error, Language.Egison.Type |
| TyVar | |
| 1 (Type/Class) | Language.Egison.Type.Types, Language.Egison.Type |
| 2 (Data Constructor) | Language.Egison.Type.Types, Language.Egison.Type |
| unaryOp | Language.Egison.Primitives.Utils |
| UnboundVariable | |
| 1 (Data Constructor) | Language.Egison.Type.Error, Language.Egison.Type |
| 2 (Data Constructor) | Language.Egison.Data, Language.Egison |
| UnboundVariableWarning | Language.Egison.Type.Error, Language.Egison.Type |
| unconsCollection | Language.Egison.Data.Collection |
| Undefined | Language.Egison.Data, Language.Egison |
| UndefinedExpr | Language.Egison.AST, Language.Egison.IExpr, Language.Egison |
| UnificationError | Language.Egison.Type.Error, Language.Egison.Type |
| unify | Language.Egison.Type.Unify |
| UnifyError | Language.Egison.Type.Unify |
| unifyMany | Language.Egison.Type.Unify |
| unifyStrict | Language.Egison.Type.Unify |
| unifyStrictWithConstraints | Language.Egison.Type.Unify |
| unifyTypes | Language.Egison.Type.Infer, Language.Egison.Type |
| unifyWithConstraints | Language.Egison.Type.Unify |
| unifyWithTopLevel | Language.Egison.Type.Unify |
| unPatternTypeEnv | Language.Egison.Type.Env |
| unsnocCollection | Language.Egison.Data.Collection |
| unSubst | Language.Egison.Type.Subst |
| UnsupportedExpressionWarning | Language.Egison.Type.Error, Language.Egison.Type |
| UnsupportedFeature | Language.Egison.Type.Error, Language.Egison.Type |
| unTypeEnv | Language.Egison.Type.Env |
| updateHash | Language.Egison.Data.Utils |
| upperReservedWords | Language.Egison.Parser.NonS |
| User | Language.Egison.IExpr |
| UserMatcher | Language.Egison.Data, Language.Egison |
| UserrefsExpr | Language.Egison.AST, Language.Egison |
| Userscript | Language.Egison.AST, Language.Egison |
| Value | Language.Egison.Data, Language.Egison |
| ValuePat | Language.Egison.AST, Language.Egison |
| valueToType | Language.Egison.Core |
| VAntiSymmScripts | Language.Egison.AST, Language.Egison |
| Var | |
| 1 (Type/Class) | Language.Egison.IExpr |
| 2 (Data Constructor) | Language.Egison.IExpr |
| VarEntry | |
| 1 (Type/Class) | Language.Egison.VarEntry |
| 2 (Data Constructor) | Language.Egison.VarEntry |
| VarExpr | Language.Egison.AST, Language.Egison |
| VarIndex | Language.Egison.AST, Language.Egison |
| VarPat | Language.Egison.AST, Language.Egison |
| VarWithIndices | |
| 1 (Type/Class) | Language.Egison.AST, Language.Egison |
| 2 (Data Constructor) | Language.Egison.AST, Language.Egison |
| VectorExpr | Language.Egison.AST, Language.Egison |
| veIndices | Language.Egison.VarEntry |
| version | Language.Egison |
| veValue | Language.Egison.VarEntry |
| VGroupScripts | Language.Egison.AST, Language.Egison |
| VMultiSubscript | Language.Egison.AST, Language.Egison |
| VMultiSuperscript | Language.Egison.AST, Language.Egison |
| VSubscript | Language.Egison.AST, Language.Egison |
| VSuperscript | Language.Egison.AST, Language.Egison |
| VSymmScripts | Language.Egison.AST, Language.Egison |
| WedgeApplyExpr | Language.Egison.AST, Language.Egison |
| WHNF | Language.Egison.Data, Language.Egison |
| WHNFData | Language.Egison.Data, Language.Egison |
| whnfToType | Language.Egison.Core |
| WildCard | Language.Egison.AST, Language.Egison |
| withContext | Language.Egison.Type.Error, Language.Egison.Type |
| withEnv | Language.Egison.Type.Infer, Language.Egison.Type |
| withExpr | Language.Egison.Type.Error, Language.Egison.Type |
| withLocation | Language.Egison.Type.Error, Language.Egison.Type |
| WithSymbolsExpr | Language.Egison.AST, Language.Egison |
| World | Language.Egison.Data, Language.Egison |
| writeObjectRef | Language.Egison.Data.Utils |
| zero | Language.Egison.Math.Expr |
| ZeroExpr | Language.Egison.Math.Expr, Language.Egison.Math |
| zeroM | Language.Egison.Math.Expr |