Index
| !!! | Gibbon.Common |
| # | Gibbon.Common |
| 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 |
| Backend | Gibbon.Common |
| backend | Gibbon.Common, Gibbon.Compiler |
| Bench | Gibbon.Common, Gibbon.Compiler |
| BenchE | |
| 1 (Data Constructor) | Gibbon.L1.Syntax |
| 2 (Data Constructor) | Gibbon.L0.Syntax |
| BenchInput | Gibbon.Common, Gibbon.Compiler |
| benchInput | Gibbon.Common, Gibbon.Compiler |
| BigInfinite | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| binary | Gibbon.L1.GenSML |
| bindLambdas | Gibbon.L0.Specialize2 |
| Binds | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| binds | Gibbon.L4.Syntax |
| bnd | Gibbon.L4.Syntax |
| bod | Gibbon.L4.Syntax |
| body | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| bodyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| bod_maybe | Gibbon.L4.Syntax |
| BoolS | Gibbon.L3.Syntax, Gibbon.L4.Syntax |
| BoolTriv | Gibbon.L4.Syntax |
| BoolTy | |
| 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 |
| BoolTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| Bounded | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| BoundedSize | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| BoundsCheck | |
| 1 (Data Constructor) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| 2 (Data Constructor) | Gibbon.L3.Syntax |
| 3 (Data Constructor) | Gibbon.L4.Syntax |
| boundsCheck | Gibbon.Passes.ThreadRegions |
| BoundTv | Gibbon.Common |
| Buffer | |
| 1 (Type/Class) | Gibbon.L2.Interp |
| 2 (Data Constructor) | Gibbon.L2.Interp |
| bufID | |
| 1 (Function) | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| 2 (Function) | Gibbon.L2.Interp |
| BufVal | Gibbon.L4.Interp |
| buildLeafFun | Gibbon.L2.Examples |
| buildLeafProg | Gibbon.L2.Examples |
| buildSTreeProg | Gibbon.L2.Examples |
| buildTreeProg | Gibbon.L2.Examples |
| buildTreeSumProg | Gibbon.L2.Examples |
| buildTwoTreesProg | Gibbon.L2.Examples |
| BumpArenaRefCount | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| byteSize | Gibbon.L2.Interp |
| byteSizeOfTy | Gibbon.L2.Interp |
| C | Gibbon.Common |
| CaseE | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| CaseEF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| cataM | Gibbon.Common |
| cc | Gibbon.Common, Gibbon.Compiler |
| cfile | Gibbon.Common, Gibbon.Compiler |
| changeAppToSpawn | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| CharE | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| CharEF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| CharS | Gibbon.L3.Syntax, Gibbon.L4.Syntax |
| CharTriv | Gibbon.L4.Syntax |
| CharTy | |
| 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 |
| CharTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| CharVal | Gibbon.L4.Interp |
| checkLen | Gibbon.L1.Typecheck |
| ChunkTy | Gibbon.L4.Syntax |
| cleanFunName | Gibbon.Common |
| clk | Gibbon.L2.Interp |
| codegenProg | Gibbon.Passes.Codegen |
| combine | Gibbon.L0.Typecheck |
| compile | Gibbon.Compiler |
| compileAndRunExe | Gibbon.Compiler |
| compileCmd | Gibbon.Compiler |
| con | Gibbon.L4.Syntax |
| Config | |
| 1 (Type/Class) | Gibbon.Common, Gibbon.Compiler |
| 2 (Data Constructor) | Gibbon.Common, Gibbon.Compiler |
| configParser | Gibbon.Compiler |
| configWithArgs | Gibbon.Compiler |
| constPacked | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| ConstraintSet | |
| 1 (Type/Class) | Gibbon.L2.Typecheck |
| 2 (Data Constructor) | Gibbon.L2.Typecheck |
| constraintSet | Gibbon.L2.Typecheck |
| convertFunTy | Gibbon.Passes.InferLocations |
| copyOnId1Prog | Gibbon.L2.Examples |
| copyOutOfOrderPacked | Gibbon.Passes.InferLocations |
| CopyPacked | Gibbon.L0.Syntax |
| copyTreeFun | Gibbon.L2.Examples |
| copyTreeProg | Gibbon.L2.Examples |
| cursorize | Gibbon.Passes.Cursorize |
| cursorizeTy | Gibbon.L3.Syntax |
| CursorTy | |
| 1 (Data Constructor) | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| CursorTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| DataCon | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| DataConE | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| DataConEF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| DataConInfo | |
| 1 (Type/Class) | Gibbon.L4.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| dataCons | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| dbgLvl | Gibbon.Common |
| dbgPrint | Gibbon.Common |
| dbgPrintLn | Gibbon.Common |
| dbgTrace | Gibbon.Common |
| dbgTraceIt | Gibbon.Common |
| dcon_tag | Gibbon.L4.Syntax |
| DDef | |
| 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 |
| DDef0 | Gibbon.L0.Syntax |
| DDef1 | Gibbon.L1.Syntax |
| DDef2 | |
| 1 (Type/Class) | Gibbon.L2.Syntax |
| 2 (Type/Class) | Gibbon.NewL2.Syntax |
| DDef3 | Gibbon.L3.Syntax |
| DDefs | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| ddefs | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| DDefs0 | Gibbon.L0.Syntax |
| DDefs1 | Gibbon.L1.Syntax |
| DDefs2 | |
| 1 (Type/Class) | Gibbon.L2.Syntax |
| 2 (Type/Class) | Gibbon.NewL2.Syntax |
| DDefs3 | Gibbon.L3.Syntax |
| ddexpr | Gibbon.L2.Examples |
| ddsnoclist | Gibbon.L2.Examples |
| ddtree | Gibbon.L2.Examples |
| DebugFlag | Gibbon.DynFlags |
| debugFlags | Gibbon.DynFlags |
| defaultConfig | Gibbon.Common, Gibbon.Compiler |
| defaultDynFlags | Gibbon.DynFlags |
| defaultPackedRunPassM | Gibbon.Common |
| defaultRunConfig | Gibbon.Common |
| defaultRunPassM | Gibbon.Common |
| depList | |
| 1 (Function) | Gibbon.L2.Syntax |
| 2 (Function) | Gibbon.NewL2.Syntax |
| deserialize | Gibbon.L2.Interp |
| Dest | Gibbon.Passes.InferLocations |
| desugarL0 | Gibbon.L0.Specialize2 |
| desugarLinearExts | Gibbon.HaskellFrontend |
| DictEmptyP | |
| 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 |
| DictEmptyPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| DictHasKeyP | |
| 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 |
| DictHasKeyPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| DictInsertP | |
| 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 |
| DictInsertPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| DictLookupP | |
| 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 |
| DictLookupPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| directL3 | Gibbon.Passes.DirectL3 |
| DivP | |
| 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 |
| DivPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| dopt | Gibbon.DynFlags |
| dopt_set | Gibbon.DynFlags |
| dropInBuffer | Gibbon.L2.Interp |
| dummyLRM | Gibbon.L2.Syntax |
| dummyTyLocs | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| dumpIfSet | Gibbon.Common |
| DynFlags | |
| 1 (Type/Class) | Gibbon.DynFlags |
| 2 (Data Constructor) | Gibbon.DynFlags |
| dynflags | Gibbon.Common, Gibbon.Compiler |
| dynflagsParser | Gibbon.DynFlags |
| DynR | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| 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 |
| FAddP | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FAddPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| Failure | Gibbon.Passes.InferLocations |
| falsePrinted | Gibbon.Common |
| FDivP | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FDivPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| fEnv | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FExpP | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FExpPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FGtEqP | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FGtEqPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FGtP | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FGtPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| field_tys | Gibbon.L4.Syntax |
| finalLocVar | Gibbon.Passes.InferLocations |
| finalUnifyLoc | Gibbon.Passes.InferLocations |
| findRetLocs | Gibbon.Passes.ThreadRegions |
| findWitnesses | Gibbon.Passes.FindWitnesses |
| finishExp | Gibbon.Passes.InferLocations |
| fixLoc | Gibbon.Passes.InferLocations |
| fixRANs | Gibbon.Passes.InferLocations |
| flatLets | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| Flattenable | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| flattenL0 | Gibbon.Passes.Flatten |
| flattenL1 | Gibbon.Passes.Flatten |
| flattenL2 | Gibbon.Passes.Flatten |
| flattenL3 | Gibbon.Passes.Flatten |
| FloatE | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FloatEF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| floatOutCase | Gibbon.L0.Specialize2 |
| FloatS | Gibbon.L3.Syntax, Gibbon.L4.Syntax |
| FloatToIntP | |
| 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 |
| FloatToIntPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FloatTriv | Gibbon.L4.Syntax |
| FloatTy | |
| 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 |
| FloatTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FloatVal | Gibbon.L4.Interp |
| FLtEqP | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FLtEqPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FLtP | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FLtPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FMulP | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FMulPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FnLocArgs | Gibbon.Passes.ThreadRegions |
| FoldE | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FoldEF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| followPtrs | Gibbon.Passes.FollowPtrs |
| ForAll | Gibbon.L0.Syntax |
| fragileZip | Gibbon.Common |
| fragileZip' | Gibbon.Common |
| FRandP | |
| 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 |
| FRandPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FreeBuffer | Gibbon.L4.Syntax |
| FreeLE | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| freeLocVars | |
| 1 (Function) | Gibbon.L2.Syntax |
| 2 (Function) | Gibbon.NewL2.Syntax |
| FreeSymTable | Gibbon.L4.Syntax |
| FreeVars | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| fresh | Gibbon.Passes.InferLocations |
| freshExp | Gibbon.Passes.Freshen |
| freshExp1 | Gibbon.Passes.Freshen |
| freshFun1 | Gibbon.Passes.Freshen |
| freshLocVar | Gibbon.Passes.InferLocations |
| freshNames | Gibbon.Passes.Freshen |
| freshNames1 | Gibbon.Passes.Freshen |
| freshUnifyLoc | Gibbon.Passes.InferLocations |
| FromEndE | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| FromEndLE | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| fromL3Ty | Gibbon.L4.Syntax |
| fromListDD | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| fromListFD | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| fromLRM | Gibbon.NewL2.Syntax |
| fromOldL2 | Gibbon.NewL2.FromOldL2 |
| fromRANDataCon | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| fromVar | Gibbon.Common |
| FSqrtP | |
| 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 |
| FSqrtPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| fst3 | Gibbon.Common |
| FSubP | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FSubPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FTanP | |
| 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 |
| FTanPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FullEnv | Gibbon.Passes.InferLocations |
| funArgs | |
| 1 (Function) | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| 2 (Function) | Gibbon.L4.Syntax |
| funBody | |
| 1 (Function) | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| 2 (Function) | Gibbon.L4.Syntax |
| funCanTriggerGC | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FunctionTy | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FunDecl | |
| 1 (Type/Class) | Gibbon.L4.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| FunDef | |
| 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 |
| FunDef0 | Gibbon.L0.Syntax |
| FunDef1 | Gibbon.L1.Syntax |
| FunDef2 | |
| 1 (Type/Class) | Gibbon.L2.Syntax |
| 2 (Type/Class) | Gibbon.NewL2.Syntax |
| FunDef3 | Gibbon.L3.Syntax |
| FunDefs | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| fundefs | |
| 1 (Function) | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| 2 (Function) | Gibbon.L4.Syntax |
| FunDefs0 | Gibbon.L0.Syntax |
| FunDefs1 | Gibbon.L1.Syntax |
| FunDefs2 | |
| 1 (Type/Class) | Gibbon.L2.Syntax |
| 2 (Type/Class) | Gibbon.NewL2.Syntax |
| FunDefs3 | Gibbon.L3.Syntax |
| FunInline | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| funInline | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FunMeta | |
| 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 |
| funMeta | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| funName | |
| 1 (Function) | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| 2 (Function) | Gibbon.L4.Syntax |
| FunRec | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| funRec | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FunRefE | Gibbon.L0.Syntax |
| funRetTy | Gibbon.L4.Syntax |
| funTy | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| FunVal | Gibbon.L4.Interp |
| fusion2 | Gibbon.Passes.Fusion2 |
| Gamma | Gibbon.L0.Typecheck |
| GeneralFlag | Gibbon.DynFlags |
| generalFlags | Gibbon.DynFlags |
| generalize | Gibbon.L0.Typecheck |
| GenericTC | |
| 1 (Data Constructor) | Gibbon.L2.Typecheck |
| 2 (Data Constructor) | Gibbon.L1.Typecheck |
| genLetter | Gibbon.Common |
| Gensym | |
| 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 |
| gensym | Gibbon.Common |
| GensymF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| gensym_tag | Gibbon.Common |
| GetCilkWorkerNum | |
| 1 (Data Constructor) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| 2 (Data Constructor) | Gibbon.L3.Syntax |
| 3 (Data Constructor) | Gibbon.L4.Syntax |
| getConOrdering | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| getDependencies | Gibbon.L1.GenSML |
| getDynFlags | Gibbon.Common |
| GetFirstWord | Gibbon.L4.Syntax |
| getFunTy | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| getGibbonConfig | Gibbon.Common |
| GetNumProcessors | |
| 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 |
| GetNumProcessorsF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| getPackedTys | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| getRunConfig | Gibbon.Common |
| getTagOfDataCon | Gibbon.Passes.Lower |
| getTyOfDataCon | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| getVar | Gibbon.L1.GenSML |
| gFlattenExp | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| gFlattenGatherBinds | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| gFreeVars | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| gInlineTrivExp | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| gInlineTrivExt | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| gInterpExp | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| gInterpExt | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| gInterpNoLogs | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| gInterpProg | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| gInterpWithStdout | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| GlobR | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| gopt | Gibbon.DynFlags |
| gopt_set | Gibbon.DynFlags |
| Goto | Gibbon.L4.Syntax |
| gRecoverType | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| gRename | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| gSubst | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| gSubstE | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| gSubstEExt | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| gSubstExt | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| GtEqP | |
| 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 |
| GtEqPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| GtP | |
| 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 |
| GtPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| harvestStructTys | Gibbon.Passes.Codegen |
| HasEq | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| HasGeneric | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| Haskell | Gibbon.Common, Gibbon.Compiler |
| HasNFData | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| HasOut | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| hasPacked | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| hasParallelism | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| HasPretty | Gibbon.Pretty |
| HasRenamable | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| HasShow | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| HasSimplifiable | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| HasSimplifiableExt | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| hasSpawns | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| hasSpawnsProg | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| HasSubstitutable | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| HasSubstitutableExt | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| hasTimeIt | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| hoistNewBuf | Gibbon.Passes.HoistNewBuf |
| hole_tycon | Gibbon.Passes.ThreadRegions |
| id1Fun | Gibbon.L2.Examples |
| id1Prog | Gibbon.L2.Examples |
| id2Fun | Gibbon.L2.Examples |
| id2Prog | Gibbon.L2.Examples |
| id3Fun | Gibbon.L2.Examples |
| id3Prog | Gibbon.L2.Examples |
| IfE | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| ife | Gibbon.L4.Syntax |
| IfEF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| IfT | Gibbon.L4.Syntax |
| indirectionAlt | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| IndirectionBarrier | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| IndirectionE | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| IndirectionFree | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| indirectionTag | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| indrBuildTreeProg | Gibbon.L2.Examples |
| indrIDProg | Gibbon.L2.Examples |
| indrIDSumProg | Gibbon.L2.Examples |
| indrRightmostProg | Gibbon.L2.Examples |
| inferEffects | Gibbon.Passes.InferEffects |
| inferExp | |
| 1 (Function) | Gibbon.Passes.InferEffects |
| 2 (Function) | Gibbon.Passes.InferLocations |
| inferExp' | Gibbon.Passes.InferLocations |
| inferFunAllocs | Gibbon.Passes.InferFunAllocs |
| inferLocs | Gibbon.Passes.InferLocations |
| inferRegScope | Gibbon.Passes.InferRegionScope |
| inferRegScopeExp | Gibbon.Passes.InferRegionScope |
| inferRegSize | Gibbon.Passes.CalculateBounds |
| InferState | Gibbon.Passes.InferLocations |
| Infinite | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| InfoTable | Gibbon.L4.Syntax |
| infoTable | Gibbon.L4.Syntax |
| initFunEnv | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| initial | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| initialF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| Inline | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| Inlineable | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| inlineTriv | Gibbon.Passes.InlineTriv |
| inlineTrivExp | Gibbon.Passes.InlineTriv |
| inlineTrivL4 | Gibbon.L4.Syntax |
| inLocVars | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| InplaceVSortP | |
| 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 |
| InplaceVSortPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| InplaceVUpdateP | |
| 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 |
| InplaceVUpdatePF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| Input | |
| 1 (Type/Class) | Gibbon.Common, Gibbon.Compiler |
| 2 (Data Constructor) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| input | Gibbon.Common, Gibbon.Compiler |
| InRegionC | Gibbon.L2.Typecheck |
| InRegionLE | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| inRegVars | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| insertAtBuffer | Gibbon.L2.Interp |
| insertDD | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| insertFD | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| insertIntoStore | Gibbon.L2.Interp |
| instantiate | Gibbon.L0.Typecheck |
| instDataConTy | Gibbon.L0.Typecheck |
| intAddFun | Gibbon.L2.Examples |
| intAddProg | Gibbon.L2.Examples |
| IntAlts | Gibbon.L4.Syntax |
| interleave | Gibbon.L1.GenSML |
| intern | Gibbon.Common |
| internalError | Gibbon.Common |
| Interp | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| interp | |
| 1 (Function) | Gibbon.L1.Interp |
| 2 (Function) | Gibbon.L2.Interp |
| Interp1 | Gibbon.Common, Gibbon.Compiler |
| Interp2 | Gibbon.Common, Gibbon.Compiler |
| InterpExt | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| interpExt | Gibbon.L2.Interp |
| InterpLog | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| InterpM | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| InterpProg | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| interpProg | Gibbon.L1.Interp |
| IntHashEmpty | |
| 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 |
| IntHashEmptyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| IntHashInsert | |
| 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 |
| IntHashInsertF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| IntHashLookup | |
| 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 |
| IntHashLookupF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| IntHashTy | |
| 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 |
| IntHashTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| IntS | Gibbon.L3.Syntax, Gibbon.L4.Syntax |
| IntToFloatP | |
| 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 |
| IntToFloatPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| IntTriv | Gibbon.L4.Syntax |
| IntTy | |
| 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 |
| IntTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| IntVal | Gibbon.L4.Interp |
| inTys | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| isAbsRANDataCon | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| IsBig | |
| 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 |
| IsBigF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| IsBoxed | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| isCallUnsaturated | Gibbon.L0.Syntax |
| isCopyFunName | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| isCopySansPtrsFunName | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| isFunTy | Gibbon.L0.Syntax |
| isIndirectionTag | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| isIter | Gibbon.L4.Syntax |
| isNestedProdTy | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| isPackedTy | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| isPrinterName | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| isProdTy | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| isPure | Gibbon.L4.Syntax |
| isRedirectionTag | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| isRelOffsetsFunName | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| isRelRANDataCon | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| isScalarTy | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| isScalarTy0 | Gibbon.L0.Syntax |
| isTravFunName | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| isTrivial | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| isUnpackerName | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| isUserTv | Gibbon.Common |
| isValidListElemTy | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| isValidListElemTy0 | Gibbon.L0.Syntax |
| isVoidDDef | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| iterator | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| iteratorF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| justPrint | Gibbon.L1.GenSML |
| 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 |
| MainExp | Gibbon.L4.Syntax |
| mainExp | |
| 1 (Function) | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| 2 (Function) | Gibbon.L4.Syntax |
| makeName | Gibbon.Passes.Codegen |
| MapE | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| MapEF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| mapExprs | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| mapExt | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| mapLocs | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| mapMExprs | |
| 1 (Function) | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax |
| 2 (Function) | Gibbon.L3.Syntax |
| mapPacked | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| Meta | Gibbon.L0.Syntax |
| MetaTv | |
| 1 (Data Constructor) | Gibbon.L0.Syntax |
| 2 (Type/Class) | Gibbon.L0.Syntax |
| metaTvsInTy | Gibbon.L0.Syntax |
| metaTvsInTys | Gibbon.L0.Syntax |
| metaTvsInTyScheme | Gibbon.L0.Syntax |
| metaTvsInTySchemes | Gibbon.L0.Syntax |
| minChatLvl | Gibbon.Common |
| mkAdd1Fun | Gibbon.L1.Examples |
| mkAdd1Prog | Gibbon.L1.Examples |
| mkCopyFunName | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| mkCopySansPtrsFunName | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| MkFalse | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| MkFalseF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| mkLets | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| mkPolyNames | Gibbon.L0.ElimNewtype |
| mkPrinterName | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| mkProd | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| MkProdE | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| MkProdEF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| mkProdTy | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| mkProj | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| mkRelOffsetsFunName | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| mkScalar | |
| 1 (Function) | Gibbon.L3.Syntax |
| 2 (Function) | Gibbon.L4.Syntax |
| mkTravFunName | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| MkTrue | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| MkTrueF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| MkTy2 | Gibbon.NewL2.Syntax |
| mkUnpackerName | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| MMapFileSize | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| MMapR | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| Modality | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| ModalityTC | Gibbon.L2.Typecheck |
| Mode | Gibbon.Common, Gibbon.Compiler |
| mode | Gibbon.Common, Gibbon.Compiler |
| ModP | |
| 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 |
| ModPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| monomorphize | Gibbon.L0.Specialize2 |
| MulP | |
| 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 |
| MulPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| multiArgsToOne | Gibbon.HaskellFrontend |
| Multiplicity | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| ndoc | Gibbon.Common |
| needsRAN | Gibbon.Passes.AddRAN |
| needsTraversalCase | Gibbon.Passes.AddTraversals |
| NewBuffer | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| newMetaTv | Gibbon.L0.Syntax |
| newMetaTy | Gibbon.L0.Syntax |
| NewParBuffer | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| newTyVar | Gibbon.L0.Syntax |
| newUniq | Gibbon.Common |
| nodeProg | Gibbon.L2.Examples |
| NoDest | Gibbon.Passes.InferLocations |
| NoInline | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| NoSharing | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| NotRec | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| NullCursor | Gibbon.L3.Syntax |
| numRANsDataCon | Gibbon.Passes.AddRAN |
| num_packed | Gibbon.L4.Syntax |
| num_scalars | Gibbon.L4.Syntax |
| num_shortcut | Gibbon.L4.Syntax |
| occurs | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| occursCheck | Gibbon.L0.Typecheck |
| offset | |
| 1 (Function) | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| 2 (Function) | Gibbon.L2.Interp |
| optc | Gibbon.Common, Gibbon.Compiler |
| Opt_BenchPrint | Gibbon.DynFlags |
| Opt_BigInfiniteRegions | Gibbon.DynFlags |
| Opt_BumpAlloc | Gibbon.DynFlags |
| Opt_CountAllRegions | Gibbon.DynFlags |
| Opt_CountParRegions | Gibbon.DynFlags |
| Opt_DisableGC | Gibbon.DynFlags |
| Opt_D_DumpToFile | Gibbon.DynFlags |
| Opt_D_Dump_Hs | Gibbon.DynFlags |
| Opt_D_Dump_ParAlloc | Gibbon.DynFlags |
| Opt_D_Dump_Repair | Gibbon.DynFlags |
| Opt_Fusion | Gibbon.DynFlags |
| Opt_GenGc | Gibbon.DynFlags |
| Opt_GhcTc | Gibbon.DynFlags |
| Opt_Gibbon1 | Gibbon.DynFlags |
| Opt_Gibbon2 | Gibbon.DynFlags |
| Opt_InfiniteRegions | Gibbon.DynFlags |
| Opt_NoEagerPromote | Gibbon.DynFlags |
| Opt_No_PureAnnot | Gibbon.DynFlags |
| Opt_No_RemoveCopies | Gibbon.DynFlags |
| Opt_Packed | Gibbon.DynFlags |
| Opt_Parallel | Gibbon.DynFlags |
| Opt_Pointer | Gibbon.DynFlags |
| Opt_PrintGcStats | Gibbon.DynFlags |
| Opt_RegionOnSpawn | Gibbon.DynFlags |
| Opt_RelativeOffsets | Gibbon.DynFlags |
| Opt_RemoveCopies | Gibbon.DynFlags |
| Opt_RtsDebug | Gibbon.DynFlags |
| Opt_SimpleWriteBarrier | Gibbon.DynFlags |
| Opt_Warnc | Gibbon.DynFlags |
| OrderedLocsEnv | Gibbon.Passes.ThreadRegions |
| OrP | |
| 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 |
| OrPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| outLocVars | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| Output | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| outRegVars | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| outTy | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| packedOccurs | Gibbon.L0.ElimNewtype |
| PackedTy | |
| 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 |
| PackedTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| parAlloc | Gibbon.Passes.ParAlloc |
| ParE0 | Gibbon.L0.Syntax |
| parseFile | |
| 1 (Function) | Gibbon.HaskellFrontend |
| 2 (Function) | Gibbon.SExpFrontend |
| parseSExp | Gibbon.SExpFrontend |
| ParSync | Gibbon.L4.Syntax |
| PassM | Gibbon.Common |
| PDictAllocP | |
| 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 |
| PDictAllocPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| PDictForkP | |
| 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 |
| PDictForkPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| PDictHasKeyP | |
| 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 |
| PDictHasKeyPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| PDictInsertP | |
| 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 |
| PDictInsertPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| PDictJoinP | |
| 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 |
| PDictJoinPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| PDictLookupP | |
| 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 |
| PDictLookupPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| PDictTy | |
| 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 |
| PDictTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| PkdEnv | Gibbon.Passes.ThreadRegions |
| PolyAppE | Gibbon.L0.Syntax |
| ppAp | Gibbon.L1.GenSML |
| ppCurried | Gibbon.L1.GenSML |
| ppDDef | Gibbon.L1.GenSML |
| ppDDefs | Gibbon.L1.GenSML |
| ppE | Gibbon.L1.GenSML |
| ppExt | Gibbon.L1.GenSML |
| ppFail | Gibbon.L1.GenSML |
| ppFunDefs | Gibbon.L1.GenSML |
| ppFunRec | Gibbon.L1.GenSML |
| PPHaskell | Gibbon.Pretty |
| PPInternal | Gibbon.Pretty |
| ppMainExpr | Gibbon.L1.GenSML |
| ppPrim | Gibbon.L1.GenSML |
| ppProgram | Gibbon.L1.GenSML |
| pprender | Gibbon.Pretty |
| pprint | Gibbon.Pretty |
| pprintHsWithEnv | Gibbon.Pretty |
| pprintWithStyle | Gibbon.Pretty |
| PPStyle | Gibbon.Pretty |
| ppTy1 | Gibbon.L1.GenSML |
| ppTyVar | Gibbon.L1.GenSML |
| ppValDef | Gibbon.L1.GenSML |
| ppVar | Gibbon.L1.GenSML |
| PreExp | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| PreExpF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| PreLocExp | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| Pretty | Gibbon.Pretty |
| Prim | |
| 1 (Type/Class) | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| 2 (Type/Class) | Gibbon.L4.Syntax |
| prim | |
| 1 (Function) | Gibbon.L4.Syntax |
| 2 (Function) | Gibbon.Passes.InferLocations |
| PrimAppE | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| PrimAppEF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| primArgsTy | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| PrimF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| primMap | |
| 1 (Function) | Gibbon.HaskellFrontend |
| 2 (Function) | Gibbon.SExpFrontend |
| primRetTy | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| PrintBool | |
| 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 |
| PrintBoolF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| PrintChar | |
| 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 |
| PrintCharF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| printer | Gibbon.L1.GenSML |
| printerTy1 | Gibbon.L1.GenSML |
| PrintExp | Gibbon.L4.Syntax |
| PrintFloat | |
| 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 |
| PrintFloatF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| PrintInt | |
| 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 |
| PrintIntF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| PrintPacked | Gibbon.L0.Syntax |
| PrintRegionCount | Gibbon.L4.Syntax |
| PrintString | Gibbon.L4.Syntax |
| PrintSym | |
| 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 |
| PrintSymF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| printTupProg | Gibbon.L2.Examples |
| printTupProg2 | Gibbon.L2.Examples |
| ProdTriv | Gibbon.L4.Syntax |
| ProdTy | |
| 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 |
| ProdTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| Prog | |
| 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 |
| 3 (Type/Class) | Gibbon.L4.Syntax |
| 4 (Data Constructor) | Gibbon.L4.Syntax |
| Prog0 | Gibbon.L0.Syntax |
| Prog1 | Gibbon.L1.Syntax |
| Prog2 | |
| 1 (Type/Class) | Gibbon.L2.Syntax |
| 2 (Type/Class) | Gibbon.NewL2.Syntax |
| Prog3 | Gibbon.L3.Syntax |
| progToEnv | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| ProjE | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| ProjEF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| projNonFirst | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| ProjTriv | Gibbon.L4.Syntax |
| projTy | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| ptr | Gibbon.L4.Syntax |
| PtrTy | |
| 1 (Data Constructor) | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| PtrTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| qsort | Gibbon.L1.GenSML |
| quotePrint | Gibbon.L1.GenSML |
| RandP | |
| 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 |
| RandPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| rands | Gibbon.L4.Syntax |
| RanEnv | Gibbon.Passes.ThreadRegions |
| rator | Gibbon.L4.Syntax |
| rcCursors | Gibbon.Common |
| rcDbg | Gibbon.Common |
| rcIters | Gibbon.Common |
| rcSize | Gibbon.Common |
| Read | Gibbon.Common |
| ReadArrayFile | |
| 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 |
| ReadArrayFileF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| ReadCursor | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| ReadInt | |
| 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 |
| ReadIntF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| ReadList | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| ReadPackedFile | |
| 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 |
| ReadPackedFileF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| ReadScalar | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| ReadTag | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| ReadTaggedCursor | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| ReadVector | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| rearrangeFree | Gibbon.Passes.RearrangeFree |
| Rec | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| recoverType | Gibbon.L0.Syntax |
| redirectionAlt | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| redirectionSize | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| redirectionTag | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| reduceFunDefs | Gibbon.L1.GenSML |
| Reg | Gibbon.NewL2.Syntax |
| RegEnv | Gibbon.Passes.ThreadRegions |
| Region | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| RegionSet | |
| 1 (Type/Class) | Gibbon.L2.Typecheck |
| 2 (Data Constructor) | Gibbon.L2.Typecheck |
| regionsInwards | Gibbon.Passes.RegionsInwards |
| RegionSize | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| regionToVar | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| RegionTy | Gibbon.L4.Syntax |
| RegionType | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| regSet | Gibbon.L2.Typecheck |
| RegVar | Gibbon.Common |
| removeAliasesForCopyCalls | Gibbon.Passes.InferLocations |
| removeCopies | Gibbon.Passes.RemoveCopies |
| removeCopiesExp | Gibbon.Passes.RemoveCopies |
| removeCopiesFn | Gibbon.Passes.RemoveCopies |
| Renamable | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| render | Gibbon.Pretty |
| reorderScalarWrites | Gibbon.Passes.ReorderScalarWrites |
| RequestEndOf | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| RequestEndOfF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| RequestSizeOf | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| RequestSizeOfF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| Result | Gibbon.Passes.InferLocations |
| RetE | |
| 1 (Data Constructor) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| 2 (Data Constructor) | Gibbon.L3.Syntax |
| RetValsT | Gibbon.L4.Syntax |
| ReverseAppE | Gibbon.L0.Syntax |
| revertToL1 | |
| 1 (Function) | Gibbon.L2.Syntax |
| 2 (Function) | Gibbon.NewL2.Syntax |
| rewriteReturns | Gibbon.Passes.Codegen |
| rightmostProg | Gibbon.L2.Examples |
| RightmostRegEnv | Gibbon.Passes.ThreadRegions |
| RightwardLocalIndirections | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| routeEnds | Gibbon.Passes.RouteEnds |
| RunConfig | |
| 1 (Type/Class) | Gibbon.Common |
| 2 (Data Constructor) | Gibbon.Common |
| RunExe | Gibbon.Common, Gibbon.Compiler |
| runInterpM | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| RunMPL | Gibbon.Common, Gibbon.Compiler |
| runPassM | Gibbon.Common |
| runSyM | Gibbon.Common |
| runTcM | Gibbon.L0.Typecheck |
| saturateCall | Gibbon.L0.Syntax |
| Scalar | Gibbon.L3.Syntax, Gibbon.L4.Syntax |
| scalarToTy | |
| 1 (Function) | Gibbon.L3.Syntax |
| 2 (Function) | Gibbon.L4.Syntax |
| scalar_bytes | Gibbon.L4.Syntax |
| ScopedBuffer | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| ScopedParBuffer | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| sdoc | Gibbon.Common |
| separateDefs | Gibbon.L1.GenSML |
| SerBool | Gibbon.L2.Interp |
| SerChar | Gibbon.L2.Interp |
| SerFloat | Gibbon.L2.Interp |
| SerializedVal | Gibbon.L2.Interp |
| SerInt | Gibbon.L2.Interp |
| SerPad | Gibbon.L2.Interp |
| SerPtr | Gibbon.L2.Interp |
| SerTag | Gibbon.L2.Interp |
| setEvenProg | Gibbon.L2.Examples |
| SExpr | Gibbon.Common, Gibbon.Compiler |
| shakeTree | Gibbon.Passes.ShakeTree |
| Simplifiable | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| SimplifiableExt | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| simplifyL1 | Gibbon.Passes.Simplifier |
| simplifyLocBinds | Gibbon.Passes.Simplifier |
| SingleDest | Gibbon.Passes.InferLocations |
| Size | Gibbon.L2.Interp |
| SizeEnv | Gibbon.L2.Interp |
| SizeOfPacked | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| SizeOfScalar | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| sizeOfTy | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| SizeParam | |
| 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 |
| SizeParamF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| sizeToInt | Gibbon.L2.Interp |
| SkolemTv | Gibbon.Common |
| SMany | Gibbon.L2.Interp |
| snd3 | Gibbon.Common |
| SOne | Gibbon.L2.Interp |
| sortDefs | Gibbon.L1.GenSML |
| SpawnE | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| SpawnEF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| specLambdas | Gibbon.L0.Specialize2 |
| srcFile | Gibbon.Common, Gibbon.Compiler |
| SSModality | Gibbon.Common |
| SSPop | |
| 1 (Data Constructor) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| 2 (Data Constructor) | Gibbon.L3.Syntax |
| 3 (Data Constructor) | Gibbon.L4.Syntax |
| SSPush | |
| 1 (Data Constructor) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| 2 (Data Constructor) | Gibbon.L3.Syntax |
| 3 (Data Constructor) | Gibbon.L4.Syntax |
| ss_ops | Gibbon.Passes.ThreadRegions |
| StartOfC | Gibbon.L2.Typecheck |
| StartOfPkdCursor | |
| 1 (Data Constructor) | Gibbon.L1.Syntax |
| 2 (Data Constructor) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| StartOfRegionLE | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| StartScalarsAllocation | Gibbon.L3.Syntax |
| StartTagAllocation | Gibbon.L3.Syntax |
| Store | |
| 1 (Type/Class) | Gibbon.L2.Interp |
| 2 (Data Constructor) | Gibbon.L2.Interp |
| stree | Gibbon.L2.Examples |
| stripTyLocs | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| strToInt | Gibbon.L2.Interp |
| SubP | |
| 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 |
| SubPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| SubPtr | Gibbon.L3.Syntax |
| Subst | |
| 1 (Type/Class) | Gibbon.L0.Typecheck |
| 2 (Data Constructor) | Gibbon.L0.Typecheck |
| subst | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| substE | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| substEff | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| substEffs | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| substEndReg | Gibbon.Passes.ThreadRegions |
| substEndReg_locarg | Gibbon.Passes.ThreadRegions |
| Substitutable | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| SubstitutableExt | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| substLoc | |
| 1 (Function) | Gibbon.L2.Syntax |
| 2 (Function) | Gibbon.NewL2.Syntax |
| substLocs | |
| 1 (Function) | Gibbon.L2.Syntax |
| 2 (Function) | Gibbon.NewL2.Syntax |
| substProg | Gibbon.L2.Examples |
| substTyVar | Gibbon.L0.Syntax |
| substTyVarDDef | Gibbon.L0.Typecheck |
| substTyVarExp | Gibbon.L0.Typecheck |
| substTyVarPrim | Gibbon.L0.Typecheck |
| sumSTreeProg | Gibbon.L2.Examples |
| sumTreeProg | Gibbon.L2.Examples |
| sumUpProg | Gibbon.L2.Examples |
| sumUpSetEvenProg | Gibbon.L2.Examples |
| Switch | Gibbon.L4.Syntax |
| SyM | Gibbon.Common |
| Symbol | Gibbon.Common |
| symbolTable | Gibbon.L4.Syntax |
| SymDictTy | |
| 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 |
| SymDictTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| SymHashContains | |
| 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 |
| SymHashContainsF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| SymHashEmpty | |
| 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 |
| SymHashEmptyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| SymHashInsert | |
| 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 |
| SymHashInsertF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| SymHashLookup | |
| 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 |
| SymHashLookupF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| SymHashTy | |
| 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 |
| SymHashTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| SymS | Gibbon.L3.Syntax, Gibbon.L4.Syntax |
| SymSetContains | |
| 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 |
| SymSetContainsF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| SymSetEmpty | |
| 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 |
| SymSetEmptyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| SymSetInsert | |
| 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 |
| SymSetInsertF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| SymSetTy | |
| 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 |
| SymSetTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| SymTable | Gibbon.L4.Syntax |
| SymTriv | Gibbon.L4.Syntax |
| SymTy | |
| 1 (Data Constructor) | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| SymTy0 | Gibbon.L0.Syntax |
| SymTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| SyncE | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| SyncEF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| Tag | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax, Gibbon.L4.Syntax |
| TagAlts | Gibbon.L4.Syntax |
| TagCursor | |
| 1 (Data Constructor) | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| 2 (Data Constructor) | Gibbon.L3.Syntax |
| 3 (Data Constructor) | Gibbon.L4.Syntax |
| TagTriv | Gibbon.L4.Syntax |
| TagTyBoxed | Gibbon.L4.Syntax |
| TagTyPacked | Gibbon.L4.Syntax |
| TagVal | Gibbon.L4.Interp |
| Tail | Gibbon.L4.Syntax |
| TailCall | Gibbon.L4.Syntax |
| TailRec | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| tcCases | Gibbon.L0.Typecheck |
| TCError | |
| 1 (Type/Class) | Gibbon.L2.Typecheck |
| 2 (Type/Class) | Gibbon.L1.Typecheck |
| tcExp | |
| 1 (Function) | Gibbon.L2.Typecheck |
| 2 (Function) | Gibbon.L1.Typecheck |
| 3 (Function) | Gibbon.L0.Typecheck |
| 4 (Function) | Gibbon.L3.Typecheck |
| tcExps | Gibbon.L0.Typecheck |
| tcFun | Gibbon.L0.Typecheck |
| TcM | |
| 1 (Type/Class) | Gibbon.L2.Typecheck |
| 2 (Type/Class) | Gibbon.L1.Typecheck |
| 3 (Type/Class) | Gibbon.L0.Typecheck |
| 4 (Data Constructor) | Gibbon.L0.Typecheck |
| tcProg | |
| 1 (Function) | Gibbon.L2.Typecheck |
| 2 (Function) | Gibbon.L1.Typecheck |
| 3 (Function) | Gibbon.L0.Typecheck |
| 4 (Function) | Gibbon.L3.Typecheck |
| tcProj | Gibbon.L1.Typecheck |
| testFlattenProg | Gibbon.L2.Examples |
| testProdFun | Gibbon.L2.Examples |
| testProdProg | Gibbon.L2.Examples |
| thd3 | Gibbon.Common |
| threadRegions | Gibbon.Passes.ThreadRegions |
| threadRegionsExp | Gibbon.Passes.ThreadRegions |
| threadRegionsFn | Gibbon.Passes.ThreadRegions |
| TiM | Gibbon.Passes.InferLocations |
| timed | Gibbon.L4.Syntax |
| TimeIt | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| TimeItF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| toAbsRANDataCon | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| ToC | Gibbon.Common, Gibbon.Compiler |
| toEndFromTaggedV | Gibbon.NewL2.Syntax |
| toEndV | Gibbon.Common |
| ToExe | Gibbon.Common, Gibbon.Compiler |
| toL1 | Gibbon.L0.Specialize2 |
| toL3Prim | Gibbon.L3.Syntax |
| ToLinearE | Gibbon.L0.Syntax |
| toLocVar | Gibbon.NewL2.Syntax |
| ToMPL | Gibbon.Common, Gibbon.Compiler |
| ToMPLExe | Gibbon.Common, Gibbon.Compiler |
| toOldL2 | Gibbon.NewL2.FromOldL2 |
| toOldL2Exp | Gibbon.NewL2.FromOldL2 |
| ToParse | Gibbon.Common, Gibbon.Compiler |
| toRelRANDataCon | Gibbon.Language.Constants, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| toSeqV | Gibbon.Common |
| toss | Gibbon.L1.GenSML |
| toTagV | Gibbon.NewL2.Syntax |
| toVar | Gibbon.Common |
| Traverse | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| TravPacked | Gibbon.L0.Syntax |
| treeDD | Gibbon.L1.Examples |
| treeTy | Gibbon.L1.Examples |
| Triv | Gibbon.L4.Syntax |
| truePrinted | Gibbon.Common |
| tsmap | Gibbon.L2.Typecheck |
| tst | Gibbon.L4.Syntax |
| TupleDest | Gibbon.Passes.InferLocations |
| tuplizeRefs | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| Ty | Gibbon.L4.Syntax |
| Ty0 | Gibbon.L0.Syntax |
| Ty1 | Gibbon.L1.Syntax |
| Ty2 | |
| 1 (Type/Class) | Gibbon.L2.Syntax |
| 2 (Type/Class) | Gibbon.NewL2.Syntax |
| Ty3 | Gibbon.L3.Syntax |
| tyArgs | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| TyCon | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| TyConInfo | Gibbon.L4.Syntax |
| TyEnv | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| tyFromScheme | Gibbon.L0.Syntax |
| TyMap | Gibbon.L0.ElimNewtype |
| tyName | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| TyOf | 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 |
| Typeable | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| typeOfTriv | Gibbon.L4.Syntax |
| TyScheme | Gibbon.L0.Syntax |
| tyToDataCon | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| TyVar | |
| 1 (Type/Class) | Gibbon.Common |
| 2 (Data Constructor) | Gibbon.L0.Syntax |
| tyVarsFromScheme | Gibbon.L0.Syntax |
| tyVarsInTy | Gibbon.L0.Syntax |
| tyVarsInTys | Gibbon.L0.Syntax |
| tyVarsInTyScheme | Gibbon.L0.Syntax |
| tyVarToMetaTy | Gibbon.L0.Typecheck |
| tyVarToMetaTyl | Gibbon.L0.Typecheck |
| unariser | Gibbon.Passes.Unariser |
| unariserExp | Gibbon.Passes.Unariser |
| Undefined | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| unify | |
| 1 (Function) | Gibbon.L0.Typecheck |
| 2 (Function) | Gibbon.Passes.InferLocations |
| unifyl | Gibbon.L0.Typecheck |
| UnifyLoc | Gibbon.Passes.InferLocations |
| unifyVar | Gibbon.L0.Typecheck |
| unintern | Gibbon.Common |
| Unspecified | Gibbon.Common, Gibbon.Compiler |
| UnsupportedExpTC | |
| 1 (Data Constructor) | Gibbon.L2.Typecheck |
| 2 (Data Constructor) | Gibbon.L1.Typecheck |
| unTy2 | Gibbon.NewL2.Syntax |
| upd | Gibbon.L4.Syntax |
| updateAvailVars | Gibbon.L3.Syntax |
| UrTy | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| UrTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| UserTv | Gibbon.Common |
| Val | Gibbon.L4.Interp |
| ValEnv | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VAllocP | |
| 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 |
| VAllocPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| vals | Gibbon.L4.Syntax |
| Value | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| Var | |
| 1 (Type/Class) | Gibbon.Common, Gibbon.L4.Syntax |
| 2 (Data Constructor) | Gibbon.Common |
| varAppend | Gibbon.Common |
| VarE | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VarEF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VarNotFoundTC | |
| 1 (Data Constructor) | Gibbon.L2.Typecheck |
| 2 (Data Constructor) | Gibbon.L1.Typecheck |
| VarR | Gibbon.L2.Syntax, Gibbon.NewL2.Syntax |
| vars | Gibbon.L4.Syntax |
| varsE | Gibbon.L1.GenSML |
| varsEs | Gibbon.L1.GenSML |
| VarTriv | Gibbon.L4.Syntax |
| VBool | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VChar | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VConcatP | |
| 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 |
| VConcatPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VCursor | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VDict | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VectorTy | |
| 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 |
| VectorTyF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| vEnv | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| verbosity | Gibbon.Common, Gibbon.Compiler |
| VFloat | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VFree2P | |
| 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 |
| VFree2PF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VFreeP | |
| 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 |
| VFreePF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VInt | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| visitExp | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VLam | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VLengthP | |
| 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 |
| VLengthPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VList | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VLoc | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VMergeP | |
| 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 |
| VMergePF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VNthP | |
| 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 |
| VNthPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| voidTy | |
| 1 (Function) | Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| 2 (Function) | Gibbon.L4.Syntax |
| voidTy0 | Gibbon.L0.Syntax |
| VPacked | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VProd | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VPtr | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VSliceP | |
| 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 |
| VSlicePF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VSortP | |
| 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 |
| VSortPF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VSym | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| VWrapId | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| WithArenaE | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| WithArenaEF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| withTail | Gibbon.L4.Syntax |
| Write | Gibbon.Common |
| Write3dPpmFile | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| Write3dPpmFileF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| WriteCursor | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| WriteList | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| writeOrderMarkers | Gibbon.Passes.ReorderScalarWrites |
| WritePackedFile | |
| 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 |
| WritePackedFileF | Gibbon.Language.Syntax, Gibbon.Language, Gibbon.L1.Syntax, Gibbon.L2.Syntax, Gibbon.L0.Syntax, Gibbon.NewL2.Syntax, Gibbon.L3.Syntax |
| WriteScalar | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| WriteTag | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| WriteTaggedCursor | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| WriteVector | |
| 1 (Data Constructor) | Gibbon.L3.Syntax |
| 2 (Data Constructor) | Gibbon.L4.Syntax |
| zonkExp | Gibbon.L0.Typecheck |
| zonkTy | Gibbon.L0.Typecheck |
| zonkTyEnv | Gibbon.L0.Typecheck |
| zonkTyScheme | Gibbon.L0.Typecheck |