Index - I
| 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 |