Index - A
| abbrv | Gibbon.Common |
| add1Fun | Gibbon.L2.Examples |
| add1Prog | |
| 1 (Function) | Gibbon.L2.Examples |
| 2 (Function) | Gibbon.L1.Examples |
| add1ProgChallenge | Gibbon.L1.Examples |
| add1ProgLetLeft | Gibbon.L1.Examples |
| add1ProgLetRight | Gibbon.L1.Examples |
| add1ProgSharing | Gibbon.L1.Examples |
| add1TraversedFun | Gibbon.L2.Examples |
| AddCursor | Gibbon.L3.Syntax |
| AddFixed | |
| 1 (Data Constructor) | Gibbon.L1.Syntax |
| 2 (Data Constructor) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| addFunBinding | Gibbon.L1.GenSML |
| AddP | |
| 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 |
| AddPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| addRAN | Gibbon.Passes.AddRAN |
| addTraversals | Gibbon.Passes.AddTraversals |
| addTreesProg | Gibbon.L2.Examples |
| AfterConstantC | Gibbon.L2.Typecheck |
| AfterConstantLE | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| AfterVariableC | Gibbon.L2.Typecheck |
| AfterVariableLE | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| AliasE | Gibbon.L0.Syntax |
| Aliased | Gibbon.L2.Typecheck |
| allFreeVars | |
| 1 (Function) | Gibbon.L2.Syntax |
| 2 (Function) | Gibbon.NewL2.Syntax |
| allFreeVars_sans_datacon_args | Gibbon.Passes.ThreadRegions |
| allFunEntries | Gibbon.L1.GenSML |
| allFunNames | Gibbon.L1.GenSML |
| allLocVars | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| AllocateScalarsHere | |
| 1 (Data Constructor) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| 2 (Data Constructor) | Gibbon.L3.Syntax |
| AllocateTagHere | |
| 1 (Data Constructor) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| 2 (Data Constructor) | Gibbon.L3.Syntax |
| AllocEnv | Gibbon.Passes.ThreadRegions |
| allRegVars | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| Alts | Gibbon.L4.Syntax |
| AndP | |
| 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 |
| AndPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| AppE | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| AppEF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| appendSize | Gibbon.L2.Interp |
| applyPrim | |
| 1 (Function) | Gibbon.L1.Interp |
| 2 (Function) | Gibbon.L4.Interp |
| ArenaTy | |
| 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 |
| ArenaTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| arrayInput | Gibbon.Common, Gibbon.Compiler |
| arrEffs | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| arrIns | |
| 1 (Function) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| 2 (Function) | Gibbon.L0.Syntax |
| arrIns' | Gibbon.L0.Syntax |
| arrOut | |
| 1 (Function) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| 2 (Function) | Gibbon.L0.Syntax |
| ArrowTy | |
| 1 (Type/Class) | 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 |
| 2 (Data Constructor) | Gibbon.L0.Syntax |
| ArrowTy2 | |
| 1 (Type/Class) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| 2 (Data Constructor) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| arrowTysInTy | Gibbon.L0.Syntax |
| Assert | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| assertTriv | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| assertTrivs | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| AssnValsT | Gibbon.L4.Syntax |
| assocLoc | Gibbon.Passes.InferLocations |
| async | Gibbon.L4.Syntax |