Index - E
| Effect | FreeC.LiftedIR.Effect |
| effectAnalysisPass | FreeC.Pass.EffectAnalysisPass |
| Ellipsis | FreeC.Backend.Agda.Syntax |
| EllipsisP | FreeC.Backend.Agda.Syntax |
| ellipsisRange | FreeC.Backend.Agda.Syntax |
| ellipsisWithArgs | FreeC.Backend.Agda.Syntax |
| ELSE | FreeC.Frontend.IR.Token |
| empty | FreeC.Pretty |
| emptyEnv | FreeC.Environment |
| encapsulatesEffects | FreeC.Environment |
| enclose | FreeC.Pretty |
| encloseSep | FreeC.Pretty |
| End | FreeC.Backend.Agda.Syntax |
| entryAgdaIdent | FreeC.Environment.Entry |
| entryAgdaSmartIdent | FreeC.Environment.Entry |
| entryArgTypes | FreeC.Environment.Entry |
| entryArity | FreeC.Environment.Entry |
| entryConsNames | FreeC.Environment.Entry |
| entryEffects | FreeC.Environment.Entry |
| entryEncapsulatesEffects | FreeC.Environment.Entry |
| entryHasSmartIdent | FreeC.Environment.Entry |
| entryIdent | FreeC.Environment.Entry |
| entryIsPure | FreeC.Environment.Entry |
| entryName | FreeC.Environment.Entry |
| entryNeedsFreeArgs | FreeC.Environment.Entry |
| entryReturnType | FreeC.Environment.Entry |
| entryScope | FreeC.Environment.Entry |
| entryScopedName | FreeC.Environment.Entry |
| entrySmartIdent | FreeC.Environment.Entry |
| entrySrcSpan | FreeC.Environment.Entry |
| entryStrictArgs | FreeC.Environment.Entry |
| entryType | FreeC.Environment.Entry |
| entryTypeArgs | FreeC.Environment.Entry |
| entryTypeSyn | FreeC.Environment.Entry |
| envAvailableModules | FreeC.Environment |
| envDecArgs | FreeC.Environment |
| envEntries | FreeC.Environment |
| EnvEntry | FreeC.Environment.Entry |
| envFreshIdentCount | FreeC.Environment |
| Environment | |
| 1 (Type/Class) | FreeC.Environment |
| 2 (Data Constructor) | FreeC.Environment |
| Equal | FreeC.Backend.Agda.Syntax |
| EqualP | FreeC.Backend.Agda.Syntax |
| Equals | FreeC.Frontend.IR.Token |
| equals | |
| 1 (Function) | FreeC.Backend.Coq.Syntax |
| 2 (Function) | FreeC.Pretty |
| Equation | |
| 1 (Type/Class) | FreeC.Backend.Coq.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Coq.Syntax |
| equation | FreeC.Backend.Coq.Syntax |
| ERROR | FreeC.Frontend.IR.Token |
| Error | FreeC.Monad.Reporter |
| ErrorExpr | |
| 1 (Data Constructor) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| 2 (Data Constructor) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| errorExpr | FreeC.Backend.Agda.Converter.Free |
| errorExprMsg | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| errorFuncName | FreeC.IR.Base.Prelude |
| etaConversionPass | FreeC.Pass.EtaConversionPass |
| etaConvertExpr | FreeC.Pass.EtaConversionPass |
| etaConvertFuncDecl | FreeC.Pass.EtaConversionPass |
| EtaPragma | FreeC.Backend.Agda.Syntax |
| ETel | FreeC.Backend.Agda.Syntax |
| evalConverter | FreeC.Monad.Converter |
| evalConverterT | FreeC.Monad.Converter |
| evalReporter | FreeC.Monad.Reporter |
| Example | FreeC.Backend.Coq.Syntax |
| execConverter | FreeC.Monad.Converter |
| execConverterT | FreeC.Monad.Converter |
| ExistingClassSentence | FreeC.Backend.Coq.Syntax |
| expandAllTypeSynonyms | FreeC.IR.TypeSynExpansion |
| expandAllTypeSynonymsInConDecl | FreeC.IR.TypeSynExpansion |
| expandAllTypeSynonymsInConDeclWhere | FreeC.IR.TypeSynExpansion |
| expandAllTypeSynonymsInDecl | FreeC.IR.TypeSynExpansion |
| expandAllTypeSynonymsInDeclWhere | FreeC.IR.TypeSynExpansion |
| expandAllTypeSynonymsWhere | FreeC.IR.TypeSynExpansion |
| ExpandedEllipsis | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| expandTypeSynonym | FreeC.IR.TypeSynExpansion |
| expandTypeSynonymAt | FreeC.IR.TypeSynExpansion |
| expandTypeSynonyms | FreeC.IR.TypeSynExpansion |
| expandTypeSynonymsWhere | FreeC.IR.TypeSynExpansion |
| Explicit | FreeC.Backend.Coq.Syntax |
| ExplicitApp | FreeC.Backend.Coq.Syntax |
| explicitApp | FreeC.Backend.Coq.Syntax |
| ExplicitArgsPat | FreeC.Backend.Coq.Syntax |
| ExplicitLevel | FreeC.Backend.Coq.Syntax |
| Explicitness | FreeC.Backend.Coq.Syntax |
| Export | FreeC.Backend.Coq.Syntax |
| exportPass | FreeC.Pass.ExportPass |
| Expr | |
| 1 (Type/Class) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| 2 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 3 (Type/Class) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| exprAgdaVarName | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| exprAppArgs | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| exprAppFunc | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| exprAppLhs | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| exprAppRhs | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| exprAppTypeArgs | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| exprBindArg | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| exprBindCont | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| exprConName | |
| 1 (Function) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| 2 (Function) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| exprCoqVarIdent | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| exprEffects | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| exprFieldA | FreeC.Backend.Agda.Syntax |
| exprFreeArgs | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| exprPureArg | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| exprScrSpan | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| exprShareArg | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| exprShareType | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| exprSrcSpan | |
| 1 (Function) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| 2 (Function) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| exprType | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| exprTypeAppLhs | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| exprTypeAppRhs | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| exprTypeScheme | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| exprVarName | |
| 1 (Function) | FreeC.IR.Syntax.Expr, FreeC.IR.Syntax |
| 2 (Function) | FreeC.LiftedIR.Syntax.Expr, FreeC.LiftedIR.Syntax |
| ExprWhere | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| ExtendedLam | FreeC.Backend.Agda.Syntax |
| extractModName | FreeC.Frontend.Haskell.Simplifier |