| 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 |