| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Drasil.Shared.LanguageRenderer.Constructors
Description
Generic constructors and smart constructors to be used in renderers
Synopsis
- mkStmt :: RenderStatement r smt => Doc -> MS (r smt)
- mkStmtNoEnd :: RenderStatement r smt => Doc -> MS (r smt)
- mkStateVal :: RenderValue r => VS (r TypeData) -> Doc -> SValue r
- mkVal :: RenderValue r => r TypeData -> Doc -> SValue r
- mkStateVar :: RenderVariable r => String -> VS (r TypeData) -> Doc -> SVariable r
- mkVar :: RenderVariable r => String -> r TypeData -> Doc -> SVariable r
- mkClassVar :: RenderVariable r => String -> VS (r TypeData) -> Doc -> SVariable r
- typeFromData :: Monad r => CodeType -> String -> Doc -> VS (r TypeData)
- type VSOp r = VS (r OpData)
- mkOp :: Monad r => Int -> Doc -> VSOp r
- unOpPrec :: Monad r => String -> VSOp r
- compEqualPrec :: Monad r => String -> VSOp r
- compPrec :: Monad r => String -> VSOp r
- addPrec :: Monad r => String -> VSOp r
- multPrec :: Monad r => String -> VSOp r
- powerPrec :: Monad r => String -> VSOp r
- andPrec :: Monad r => String -> VSOp r
- orPrec :: Monad r => String -> VSOp r
- inPrec :: Monad r => String -> VSOp r
- unExpr :: (OpElim r, RenderValue r, ValueElim r, ValueSym r) => VSUnOp r -> SValue r -> SValue r
- unExpr' :: (OpElim r, RenderValue r, ValueElim r, ValueSym r) => VSUnOp r -> SValue r -> SValue r
- unExprNumDbl :: (OpElim r, RenderValue r, TypeElim r, ValueElim r, ValueSym r) => VSUnOp r -> SValue r -> SValue r
- typeUnExpr :: (OpElim r, RenderValue r, ValueElim r) => VSUnOp r -> VS (r TypeData) -> SValue r -> SValue r
- binExpr :: (OpElim r, RenderValue r, TypeElim r, ValueElim r, ValueSym r) => VSBinOp r -> SValue r -> SValue r -> SValue r
- binExpr' :: (OpElim r, RenderValue r, TypeElim r, ValueElim r, ValueSym r) => VSBinOp r -> SValue r -> SValue r -> SValue r
- binExprNumDbl' :: (OpElim r, RenderValue r, TypeElim r, ValueElim r, ValueSym r) => VSBinOp r -> SValue r -> SValue r -> SValue r
- typeBinExpr :: (OpElim r, RenderValue r, ValueElim r) => VSBinOp r -> VS (r TypeData) -> SValue r -> SValue r -> SValue r
Documentation
mkStmt :: RenderStatement r smt => Doc -> MS (r smt) Source #
Constructs a statement terminated by a semi-colon
mkStmtNoEnd :: RenderStatement r smt => Doc -> MS (r smt) Source #
Constructs a statement without a termination character
mkStateVal :: RenderValue r => VS (r TypeData) -> Doc -> SValue r Source #
Constructs a value in a stateful context
mkVal :: RenderValue r => r TypeData -> Doc -> SValue r Source #
Constructs a value in a non-stateful context
mkStateVar :: RenderVariable r => String -> VS (r TypeData) -> Doc -> SVariable r Source #
Constructs an instance-level variable in a stateful context
mkVar :: RenderVariable r => String -> r TypeData -> Doc -> SVariable r Source #
Constructs an instance-level variable in a non-stateful context
mkClassVar :: RenderVariable r => String -> VS (r TypeData) -> Doc -> SVariable r Source #
Constructs a classLevel variable in a stateful context
mkOp :: Monad r => Int -> Doc -> VSOp r Source #
Construct an operator with given precedence and rendering
unOpPrec :: Monad r => String -> VSOp r Source #
Construct an operator with typical unary-operator precedence
compEqualPrec :: Monad r => String -> VSOp r Source #
Construct an operator with equality-comparison-level precedence
compPrec :: Monad r => String -> VSOp r Source #
Construct an operator with comparison-level precedence
multPrec :: Monad r => String -> VSOp r Source #
Construct an operator with multiplication-level precedence
powerPrec :: Monad r => String -> VSOp r Source #
Construct an operator with exponentiation-level precedence
andPrec :: Monad r => String -> VSOp r Source #
Construct an operator with conjunction-level precedence
orPrec :: Monad r => String -> VSOp r Source #
Construct an operator with disjunction-level precedence
unExpr :: (OpElim r, RenderValue r, ValueElim r, ValueSym r) => VSUnOp r -> SValue r -> SValue r Source #
Constructs a unary expression like ln(v), for some operator ln and value v
unExpr' :: (OpElim r, RenderValue r, ValueElim r, ValueSym r) => VSUnOp r -> SValue r -> SValue r Source #
Constructs a unary expression like -v, for some operator - and value v
unExprNumDbl :: (OpElim r, RenderValue r, TypeElim r, ValueElim r, ValueSym r) => VSUnOp r -> SValue r -> SValue r Source #
To be used in languages where the unary operator returns a double. If the value passed to the operator is a float, this function preserves that type by casting the result to a float.
typeUnExpr :: (OpElim r, RenderValue r, ValueElim r) => VSUnOp r -> VS (r TypeData) -> SValue r -> SValue r Source #
To be used when the type of the value is different from the type of the resulting expression. The type of the result is passed as a parameter.
binExpr :: (OpElim r, RenderValue r, TypeElim r, ValueElim r, ValueSym r) => VSBinOp r -> SValue r -> SValue r -> SValue r Source #
Constructs binary expressions like v + w, for some operator + and values v and w, parenthesizing v and w if needed.
binExpr' :: (OpElim r, RenderValue r, TypeElim r, ValueElim r, ValueSym r) => VSBinOp r -> SValue r -> SValue r -> SValue r Source #
Constructs binary expressions like pow(v,w), for some operator pow and values v and w
binExprNumDbl' :: (OpElim r, RenderValue r, TypeElim r, ValueElim r, ValueSym r) => VSBinOp r -> SValue r -> SValue r -> SValue r Source #
To be used in languages where the binary operator returns a double. If either value passed to the operator is a float, this function preserves that type by casting the result to a float.