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

Index - A

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
addrLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
AddrArgLanguage.Embedded.Imperative.CMD, Language.Embedded.Imperative.Frontend.General, 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
argProxyLanguage.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
arrayInitLanguage.Embedded.Backend.C
ArrCMDLanguage.Embedded.Imperative.CMD, Language.Embedded.Imperative
ArrCompLanguage.Embedded.Imperative.CMD
ArrEvalLanguage.Embedded.Imperative.CMD
ArrIxLanguage.Embedded.CExp
AssertLanguage.Embedded.Imperative.CMD
assertLanguage.Embedded.Imperative.Frontend, Language.Embedded.Imperative
AssignableLanguage.Embedded.Imperative.CMD, Language.Embedded.Imperative.Frontend.General, Language.Embedded.Imperative
asyncKillThreadLanguage.Embedded.Concurrent