Documentation

charRender :: String Source #

float :: Monad r => VS (r TypeData) Source #

double :: Monad r => VS (r TypeData) Source #

char :: Monad r => VS (r TypeData) Source #

listType :: (Monad r, TypeElim r, UnRepr r TypeData) => String -> VS (r TypeData) -> VS (r TypeData) Source #

setType :: (Monad r, TypeElim r, UnRepr r TypeData) => String -> VS (r TypeData) -> VS (r TypeData) Source #

void :: Monad r => VS (r TypeData) Source #

notOp :: Monad r => VSOp r Source #

andOp :: Monad r => VSOp r Source #

orOp :: Monad r => VSOp r Source #

self :: (OOTypeSym r, RenderVariable r) => SVariable r Source #

litTrue :: (RenderValue r, TypeSym r) => SValue r Source #

litFalse :: (RenderValue r, TypeSym r) => SValue r Source #

litFloat :: (RenderValue r, TypeSym r) => Float -> SValue r Source #

inlineIf :: (RenderValue r, ValueElim r, ValueSym r) => SValue r -> SValue r -> SValue r -> SValue r Source #

libFuncAppMixedArgs :: ValueExpression r => Library -> MixedCall r Source #

libNewObjMixedArgs :: OOValueExpression r => Library -> MixedCtorCall r Source #

listSize :: InternalValueExp r => String -> SValue r -> SValue r Source #

listSize' :: (OOVariableSym r, VariableValue r) => String -> SValue r -> SValue r Source #

increment :: (InternalVarElim r, RenderStatement r smt, ValueElim r) => SVariable r -> SValue r -> MS (r smt) Source #

increment1 :: (InternalVarElim r, RenderStatement r smt) => SVariable r -> MS (r smt) Source #

decrement1 :: (InternalVarElim r, RenderStatement r smt) => SVariable r -> MS (r smt) Source #

varDec :: (InternalVarElim r, PermElim r att, RenderStatement r smt, ScopeElim r, UnRepr r TypeData, TypeElim r, VariableElim r) => r att -> r att -> Doc -> SVariable r -> r ScopeData -> MS (r smt) Source #

varDecDef :: (DeclStatement r smt, RenderStatement r smt, StatementElim r smt, ValueElim r) => Terminator -> SVariable r -> r ScopeData -> SValue r -> MS (r smt) Source #

setDecDef :: (DeclStatement r smt, RenderStatement r smt, StatementElim r smt, ValueElim r) => Terminator -> SVariable r -> r ScopeData -> SValue r -> MS (r smt) Source #

listDec :: (DeclStatement r smt, RenderStatement r smt, StatementElim r smt) => (r Value -> Doc) -> SValue r -> SVariable r -> r ScopeData -> MS (r smt) Source #

extObjDecNew :: (DeclStatement r smt, OOValueExpression r, VariableElim r) => Library -> SVariable r -> r ScopeData -> [SValue r] -> MS (r smt) Source #

switch :: (BodyElim r, RenderStatement r smt, StatementElim r smt, ValueElim r) => (Doc -> Doc) -> MS (r smt) -> SValue r -> [(SValue r, MS (r Body))] -> MS (r Body) -> MS (r smt) Source #

for :: (BodyElim r, RenderStatement r smt, StatementElim r smt, ValueElim r) => Doc -> Doc -> MS (r smt) -> SValue r -> MS (r smt) -> MS (r Body) -> MS (r smt) Source #

while :: (BodyElim r, RenderStatement r smt, ValueElim r) => (Doc -> Doc) -> Doc -> Doc -> SValue r -> MS (r Body) -> MS (r smt) Source #

intFunc :: OORenderMethod r vis md att => Bool -> Label -> r vis -> r att -> MSMthdType r -> [MS (r ParamData)] -> MS (r Body) -> MS (r md) Source #

multiAssignError :: String -> String Source #

multiReturnError :: String -> String Source #

multiTypeError :: String -> String Source #