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 |