| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Drasil.GProc.LanguageRenderer.AbstractProc
Synopsis
- fileDoc :: RenderFile r => String -> FS (r Module) -> FS (r File)
- fileFromData :: ModuleElim r => (FilePath -> r Module -> r File) -> FilePath -> FS (r Module) -> FS (r File)
- buildModule :: (MethodElim r md, RenderMod r) => Label -> FS Doc -> FS Doc -> [MS (r md)] -> FS (r Module)
- docMod :: RenderFile r => String -> String -> String -> [String] -> String -> FS (r File) -> FS (r File)
- modFromData :: Label -> (Doc -> r Module) -> FS Doc -> FS (r Module)
- innerType :: TypeElim r => VS (r TypeData) -> VS (r TypeData)
- arrayElem :: (IndexTranslator r, RenderVariable r, TypeElim r, ValueElim r) => SValue r -> SValue r -> SVariable r
- listAppend :: (StatementSym r smt, ValueExpression r) => String -> SValue r -> SValue r -> MS (r smt)
- listAdd :: (IndexTranslator r, StatementSym r smt, ValueExpression r) => String -> SValue r -> SValue r -> SValue r -> MS (r smt)
- funcDecDef :: ProcRenderSym r vis smt md => SVariable r -> r ScopeData -> [SVariable r] -> MS (r Body) -> MS (r smt)
- function :: ProcRenderMethod r vis md => Label -> r vis -> VS (r TypeData) -> [MS (r ParamData)] -> MS (r Body) -> MS (r md)
Documentation
fileFromData :: ModuleElim r => (FilePath -> r Module -> r File) -> FilePath -> FS (r Module) -> FS (r File) Source #
buildModule :: (MethodElim r md, RenderMod r) => Label -> FS Doc -> FS Doc -> [MS (r md)] -> FS (r Module) Source #
docMod :: RenderFile r => String -> String -> String -> [String] -> String -> FS (r File) -> FS (r File) Source #
arrayElem :: (IndexTranslator r, RenderVariable r, TypeElim r, ValueElim r) => SValue r -> SValue r -> SVariable r Source #
listAppend :: (StatementSym r smt, ValueExpression r) => String -> SValue r -> SValue r -> MS (r smt) Source #
Call to append a value to a list using a function call
listAdd :: (IndexTranslator r, StatementSym r smt, ValueExpression r) => String -> SValue r -> SValue r -> SValue r -> MS (r smt) Source #
Call to insert a value into a list as a function call
funcDecDef :: ProcRenderSym r vis smt md => SVariable r -> r ScopeData -> [SVariable r] -> MS (r Body) -> MS (r smt) Source #