Index - L
| L | Gibbon.L0.Syntax |
| Label | Gibbon.L4.Syntax |
| LambdaE | Gibbon.L0.Syntax |
| lateInlineTriv | Gibbon.Passes.Simplifier |
| leafProg | Gibbon.L2.Examples |
| leftmostFun | Gibbon.L2.Examples |
| leftmostProg | Gibbon.L2.Examples |
| LetAllocT | Gibbon.L4.Syntax |
| LetArenaT | Gibbon.L4.Syntax |
| LetAvail | |
| 1 (Data Constructor) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| 2 (Data Constructor) | Gibbon.L3.Syntax |
| LetAvailT | Gibbon.L4.Syntax |
| LetCallT | Gibbon.L4.Syntax |
| LetE | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| LetEF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| LetIfT | Gibbon.L4.Syntax |
| LetLocE | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| LetParRegionE | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| LetPrimCallT | Gibbon.L4.Syntax |
| LetRegionE | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| LetTimedT | Gibbon.L4.Syntax |
| LetTrivT | Gibbon.L4.Syntax |
| LetUnpackT | Gibbon.L4.Syntax |
| lhs | Gibbon.L4.Syntax |
| LinearExt | |
| 1 (Type/Class) | Gibbon.L0.Syntax |
| 2 (Data Constructor) | Gibbon.L0.Syntax |
| ListTy | |
| 1 (Data Constructor) | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L0.Syntax |
| 3 (Data Constructor) | Gibbon.L4.Syntax |
| ListTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| LitE | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| LitEF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| LitSymE | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| LitSymEF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| lkp | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| LLAllocP | |
| 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 |
| LLAllocPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| LLConsP | |
| 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 |
| LLConsPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| LLCopyP | |
| 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 |
| LLCopyPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| LLFree2P | |
| 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 |
| LLFree2PF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| LLFreeP | |
| 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 |
| LLFreePF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| LLHeadP | |
| 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 |
| LLHeadPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| LLIsEmptyP | |
| 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 |
| LLIsEmptyPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| LLTailP | |
| 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 |
| LLTailPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| LLVM | Gibbon.Common |
| Loc | Gibbon.NewL2.Syntax |
| LocalIndirections | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| LocArg | Gibbon.NewL2.Syntax |
| LocationTC | Gibbon.L2.Typecheck |
| LocationTypeState | |
| 1 (Type/Class) | Gibbon.L2.Typecheck |
| 2 (Data Constructor) | Gibbon.L2.Typecheck |
| LocConstraint | Gibbon.L2.Typecheck |
| LocEnv | Gibbon.Passes.RemoveCopies |
| LocExp | |
| 1 (Type/Class) | Gibbon.L2.Syntax |
| 2 (Type/Class) | Gibbon.NewL2.Syntax |
| LocOf | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax, Gibbon.L3.Syntax |
| LocRet | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| locRets | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| locsInTy | |
| 1 (Function) | Gibbon.L2.Syntax |
| 2 (Function) | Gibbon.NewL2.Syntax |
| LocVar | Gibbon.Common, Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| locVars | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| lookup3 | Gibbon.Common |
| lookupDataCon | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| lookupDataCon' | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| lookupDDef | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| lookupFEnv | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| lookupInStore | Gibbon.L2.Interp |
| lookupInStore' | Gibbon.L2.Interp |
| lookupVar | Gibbon.L1.Typecheck |
| lookupVEnv | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| lower | Gibbon.Passes.Lower |
| LREM | |
| 1 (Type/Class) | Gibbon.NewL2.Syntax |
| 2 (Data Constructor) | Gibbon.NewL2.Syntax |
| lremEndReg | Gibbon.NewL2.Syntax |
| lremLoc | Gibbon.NewL2.Syntax |
| lremMode | Gibbon.NewL2.Syntax |
| lremReg | Gibbon.NewL2.Syntax |
| LRM | |
| 1 (Type/Class) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| 2 (Data Constructor) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| lrmLoc | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| lrmMode | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| lrmReg | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| LseqE | Gibbon.L0.Syntax |
| LtEqP | |
| 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 |
| LtEqPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| LtP | |
| 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 |
| LtPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |