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