Config | |
1 (Type/Class) | DDC.Core.Salt.Runtime |
2 (Data Constructor) | DDC.Core.Salt.Runtime |
configHeapSize | DDC.Core.Salt.Runtime |
DataTyCon | DDC.Core.Lite |
DataTyConBool | DDC.Core.Lite |
DataTyConInt | DDC.Core.Lite |
DataTyConList | DDC.Core.Lite |
DataTyConNat | DDC.Core.Lite |
DataTyConPair | DDC.Core.Lite |
DataTyConUnit | DDC.Core.Lite |
dcNatU | DDC.Core.Lite.Compounds |
Error | |
1 (Type/Class) | DDC.Core.Lite |
2 (Type/Class) | DDC.Core.Salt.Convert, DDC.Core.Salt |
errorAlt | DDC.Core.Salt.Convert, DDC.Core.Salt |
ErrorAltInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
ErrorArgInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
errorArgs | DDC.Core.Salt.Convert, DDC.Core.Salt |
errorBind | DDC.Core.Salt.Convert, DDC.Core.Salt |
ErrorBindNone | DDC.Core.Salt.Convert, DDC.Core.Salt |
ErrorBodyInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
ErrorBodyMustPassControl | DDC.Core.Salt.Convert, DDC.Core.Salt |
ErrorBotAnnot | DDC.Core.Lite |
errorExp | DDC.Core.Salt.Convert, DDC.Core.Salt |
ErrorFunctionInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
ErrorImportInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
errorImportName | DDC.Core.Salt.Convert, DDC.Core.Salt |
ErrorInvalidAlt | DDC.Core.Lite |
ErrorInvalidBinder | DDC.Core.Lite |
ErrorInvalidBound | DDC.Core.Lite |
ErrorMainHasNoMain | DDC.Core.Lite |
ErrorMalformed | DDC.Core.Lite |
ErrorMistyped | DDC.Core.Lite |
errorModule | DDC.Core.Salt.Convert, DDC.Core.Salt |
ErrorNotNormalized | DDC.Core.Lite |
ErrorNoTopLevelLetrec | DDC.Core.Salt.Convert, DDC.Core.Salt |
ErrorParameterInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
ErrorPrimCallInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
errorPrimOp | DDC.Core.Salt.Convert, DDC.Core.Salt |
ErrorRValueInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
ErrorStmtInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
errorType | DDC.Core.Salt.Convert, DDC.Core.Salt |
ErrorTypeInvalid | DDC.Core.Salt.Convert, DDC.Core.Salt |
ErrorUndefined | DDC.Core.Salt.Convert, DDC.Core.Salt |
ErrorUnexpectedSum | DDC.Core.Lite |
errorVar | DDC.Core.Salt.Convert, DDC.Core.Salt |
fieldOffsetsOfDataCtor | DDC.Core.Lite.Layout |
HeapObject | DDC.Core.Lite.Layout |
HeapObjectBoxed | DDC.Core.Lite.Layout |
HeapObjectMixed | DDC.Core.Lite.Layout |
heapObjectOfDataCtor | DDC.Core.Lite.Layout |
HeapObjectRaw | DDC.Core.Lite.Layout |
HeapObjectRawSmall | DDC.Core.Lite.Layout |
initRuntime | DDC.Core.Salt.Convert |
isBoxedType | DDC.Core.Lite.Env |
lexExpString | |
1 (Function) | DDC.Core.Lite |
2 (Function) | DDC.Core.Salt.Profile, DDC.Core.Salt |
lexModuleString | |
1 (Function) | DDC.Core.Lite |
2 (Function) | DDC.Core.Salt.Profile, DDC.Core.Salt |
liftPrimArithToVec | DDC.Core.Salt.Name |
lowerPrimVecToArith | DDC.Core.Salt.Name |
multiOfPrimVec | DDC.Core.Salt.Name |
Name | |
1 (Type/Class) | DDC.Core.Lite |
2 (Type/Class) | DDC.Core.Salt.Name, DDC.Core.Salt |
NameCon | |
1 (Data Constructor) | DDC.Core.Lite |
2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
NameDataTyCon | DDC.Core.Lite |
NameEffectTyCon | DDC.Core.Lite |
NameLitBool | |
1 (Data Constructor) | DDC.Core.Lite |
2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
NameLitInt | |
1 (Data Constructor) | DDC.Core.Lite |
2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
NameLitNat | |
1 (Data Constructor) | DDC.Core.Lite |
2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
NameLitTag | DDC.Core.Salt.Name, DDC.Core.Salt |
NameLitVoid | DDC.Core.Salt.Name, DDC.Core.Salt |
NameLitWord | |
1 (Data Constructor) | DDC.Core.Lite |
2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
NameObjTyCon | DDC.Core.Salt.Name, DDC.Core.Salt |
NamePrimArith | DDC.Core.Lite |
NamePrimCast | DDC.Core.Lite |
NamePrimDaCon | DDC.Core.Lite |
NamePrimOp | DDC.Core.Salt.Name, DDC.Core.Salt |
NamePrimTyCon | |
1 (Data Constructor) | DDC.Core.Lite |
2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
NameVar | |
1 (Data Constructor) | DDC.Core.Lite |
2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
payloadSizeOfDataCtor | DDC.Core.Lite.Layout |
Platform | |
1 (Type/Class) | DDC.Core.Salt.Platform |
2 (Data Constructor) | DDC.Core.Salt.Platform |
platform32 | DDC.Core.Salt.Platform |
platform64 | DDC.Core.Salt.Platform |
platformAddrBytes | DDC.Core.Salt.Platform |
platformAlignBytes | DDC.Core.Salt.Platform |
platformNatBytes | DDC.Core.Salt.Platform |
platformObjBytes | DDC.Core.Salt.Platform |
platformTagBytes | DDC.Core.Salt.Platform |
PrimArith | |
1 (Type/Class) | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimArithAdd | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimArithAnd | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimArithBAnd | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimArithBOr | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimArithBXOr | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimArithDiv | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimArithEq | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimArithGe | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimArithGt | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimArithLe | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimArithLt | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimArithMod | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimArithMul | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimArithNeg | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimArithNeq | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimArithOr | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimArithRem | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimArithShl | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimArithShr | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimArithSub | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimCall | |
1 (Type/Class) | DDC.Core.Salt.Name, DDC.Core.Salt |
2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimCallTail | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimCast | |
1 (Type/Class) | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimCastConvert | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimCastPromote | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
primCastPromoteIsValid | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimCastTruncate | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
primCastTruncateIsValid | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimControl | |
1 (Type/Class) | DDC.Core.Salt.Name, DDC.Core.Salt |
2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimControlFail | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimControlReturn | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimDaCon | DDC.Core.Lite |
PrimDaConBoolU | DDC.Core.Lite |
PrimDaConCons | DDC.Core.Lite |
PrimDaConIntU | DDC.Core.Lite |
PrimDaConNatU | DDC.Core.Lite |
PrimDaConNil | DDC.Core.Lite |
PrimDaConPr | DDC.Core.Lite |
PrimDaConUnit | DDC.Core.Lite |
primDataDefs | |
1 (Function) | DDC.Core.Lite.Env |
2 (Function) | DDC.Core.Salt.Env |
primKindEnv | |
1 (Function) | DDC.Core.Lite.Env |
2 (Function) | DDC.Core.Salt.Env |
PrimOp | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimStore | |
1 (Type/Class) | DDC.Core.Salt.Name, DDC.Core.Salt |
2 (Data Constructor) | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimStoreAlloc | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimStoreCastPtr | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimStoreCheck | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimStoreCreate | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimStoreMakePtr | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimStoreMinusAddr | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimStoreMinusPtr | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimStorePeek | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimStorePlusAddr | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimStorePlusPtr | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimStorePoke | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimStoreRead | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimStoreRecover | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimStoreSize | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimStoreSize2 | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimStoreTakePtr | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimStoreWrite | DDC.Core.Salt.Name, DDC.Core.Salt |
PrimTyCon | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimTyConAddr | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimTyConBool | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimTyConFloat | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimTyConInt | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
primTyConIsFloating | DDC.Core.Salt.Name |
primTyConIsIntegral | DDC.Core.Salt.Name |
primTyConIsSigned | DDC.Core.Salt.Name |
primTyConIsUnsigned | DDC.Core.Salt.Name |
PrimTyConNat | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimTyConPtr | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimTyConString | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimTyConTag | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimTyConVec | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
PrimTyConVoid | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
primTyConWidth | DDC.Core.Salt.Name |
PrimTyConWord | DDC.Core.Salt.Name, DDC.Core.Lite, DDC.Core.Salt |
primTypeEnv | |
1 (Function) | DDC.Core.Lite.Env |
2 (Function) | DDC.Core.Salt.Env |
PrimVec | DDC.Core.Salt.Name |
PrimVecAdd | DDC.Core.Salt.Name |
PrimVecDiv | DDC.Core.Salt.Name |
PrimVecGather | DDC.Core.Salt.Name |
primVecIndex | DDC.Core.Salt.Name |
PrimVecMul | DDC.Core.Salt.Name |
primVecMulti | DDC.Core.Salt.Name |
PrimVecNeg | DDC.Core.Salt.Name |
PrimVecPack | DDC.Core.Salt.Name |
PrimVecProj | DDC.Core.Salt.Name |
PrimVecRep | DDC.Core.Salt.Name |
PrimVecScatter | DDC.Core.Salt.Name |
PrimVecSub | DDC.Core.Salt.Name |
profile | |
1 (Function) | DDC.Core.Lite |
2 (Function) | DDC.Core.Salt.Profile, DDC.Core.Salt |
readLitInteger | DDC.Core.Salt.Name |
readLitPrimFloatOfBits | DDC.Core.Salt.Name |
readLitPrimInt | DDC.Core.Salt.Name |
readLitPrimNat | DDC.Core.Salt.Name |
readLitPrimWordOfBits | DDC.Core.Salt.Name |
readName | |
1 (Function) | DDC.Core.Lite |
2 (Function) | DDC.Core.Salt.Name, DDC.Core.Salt |
readPrimArith | DDC.Core.Salt.Name |
readPrimCall | DDC.Core.Salt.Name |
readPrimCast | DDC.Core.Salt.Name |
readPrimControl | DDC.Core.Salt.Name |
readPrimStore | DDC.Core.Salt.Name |
readPrimTyCon | DDC.Core.Salt.Name |
readPrimVec | DDC.Core.Salt.Name |
rTop | DDC.Core.Salt.Runtime |
runtimeImportKinds | DDC.Core.Salt.Runtime |
runtimeImportTypes | DDC.Core.Salt.Runtime |
saltOfLiteModule | DDC.Core.Lite |
sanitizeName | DDC.Core.Salt.Convert |
seaNameOfLocal | DDC.Core.Salt.Convert |
seaNameOfSuper | DDC.Core.Salt.Convert |
seaOfSaltModule | DDC.Core.Salt.Convert, DDC.Core.Salt |
tAddr | DDC.Core.Salt.Compounds |
takeTPtr | DDC.Core.Salt.Compounds |
tBool | |
1 (Function) | DDC.Core.Lite.Compounds |
2 (Function) | DDC.Core.Salt.Compounds |
tBoolU | DDC.Core.Lite.Compounds |
tInt | |
1 (Function) | DDC.Core.Lite.Compounds |
2 (Function) | DDC.Core.Salt.Compounds |
tIntU | DDC.Core.Lite.Compounds |
tList | DDC.Core.Lite.Compounds |
tNat | |
1 (Function) | DDC.Core.Lite.Compounds |
2 (Function) | DDC.Core.Salt.Compounds |
tNatU | DDC.Core.Lite.Compounds |
tObj | DDC.Core.Salt.Compounds |
tPair | DDC.Core.Lite.Compounds |
tPtr | DDC.Core.Salt.Compounds |
transferModule | DDC.Core.Salt.Transfer |
tString | DDC.Core.Salt.Compounds |
tTag | DDC.Core.Salt.Compounds |
tVoid | DDC.Core.Salt.Compounds |
tWord | DDC.Core.Salt.Compounds |
tWordU | DDC.Core.Lite.Compounds |
typeIsUnboxed | DDC.Core.Salt.Env |
typeOfPrimArith | DDC.Core.Salt.Env |
typeOfPrimCall | DDC.Core.Salt.Env |
typeOfPrimCast | DDC.Core.Salt.Env |
typeOfPrimControl | DDC.Core.Salt.Env |
typeOfPrimStore | DDC.Core.Salt.Env |
xAllocBoxed | DDC.Core.Salt.Runtime |
xAllocRawSmall | DDC.Core.Salt.Runtime |
xBool | DDC.Core.Salt.Compounds |
xCreate | DDC.Core.Salt.Runtime |
xFail | DDC.Core.Salt.Runtime |
xGetFieldOfBoxed | DDC.Core.Salt.Runtime |
xGetTag | DDC.Core.Salt.Runtime |
xInt | DDC.Core.Salt.Compounds |
xNat | DDC.Core.Salt.Compounds |
xNatU | DDC.Core.Lite.Compounds |
xPayloadOfRawSmall | DDC.Core.Salt.Runtime |
xPeekBuffer | DDC.Core.Salt.Runtime |
xPokeBuffer | DDC.Core.Salt.Runtime |
xRead | DDC.Core.Salt.Runtime |
xReturn | DDC.Core.Salt.Runtime |
xSetFieldOfBoxed | DDC.Core.Salt.Runtime |
xTag | DDC.Core.Salt.Compounds |
xWord | DDC.Core.Salt.Compounds |
xWrite | DDC.Core.Salt.Runtime |