ddc-core-eval-0.2.1.2: Disciple Core language semantic evaluator.

Index

addBindDDC.Core.Eval.Store
allocBindDDC.Core.Eval.Store
allocBindsDDC.Core.Eval.Store
arityOfNameDDC.Core.Eval.Env
CapDDC.Core.Eval.Name
CapConstDDC.Core.Eval.Name
CapGlobalDDC.Core.Eval.Name
CapLazyDDC.Core.Eval.Name
CapManifestDDC.Core.Eval.Name
CapMutableDDC.Core.Eval.Name
checkCapsXDDC.Core.Eval.Check
delRgnDDC.Core.Eval.Store
ErrorDDC.Core.Eval.Check
errorCap1DDC.Core.Eval.Check
errorCap2DDC.Core.Eval.Check
ErrorConflictDDC.Core.Eval.Check
ErrorNonHandleDDC.Core.Eval.Check
ErrorPartialDDC.Core.Eval.Check
errorRegionsDDC.Core.Eval.Check
errorWitnessDDC.Core.Eval.Check
forceDDC.Core.Eval.Step, DDC.Core.Eval
hasRgnDDC.Core.Eval.Store
initialDDC.Core.Eval.Store
isCapConWDDC.Core.Eval.Compounds
isUnitOrLocXDDC.Core.Eval.Store
isUnitXDDC.Core.Eval.Compounds
isValueDDC.Core.Eval.Step
isWeakValueDDC.Core.Eval.Step
kindOfPrimNameDDC.Core.Eval.Env
lexStringDDC.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
locUnitDDC.Core.Eval.Store
lookupBindDDC.Core.Eval.Store
lookupRegionTypeBindDDC.Core.Eval.Store
lookupTypeOfLocDDC.Core.Eval.Store
NameDDC.Core.Eval.Name
NameCapDDC.Core.Eval.Name
NameConDDC.Core.Eval.Name
NameIntDDC.Core.Eval.Name
NameLocDDC.Core.Eval.Name
NamePrimConDDC.Core.Eval.Name
NamePrimOpDDC.Core.Eval.Name
NameRgnDDC.Core.Eval.Name
NameVarDDC.Core.Eval.Name
newLocDDC.Core.Eval.Store
newLocsDDC.Core.Eval.Store
newRgnDDC.Core.Eval.Store
newRgnsDDC.Core.Eval.Store
PrimConDDC.Core.Eval.Name
PrimDaConConsDDC.Core.Eval.Name
PrimDaConNilDDC.Core.Eval.Name
PrimDaConPrDDC.Core.Eval.Name
PrimDaConUnitDDC.Core.Eval.Name
primDataDefsDDC.Core.Eval.Env
primDelRegionDDC.Core.Eval.Prim
primKindEnvDDC.Core.Eval.Env
primNewRegionDDC.Core.Eval.Prim
PrimOpDDC.Core.Eval.Name
PrimOpAddIntDDC.Core.Eval.Name
PrimOpCopyIntDDC.Core.Eval.Name
PrimOpDivIntDDC.Core.Eval.Name
PrimOpEqIntDDC.Core.Eval.Name
PrimOpMulIntDDC.Core.Eval.Name
PrimOpNegIntDDC.Core.Eval.Name
PrimOpSubIntDDC.Core.Eval.Name
PrimOpUpdateIntDDC.Core.Eval.Name
PrimTyConIntDDC.Core.Eval.Name
PrimTyConListDDC.Core.Eval.Name
PrimTyConPairDDC.Core.Eval.Name
PrimTyConUnitDDC.Core.Eval.Name
primTypeEnvDDC.Core.Eval.Env
readNameDDC.Core.Eval.Name
Rgn 
1 (Type/Class)DDC.Core.Eval.Name, DDC.Core.Eval.Store
2 (Data Constructor)DDC.Core.Eval.Name, DDC.Core.Eval.Store
SBindDDC.Core.Eval.Store
sbindDataArgsDDC.Core.Eval.Store
sbindDataTagDDC.Core.Eval.Store
sbindLamBindsDDC.Core.Eval.Store
sbindLamBodyDDC.Core.Eval.Store
sbindThunkExpDDC.Core.Eval.Store
setGlobalDDC.Core.Eval.Store
SLamsDDC.Core.Eval.Store
SObjDDC.Core.Eval.Store
stepDDC.Core.Eval.Step, DDC.Core.Eval
StepDoneDDC.Core.Eval.Step, DDC.Core.Eval
stepPrimConDDC.Core.Eval.Prim
stepPrimOpDDC.Core.Eval.Prim
StepProgressDDC.Core.Eval.Step, DDC.Core.Eval
StepResultDDC.Core.Eval.Step, DDC.Core.Eval
StepStuckDDC.Core.Eval.Step, DDC.Core.Eval
StepStuckMistypedDDC.Core.Eval.Step, DDC.Core.Eval
SThunkDDC.Core.Eval.Store
Store 
1 (Type/Class)DDC.Core.Eval.Store
2 (Data Constructor)DDC.Core.Eval.Store
storeBindsDDC.Core.Eval.Store
storeGlobalDDC.Core.Eval.Store
storeNextLocDDC.Core.Eval.Store
storeNextRgnDDC.Core.Eval.Store
storeRegionsDDC.Core.Eval.Store
stripLocXDDC.Core.Eval.Compounds
takeHandleTDDC.Core.Eval.Compounds
takeHandleXDDC.Core.Eval.Compounds
takeLocXDDC.Core.Eval.Compounds
takeMutableXDDC.Core.Eval.Compounds
tIntDDC.Core.Eval.Compounds
tListDDC.Core.Eval.Compounds
tPairDDC.Core.Eval.Compounds
tUnitDDC.Core.Eval.Compounds
typeOfPrimNameDDC.Core.Eval.Env
wcConstDDC.Core.Eval.Compounds
wcGlobalDDC.Core.Eval.Compounds
wcLazyDDC.Core.Eval.Compounds
wcManifestDDC.Core.Eval.Compounds
wcMutableDDC.Core.Eval.Compounds
wConstDDC.Core.Eval.Compounds
wGlobalDDC.Core.Eval.Compounds
wLazyDDC.Core.Eval.Compounds
wManifestDDC.Core.Eval.Compounds
wMutableDDC.Core.Eval.Compounds