| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Drasil.GProc.LanguageRenderer.AbstractProc
Synopsis
- fileDoc :: RenderFile r file mod => String -> FS (r mod) -> FS (r file)
- fileFromData :: forall {k} r (mod :: k) (file :: k). ModuleElim r mod => (FilePath -> r mod -> r file) -> FilePath -> FS (r mod) -> FS (r file)
- buildModule :: forall {k} r (mthd :: k) (mod :: k). (MethodElim r mthd, RenderMod r mod) => Label -> FS Doc -> FS Doc -> [MS (r mthd)] -> FS (r mod)
- docMod :: RenderFile r file mod => String -> String -> String -> [String] -> String -> FS (r file) -> FS (r file)
- modFromData :: forall {k} r (mod :: k). Label -> (Doc -> r mod) -> FS Doc -> FS (r mod)
- 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 :: (ValueStatement r stmt, ValueExpression r) => String -> SValue r -> SValue r -> MS (r stmt)
- listAdd :: (IndexTranslator r, ValueStatement r stmt, ValueExpression r) => String -> SValue r -> SValue r -> SValue r -> MS (r stmt)
- funcDecDef :: ProcRenderSym r vis stmt mthd file mod bod block => SVariable r -> r ScopeData -> [SVariable r] -> MS (r bod) -> MS (r stmt)
- function :: ProcRenderMethod r vis mthd bod => Label -> r vis -> VS (r TypeData) -> [MS (r ParamData)] -> MS (r bod) -> MS (r mthd)
Documentation
fileFromData :: forall {k} r (mod :: k) (file :: k). ModuleElim r mod => (FilePath -> r mod -> r file) -> FilePath -> FS (r mod) -> FS (r file) Source #
buildModule :: forall {k} r (mthd :: k) (mod :: k). (MethodElim r mthd, RenderMod r mod) => Label -> FS Doc -> FS Doc -> [MS (r mthd)] -> FS (r mod) Source #
docMod :: RenderFile r file mod => 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 :: (ValueStatement r stmt, ValueExpression r) => String -> SValue r -> SValue r -> MS (r stmt) Source #
Call to append a value to a list using a function call
listAdd :: (IndexTranslator r, ValueStatement r stmt, ValueExpression r) => String -> SValue r -> SValue r -> SValue r -> MS (r stmt) Source #
Call to insert a value into a list as a function call
funcDecDef :: ProcRenderSym r vis stmt mthd file mod bod block => SVariable r -> r ScopeData -> [SVariable r] -> MS (r bod) -> MS (r stmt) Source #