imperative-edsl-0.4.1: Deep embedding of imperative programs with code generation

Index

#!=Language.Embedded.CExp
#%Language.Embedded.CExp
#<Language.Embedded.CExp
#<=Language.Embedded.CExp
#==Language.Embedded.CExp
#>Language.Embedded.CExp
#>=Language.Embedded.CExp
:+:Language.Embedded.Imperative
:<:Language.Embedded.Imperative
<$!>Language.Embedded.Imperative
<<%=Language.C.Monad
<<.=Language.C.Monad
<=<Language.Embedded.Imperative
=<<Language.Embedded.Imperative
>=>Language.Embedded.Imperative
>>Language.Embedded.Imperative
>>=Language.Embedded.Imperative
?Language.Embedded.CExp
addArgLanguage.C.Monad
AddDefinitionLanguage.Embedded.Imperative.CMD
addDefinitionLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
AddExternFunLanguage.Embedded.Imperative.CMD
addExternFunLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
AddExternProcLanguage.Embedded.Imperative.CMD
addExternProcLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
addFinalStmLanguage.C.Monad
addGlobalLanguage.C.Monad
addGlobalsLanguage.C.Monad
AddIncludeLanguage.Embedded.Imperative.CMD
addInclude 
1 (Function)Language.C.Monad
2 (Function)Language.Embedded.Imperative.Frontend, Language.Embedded.Imperative
addLocalLanguage.C.Monad
addLocalIncludeLanguage.C.Monad
addLocalsLanguage.C.Monad
addParamLanguage.C.Monad
addParamsLanguage.C.Monad
addPrototypeLanguage.C.Monad
Addr 
1 (Type/Class)Language.Embedded.Imperative.Args
2 (Data Constructor)Language.Embedded.Imperative.Args
addrLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
addStmLanguage.C.Monad
addStmsLanguage.C.Monad
addSystemIncludeLanguage.C.Monad
addTypedefLanguage.C.Monad
aliasesLanguage.C.Monad
AnnLanguage.Embedded.Signature
apLanguage.Embedded.Imperative
AppendModeLanguage.Embedded.Imperative.Frontend.General, Language.Embedded.Imperative
ArgLanguage.Embedded.Imperative.CMD
argLanguage.Embedded.Signature
argsLanguage.C.Monad
ArrLanguage.Embedded.Imperative.CMD, Language.Embedded.Imperative.Frontend.General, Language.Embedded.Imperative
ArrArg 
1 (Type/Class)Language.Embedded.Imperative.Args
2 (Data Constructor)Language.Embedded.Imperative.Args
arrArgLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
ArrCMDLanguage.Embedded.Imperative.CMD, Language.Embedded.Imperative
ArrCompLanguage.Embedded.Imperative.CMD
ArrEvalLanguage.Embedded.Imperative.CMD
asyncKillThreadLanguage.Embedded.Concurrent
BreakLanguage.Embedded.Imperative.CMD
breakLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
byteSwap16Language.Embedded.Imperative
byteSwap32Language.Embedded.Imperative
byteSwap64Language.Embedded.Imperative
CallCMDLanguage.Embedded.Imperative.CMD, Language.Embedded.Imperative
CallFunLanguage.Embedded.Imperative.CMD
callFunLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
CallProcLanguage.Embedded.Imperative.CMD
callProcLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
CastLanguage.Embedded.CExp
castASTLanguage.Embedded.CExp
cedeclLanguage.Embedded.Imperative.Frontend.General, Language.Embedded.Imperative
CEnv 
1 (Type/Class)Language.C.Monad
2 (Data Constructor)Language.C.Monad
cenvToCUnitLanguage.C.Monad
CExp 
1 (Type/Class)Language.Embedded.CExp
2 (Data Constructor)Language.Embedded.CExp
CGenLanguage.C.Monad
CGenT 
1 (Type/Class)Language.C.Monad
2 (Data Constructor)Language.C.Monad
ChanLanguage.Embedded.Concurrent.CMD, Language.Embedded.Concurrent
ChanBoundLanguage.Embedded.Concurrent.CMD, Language.Embedded.Concurrent
ChanCMDLanguage.Embedded.Concurrent.CMD, Language.Embedded.Concurrent
ChanCompLanguage.Embedded.Concurrent.CMD, Language.Embedded.Concurrent
ChanEvalLanguage.Embedded.Concurrent.CMD, Language.Embedded.Concurrent
CIDLanguage.Embedded.Concurrent.CMD
CloseableLanguage.Embedded.Concurrent.CMD, Language.Embedded.Concurrent
CloseChanLanguage.Embedded.Concurrent.CMD
closeChanLanguage.Embedded.Concurrent
collectArgsLanguage.C.Monad
collectDefinitionsLanguage.C.Monad
compCExpLanguage.Embedded.CExp
CompExpLanguage.Embedded.Expression, Language.Embedded.Imperative
compExpLanguage.Embedded.Expression
compileLanguage.Embedded.Backend.C
compTypeLanguage.Embedded.Expression
compTypePLanguage.Embedded.Expression
compTypePPLanguage.Embedded.Expression
compTypePP2Language.Embedded.Expression
CondLanguage.Embedded.CExp
condLanguage.Embedded.CExp
constFoldLanguage.Embedded.CExp
ControlCMDLanguage.Embedded.Imperative.CMD, Language.Embedded.Imperative
CTypeLanguage.Embedded.CExp
cTypeLanguage.Embedded.CExp
defaultCEnvLanguage.C.Monad
DefinitionLanguage.Embedded.Imperative.Frontend.General, Language.Embedded.Imperative
DryInterpLanguage.Embedded.Traversal
dryInterpLanguage.Embedded.Traversal
EmptyLanguage.Embedded.Signature
evalCExpLanguage.Embedded.CExp
EvalExpLanguage.Embedded.Expression, Language.Embedded.Imperative
evalExpLanguage.Embedded.Expression
evalSymLanguage.Embedded.CExp
externFunLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
externProcLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
extractDeclsLanguage.C.Monad
failLanguage.Embedded.Imperative
falseLanguage.Embedded.CExp
FCloseLanguage.Embedded.Imperative.CMD
fcloseLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
FEofLanguage.Embedded.Imperative.CMD
feofLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
FGetLanguage.Embedded.Imperative.CMD
fgetLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
FileCMDLanguage.Embedded.Imperative.CMD, Language.Embedded.Imperative
filterMLanguage.Embedded.Imperative
finalStmsLanguage.C.Monad
Flags 
1 (Type/Class)Language.C.Monad
2 (Data Constructor)Language.C.Monad
flagsLanguage.C.Monad
fmapLanguage.Embedded.Imperative
foldMLanguage.Embedded.Imperative
foldM_Language.Embedded.Imperative
FOpenLanguage.Embedded.Imperative.CMD
fopenLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
ForLanguage.Embedded.Imperative.CMD
forLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
forELanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
foreverLanguage.Embedded.Imperative
forkLanguage.Embedded.Concurrent
ForkWithIdLanguage.Embedded.Concurrent.CMD
forkWithIdLanguage.Embedded.Concurrent
forMLanguage.Embedded.Imperative
formatSpecifierLanguage.Embedded.Imperative.CMD
FormattableLanguage.Embedded.Imperative.CMD, Language.Embedded.Imperative.Frontend.General, Language.Embedded.Imperative
forM_Language.Embedded.Imperative
fprfLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
FPrintfLanguage.Embedded.Imperative.CMD
fprintfLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
fputLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
freshControl.Monads
freshIdLanguage.C.Monad
freshStrControl.Monads
freshVarLanguage.Embedded.Expression
freshVar_Language.Embedded.Expression
FunLanguage.Embedded.CExp
FunArg 
1 (Type/Class)Language.Embedded.Imperative.CMD, Language.Embedded.Imperative.Frontend.General, Language.Embedded.Imperative
2 (Data Constructor)Language.Embedded.Imperative.CMD, Language.Embedded.Imperative.Frontend.General, Language.Embedded.Imperative
FunctorLanguage.Embedded.Imperative
funUsedVarsLanguage.C.Monad
gensymLanguage.C.Monad
GetArrLanguage.Embedded.Imperative.CMD
getArrLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
GetRefLanguage.Embedded.Imperative.CMD
getRefLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
getTimeLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
globalsLanguage.C.Monad
guardLanguage.Embedded.Imperative
HandleLanguage.Embedded.Imperative.CMD, Language.Embedded.Imperative.Frontend.General, Language.Embedded.Imperative
HandleCompLanguage.Embedded.Imperative.CMD
HandleEvalLanguage.Embedded.Imperative.CMD
i2nLanguage.Embedded.CExp
icompileLanguage.Embedded.Backend.C
IExpLanguage.Embedded.Imperative
IfLanguage.Embedded.Imperative.CMD
ifELanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
iffLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
inBlockLanguage.C.Monad
includesLanguage.C.Monad
inFunctionLanguage.C.Monad
inFunctionTyLanguage.C.Monad
InitObjectLanguage.Embedded.Imperative.CMD
initObjectLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
InitRefLanguage.Embedded.Imperative.CMD
initRefLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
initUObjectLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
inModuleLanguage.C.Monad
inNewBlockLanguage.C.Monad
inNewBlock_Language.C.Monad
inNewFunctionLanguage.C.Monad
IntLanguage.Embedded.Imperative
Int16Language.Embedded.Imperative
Int32Language.Embedded.Imperative
Int64Language.Embedded.Imperative
Int8Language.Embedded.Imperative
interpretLanguage.Embedded.Imperative
interpretTLanguage.Embedded.Imperative
IOModeLanguage.Embedded.Imperative.Frontend.General, Language.Embedded.Imperative
isExactLanguage.Embedded.CExp
isFloatLanguage.Embedded.CExp
joinLanguage.Embedded.Imperative
KillLanguage.Embedded.Concurrent.CMD
killThreadLanguage.Embedded.Concurrent
LamLanguage.Embedded.Signature
lamLanguage.Embedded.Signature
lastChanReadOKLanguage.Embedded.Concurrent
liftMLanguage.Embedded.Imperative
liftM2Language.Embedded.Imperative
liftM3Language.Embedded.Imperative
liftM4Language.Embedded.Imperative
liftM5Language.Embedded.Imperative
liftSharedLocalsLanguage.C.Monad
litExpLanguage.Embedded.Expression
LocControl.Monads
locControl.Monads
localsLanguage.C.Monad
mapAndUnzipMLanguage.Embedded.Imperative
mapArgLanguage.Embedded.Imperative.CMD
mapMLanguage.Embedded.Imperative
mapMArgLanguage.Embedded.Imperative.CMD
mapM_Language.Embedded.Imperative
mfilterLanguage.Embedded.Imperative
mkArgLanguage.Embedded.Imperative.CMD
mkParamLanguage.Embedded.Imperative.CMD
modifyRefLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
modulesLanguage.C.Monad
MonadLanguage.Embedded.Imperative
MonadCLanguage.C.Monad
MonadPlusLanguage.Embedded.Imperative
MonadSupplyControl.Monads
MonadTickControl.Monads
mplusLanguage.Embedded.Imperative
msumLanguage.Embedded.Imperative
mzeroLanguage.Embedded.Imperative
nameLanguage.Embedded.Signature
NamedLanguage.Embedded.Signature
namedTypeLanguage.Embedded.Backend.C
NativeLanguage.Embedded.Signature
NewArrLanguage.Embedded.Imperative.CMD
newArrLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
NewArr_Language.Embedded.Imperative.CMD
newArr_Language.Embedded.Imperative.Frontend, Language.Embedded.Imperative
NewChanLanguage.Embedded.Concurrent.CMD
newChanLanguage.Embedded.Concurrent
newCloseableChanLanguage.Embedded.Concurrent
NewObjectLanguage.Embedded.Imperative.CMD
newObjectLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
NewRefLanguage.Embedded.Imperative.CMD
newRefLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
not_Language.Embedded.CExp
ObjArg 
1 (Type/Class)Language.Embedded.Imperative.Args
2 (Data Constructor)Language.Embedded.Imperative.Args
objArgLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
Object 
1 (Type/Class)Language.Embedded.Imperative.CMD, Language.Embedded.Imperative.Frontend.General, Language.Embedded.Imperative
2 (Data Constructor)Language.Embedded.Imperative.CMD
ObjectCMDLanguage.Embedded.Imperative.CMD
objectIdLanguage.Embedded.Imperative.CMD
objectTypeLanguage.Embedded.Imperative.CMD
observeLanguage.Embedded.Traversal
observe_Language.Embedded.Traversal
OpLanguage.Embedded.CExp
paramsLanguage.C.Monad
pCTypeLanguage.Embedded.CExp
pointedLanguage.Embedded.Imperative.CMD
prettyCGenLanguage.C.Monad
prettyCGenTLanguage.C.Monad
printfLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
PrintfArg 
1 (Type/Class)Language.Embedded.Imperative.CMD, Language.Embedded.Imperative
2 (Data Constructor)Language.Embedded.Imperative.CMD
PrintfExpLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
PrintfTypeLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
ProgramLanguage.Embedded.Imperative
ProgramTLanguage.Embedded.Imperative
prototypesLanguage.C.Monad
PtrLanguage.Embedded.Signature
ptrLanguage.Embedded.Signature
quot_Language.Embedded.CExp
ReadChanLanguage.Embedded.Concurrent.CMD
readChanLanguage.Embedded.Concurrent
ReadModeLanguage.Embedded.Imperative.Frontend.General, Language.Embedded.Imperative
ReadOKLanguage.Embedded.Concurrent.CMD
ReadWriteModeLanguage.Embedded.Imperative.Frontend.General, Language.Embedded.Imperative
RefLanguage.Embedded.Imperative.CMD, Language.Embedded.Imperative.Frontend.General, Language.Embedded.Imperative
RefArg 
1 (Type/Class)Language.Embedded.Imperative.Args
2 (Data Constructor)Language.Embedded.Imperative.Args
refArgLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
RefCMDLanguage.Embedded.Imperative.CMD, Language.Embedded.Imperative
RefCompLanguage.Embedded.Imperative.CMD
RefEvalLanguage.Embedded.Imperative.CMD
replicateMLanguage.Embedded.Imperative
replicateM_Language.Embedded.Imperative
RetLanguage.Embedded.Signature
retLanguage.Embedded.Signature
returnLanguage.Embedded.Imperative
runCGenLanguage.C.Monad
runCGenTLanguage.C.Monad
runIOLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
runSupplyControl.Monads
runSupplyTControl.Monads
runTickControl.Monads
runTickTControl.Monads
sequenceLanguage.Embedded.Imperative
sequence_Language.Embedded.Imperative
SetArrLanguage.Embedded.Imperative.CMD
setArrLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
SetRefLanguage.Embedded.Imperative.CMD
setRefLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
setUsedVarsLanguage.C.Monad
SignatureLanguage.Embedded.Signature
stdinLanguage.Embedded.Imperative.CMD, Language.Embedded.Imperative.Frontend.General, Language.Embedded.Imperative
stdoutLanguage.Embedded.Imperative.CMD, Language.Embedded.Imperative.Frontend.General, Language.Embedded.Imperative
stmsLanguage.C.Monad
StrArg 
1 (Type/Class)Language.Embedded.Imperative.Args
2 (Data Constructor)Language.Embedded.Imperative.Args
strArgLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
SupplyControl.Monads
SupplyT 
1 (Type/Class)Control.Monads
2 (Data Constructor)Control.Monads
SymLanguage.Embedded.CExp
T 
1 (Type/Class)Language.Embedded.CExp
2 (Data Constructor)Language.Embedded.CExp
ThreadCMDLanguage.Embedded.Concurrent.CMD, Language.Embedded.Concurrent
ThreadIdLanguage.Embedded.Concurrent.CMD, Language.Embedded.Concurrent
TickControl.Monads
tickControl.Monads
TickT 
1 (Type/Class)Control.Monads
2 (Data Constructor)Control.Monads
TIDLanguage.Embedded.Concurrent.CMD
TIDCompLanguage.Embedded.Concurrent.CMD, Language.Embedded.Concurrent
TIDEvalLanguage.Embedded.Concurrent.CMD, Language.Embedded.Concurrent
touchVarLanguage.C.Monad
translateFunctionLanguage.Embedded.Signature
trueLanguage.Embedded.CExp
typedefsLanguage.C.Monad
unCExpLanguage.Embedded.CExp
unCGenTLanguage.C.Monad
UncloseableLanguage.Embedded.Concurrent.CMD, Language.Embedded.Concurrent
uniqueLanguage.C.Monad
unlessLanguage.Embedded.Imperative
unsafeFreezeRefLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
unSupplyTControl.Monads
unTLanguage.Embedded.CExp
unTickTControl.Monads
UOpLanguage.Embedded.CExp
usedVarsLanguage.C.Monad
ValArg 
1 (Type/Class)Language.Embedded.Imperative.Args
2 (Data Constructor)Language.Embedded.Imperative.Args
valArgLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
valueLanguage.Embedded.CExp
VarLanguage.Embedded.CExp
varExpLanguage.Embedded.Expression
variableLanguage.Embedded.CExp
VarIdLanguage.Embedded.Expression
VarPredLanguage.Embedded.Expression, Language.Embedded.Imperative
VarPredCastLanguage.Embedded.Imperative.CMD
veryUnsafeFreezeRefLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
viewLitLanguage.Embedded.CExp
viewNotExpLanguage.Embedded.Backend.C
voidLanguage.Embedded.Imperative
WaitLanguage.Embedded.Concurrent.CMD
waitThreadLanguage.Embedded.Concurrent
whenLanguage.Embedded.Imperative
WhileLanguage.Embedded.Imperative.CMD
whileLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
whileELanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
withAliasLanguage.C.Monad
WordLanguage.Embedded.Imperative
Word16Language.Embedded.Imperative
Word32Language.Embedded.Imperative
Word64Language.Embedded.Imperative
Word8Language.Embedded.Imperative
wrapMainLanguage.C.Monad
WriteChanLanguage.Embedded.Concurrent.CMD
writeChanLanguage.Embedded.Concurrent
WriteModeLanguage.Embedded.Imperative.Frontend.General, Language.Embedded.Imperative
zipWithMLanguage.Embedded.Imperative
zipWithM_Language.Embedded.Imperative
_aliasesLanguage.C.Monad
_argsLanguage.C.Monad
_finalStmsLanguage.C.Monad
_flagsLanguage.C.Monad
_funUsedVarsLanguage.C.Monad
_globalsLanguage.C.Monad
_includesLanguage.C.Monad
_localsLanguage.C.Monad
_modulesLanguage.C.Monad
_paramsLanguage.C.Monad
_prototypesLanguage.C.Monad
_stmsLanguage.C.Monad
_typedefsLanguage.C.Monad
_uniqueLanguage.C.Monad
_usedVarsLanguage.C.Monad