| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Drasil.Shared.LanguageRenderer.Common
Description
Implementations defined here are valid in some, but not all, language renderers
Synopsis
- boolRender :: String
- bool :: Monad r => VS (r TypeData)
- extVar :: RenderVariable r => Label -> Label -> VS (r TypeData) -> SVariable r
- funcType :: (Monad r, TypeElim r) => [VS (r TypeData)] -> VS (r TypeData) -> VS (r TypeData)
- extFuncAppMixedArgs :: RenderValue r => Library -> MixedCall r
- listAccessFunc :: (RenderFunction r, TypeElim r, ValueElim r, ValueSym r) => VS (r TypeData) -> SValue r -> VS (r FuncData)
- forEach' :: RenderStatement r smt => (r Variable -> r Value -> r Body -> Doc) -> SVariable r -> SValue r -> MS (r Body) -> MS (r smt)
- varDecDef :: (AssignStatement r smt, ScopeElim r, VariableElim r) => SVariable r -> r ScopeData -> Maybe (SValue r) -> MS (r smt)
- listSize :: ValueExpression r => String -> SValue r -> SValue r
- increment :: (InternalVarElim r, RenderStatement r smt, ValueElim r) => SVariable r -> SValue r -> MS (r smt)
Documentation
boolRender :: String Source #
funcType :: (Monad r, TypeElim r) => [VS (r TypeData)] -> VS (r TypeData) -> VS (r TypeData) Source #
extFuncAppMixedArgs :: RenderValue r => Library -> MixedCall r Source #
listAccessFunc :: (RenderFunction r, TypeElim r, ValueElim r, ValueSym r) => VS (r TypeData) -> SValue r -> VS (r FuncData) Source #
forEach' :: RenderStatement r smt => (r Variable -> r Value -> r Body -> Doc) -> SVariable r -> SValue r -> MS (r Body) -> MS (r smt) Source #
varDecDef :: (AssignStatement r smt, ScopeElim r, VariableElim r) => SVariable r -> r ScopeData -> Maybe (SValue r) -> MS (r smt) Source #
listSize :: ValueExpression r => String -> SValue r -> SValue r Source #
Call to get the size of a list as a function call
increment :: (InternalVarElim r, RenderStatement r smt, ValueElim r) => SVariable r -> SValue r -> MS (r smt) Source #