Index
| $: | DDC.Core.Eval.Compounds |
| addBind | DDC.Core.Eval.Store |
| allocBind | DDC.Core.Eval.Store |
| allocBinds | DDC.Core.Eval.Store |
| annotOfExp | DDC.Core.Eval.Compounds |
| annotOfWitness | DDC.Core.Eval.Compounds |
| arityOfName | DDC.Core.Eval.Env |
| arityOfType | DDC.Core.Eval.Compounds |
| binderOfBind | DDC.Core.Eval.Compounds |
| bindsOfLets | DDC.Core.Eval.Compounds |
| bindsOfPat | DDC.Core.Eval.Compounds |
| boundMatchesBind | DDC.Core.Eval.Compounds |
| Cap | DDC.Core.Eval.Name |
| CapConst | DDC.Core.Eval.Name |
| CapDistinct | DDC.Core.Eval.Name |
| CapGlobal | DDC.Core.Eval.Name |
| CapLazy | DDC.Core.Eval.Name |
| CapManifest | DDC.Core.Eval.Name |
| CapMutable | DDC.Core.Eval.Name |
| checkCapsModule | DDC.Core.Eval.Check |
| checkCapsX | DDC.Core.Eval.Check |
| dcInt | DDC.Core.Eval.Compounds |
| dcUnit | DDC.Core.Eval.Compounds |
| delRgn | DDC.Core.Eval.Store |
| eraseTForalls | DDC.Core.Eval.Compounds |
| Error | DDC.Core.Eval.Check |
| errorCap1 | DDC.Core.Eval.Check |
| errorCap2 | DDC.Core.Eval.Check |
| ErrorConflict | DDC.Core.Eval.Check |
| ErrorNonHandle | DDC.Core.Eval.Check |
| ErrorPartial | DDC.Core.Eval.Check |
| errorRegions | DDC.Core.Eval.Check |
| errorWitness | DDC.Core.Eval.Check |
| evalProfile | DDC.Core.Eval.Profile, DDC.Core.Eval |
| force | DDC.Core.Eval.Step, DDC.Core.Eval |
| hasRgn | DDC.Core.Eval.Store |
| initial | DDC.Core.Eval.Store |
| isCapConW | DDC.Core.Eval.Compounds |
| isUnitOrLocX | DDC.Core.Eval.Store |
| isUnitX | DDC.Core.Eval.Compounds |
| isValue | DDC.Core.Eval.Step |
| isWeakValue | DDC.Core.Eval.Step |
| kClosure | DDC.Core.Eval.Compounds |
| kData | DDC.Core.Eval.Compounds |
| kEffect | DDC.Core.Eval.Compounds |
| kFun | DDC.Core.Eval.Compounds |
| kFuns | DDC.Core.Eval.Compounds |
| kindOfPrimName | DDC.Core.Eval.Env |
| kRegion | DDC.Core.Eval.Compounds |
| kWitness | DDC.Core.Eval.Compounds |
| lexExpString | DDC.Core.Eval.Name |
| lexModuleString | DDC.Core.Eval.Name |
| Loc | |
| 1 (Type/Class) | DDC.Core.Eval.Name, DDC.Core.Eval.Store |
| 2 (Data Constructor) | DDC.Core.Eval.Name, DDC.Core.Eval.Store |
| locUnit | DDC.Core.Eval.Store |
| lookupBind | DDC.Core.Eval.Store |
| lookupRegionTypeBind | DDC.Core.Eval.Store |
| lookupTypeOfLoc | DDC.Core.Eval.Store |
| makeBindFromBinder | DDC.Core.Eval.Compounds |
| makeXAppsWithAnnots | DDC.Core.Eval.Compounds |
| makeXLamFlags | DDC.Core.Eval.Compounds |
| Name | DDC.Core.Eval.Name |
| NameCap | DDC.Core.Eval.Name |
| NameCon | DDC.Core.Eval.Name |
| namedBoundMatchesBind | DDC.Core.Eval.Compounds |
| NameInt | DDC.Core.Eval.Name |
| NameLoc | DDC.Core.Eval.Name |
| NamePrimCon | DDC.Core.Eval.Name |
| NamePrimOp | DDC.Core.Eval.Name |
| NameRgn | DDC.Core.Eval.Name |
| NameVar | DDC.Core.Eval.Name |
| newLoc | DDC.Core.Eval.Store |
| newLocs | DDC.Core.Eval.Store |
| newRgn | DDC.Core.Eval.Store |
| newRgns | DDC.Core.Eval.Store |
| partitionBindsByType | DDC.Core.Eval.Compounds |
| patOfAlt | DDC.Core.Eval.Compounds |
| PrimCon | DDC.Core.Eval.Name |
| PrimDaConCons | DDC.Core.Eval.Name |
| PrimDaConNil | DDC.Core.Eval.Name |
| PrimDaConPr | DDC.Core.Eval.Name |
| primDataDefs | DDC.Core.Eval.Env |
| primDelRegion | DDC.Core.Eval.Prim |
| primKindEnv | DDC.Core.Eval.Env |
| primNewRegion | DDC.Core.Eval.Prim |
| PrimOp | DDC.Core.Eval.Name |
| PrimOpAddInt | DDC.Core.Eval.Name |
| PrimOpCopyInt | DDC.Core.Eval.Name |
| PrimOpDivInt | DDC.Core.Eval.Name |
| PrimOpEqInt | DDC.Core.Eval.Name |
| PrimOpMulInt | DDC.Core.Eval.Name |
| PrimOpNegInt | DDC.Core.Eval.Name |
| PrimOpSubInt | DDC.Core.Eval.Name |
| PrimOpUpdateInt | DDC.Core.Eval.Name |
| PrimTyConInt | DDC.Core.Eval.Name |
| PrimTyConList | DDC.Core.Eval.Name |
| PrimTyConPair | DDC.Core.Eval.Name |
| primTypeEnv | DDC.Core.Eval.Env |
| readName | DDC.Core.Eval.Name |
| replaceTypeOfBind | DDC.Core.Eval.Compounds |
| replaceTypeOfBound | DDC.Core.Eval.Compounds |
| Rgn | |
| 1 (Type/Class) | DDC.Core.Eval.Name, DDC.Core.Eval.Store |
| 2 (Data Constructor) | DDC.Core.Eval.Name, DDC.Core.Eval.Store |
| SBind | DDC.Core.Eval.Store |
| sbindDataArgs | DDC.Core.Eval.Store |
| sbindDataTag | DDC.Core.Eval.Store |
| sbindLamBinds | DDC.Core.Eval.Store |
| sbindLamBody | DDC.Core.Eval.Store |
| sbindThunkExp | DDC.Core.Eval.Store |
| sComp | DDC.Core.Eval.Compounds |
| setGlobal | DDC.Core.Eval.Store |
| SLams | DDC.Core.Eval.Store |
| SObj | DDC.Core.Eval.Store |
| specBindsOfLets | DDC.Core.Eval.Compounds |
| splitXLets | DDC.Core.Eval.Compounds |
| sProp | DDC.Core.Eval.Compounds |
| step | DDC.Core.Eval.Step, DDC.Core.Eval |
| StepDone | DDC.Core.Eval.Step, DDC.Core.Eval |
| StepMistyped | DDC.Core.Eval.Step, DDC.Core.Eval |
| stepPrimCon | DDC.Core.Eval.Prim |
| stepPrimOp | DDC.Core.Eval.Prim |
| StepProgress | DDC.Core.Eval.Step, DDC.Core.Eval |
| StepResult | DDC.Core.Eval.Step, DDC.Core.Eval |
| StepStuck | DDC.Core.Eval.Step, DDC.Core.Eval |
| SThunk | DDC.Core.Eval.Store |
| Store | |
| 1 (Type/Class) | DDC.Core.Eval.Store |
| 2 (Data Constructor) | DDC.Core.Eval.Store |
| storeBinds | DDC.Core.Eval.Store |
| storeGlobal | DDC.Core.Eval.Store |
| storeNextLoc | DDC.Core.Eval.Store |
| storeNextRgn | DDC.Core.Eval.Store |
| storeRegions | DDC.Core.Eval.Store |
| stripLocX | DDC.Core.Eval.Compounds |
| takeCtorNameOfAlt | DDC.Core.Eval.Compounds |
| takeDataTyConApps | DDC.Core.Eval.Compounds |
| takeHandleT | DDC.Core.Eval.Compounds |
| takeHandleX | DDC.Core.Eval.Compounds |
| takeIntDC | DDC.Core.Eval.Compounds |
| takeIntX | DDC.Core.Eval.Compounds |
| takeKFun | DDC.Core.Eval.Compounds |
| takeKFuns | DDC.Core.Eval.Compounds |
| takeKFuns' | DDC.Core.Eval.Compounds |
| takeLocX | DDC.Core.Eval.Compounds |
| takeMutableX | DDC.Core.Eval.Compounds |
| takeNameOfBind | DDC.Core.Eval.Compounds |
| takeNameOfBound | DDC.Core.Eval.Compounds |
| takeNameOfDaCon | DDC.Core.Eval.Compounds |
| takePrimeRegion | DDC.Core.Eval.Compounds |
| takePrimTyConApps | DDC.Core.Eval.Compounds |
| takePrimWiConApps | DDC.Core.Eval.Compounds |
| takeResultKind | DDC.Core.Eval.Compounds |
| takeSubstBoundOfBind | DDC.Core.Eval.Compounds |
| takeSubstBoundsOfBinds | DDC.Core.Eval.Compounds |
| takeTApps | DDC.Core.Eval.Compounds |
| takeTExists | DDC.Core.Eval.Compounds |
| takeTForalls | DDC.Core.Eval.Compounds |
| takeTFun | DDC.Core.Eval.Compounds |
| takeTFunAllArgResult | DDC.Core.Eval.Compounds |
| takeTFunArgResult | DDC.Core.Eval.Compounds |
| takeTFunEC | DDC.Core.Eval.Compounds |
| takeTFunWitArgResult | DDC.Core.Eval.Compounds |
| takeTyConApps | DDC.Core.Eval.Compounds |
| takeTypeOfBound | DDC.Core.Eval.Compounds |
| takeTypeOfDaCon | DDC.Core.Eval.Compounds |
| takeWAppsAsList | DDC.Core.Eval.Compounds |
| takeXApps | DDC.Core.Eval.Compounds |
| takeXApps1 | DDC.Core.Eval.Compounds |
| takeXAppsAsList | DDC.Core.Eval.Compounds |
| takeXAppsWithAnnots | DDC.Core.Eval.Compounds |
| takeXConApps | DDC.Core.Eval.Compounds |
| takeXLamFlags | DDC.Core.Eval.Compounds |
| takeXLAMs | DDC.Core.Eval.Compounds |
| takeXLams | DDC.Core.Eval.Compounds |
| takeXPrimApps | DDC.Core.Eval.Compounds |
| takeXType | DDC.Core.Eval.Compounds |
| takeXWitness | DDC.Core.Eval.Compounds |
| tAlloc | DDC.Core.Eval.Compounds |
| tApp | DDC.Core.Eval.Compounds |
| tApps | DDC.Core.Eval.Compounds |
| tBot | DDC.Core.Eval.Compounds |
| tcInt | DDC.Core.Eval.Compounds |
| tConData0 | DDC.Core.Eval.Compounds |
| tConData1 | DDC.Core.Eval.Compounds |
| tConst | DDC.Core.Eval.Compounds |
| tDeepAlloc | DDC.Core.Eval.Compounds |
| tDeepConst | DDC.Core.Eval.Compounds |
| tDeepGlobal | DDC.Core.Eval.Compounds |
| tDeepMutable | DDC.Core.Eval.Compounds |
| tDeepRead | DDC.Core.Eval.Compounds |
| tDeepUse | DDC.Core.Eval.Compounds |
| tDeepWrite | DDC.Core.Eval.Compounds |
| tDistinct | DDC.Core.Eval.Compounds |
| tEmpty | DDC.Core.Eval.Compounds |
| tForall | DDC.Core.Eval.Compounds |
| tForall' | DDC.Core.Eval.Compounds |
| tForalls | DDC.Core.Eval.Compounds |
| tForalls' | DDC.Core.Eval.Compounds |
| tFun | DDC.Core.Eval.Compounds |
| tFunEC | DDC.Core.Eval.Compounds |
| tFunOfList | DDC.Core.Eval.Compounds |
| tFunOfListPE | DDC.Core.Eval.Compounds |
| tFunPE | DDC.Core.Eval.Compounds |
| tGlobal | DDC.Core.Eval.Compounds |
| tHeadLazy | DDC.Core.Eval.Compounds |
| tHeadRead | DDC.Core.Eval.Compounds |
| tImpl | DDC.Core.Eval.Compounds |
| tInt | DDC.Core.Eval.Compounds |
| tIx | DDC.Core.Eval.Compounds |
| tLazy | DDC.Core.Eval.Compounds |
| tList | DDC.Core.Eval.Compounds |
| tManifest | DDC.Core.Eval.Compounds |
| tMutable | DDC.Core.Eval.Compounds |
| tPair | DDC.Core.Eval.Compounds |
| tPure | DDC.Core.Eval.Compounds |
| tRead | DDC.Core.Eval.Compounds |
| tSum | DDC.Core.Eval.Compounds |
| tSusp | DDC.Core.Eval.Compounds |
| tUnit | DDC.Core.Eval.Compounds |
| tUse | DDC.Core.Eval.Compounds |
| tWrite | DDC.Core.Eval.Compounds |
| typeOfBind | DDC.Core.Eval.Compounds |
| typeOfPrimName | DDC.Core.Eval.Env |
| valwitBindsOfLets | DDC.Core.Eval.Compounds |
| wApp | DDC.Core.Eval.Compounds |
| wApps | DDC.Core.Eval.Compounds |
| wcConst | DDC.Core.Eval.Compounds |
| wcDistinct | DDC.Core.Eval.Compounds |
| wcGlobal | DDC.Core.Eval.Compounds |
| wcLazy | DDC.Core.Eval.Compounds |
| wcManifest | DDC.Core.Eval.Compounds |
| wcMutable | DDC.Core.Eval.Compounds |
| wConst | DDC.Core.Eval.Compounds |
| wDistinct | DDC.Core.Eval.Compounds |
| wGlobal | DDC.Core.Eval.Compounds |
| wLazy | DDC.Core.Eval.Compounds |
| wManifest | DDC.Core.Eval.Compounds |
| wMutable | DDC.Core.Eval.Compounds |
| xApps | DDC.Core.Eval.Compounds |
| xLAMs | DDC.Core.Eval.Compounds |
| xLams | DDC.Core.Eval.Compounds |
| xLets | DDC.Core.Eval.Compounds |
| xLetsAnnot | DDC.Core.Eval.Compounds |
| xLoc | DDC.Core.Eval.Compounds |
| xUnit | DDC.Core.Eval.Compounds |