Index - E
| E0Ext | Gibbon.L0.Syntax |
| E1Ext | Gibbon.L1.Syntax |
| E2 | Gibbon.L2.Syntax |
| E2Ext | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| E3Ext | Gibbon.L3.Syntax |
| Effect | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| elimE | Gibbon.L0.ElimNewtype |
| elimExt | Gibbon.L0.ElimNewtype |
| elimNewtypes | Gibbon.L0.ElimNewtype |
| elimPrim | Gibbon.L0.ElimNewtype |
| elimProgram | Gibbon.L0.ElimNewtype |
| elimTy | Gibbon.L0.ElimNewtype |
| elimTyScheme | Gibbon.L0.ElimNewtype |
| els | Gibbon.L4.Syntax |
| emptyBuffer | Gibbon.L2.Interp |
| emptyDD | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| emptyEnv | Gibbon.Passes.InferLocations |
| emptyEnv2 | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| emptyStore | Gibbon.L2.Interp |
| emptySubst | Gibbon.L0.Typecheck |
| EndOf | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| EndOfBuffer | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| EndOfMain | Gibbon.L4.Syntax |
| EndOfReg | Gibbon.NewL2.Syntax |
| EndOfReg_Tagged | Gibbon.NewL2.Syntax |
| EndScalarsAllocation | Gibbon.L3.Syntax |
| EndTagAllocation | Gibbon.L3.Syntax |
| EndWitness | Gibbon.NewL2.Syntax |
| ensureEqual | Gibbon.L1.Typecheck |
| ensureEqualTy | |
| 1 (Function) | Gibbon.L1.Typecheck |
| 2 (Function) | Gibbon.L0.Typecheck |
| Env2 | |
| 1 (Type/Class) | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| EqBenchProgP | |
| 1 (Data Constructor) | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| EqBenchProgPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| EqCharP | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| EqCharPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| EqFloatP | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| EqFloatPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| EqIntP | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| EqIntPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| EqP | Gibbon.L4.Syntax |
| EqSymP | |
| 1 (Data Constructor) | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| EqSymPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| eraseLocMarkers | Gibbon.L3.Syntax |
| err | Gibbon.L0.Typecheck |
| ErrorP | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| ErrorPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| ErrT | Gibbon.L4.Syntax |
| exadd1Bod | Gibbon.L1.Examples |
| exadd1BodLetLeft | Gibbon.L1.Examples |
| exadd1BodLetRight | Gibbon.L1.Examples |
| execAndPrint | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| execProg | Gibbon.L4.Interp |
| exefile | Gibbon.Common, Gibbon.Compiler |
| Exp0 | Gibbon.L0.Syntax |
| Exp1 | Gibbon.L1.Syntax |
| Exp2 | |
| 1 (Type/Class) | Gibbon.L2.Syntax |
| 2 (Type/Class) | Gibbon.NewL2.Syntax |
| Exp3 | Gibbon.L3.Syntax |
| ExpP | |
| 1 (Data Constructor) | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| ExpPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| Expression | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| Ext | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| extendEnv | Gibbon.L1.Typecheck |
| extendFEnv | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| extendPatternMatchEnv | |
| 1 (Function) | Gibbon.L2.Syntax |
| 2 (Function) | Gibbon.NewL2.Syntax |
| extendsVEnv | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| extendVEnv | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| ExtF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| extractBinary | Gibbon.L1.GenSML |
| extractUnary | Gibbon.L1.GenSML |