$: | DDC.Core.Eval.Compounds |
addBind | DDC.Core.Eval.Store |
allocBind | DDC.Core.Eval.Store |
allocBinds | DDC.Core.Eval.Store |
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 |
mkDaConAlg | DDC.Core.Eval.Compounds |
mkDaConSolid | 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 |
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 |
takeAnnotOfExp | 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 |
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 |
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 |
typeOfDaCon | 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 |