Safe Haskell	None
Language	GHC2024

Drasil.GOOL.RendererClassesOO

Documentation

class (CommonRenderSym r vis stmt mthd bod block, MethodSym r vis mthd bod, OOMethodSym r vis mthd attch bod, ClassSym r vis mthd stvr attch, ModuleSym r mod mthd, FileSym r file mod, InternalValueExp r, GetSet r, ObserverPattern r stmt, StrategyPattern r bod block, OOVariableValue r, OOValueExpression r, RenderClass r vis mthd stvr, ClassElim r, RenderFile r file mod, InternalGetSet r, OORenderMethod r vis mthd attch bod, RenderMod r mod, ModuleElim r mod, StateVarElim r stvr, PermElim r attch) => OORenderSym (r :: Type -> Type) vis stmt mthd stvr attch file mod bod block Source #

Instances

Instances details

OORenderSym CSharpCode Doc (Doc, Terminator) MethodData StateVar Doc FileData ModData Body Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
OORenderSym JavaCode Doc (Doc, Terminator) MethodData StateVar Doc FileData ModData Body Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
OORenderSym PythonCode Doc (Doc, Terminator) MethodData StateVar AttachmentData FileData ModData Body Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer
OORenderSym SwiftCode Doc (Doc, Terminator) MethodData StateVar Doc FileData ModData Body Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

class BlockCommentSym r => 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) where Source #

Methods

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

setFunc :: VS (r TypeData) -> SVariable r -> SValue r -> VS (r FuncData) Source #

Instances

Instances details

InternalGetSet CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods getFunc :: SVariable CSharpCode -> VS (CSharpCode FuncData) Source # setFunc :: VS (CSharpCode TypeData) -> SVariable CSharpCode -> SValue CSharpCode -> VS (CSharpCode FuncData) Source #
InternalGetSet CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods getFunc :: SVariable CppHdrCode -> VS (CppHdrCode FuncData) Source # setFunc :: VS (CppHdrCode TypeData) -> SVariable CppHdrCode -> SValue CppHdrCode -> VS (CppHdrCode FuncData) Source #
InternalGetSet CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods getFunc :: SVariable CppSrcCode -> VS (CppSrcCode FuncData) Source # setFunc :: VS (CppSrcCode TypeData) -> SVariable CppSrcCode -> SValue CppSrcCode -> VS (CppSrcCode FuncData) Source #
InternalGetSet JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods getFunc :: SVariable JavaCode -> VS (JavaCode FuncData) Source # setFunc :: VS (JavaCode TypeData) -> SVariable JavaCode -> SValue JavaCode -> VS (JavaCode FuncData) Source #
InternalGetSet PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods getFunc :: SVariable PythonCode -> VS (PythonCode FuncData) Source # setFunc :: VS (PythonCode TypeData) -> SVariable PythonCode -> SValue PythonCode -> VS (PythonCode FuncData) Source #
InternalGetSet SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods getFunc :: SVariable SwiftCode -> VS (SwiftCode FuncData) Source # setFunc :: VS (SwiftCode TypeData) -> SVariable SwiftCode -> SValue SwiftCode -> VS (SwiftCode FuncData) Source #
Pair p => InternalGetSet (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods getFunc :: SVariable (p CppSrcCode CppHdrCode) -> VS (p CppSrcCode CppHdrCode FuncData) Source # setFunc :: VS (p CppSrcCode CppHdrCode TypeData) -> SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> 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 BlockCommentSym r => RenderClass (r :: Type -> Type) vis mthd stvr | r -> vis mthd stvr where Source #

Methods

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

inherit :: Maybe Label -> r ParentSpec Source #

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

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

Instances

Instances details

RenderClass CSharpCode Doc MethodData StateVar 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 Doc MethodData StateVar 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 Doc MethodData StateVar 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 Doc MethodData StateVar 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 :: Type -> Type) where Source #

Methods

class' :: r Class -> Doc Source #

Instances

Instances details

ClassElim CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods class' :: CSharpCode Class -> Doc Source #
ClassElim CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods class' :: CppHdrCode Class -> Doc Source #
ClassElim CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods class' :: CppSrcCode Class -> Doc Source #
ClassElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods class' :: JavaCode Class -> Doc Source #
ClassElim PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods class' :: PythonCode Class -> Doc Source #
ClassElim SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods class' :: SwiftCode Class -> Doc Source #
Pair p => ClassElim (p CppSrcCode CppHdrCode) 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 (RenderMethod r mthd, OOMethodTypeSym r) => OORenderMethod (r :: Type -> Type) vis mthd attch bod | r -> vis attch bod where Source #

Methods

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

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

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

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

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

Instances

Instances details

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

class MethodTypeSym r => OOMethodTypeSym (r :: Type -> Type) where Source #

Methods

construct :: Label -> MSMthdType r Source #

Instances

Instances details

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