drasil-gool-0.1.1.0: A framework for code and document generation for scientific software - GOOL SubPackage
Safe HaskellNone
LanguageGHC2024

Drasil.GOOL.LanguageRenderer.CommonGOOL

Description

Contains common implementations specific to GOOL

Documentation

constDecDef :: (InternalVarElim r var, RenderStatement r stmt, ScopeElim r ScopeData, UnRepr r TypeData, ValueElim r val, VariableElim r var TypeData) => VS (r var) -> r ScopeData -> VS (r val) -> MS (r stmt) Source #

classMethodCall :: (RenderValue r var val TypeData, UnRepr r TypeData) => String -> VS (r TypeData) -> VS (r TypeData) -> [VS (r val)] -> NamedArgs r var val -> VS (r val) Source #

listAppend :: forall {k} r (typ :: k) (var :: k) (val :: k) (stmt :: k). (TypeSym r typ, InternalValueExp r var val typ, ValueStatement r stmt val) => String -> VS (r val) -> VS (r val) -> MS (r stmt) Source #

listAdd :: forall {k} r (typ :: k) (val :: k) (var :: k) (stmt :: k). (TypeSym r typ, IndexTranslator r val, InternalValueExp r var val typ, ValueStatement r stmt val) => String -> VS (r val) -> VS (r val) -> VS (r val) -> MS (r stmt) Source #

innerType :: forall {k} r (typ :: k). (TypeElim r typ, TypeSym r typ, OOTypeSym r typ) => VS (r typ) -> VS (r typ) Source #