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 stmt, ValueElim r) => SVariable r -> SValue r -> MS (r stmt) Source #

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

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

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

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

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

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

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

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

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

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

multiAssignError :: String -> String Source #

multiReturnError :: String -> String Source #

multiTypeError :: String -> String Source #