| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
GOOL.Drasil.LanguageRenderer.Constructors
Description
Generic constructors and smart constructors to be used in renderers
Synopsis
- mkStmt :: RenderSym r => Doc -> MSStatement r
- mkStmtNoEnd :: RenderSym r => Doc -> MSStatement r
- mkStateVal :: RenderSym r => VSType r -> Doc -> SValue r
- mkVal :: RenderSym r => r (Type r) -> Doc -> SValue r
- mkStateVar :: RenderSym r => String -> VSType r -> Doc -> SVariable r
- mkVar :: RenderSym r => String -> r (Type r) -> Doc -> SVariable r
- mkStaticVar :: RenderSym r => String -> VSType r -> Doc -> SVariable r
- 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
- unExpr :: RenderSym r => VSUnOp r -> SValue r -> SValue r
- unExpr' :: RenderSym r => VSUnOp r -> SValue r -> SValue r
- unExprNumDbl :: RenderSym r => VSUnOp r -> SValue r -> SValue r
- typeUnExpr :: RenderSym r => VSUnOp r -> VSType r -> SValue r -> SValue r
- binExpr :: RenderSym r => VSBinOp r -> SValue r -> SValue r -> SValue r
- binExpr' :: RenderSym r => VSBinOp r -> SValue r -> SValue r -> SValue r
- binExprNumDbl' :: RenderSym r => VSBinOp r -> SValue r -> SValue r -> SValue r
- typeBinExpr :: RenderSym r => VSBinOp r -> VSType r -> SValue r -> SValue r -> SValue r
Documentation
mkStmt :: RenderSym r => Doc -> MSStatement r Source #
Constructs a statement terminated by a semi-colon
mkStmtNoEnd :: RenderSym r => Doc -> MSStatement r Source #
Constructs a statement without a termination character
mkStateVal :: RenderSym r => VSType r -> Doc -> SValue r Source #
Constructs a value in a stateful context
mkVal :: RenderSym r => r (Type r) -> Doc -> SValue r Source #
Constructs a value in a non-stateful context
mkStateVar :: RenderSym r => String -> VSType r -> Doc -> SVariable r Source #
Constructs a dynamic variable in a stateful context
mkVar :: RenderSym r => String -> r (Type r) -> Doc -> SVariable r Source #
Constructs a dynamic variable in a non-stateful context
mkStaticVar :: RenderSym r => String -> VSType r -> Doc -> SVariable r Source #
Constructs a static 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 :: RenderSym r => VSUnOp r -> SValue r -> SValue r Source #
Constructs a unary expression like ln(v), for some operator ln and value v
unExpr' :: RenderSym r => VSUnOp r -> SValue r -> SValue r Source #
Constructs a unary expression like -v, for some operator - and value v
unExprNumDbl :: RenderSym 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 :: RenderSym r => VSUnOp r -> VSType r -> 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 :: RenderSym 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' :: RenderSym 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