Safe Haskell	None
Language	GHC2024

Drasil.GOOL.RendererClassesOO

Documentation

class (CommonRenderSym r mthd vis param bod block stmt var scope val binder typ, ParameterSym r param var, MethodSym r mthd vis param bod var typ, OOMethodSym r mthd attch vis param bod var val typ, VisibilitySym r vis, AttachmentSym r attch, StateVarSym r stvr attch vis var val, ClassSym r cls stvr mthd, ModuleSym r mod cls mthd, FileSym r file mod, ValueSym r val typ, InternalValueExp r var val typ, GetSet r var val, ObserverPattern r stmt typ, StrategyPattern r bod block var val, VariableSym r var typ, TypeSym r typ, OOTypeSym r typ, OOVariableSym r var val typ, SelfSym r var, OOValueExpression r var val typ, RenderClass r cls stvr mthd vis, ClassElim r cls, RenderFile r file mod, InternalGetSet r var val typ, MethodTypeSym r typ, OOMethodTypeSym r typ, RenderMethod r mthd, OORenderMethod r mthd attch vis param bod typ, RenderMod r mod, ModuleElim r mod, StateVarElim r stvr, PermElim r attch) => OORenderSym (r :: Type -> Type) file mod cls stvr mthd attch vis param bod block stmt var scope val binder typ Source #

Instances

Instances details

OORenderSym CSharpCode FileData ModData Class StateVar MethodData Doc Doc ParamData Body Block Statement Variable ScopeData Value BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
OORenderSym JavaCode FileData ModData Class StateVar MethodData Doc Doc ParamData Body Block Statement Variable ScopeData Value BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
OORenderSym PythonCode FileData ModData Class StateVar MethodData AttachmentData Doc ParamData Body Block Statement Variable ScopeData Value BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer
OORenderSym SwiftCode FileData ModData Class StateVar MethodData Doc Doc ParamData Body Block Statement Variable ScopeData Value BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

class RenderFile (r :: Type -> Type) file mod | r -> file mod where Source #

Methods

top :: r mod -> r Block Source #

bottom :: r Block Source #

commentedMod :: FS (r file) -> FS (r Doc) -> FS (r file) Source #

fileFromData :: FilePath -> FS (r mod) -> FS (r file) Source #

Instances

Instances details

RenderFile CSharpCode FileData ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods top :: CSharpCode ModData -> CSharpCode Block Source # bottom :: CSharpCode Block Source # commentedMod :: FS (CSharpCode FileData) -> FS (CSharpCode Doc) -> FS (CSharpCode FileData) Source # fileFromData :: FilePath -> FS (CSharpCode ModData) -> FS (CSharpCode FileData) Source #
RenderFile CppHdrCode FileData ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods top :: CppHdrCode ModData -> CppHdrCode Block Source # bottom :: CppHdrCode Block Source # commentedMod :: FS (CppHdrCode FileData) -> FS (CppHdrCode Doc) -> FS (CppHdrCode FileData) Source # fileFromData :: FilePath -> FS (CppHdrCode ModData) -> FS (CppHdrCode FileData) Source #
RenderFile CppSrcCode FileData ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods top :: CppSrcCode ModData -> CppSrcCode Block Source # bottom :: CppSrcCode Block Source # commentedMod :: FS (CppSrcCode FileData) -> FS (CppSrcCode Doc) -> FS (CppSrcCode FileData) Source # fileFromData :: FilePath -> FS (CppSrcCode ModData) -> FS (CppSrcCode FileData) Source #
RenderFile JavaCode FileData ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods top :: JavaCode ModData -> JavaCode Block Source # bottom :: JavaCode Block Source # commentedMod :: FS (JavaCode FileData) -> FS (JavaCode Doc) -> FS (JavaCode FileData) Source # fileFromData :: FilePath -> FS (JavaCode ModData) -> FS (JavaCode FileData) Source #
RenderFile PythonCode FileData ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods top :: PythonCode ModData -> PythonCode Block Source # bottom :: PythonCode Block Source # commentedMod :: FS (PythonCode FileData) -> FS (PythonCode Doc) -> FS (PythonCode FileData) Source # fileFromData :: FilePath -> FS (PythonCode ModData) -> FS (PythonCode FileData) Source #
RenderFile SwiftCode FileData ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods top :: SwiftCode ModData -> SwiftCode Block Source # bottom :: SwiftCode Block Source # commentedMod :: FS (SwiftCode FileData) -> FS (SwiftCode Doc) -> FS (SwiftCode FileData) Source # fileFromData :: FilePath -> FS (SwiftCode ModData) -> FS (SwiftCode FileData) Source #
Pair p => RenderFile (p CppSrcCode CppHdrCode) FileData ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods top :: p CppSrcCode CppHdrCode ModData -> p CppSrcCode CppHdrCode Block Source # bottom :: p CppSrcCode CppHdrCode Block Source # commentedMod :: FS (p CppSrcCode CppHdrCode FileData) -> FS (p CppSrcCode CppHdrCode Doc) -> FS (p CppSrcCode CppHdrCode FileData) Source # fileFromData :: FilePath -> FS (p CppSrcCode CppHdrCode ModData) -> FS (p CppSrcCode CppHdrCode FileData) Source #

class PermElim (r :: k -> Type) (attch :: k) where Source #

Methods

perm :: r attch -> Doc Source #

binding :: r attch -> AttachmentTag Source #

Instances

Instances details

PermElim CSharpCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods perm :: CSharpCode Doc -> Doc Source # binding :: CSharpCode Doc -> AttachmentTag Source #
PermElim CppHdrCode AttachmentData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods perm :: CppHdrCode AttachmentData -> Doc Source # binding :: CppHdrCode AttachmentData -> AttachmentTag Source #
PermElim CppSrcCode AttachmentData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods perm :: CppSrcCode AttachmentData -> Doc Source # binding :: CppSrcCode AttachmentData -> AttachmentTag Source #
PermElim JavaCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods perm :: JavaCode Doc -> Doc Source # binding :: JavaCode Doc -> AttachmentTag Source #
PermElim PythonCode AttachmentData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods perm :: PythonCode AttachmentData -> Doc Source # binding :: PythonCode AttachmentData -> AttachmentTag Source #
PermElim SwiftCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods perm :: SwiftCode Doc -> Doc Source # binding :: SwiftCode Doc -> AttachmentTag Source #
Pair p => PermElim (p CppSrcCode CppHdrCode :: Type -> Type) AttachmentData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods perm :: p CppSrcCode CppHdrCode AttachmentData -> Doc Source # binding :: p CppSrcCode CppHdrCode AttachmentData -> AttachmentTag Source #

class InternalGetSet (r :: Type -> Type) var val typ | r -> var val typ where Source #

Methods

getFunc :: VS (r var) -> VS (r FuncData) Source #

setFunc :: VS (r typ) -> VS (r var) -> VS (r val) -> VS (r FuncData) Source #

Instances

Instances details

InternalGetSet CSharpCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods getFunc :: VS (CSharpCode Variable) -> VS (CSharpCode FuncData) Source # setFunc :: VS (CSharpCode TypeData) -> VS (CSharpCode Variable) -> VS (CSharpCode Value) -> VS (CSharpCode FuncData) Source #
InternalGetSet CppHdrCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods getFunc :: VS (CppHdrCode Variable) -> VS (CppHdrCode FuncData) Source # setFunc :: VS (CppHdrCode TypeData) -> VS (CppHdrCode Variable) -> VS (CppHdrCode Value) -> VS (CppHdrCode FuncData) Source #
InternalGetSet CppSrcCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods getFunc :: VS (CppSrcCode Variable) -> VS (CppSrcCode FuncData) Source # setFunc :: VS (CppSrcCode TypeData) -> VS (CppSrcCode Variable) -> VS (CppSrcCode Value) -> VS (CppSrcCode FuncData) Source #
InternalGetSet JavaCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods getFunc :: VS (JavaCode Variable) -> VS (JavaCode FuncData) Source # setFunc :: VS (JavaCode TypeData) -> VS (JavaCode Variable) -> VS (JavaCode Value) -> VS (JavaCode FuncData) Source #
InternalGetSet PythonCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods getFunc :: VS (PythonCode Variable) -> VS (PythonCode FuncData) Source # setFunc :: VS (PythonCode TypeData) -> VS (PythonCode Variable) -> VS (PythonCode Value) -> VS (PythonCode FuncData) Source #
InternalGetSet SwiftCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods getFunc :: VS (SwiftCode Variable) -> VS (SwiftCode FuncData) Source # setFunc :: VS (SwiftCode TypeData) -> VS (SwiftCode Variable) -> VS (SwiftCode Value) -> VS (SwiftCode FuncData) Source #
Pair p => InternalGetSet (p CppSrcCode CppHdrCode) Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods getFunc :: VS (p CppSrcCode CppHdrCode Variable) -> VS (p CppSrcCode CppHdrCode FuncData) Source # setFunc :: VS (p CppSrcCode CppHdrCode TypeData) -> VS (p CppSrcCode CppHdrCode Variable) -> VS (p CppSrcCode CppHdrCode Value) -> VS (p CppSrcCode CppHdrCode FuncData) Source #

class StateVarElim (r :: k -> Type) (stvr :: k) | r -> stvr where Source #

Methods

stateVar :: r stvr -> Doc Source #

Instances

Instances details

StateVarElim CSharpCode StateVar Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods stateVar :: CSharpCode StateVar -> Doc Source #
StateVarElim CppHdrCode StateVarData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods stateVar :: CppHdrCode StateVarData -> Doc Source #
StateVarElim CppSrcCode StateVarData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods stateVar :: CppSrcCode StateVarData -> Doc Source #
StateVarElim JavaCode StateVar Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods stateVar :: JavaCode StateVar -> Doc Source #
StateVarElim PythonCode StateVar Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods stateVar :: PythonCode StateVar -> Doc Source #
StateVarElim SwiftCode StateVar Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods stateVar :: SwiftCode StateVar -> Doc Source #
Pair p => StateVarElim (p CppSrcCode CppHdrCode :: Type -> Type) StateVarData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods stateVar :: p CppSrcCode CppHdrCode StateVarData -> Doc Source #

type ParentSpec = Doc Source #

class RenderClass (r :: Type -> Type) cls stvr mthd vis | r -> cls stvr mthd vis where Source #

Methods

intClass :: Label -> r vis -> r ParentSpec -> [CSStateVar r stvr] -> [MS (r mthd)] -> [MS (r mthd)] -> CS (r cls) Source #

inherit :: Maybe Label -> r ParentSpec Source #

implements :: [Label] -> r ParentSpec Source #

commentedClass :: CS (r Doc) -> CS (r cls) -> CS (r cls) Source #

Instances

Instances details

RenderClass CSharpCode Class StateVar MethodData Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods intClass :: Label -> CSharpCode Doc -> CSharpCode ParentSpec -> [CSStateVar CSharpCode StateVar] -> [MS (CSharpCode MethodData)] -> [MS (CSharpCode MethodData)] -> CS (CSharpCode Class) Source # inherit :: Maybe Label -> CSharpCode ParentSpec Source # implements :: [Label] -> CSharpCode ParentSpec Source # commentedClass :: CS (CSharpCode Doc) -> CS (CSharpCode Class) -> CS (CSharpCode Class) Source #
RenderClass JavaCode Class StateVar MethodData Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods intClass :: Label -> JavaCode Doc -> JavaCode ParentSpec -> [CSStateVar JavaCode StateVar] -> [MS (JavaCode MethodData)] -> [MS (JavaCode MethodData)] -> CS (JavaCode Class) Source # inherit :: Maybe Label -> JavaCode ParentSpec Source # implements :: [Label] -> JavaCode ParentSpec Source # commentedClass :: CS (JavaCode Doc) -> CS (JavaCode Class) -> CS (JavaCode Class) Source #
RenderClass PythonCode Class StateVar MethodData Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods intClass :: Label -> PythonCode Doc -> PythonCode ParentSpec -> [CSStateVar PythonCode StateVar] -> [MS (PythonCode MethodData)] -> [MS (PythonCode MethodData)] -> CS (PythonCode Class) Source # inherit :: Maybe Label -> PythonCode ParentSpec Source # implements :: [Label] -> PythonCode ParentSpec Source # commentedClass :: CS (PythonCode Doc) -> CS (PythonCode Class) -> CS (PythonCode Class) Source #
RenderClass SwiftCode Class StateVar MethodData Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods intClass :: Label -> SwiftCode Doc -> SwiftCode ParentSpec -> [CSStateVar SwiftCode StateVar] -> [MS (SwiftCode MethodData)] -> [MS (SwiftCode MethodData)] -> CS (SwiftCode Class) Source # inherit :: Maybe Label -> SwiftCode ParentSpec Source # implements :: [Label] -> SwiftCode ParentSpec Source # commentedClass :: CS (SwiftCode Doc) -> CS (SwiftCode Class) -> CS (SwiftCode Class) Source #

class ClassElim (r :: k -> Type) (cls :: k) where Source #

Methods

class' :: r cls -> Doc Source #

Instances

Instances details

ClassElim CSharpCode Class Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods class' :: CSharpCode Class -> Doc Source #
ClassElim CppHdrCode Class Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods class' :: CppHdrCode Class -> Doc Source #
ClassElim CppSrcCode Class Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods class' :: CppSrcCode Class -> Doc Source #
ClassElim JavaCode Class Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods class' :: JavaCode Class -> Doc Source #
ClassElim PythonCode Class Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods class' :: PythonCode Class -> Doc Source #
ClassElim SwiftCode Class Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods class' :: SwiftCode Class -> Doc Source #
Pair p => ClassElim (p CppSrcCode CppHdrCode :: Type -> Type) Class Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods class' :: p CppSrcCode CppHdrCode Class -> Doc Source #

class RenderMod (r :: k -> Type) (mod :: k) | r -> mod where Source #

Methods

modFromData :: String -> FS Doc -> FS (r mod) Source #

updateModuleDoc :: (Doc -> Doc) -> r mod -> r mod Source #

Instances

Instances details

RenderMod CSharpCode ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods modFromData :: String -> FS Doc -> FS (CSharpCode ModData) Source # updateModuleDoc :: (Doc -> Doc) -> CSharpCode ModData -> CSharpCode ModData Source #
RenderMod CppHdrCode ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods modFromData :: String -> FS Doc -> FS (CppHdrCode ModData) Source # updateModuleDoc :: (Doc -> Doc) -> CppHdrCode ModData -> CppHdrCode ModData Source #
RenderMod CppSrcCode ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods modFromData :: String -> FS Doc -> FS (CppSrcCode ModData) Source # updateModuleDoc :: (Doc -> Doc) -> CppSrcCode ModData -> CppSrcCode ModData Source #
RenderMod JavaCode ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods modFromData :: String -> FS Doc -> FS (JavaCode ModData) Source # updateModuleDoc :: (Doc -> Doc) -> JavaCode ModData -> JavaCode ModData Source #
RenderMod PythonCode ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods modFromData :: String -> FS Doc -> FS (PythonCode ModData) Source # updateModuleDoc :: (Doc -> Doc) -> PythonCode ModData -> PythonCode ModData Source #
RenderMod SwiftCode ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods modFromData :: String -> FS Doc -> FS (SwiftCode ModData) Source # updateModuleDoc :: (Doc -> Doc) -> SwiftCode ModData -> SwiftCode ModData Source #
Pair p => RenderMod (p CppSrcCode CppHdrCode :: Type -> Type) ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods modFromData :: String -> FS Doc -> FS (p CppSrcCode CppHdrCode ModData) Source # updateModuleDoc :: (Doc -> Doc) -> p CppSrcCode CppHdrCode ModData -> p CppSrcCode CppHdrCode ModData Source #

class ModuleElim (r :: k -> Type) (mod :: k) | r -> mod where Source #

Methods

module' :: r mod -> Doc Source #

Instances

Instances details

ModuleElim CSharpCode ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods module' :: CSharpCode ModData -> Doc Source #
ModuleElim CppHdrCode ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods module' :: CppHdrCode ModData -> Doc Source #
ModuleElim CppSrcCode ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods module' :: CppSrcCode ModData -> Doc Source #
ModuleElim JavaCode ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods module' :: JavaCode ModData -> Doc Source #
ModuleElim PythonCode ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods module' :: PythonCode ModData -> Doc Source #
ModuleElim SwiftCode ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods module' :: SwiftCode ModData -> Doc Source #
Pair p => ModuleElim (p CppSrcCode CppHdrCode :: Type -> Type) ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods module' :: p CppSrcCode CppHdrCode ModData -> Doc Source #

class OORenderMethod (r :: k -> Type) (mthd :: k) (attch :: k) (vis :: k) (param :: k) (bod :: k) (typ :: k) | r -> mthd attch vis param bod typ where Source #

Methods

intMethod :: Bool -> Label -> r vis -> r attch -> MS (r typ) -> [MS (r param)] -> MS (r bod) -> MS (r mthd) Source #

Main method?, name, publicprivate, classLevelinstanceLevel, return type, parameters, body

intFunc :: Bool -> Label -> r vis -> r attch -> MS (r typ) -> [MS (r param)] -> MS (r bod) -> MS (r mthd) Source #

True for main function, name, publicprivate, classLevelinstanceLevel, return type, parameters, body

destructor :: forall (stvr :: k). [CSStateVar r stvr] -> MS (r mthd) Source #

Instances

Instances details

OORenderMethod CSharpCode MethodData Doc Doc ParamData Body TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods intMethod :: Bool -> Label -> CSharpCode Doc -> CSharpCode Doc -> MS (CSharpCode TypeData) -> [MS (CSharpCode ParamData)] -> MS (CSharpCode Body) -> MS (CSharpCode MethodData) Source # intFunc :: Bool -> Label -> CSharpCode Doc -> CSharpCode Doc -> MS (CSharpCode TypeData) -> [MS (CSharpCode ParamData)] -> MS (CSharpCode Body) -> MS (CSharpCode MethodData) Source # destructor :: [CSStateVar CSharpCode stvr] -> MS (CSharpCode MethodData) Source #
OORenderMethod JavaCode MethodData Doc Doc ParamData Body TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods intMethod :: Bool -> Label -> JavaCode Doc -> JavaCode Doc -> MS (JavaCode TypeData) -> [MS (JavaCode ParamData)] -> MS (JavaCode Body) -> MS (JavaCode MethodData) Source # intFunc :: Bool -> Label -> JavaCode Doc -> JavaCode Doc -> MS (JavaCode TypeData) -> [MS (JavaCode ParamData)] -> MS (JavaCode Body) -> MS (JavaCode MethodData) Source # destructor :: [CSStateVar JavaCode stvr] -> MS (JavaCode MethodData) Source #
OORenderMethod PythonCode MethodData AttachmentData Doc ParamData Body TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods intMethod :: Bool -> Label -> PythonCode Doc -> PythonCode AttachmentData -> MS (PythonCode TypeData) -> [MS (PythonCode ParamData)] -> MS (PythonCode Body) -> MS (PythonCode MethodData) Source # intFunc :: Bool -> Label -> PythonCode Doc -> PythonCode AttachmentData -> MS (PythonCode TypeData) -> [MS (PythonCode ParamData)] -> MS (PythonCode Body) -> MS (PythonCode MethodData) Source # destructor :: [CSStateVar PythonCode stvr] -> MS (PythonCode MethodData) Source #
OORenderMethod SwiftCode MethodData Doc Doc ParamData Body TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods intMethod :: Bool -> Label -> SwiftCode Doc -> SwiftCode Doc -> MS (SwiftCode TypeData) -> [MS (SwiftCode ParamData)] -> MS (SwiftCode Body) -> MS (SwiftCode MethodData) Source # intFunc :: Bool -> Label -> SwiftCode Doc -> SwiftCode Doc -> MS (SwiftCode TypeData) -> [MS (SwiftCode ParamData)] -> MS (SwiftCode Body) -> MS (SwiftCode MethodData) Source # destructor :: [CSStateVar SwiftCode stvr] -> MS (SwiftCode MethodData) Source #

class OOMethodTypeSym (r :: k -> Type) (typ :: k) | r -> typ where Source #

Methods

construct :: Label -> MS (r typ) Source #

Instances

Instances details

OOMethodTypeSym CSharpCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods construct :: Label -> MS (CSharpCode TypeData) Source #
OOMethodTypeSym CppHdrCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods construct :: Label -> MS (CppHdrCode TypeData) Source #
OOMethodTypeSym CppSrcCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods construct :: Label -> MS (CppSrcCode TypeData) Source #
OOMethodTypeSym JavaCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods construct :: Label -> MS (JavaCode TypeData) Source #
OOMethodTypeSym PythonCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods construct :: Label -> MS (PythonCode TypeData) Source #
OOMethodTypeSym SwiftCode TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods construct :: Label -> MS (SwiftCode TypeData) Source #
Pair p => OOMethodTypeSym (p CppSrcCode CppHdrCode :: Type -> Type) TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods construct :: Label -> MS (p CppSrcCode CppHdrCode TypeData) Source #