Safe Haskell	Safe-Inferred
Language	Haskell2010

Drasil.GOOL.InterfaceGOOL

Synopsis

type GSProgram a = GS (a (Program a))
type SFile a = FS (a (File a))
type FSModule a = FS (a (Module a))
type SClass a = CS (a (Class a))
type CSStateVar a = CS (a (StateVar a))
type Initializers r = [(SVariable r, SValue r)]
class (SharedProg r, ProgramSym r, OOVariableValue r, OODeclStatement r, OOFuncAppStatement r, OOValueExpression r, InternalValueExp r, GetSet r, ObserverPattern r, StrategyPattern r) => OOProg r
class FileSym r => ProgramSym r where
- type Program r
- prog :: Label -> Label -> [SFile r] -> GSProgram r
class ModuleSym r => FileSym r where
- type File r
- fileDoc :: FSModule r -> SFile r
- docMod :: String -> [String] -> String -> SFile r -> SFile r
class ClassSym r => ModuleSym r where
- type Module r
- buildModule :: Label -> [Label] -> [SMethod r] -> [SClass r] -> FSModule r
class (OOMethodSym r, StateVarSym r) => ClassSym r where
- type Class r
- buildClass :: Maybe Label -> [CSStateVar r] -> [SMethod r] -> [SMethod r] -> SClass r
- extraClass :: Label -> Maybe Label -> [CSStateVar r] -> [SMethod r] -> [SMethod r] -> SClass r
- implementingClass :: Label -> [Label] -> [CSStateVar r] -> [SMethod r] -> [SMethod r] -> SClass r
- docClass :: String -> SClass r -> SClass r
class TypeSym r => OOTypeSym r where
- obj :: ClassName -> VSType r
class (VariableSym r, OOTypeSym r) => OOVariableSym r where
- staticVar' :: Bool -> Label -> VSType r -> SVariable r
- self :: SVariable r
- classVar :: VSType r -> SVariable r -> SVariable r
- extClassVar :: VSType r -> SVariable r -> SVariable r
- objVar :: SVariable r -> SVariable r -> SVariable r
- objVarSelf :: SVariable r -> SVariable r
staticVar :: OOVariableSym r => Label -> VSType r -> SVariable r
staticConst :: OOVariableSym r => Label -> VSType r -> SVariable r
($->) :: OOVariableSym r => SVariable r -> SVariable r -> SVariable r
class (ValueSym r, OOTypeSym r) => OOValueSym r
class (VariableValue r, OOVariableSym r) => OOVariableValue r
class (ValueExpression r, OOVariableSym r, OOValueSym r) => OOValueExpression r where
- selfFuncAppMixedArgs :: MixedCall r
- newObjMixedArgs :: MixedCtorCall r
- extNewObjMixedArgs :: Library -> MixedCtorCall r
- libNewObjMixedArgs :: Library -> MixedCtorCall r
selfFuncApp :: OOValueExpression r => PosCall r
newObj :: OOValueExpression r => PosCtorCall r
extNewObj :: OOValueExpression r => Library -> PosCtorCall r
libNewObj :: OOValueExpression r => Library -> PosCtorCall r
class (DeclStatement r, OOVariableSym r) => OODeclStatement r where
- objDecDef :: SVariable r -> r (Scope r) -> SValue r -> MSStatement r
- objDecNew :: SVariable r -> r (Scope r) -> [SValue r] -> MSStatement r
- extObjDecNew :: Library -> SVariable r -> r (Scope r) -> [SValue r] -> MSStatement r
objDecNewNoParams :: OODeclStatement r => SVariable r -> r (Scope r) -> MSStatement r
extObjDecNewNoParams :: OODeclStatement r => Library -> SVariable r -> r (Scope r) -> MSStatement r
class (FuncAppStatement r, OOVariableSym r) => OOFuncAppStatement r where
- selfInOutCall :: InOutCall r
class (ValueSym r, VariableSym r) => GetSet r where
- get :: SValue r -> SVariable r -> SValue r
- set :: SValue r -> SVariable r -> SValue r -> SValue r
class ValueSym r => InternalValueExp r where
- objMethodCallMixedArgs' :: Label -> VSType r -> SValue r -> [SValue r] -> NamedArgs r -> SValue r
objMethodCall :: InternalValueExp r => VSType r -> SValue r -> Label -> [SValue r] -> SValue r
objMethodCallNamedArgs :: InternalValueExp r => VSType r -> SValue r -> Label -> NamedArgs r -> SValue r
objMethodCallMixedArgs :: InternalValueExp r => VSType r -> SValue r -> Label -> [SValue r] -> NamedArgs r -> SValue r
objMethodCallNoParams :: InternalValueExp r => VSType r -> SValue r -> Label -> SValue r
class (MethodSym r, PermanenceSym r) => OOMethodSym r where
- method :: Label -> r (Visibility r) -> r (Permanence r) -> VSType r -> [MSParameter r] -> MSBody r -> SMethod r
- getMethod :: SVariable r -> SMethod r
- setMethod :: SVariable r -> SMethod r
- constructor :: [MSParameter r] -> Initializers r -> MSBody r -> SMethod r
- inOutMethod :: Label -> r (Visibility r) -> r (Permanence r) -> InOutFunc r
- docInOutMethod :: Label -> r (Visibility r) -> r (Permanence r) -> DocInOutFunc r
privMethod :: OOMethodSym r => Label -> VSType r -> [MSParameter r] -> MSBody r -> SMethod r
pubMethod :: OOMethodSym r => Label -> VSType r -> [MSParameter r] -> MSBody r -> SMethod r
initializer :: OOMethodSym r => [MSParameter r] -> Initializers r -> SMethod r
nonInitConstructor :: OOMethodSym r => [MSParameter r] -> MSBody r -> SMethod r
class (VisibilitySym r, PermanenceSym r, VariableSym r) => StateVarSym r where
- type StateVar r
- stateVar :: r (Visibility r) -> r (Permanence r) -> SVariable r -> CSStateVar r
- stateVarDef :: r (Visibility r) -> r (Permanence r) -> SVariable r -> SValue r -> CSStateVar r
- constVar :: r (Visibility r) -> SVariable r -> SValue r -> CSStateVar r
privDVar :: StateVarSym r => SVariable r -> CSStateVar r
pubDVar :: StateVarSym r => SVariable r -> CSStateVar r
pubSVar :: StateVarSym r => SVariable r -> CSStateVar r
class PermanenceSym r where
- type Permanence r
- static :: r (Permanence r)
- dynamic :: r (Permanence r)
class FunctionSym r => OOFunctionSym r where
- func :: Label -> VSType r -> [SValue r] -> VSFunction r
- objAccess :: SValue r -> VSFunction r -> SValue r
($.) :: OOFunctionSym r => SValue r -> VSFunction r -> SValue r
selfAccess :: (OOVariableValue r, OOFunctionSym r) => VSFunction r -> SValue r
class (StatementSym r, OOFunctionSym r) => ObserverPattern r where
- notifyObservers :: VSFunction r -> VSType r -> MSStatement r
observerListName :: Label
initObserverList :: DeclStatement r => VSType r -> [SValue r] -> r (Scope r) -> MSStatement r
addObserver :: (StatementSym r, OOVariableValue r, List r) => SValue r -> MSStatement r
class (BodySym r, VariableSym r) => StrategyPattern r where
- runStrategy :: Label -> [(Label, MSBody r)] -> Maybe (SValue r) -> Maybe (SVariable r) -> MSBlock r
convTypeOO :: OOTypeSym r => CodeType -> VSType r

Documentation

type GSProgram a = GS (a (Program a)) Source #

type SFile a = FS (a (File a)) Source #

type FSModule a = FS (a (Module a)) Source #

type SClass a = CS (a (Class a)) Source #

type CSStateVar a = CS (a (StateVar a)) Source #

type Initializers r = [(SVariable r, SValue r)] Source #

class (SharedProg r, ProgramSym r, OOVariableValue r, OODeclStatement r, OOFuncAppStatement r, OOValueExpression r, InternalValueExp r, GetSet r, ObserverPattern r, StrategyPattern r) => OOProg r Source #

Instances

Instances details

OOProg CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO
OOProg CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
OOProg JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
OOProg PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer
OOProg SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer
Pair p => OOProg (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class FileSym r => ProgramSym r where Source #

Associated Types

type Program r Source #

Methods

prog :: Label -> Label -> [SFile r] -> GSProgram r Source #

Instances

Instances details

ProgramSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Associated Types type Program CodeInfoOO Source # Methods prog :: Label -> Label -> [SFile CodeInfoOO] -> GSProgram CodeInfoOO Source #
ProgramSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Associated Types type Program CSharpCode Source # Methods prog :: Label -> Label -> [SFile CSharpCode] -> GSProgram CSharpCode Source #
ProgramSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Associated Types type Program CppSrcCode Source # Methods prog :: Label -> Label -> [SFile CppSrcCode] -> GSProgram CppSrcCode Source #
ProgramSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Program JavaCode Source # Methods prog :: Label -> Label -> [SFile JavaCode] -> GSProgram JavaCode Source #
ProgramSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Associated Types type Program PythonCode Source # Methods prog :: Label -> Label -> [SFile PythonCode] -> GSProgram PythonCode Source #
ProgramSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Associated Types type Program SwiftCode Source # Methods prog :: Label -> Label -> [SFile SwiftCode] -> GSProgram SwiftCode Source #
Pair p => ProgramSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Associated Types type Program (p CppSrcCode CppHdrCode) Source # Methods prog :: Label -> Label -> [SFile (p CppSrcCode CppHdrCode)] -> GSProgram (p CppSrcCode CppHdrCode) Source #

class ModuleSym r => FileSym r where Source #

Associated Types

type File r Source #

Methods

fileDoc :: FSModule r -> SFile r Source #

docMod :: String -> [String] -> String -> SFile r -> SFile r Source #

Instances

Instances details

FileSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Associated Types type File CodeInfoOO Source # Methods fileDoc :: FSModule CodeInfoOO -> SFile CodeInfoOO Source # docMod :: String -> [String] -> String -> SFile CodeInfoOO -> SFile CodeInfoOO Source #
FileSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Associated Types type File CSharpCode Source # Methods fileDoc :: FSModule CSharpCode -> SFile CSharpCode Source # docMod :: String -> [String] -> String -> SFile CSharpCode -> SFile CSharpCode Source #
FileSym CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Associated Types type File CppHdrCode Source # Methods fileDoc :: FSModule CppHdrCode -> SFile CppHdrCode Source # docMod :: String -> [String] -> String -> SFile CppHdrCode -> SFile CppHdrCode Source #
FileSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Associated Types type File CppSrcCode Source # Methods fileDoc :: FSModule CppSrcCode -> SFile CppSrcCode Source # docMod :: String -> [String] -> String -> SFile CppSrcCode -> SFile CppSrcCode Source #
FileSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type File JavaCode Source # Methods fileDoc :: FSModule JavaCode -> SFile JavaCode Source # docMod :: String -> [String] -> String -> SFile JavaCode -> SFile JavaCode Source #
FileSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Associated Types type File PythonCode Source # Methods fileDoc :: FSModule PythonCode -> SFile PythonCode Source # docMod :: String -> [String] -> String -> SFile PythonCode -> SFile PythonCode Source #
FileSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Associated Types type File SwiftCode Source # Methods fileDoc :: FSModule SwiftCode -> SFile SwiftCode Source # docMod :: String -> [String] -> String -> SFile SwiftCode -> SFile SwiftCode Source #
Pair p => FileSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Associated Types type File (p CppSrcCode CppHdrCode) Source # Methods fileDoc :: FSModule (p CppSrcCode CppHdrCode) -> SFile (p CppSrcCode CppHdrCode) Source # docMod :: String -> [String] -> String -> SFile (p CppSrcCode CppHdrCode) -> SFile (p CppSrcCode CppHdrCode) Source #

class ClassSym r => ModuleSym r where Source #

Associated Types

type Module r Source #

Methods

buildModule :: Label -> [Label] -> [SMethod r] -> [SClass r] -> FSModule r Source #

Instances

Instances details

ModuleSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Associated Types type Module CodeInfoOO Source # Methods buildModule :: Label -> [Label] -> [SMethod CodeInfoOO] -> [SClass CodeInfoOO] -> FSModule CodeInfoOO Source #
ModuleSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Associated Types type Module CSharpCode Source # Methods buildModule :: Label -> [Label] -> [SMethod CSharpCode] -> [SClass CSharpCode] -> FSModule CSharpCode Source #
ModuleSym CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Associated Types type Module CppHdrCode Source # Methods buildModule :: Label -> [Label] -> [SMethod CppHdrCode] -> [SClass CppHdrCode] -> FSModule CppHdrCode Source #
ModuleSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Associated Types type Module CppSrcCode Source # Methods buildModule :: Label -> [Label] -> [SMethod CppSrcCode] -> [SClass CppSrcCode] -> FSModule CppSrcCode Source #
ModuleSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Module JavaCode Source # Methods buildModule :: Label -> [Label] -> [SMethod JavaCode] -> [SClass JavaCode] -> FSModule JavaCode Source #
ModuleSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Associated Types type Module PythonCode Source # Methods buildModule :: Label -> [Label] -> [SMethod PythonCode] -> [SClass PythonCode] -> FSModule PythonCode Source #
ModuleSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Associated Types type Module SwiftCode Source # Methods buildModule :: Label -> [Label] -> [SMethod SwiftCode] -> [SClass SwiftCode] -> FSModule SwiftCode Source #
Pair p => ModuleSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Associated Types type Module (p CppSrcCode CppHdrCode) Source # Methods buildModule :: Label -> [Label] -> [SMethod (p CppSrcCode CppHdrCode)] -> [SClass (p CppSrcCode CppHdrCode)] -> FSModule (p CppSrcCode CppHdrCode) Source #

class (OOMethodSym r, StateVarSym r) => ClassSym r where Source #

Associated Types

type Class r Source #

Methods

buildClass :: Maybe Label -> [CSStateVar r] -> [SMethod r] -> [SMethod r] -> SClass r Source #

Main external method for creating a class. Inputs: parent class, variables, constructor(s), methods

extraClass :: Label -> Maybe Label -> [CSStateVar r] -> [SMethod r] -> [SMethod r] -> SClass r Source #

Creates an extra class. Inputs: class name, the rest are the same as buildClass.

implementingClass :: Label -> [Label] -> [CSStateVar r] -> [SMethod r] -> [SMethod r] -> SClass r Source #

Creates a class implementing interfaces. Inputs: class name, interface names, variables, constructor(s), methods

docClass :: String -> SClass r -> SClass r Source #

Instances

Instances details

ClassSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Associated Types type Class CodeInfoOO Source # Methods buildClass :: Maybe Label -> [CSStateVar CodeInfoOO] -> [SMethod CodeInfoOO] -> [SMethod CodeInfoOO] -> SClass CodeInfoOO Source # extraClass :: Label -> Maybe Label -> [CSStateVar CodeInfoOO] -> [SMethod CodeInfoOO] -> [SMethod CodeInfoOO] -> SClass CodeInfoOO Source # implementingClass :: Label -> [Label] -> [CSStateVar CodeInfoOO] -> [SMethod CodeInfoOO] -> [SMethod CodeInfoOO] -> SClass CodeInfoOO Source # docClass :: String -> SClass CodeInfoOO -> SClass CodeInfoOO Source #
ClassSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Associated Types type Class CSharpCode Source # Methods buildClass :: Maybe Label -> [CSStateVar CSharpCode] -> [SMethod CSharpCode] -> [SMethod CSharpCode] -> SClass CSharpCode Source # extraClass :: Label -> Maybe Label -> [CSStateVar CSharpCode] -> [SMethod CSharpCode] -> [SMethod CSharpCode] -> SClass CSharpCode Source # implementingClass :: Label -> [Label] -> [CSStateVar CSharpCode] -> [SMethod CSharpCode] -> [SMethod CSharpCode] -> SClass CSharpCode Source # docClass :: String -> SClass CSharpCode -> SClass CSharpCode Source #
ClassSym CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Associated Types type Class CppHdrCode Source # Methods buildClass :: Maybe Label -> [CSStateVar CppHdrCode] -> [SMethod CppHdrCode] -> [SMethod CppHdrCode] -> SClass CppHdrCode Source # extraClass :: Label -> Maybe Label -> [CSStateVar CppHdrCode] -> [SMethod CppHdrCode] -> [SMethod CppHdrCode] -> SClass CppHdrCode Source # implementingClass :: Label -> [Label] -> [CSStateVar CppHdrCode] -> [SMethod CppHdrCode] -> [SMethod CppHdrCode] -> SClass CppHdrCode Source # docClass :: String -> SClass CppHdrCode -> SClass CppHdrCode Source #
ClassSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Associated Types type Class CppSrcCode Source # Methods buildClass :: Maybe Label -> [CSStateVar CppSrcCode] -> [SMethod CppSrcCode] -> [SMethod CppSrcCode] -> SClass CppSrcCode Source # extraClass :: Label -> Maybe Label -> [CSStateVar CppSrcCode] -> [SMethod CppSrcCode] -> [SMethod CppSrcCode] -> SClass CppSrcCode Source # implementingClass :: Label -> [Label] -> [CSStateVar CppSrcCode] -> [SMethod CppSrcCode] -> [SMethod CppSrcCode] -> SClass CppSrcCode Source # docClass :: String -> SClass CppSrcCode -> SClass CppSrcCode Source #
ClassSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Class JavaCode Source # Methods buildClass :: Maybe Label -> [CSStateVar JavaCode] -> [SMethod JavaCode] -> [SMethod JavaCode] -> SClass JavaCode Source # extraClass :: Label -> Maybe Label -> [CSStateVar JavaCode] -> [SMethod JavaCode] -> [SMethod JavaCode] -> SClass JavaCode Source # implementingClass :: Label -> [Label] -> [CSStateVar JavaCode] -> [SMethod JavaCode] -> [SMethod JavaCode] -> SClass JavaCode Source # docClass :: String -> SClass JavaCode -> SClass JavaCode Source #
ClassSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Associated Types type Class PythonCode Source # Methods buildClass :: Maybe Label -> [CSStateVar PythonCode] -> [SMethod PythonCode] -> [SMethod PythonCode] -> SClass PythonCode Source # extraClass :: Label -> Maybe Label -> [CSStateVar PythonCode] -> [SMethod PythonCode] -> [SMethod PythonCode] -> SClass PythonCode Source # implementingClass :: Label -> [Label] -> [CSStateVar PythonCode] -> [SMethod PythonCode] -> [SMethod PythonCode] -> SClass PythonCode Source # docClass :: String -> SClass PythonCode -> SClass PythonCode Source #
ClassSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Associated Types type Class SwiftCode Source # Methods buildClass :: Maybe Label -> [CSStateVar SwiftCode] -> [SMethod SwiftCode] -> [SMethod SwiftCode] -> SClass SwiftCode Source # extraClass :: Label -> Maybe Label -> [CSStateVar SwiftCode] -> [SMethod SwiftCode] -> [SMethod SwiftCode] -> SClass SwiftCode Source # implementingClass :: Label -> [Label] -> [CSStateVar SwiftCode] -> [SMethod SwiftCode] -> [SMethod SwiftCode] -> SClass SwiftCode Source # docClass :: String -> SClass SwiftCode -> SClass SwiftCode Source #
Pair p => ClassSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Associated Types type Class (p CppSrcCode CppHdrCode) Source # Methods buildClass :: Maybe Label -> [CSStateVar (p CppSrcCode CppHdrCode)] -> [SMethod (p CppSrcCode CppHdrCode)] -> [SMethod (p CppSrcCode CppHdrCode)] -> SClass (p CppSrcCode CppHdrCode) Source # extraClass :: Label -> Maybe Label -> [CSStateVar (p CppSrcCode CppHdrCode)] -> [SMethod (p CppSrcCode CppHdrCode)] -> [SMethod (p CppSrcCode CppHdrCode)] -> SClass (p CppSrcCode CppHdrCode) Source # implementingClass :: Label -> [Label] -> [CSStateVar (p CppSrcCode CppHdrCode)] -> [SMethod (p CppSrcCode CppHdrCode)] -> [SMethod (p CppSrcCode CppHdrCode)] -> SClass (p CppSrcCode CppHdrCode) Source # docClass :: String -> SClass (p CppSrcCode CppHdrCode) -> SClass (p CppSrcCode CppHdrCode) Source #

class TypeSym r => OOTypeSym r where Source #

Methods

obj :: ClassName -> VSType r Source #

Instances

Instances details

OOTypeSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods obj :: ClassName -> VSType CodeInfoOO Source #
OOTypeSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods obj :: ClassName -> VSType CSharpCode Source #
OOTypeSym CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods obj :: ClassName -> VSType CppHdrCode Source #
OOTypeSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods obj :: ClassName -> VSType CppSrcCode Source #
OOTypeSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods obj :: ClassName -> VSType JavaCode Source #
OOTypeSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods obj :: ClassName -> VSType PythonCode Source #
OOTypeSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods obj :: ClassName -> VSType SwiftCode Source #
Pair p => OOTypeSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods obj :: ClassName -> VSType (p CppSrcCode CppHdrCode) Source #

class (VariableSym r, OOTypeSym r) => OOVariableSym r where Source #

Methods

staticVar' :: Bool -> Label -> VSType r -> SVariable r Source #

self :: SVariable r Source #

classVar :: VSType r -> SVariable r -> SVariable r Source #

extClassVar :: VSType r -> SVariable r -> SVariable r Source #

objVar :: SVariable r -> SVariable r -> SVariable r Source #

objVarSelf :: SVariable r -> SVariable r Source #

Instances

Instances details

OOVariableSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods staticVar' :: Bool -> Label -> VSType CodeInfoOO -> SVariable CodeInfoOO Source # self :: SVariable CodeInfoOO Source # classVar :: VSType CodeInfoOO -> SVariable CodeInfoOO -> SVariable CodeInfoOO Source # extClassVar :: VSType CodeInfoOO -> SVariable CodeInfoOO -> SVariable CodeInfoOO Source # objVar :: SVariable CodeInfoOO -> SVariable CodeInfoOO -> SVariable CodeInfoOO Source # objVarSelf :: SVariable CodeInfoOO -> SVariable CodeInfoOO Source #
OOVariableSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods staticVar' :: Bool -> Label -> VSType CSharpCode -> SVariable CSharpCode Source # self :: SVariable CSharpCode Source # classVar :: VSType CSharpCode -> SVariable CSharpCode -> SVariable CSharpCode Source # extClassVar :: VSType CSharpCode -> SVariable CSharpCode -> SVariable CSharpCode Source # objVar :: SVariable CSharpCode -> SVariable CSharpCode -> SVariable CSharpCode Source # objVarSelf :: SVariable CSharpCode -> SVariable CSharpCode Source #
OOVariableSym CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods staticVar' :: Bool -> Label -> VSType CppHdrCode -> SVariable CppHdrCode Source # self :: SVariable CppHdrCode Source # classVar :: VSType CppHdrCode -> SVariable CppHdrCode -> SVariable CppHdrCode Source # extClassVar :: VSType CppHdrCode -> SVariable CppHdrCode -> SVariable CppHdrCode Source # objVar :: SVariable CppHdrCode -> SVariable CppHdrCode -> SVariable CppHdrCode Source # objVarSelf :: SVariable CppHdrCode -> SVariable CppHdrCode Source #
OOVariableSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods staticVar' :: Bool -> Label -> VSType CppSrcCode -> SVariable CppSrcCode Source # self :: SVariable CppSrcCode Source # classVar :: VSType CppSrcCode -> SVariable CppSrcCode -> SVariable CppSrcCode Source # extClassVar :: VSType CppSrcCode -> SVariable CppSrcCode -> SVariable CppSrcCode Source # objVar :: SVariable CppSrcCode -> SVariable CppSrcCode -> SVariable CppSrcCode Source # objVarSelf :: SVariable CppSrcCode -> SVariable CppSrcCode Source #
OOVariableSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods staticVar' :: Bool -> Label -> VSType JavaCode -> SVariable JavaCode Source # self :: SVariable JavaCode Source # classVar :: VSType JavaCode -> SVariable JavaCode -> SVariable JavaCode Source # extClassVar :: VSType JavaCode -> SVariable JavaCode -> SVariable JavaCode Source # objVar :: SVariable JavaCode -> SVariable JavaCode -> SVariable JavaCode Source # objVarSelf :: SVariable JavaCode -> SVariable JavaCode Source #
OOVariableSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods staticVar' :: Bool -> Label -> VSType PythonCode -> SVariable PythonCode Source # self :: SVariable PythonCode Source # classVar :: VSType PythonCode -> SVariable PythonCode -> SVariable PythonCode Source # extClassVar :: VSType PythonCode -> SVariable PythonCode -> SVariable PythonCode Source # objVar :: SVariable PythonCode -> SVariable PythonCode -> SVariable PythonCode Source # objVarSelf :: SVariable PythonCode -> SVariable PythonCode Source #
OOVariableSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods staticVar' :: Bool -> Label -> VSType SwiftCode -> SVariable SwiftCode Source # self :: SVariable SwiftCode Source # classVar :: VSType SwiftCode -> SVariable SwiftCode -> SVariable SwiftCode Source # extClassVar :: VSType SwiftCode -> SVariable SwiftCode -> SVariable SwiftCode Source # objVar :: SVariable SwiftCode -> SVariable SwiftCode -> SVariable SwiftCode Source # objVarSelf :: SVariable SwiftCode -> SVariable SwiftCode Source #
Pair p => OOVariableSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods staticVar' :: Bool -> Label -> VSType (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) Source # self :: SVariable (p CppSrcCode CppHdrCode) Source # classVar :: VSType (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) Source # extClassVar :: VSType (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) Source # objVar :: SVariable (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) Source # objVarSelf :: SVariable (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) Source #

staticVar :: OOVariableSym r => Label -> VSType r -> SVariable r Source #

staticConst :: OOVariableSym r => Label -> VSType r -> SVariable r Source #

($->) :: OOVariableSym r => SVariable r -> SVariable r -> SVariable r infixl 9 Source #

class (ValueSym r, OOTypeSym r) => OOValueSym r Source #

Instances

Instances details

OOValueSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO
OOValueSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
OOValueSym CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer
OOValueSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer
OOValueSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
OOValueSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer
OOValueSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer
Pair p => OOValueSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class (VariableValue r, OOVariableSym r) => OOVariableValue r Source #

Instances

Instances details

OOVariableValue CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO
OOVariableValue CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
OOVariableValue CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer
OOVariableValue CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer
OOVariableValue JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
OOVariableValue PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer
OOVariableValue SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer
Pair p => OOVariableValue (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class (ValueExpression r, OOVariableSym r, OOValueSym r) => OOValueExpression r where Source #

Methods

selfFuncAppMixedArgs :: MixedCall r Source #

newObjMixedArgs :: MixedCtorCall r Source #

extNewObjMixedArgs :: Library -> MixedCtorCall r Source #

libNewObjMixedArgs :: Library -> MixedCtorCall r Source #

Instances

Instances details

OOValueExpression CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods selfFuncAppMixedArgs :: MixedCall CodeInfoOO Source # newObjMixedArgs :: MixedCtorCall CodeInfoOO Source # extNewObjMixedArgs :: Library -> MixedCtorCall CodeInfoOO Source # libNewObjMixedArgs :: Library -> MixedCtorCall CodeInfoOO Source #
OOValueExpression CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods selfFuncAppMixedArgs :: MixedCall CSharpCode Source # newObjMixedArgs :: MixedCtorCall CSharpCode Source # extNewObjMixedArgs :: Library -> MixedCtorCall CSharpCode Source # libNewObjMixedArgs :: Library -> MixedCtorCall CSharpCode Source #
OOValueExpression CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods selfFuncAppMixedArgs :: MixedCall CppHdrCode Source # newObjMixedArgs :: MixedCtorCall CppHdrCode Source # extNewObjMixedArgs :: Library -> MixedCtorCall CppHdrCode Source # libNewObjMixedArgs :: Library -> MixedCtorCall CppHdrCode Source #
OOValueExpression CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods selfFuncAppMixedArgs :: MixedCall CppSrcCode Source # newObjMixedArgs :: MixedCtorCall CppSrcCode Source # extNewObjMixedArgs :: Library -> MixedCtorCall CppSrcCode Source # libNewObjMixedArgs :: Library -> MixedCtorCall CppSrcCode Source #
OOValueExpression JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods selfFuncAppMixedArgs :: MixedCall JavaCode Source # newObjMixedArgs :: MixedCtorCall JavaCode Source # extNewObjMixedArgs :: Library -> MixedCtorCall JavaCode Source # libNewObjMixedArgs :: Library -> MixedCtorCall JavaCode Source #
OOValueExpression PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods selfFuncAppMixedArgs :: MixedCall PythonCode Source # newObjMixedArgs :: MixedCtorCall PythonCode Source # extNewObjMixedArgs :: Library -> MixedCtorCall PythonCode Source # libNewObjMixedArgs :: Library -> MixedCtorCall PythonCode Source #
OOValueExpression SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods selfFuncAppMixedArgs :: MixedCall SwiftCode Source # newObjMixedArgs :: MixedCtorCall SwiftCode Source # extNewObjMixedArgs :: Library -> MixedCtorCall SwiftCode Source # libNewObjMixedArgs :: Library -> MixedCtorCall SwiftCode Source #
Pair p => OOValueExpression (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods selfFuncAppMixedArgs :: MixedCall (p CppSrcCode CppHdrCode) Source # newObjMixedArgs :: MixedCtorCall (p CppSrcCode CppHdrCode) Source # extNewObjMixedArgs :: Library -> MixedCtorCall (p CppSrcCode CppHdrCode) Source # libNewObjMixedArgs :: Library -> MixedCtorCall (p CppSrcCode CppHdrCode) Source #

selfFuncApp :: OOValueExpression r => PosCall r Source #

newObj :: OOValueExpression r => PosCtorCall r Source #

extNewObj :: OOValueExpression r => Library -> PosCtorCall r Source #

libNewObj :: OOValueExpression r => Library -> PosCtorCall r Source #

class (DeclStatement r, OOVariableSym r) => OODeclStatement r where Source #

Methods

objDecDef :: SVariable r -> r (Scope r) -> SValue r -> MSStatement r Source #

objDecNew :: SVariable r -> r (Scope r) -> [SValue r] -> MSStatement r Source #

extObjDecNew :: Library -> SVariable r -> r (Scope r) -> [SValue r] -> MSStatement r Source #

Instances

Instances details

OODeclStatement CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods objDecDef :: SVariable CodeInfoOO -> CodeInfoOO (Scope CodeInfoOO) -> SValue CodeInfoOO -> MSStatement CodeInfoOO Source # objDecNew :: SVariable CodeInfoOO -> CodeInfoOO (Scope CodeInfoOO) -> [SValue CodeInfoOO] -> MSStatement CodeInfoOO Source # extObjDecNew :: Library -> SVariable CodeInfoOO -> CodeInfoOO (Scope CodeInfoOO) -> [SValue CodeInfoOO] -> MSStatement CodeInfoOO Source #
OODeclStatement CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods objDecDef :: SVariable CSharpCode -> CSharpCode (Scope CSharpCode) -> SValue CSharpCode -> MSStatement CSharpCode Source # objDecNew :: SVariable CSharpCode -> CSharpCode (Scope CSharpCode) -> [SValue CSharpCode] -> MSStatement CSharpCode Source # extObjDecNew :: Library -> SVariable CSharpCode -> CSharpCode (Scope CSharpCode) -> [SValue CSharpCode] -> MSStatement CSharpCode Source #
OODeclStatement CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods objDecDef :: SVariable CppHdrCode -> CppHdrCode (Scope CppHdrCode) -> SValue CppHdrCode -> MSStatement CppHdrCode Source # objDecNew :: SVariable CppHdrCode -> CppHdrCode (Scope CppHdrCode) -> [SValue CppHdrCode] -> MSStatement CppHdrCode Source # extObjDecNew :: Library -> SVariable CppHdrCode -> CppHdrCode (Scope CppHdrCode) -> [SValue CppHdrCode] -> MSStatement CppHdrCode Source #
OODeclStatement CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods objDecDef :: SVariable CppSrcCode -> CppSrcCode (Scope CppSrcCode) -> SValue CppSrcCode -> MSStatement CppSrcCode Source # objDecNew :: SVariable CppSrcCode -> CppSrcCode (Scope CppSrcCode) -> [SValue CppSrcCode] -> MSStatement CppSrcCode Source # extObjDecNew :: Library -> SVariable CppSrcCode -> CppSrcCode (Scope CppSrcCode) -> [SValue CppSrcCode] -> MSStatement CppSrcCode Source #
OODeclStatement JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods objDecDef :: SVariable JavaCode -> JavaCode (Scope JavaCode) -> SValue JavaCode -> MSStatement JavaCode Source # objDecNew :: SVariable JavaCode -> JavaCode (Scope JavaCode) -> [SValue JavaCode] -> MSStatement JavaCode Source # extObjDecNew :: Library -> SVariable JavaCode -> JavaCode (Scope JavaCode) -> [SValue JavaCode] -> MSStatement JavaCode Source #
OODeclStatement PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods objDecDef :: SVariable PythonCode -> PythonCode (Scope PythonCode) -> SValue PythonCode -> MSStatement PythonCode Source # objDecNew :: SVariable PythonCode -> PythonCode (Scope PythonCode) -> [SValue PythonCode] -> MSStatement PythonCode Source # extObjDecNew :: Library -> SVariable PythonCode -> PythonCode (Scope PythonCode) -> [SValue PythonCode] -> MSStatement PythonCode Source #
OODeclStatement SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods objDecDef :: SVariable SwiftCode -> SwiftCode (Scope SwiftCode) -> SValue SwiftCode -> MSStatement SwiftCode Source # objDecNew :: SVariable SwiftCode -> SwiftCode (Scope SwiftCode) -> [SValue SwiftCode] -> MSStatement SwiftCode Source # extObjDecNew :: Library -> SVariable SwiftCode -> SwiftCode (Scope SwiftCode) -> [SValue SwiftCode] -> MSStatement SwiftCode Source #
Pair p => OODeclStatement (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods objDecDef :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode (Scope (p CppSrcCode CppHdrCode)) -> SValue (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source # objDecNew :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode (Scope (p CppSrcCode CppHdrCode)) -> [SValue (p CppSrcCode CppHdrCode)] -> MSStatement (p CppSrcCode CppHdrCode) Source # extObjDecNew :: Library -> SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode (Scope (p CppSrcCode CppHdrCode)) -> [SValue (p CppSrcCode CppHdrCode)] -> MSStatement (p CppSrcCode CppHdrCode) Source #

objDecNewNoParams :: OODeclStatement r => SVariable r -> r (Scope r) -> MSStatement r Source #

extObjDecNewNoParams :: OODeclStatement r => Library -> SVariable r -> r (Scope r) -> MSStatement r Source #

class (FuncAppStatement r, OOVariableSym r) => OOFuncAppStatement r where Source #

Methods

selfInOutCall :: InOutCall r Source #

Instances

Instances details

OOFuncAppStatement CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods selfInOutCall :: InOutCall CodeInfoOO Source #
OOFuncAppStatement CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods selfInOutCall :: InOutCall CSharpCode Source #
OOFuncAppStatement CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods selfInOutCall :: InOutCall CppHdrCode Source #
OOFuncAppStatement CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods selfInOutCall :: InOutCall CppSrcCode Source #
OOFuncAppStatement JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods selfInOutCall :: InOutCall JavaCode Source #
OOFuncAppStatement PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods selfInOutCall :: InOutCall PythonCode Source #
OOFuncAppStatement SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods selfInOutCall :: InOutCall SwiftCode Source #
Pair p => OOFuncAppStatement (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods selfInOutCall :: InOutCall (p CppSrcCode CppHdrCode) Source #

class (ValueSym r, VariableSym r) => GetSet r where Source #

Methods

get :: SValue r -> SVariable r -> SValue r Source #

set :: SValue r -> SVariable r -> SValue r -> SValue r Source #

Instances

Instances details

GetSet CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods get :: SValue CodeInfoOO -> SVariable CodeInfoOO -> SValue CodeInfoOO Source # set :: SValue CodeInfoOO -> SVariable CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source #
GetSet CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods get :: SValue CSharpCode -> SVariable CSharpCode -> SValue CSharpCode Source # set :: SValue CSharpCode -> SVariable CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source #
GetSet CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods get :: SValue CppHdrCode -> SVariable CppHdrCode -> SValue CppHdrCode Source # set :: SValue CppHdrCode -> SVariable CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source #
GetSet CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods get :: SValue CppSrcCode -> SVariable CppSrcCode -> SValue CppSrcCode Source # set :: SValue CppSrcCode -> SVariable CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source #
GetSet JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods get :: SValue JavaCode -> SVariable JavaCode -> SValue JavaCode Source # set :: SValue JavaCode -> SVariable JavaCode -> SValue JavaCode -> SValue JavaCode Source #
GetSet PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods get :: SValue PythonCode -> SVariable PythonCode -> SValue PythonCode Source # set :: SValue PythonCode -> SVariable PythonCode -> SValue PythonCode -> SValue PythonCode Source #
GetSet SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods get :: SValue SwiftCode -> SVariable SwiftCode -> SValue SwiftCode Source # set :: SValue SwiftCode -> SVariable SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source #
Pair p => GetSet (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods get :: SValue (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source # set :: SValue (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

class ValueSym r => InternalValueExp r where Source #

Methods

objMethodCallMixedArgs' :: Label -> VSType r -> SValue r -> [SValue r] -> NamedArgs r -> SValue r Source #

Generic function for calling a method. Takes the function name, the return type, the object, a list of positional arguments, and a list of named arguments.

Instances

Instances details

InternalValueExp CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods objMethodCallMixedArgs' :: Label -> VSType CodeInfoOO -> SValue CodeInfoOO -> [SValue CodeInfoOO] -> NamedArgs CodeInfoOO -> SValue CodeInfoOO Source #
InternalValueExp CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods objMethodCallMixedArgs' :: Label -> VSType CSharpCode -> SValue CSharpCode -> [SValue CSharpCode] -> NamedArgs CSharpCode -> SValue CSharpCode Source #
InternalValueExp CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods objMethodCallMixedArgs' :: Label -> VSType CppHdrCode -> SValue CppHdrCode -> [SValue CppHdrCode] -> NamedArgs CppHdrCode -> SValue CppHdrCode Source #
InternalValueExp CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods objMethodCallMixedArgs' :: Label -> VSType CppSrcCode -> SValue CppSrcCode -> [SValue CppSrcCode] -> NamedArgs CppSrcCode -> SValue CppSrcCode Source #
InternalValueExp JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods objMethodCallMixedArgs' :: Label -> VSType JavaCode -> SValue JavaCode -> [SValue JavaCode] -> NamedArgs JavaCode -> SValue JavaCode Source #
InternalValueExp PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods objMethodCallMixedArgs' :: Label -> VSType PythonCode -> SValue PythonCode -> [SValue PythonCode] -> NamedArgs PythonCode -> SValue PythonCode Source #
InternalValueExp SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods objMethodCallMixedArgs' :: Label -> VSType SwiftCode -> SValue SwiftCode -> [SValue SwiftCode] -> NamedArgs SwiftCode -> SValue SwiftCode Source #
Pair p => InternalValueExp (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods objMethodCallMixedArgs' :: Label -> VSType (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> [SValue (p CppSrcCode CppHdrCode)] -> NamedArgs (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

objMethodCall :: InternalValueExp r => VSType r -> SValue r -> Label -> [SValue r] -> SValue r Source #

Calling a method. t is the return type of the method, o is the object, f is the method name, and ps is a list of positional arguments.

objMethodCallNamedArgs :: InternalValueExp r => VSType r -> SValue r -> Label -> NamedArgs r -> SValue r Source #

Calling a method with named arguments.

objMethodCallMixedArgs :: InternalValueExp r => VSType r -> SValue r -> Label -> [SValue r] -> NamedArgs r -> SValue r Source #

Calling a method with a mix of positional and named arguments.

objMethodCallNoParams :: InternalValueExp r => VSType r -> SValue r -> Label -> SValue r Source #

Calling a method with no parameters.

class (MethodSym r, PermanenceSym r) => OOMethodSym r where Source #

Methods

method :: Label -> r (Visibility r) -> r (Permanence r) -> VSType r -> [MSParameter r] -> MSBody r -> SMethod r Source #

getMethod :: SVariable r -> SMethod r Source #

setMethod :: SVariable r -> SMethod r Source #

constructor :: [MSParameter r] -> Initializers r -> MSBody r -> SMethod r Source #

inOutMethod :: Label -> r (Visibility r) -> r (Permanence r) -> InOutFunc r Source #

docInOutMethod :: Label -> r (Visibility r) -> r (Permanence r) -> DocInOutFunc r Source #

Instances

Instances details

OOMethodSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods method :: Label -> CodeInfoOO (Visibility CodeInfoOO) -> CodeInfoOO (Permanence CodeInfoOO) -> VSType CodeInfoOO -> [MSParameter CodeInfoOO] -> MSBody CodeInfoOO -> SMethod CodeInfoOO Source # getMethod :: SVariable CodeInfoOO -> SMethod CodeInfoOO Source # setMethod :: SVariable CodeInfoOO -> SMethod CodeInfoOO Source # constructor :: [MSParameter CodeInfoOO] -> Initializers CodeInfoOO -> MSBody CodeInfoOO -> SMethod CodeInfoOO Source # inOutMethod :: Label -> CodeInfoOO (Visibility CodeInfoOO) -> CodeInfoOO (Permanence CodeInfoOO) -> InOutFunc CodeInfoOO Source # docInOutMethod :: Label -> CodeInfoOO (Visibility CodeInfoOO) -> CodeInfoOO (Permanence CodeInfoOO) -> DocInOutFunc CodeInfoOO Source #
OOMethodSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods method :: Label -> CSharpCode (Visibility CSharpCode) -> CSharpCode (Permanence CSharpCode) -> VSType CSharpCode -> [MSParameter CSharpCode] -> MSBody CSharpCode -> SMethod CSharpCode Source # getMethod :: SVariable CSharpCode -> SMethod CSharpCode Source # setMethod :: SVariable CSharpCode -> SMethod CSharpCode Source # constructor :: [MSParameter CSharpCode] -> Initializers CSharpCode -> MSBody CSharpCode -> SMethod CSharpCode Source # inOutMethod :: Label -> CSharpCode (Visibility CSharpCode) -> CSharpCode (Permanence CSharpCode) -> InOutFunc CSharpCode Source # docInOutMethod :: Label -> CSharpCode (Visibility CSharpCode) -> CSharpCode (Permanence CSharpCode) -> DocInOutFunc CSharpCode Source #
OOMethodSym CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods method :: Label -> CppHdrCode (Visibility CppHdrCode) -> CppHdrCode (Permanence CppHdrCode) -> VSType CppHdrCode -> [MSParameter CppHdrCode] -> MSBody CppHdrCode -> SMethod CppHdrCode Source # getMethod :: SVariable CppHdrCode -> SMethod CppHdrCode Source # setMethod :: SVariable CppHdrCode -> SMethod CppHdrCode Source # constructor :: [MSParameter CppHdrCode] -> Initializers CppHdrCode -> MSBody CppHdrCode -> SMethod CppHdrCode Source # inOutMethod :: Label -> CppHdrCode (Visibility CppHdrCode) -> CppHdrCode (Permanence CppHdrCode) -> InOutFunc CppHdrCode Source # docInOutMethod :: Label -> CppHdrCode (Visibility CppHdrCode) -> CppHdrCode (Permanence CppHdrCode) -> DocInOutFunc CppHdrCode Source #
OOMethodSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods method :: Label -> CppSrcCode (Visibility CppSrcCode) -> CppSrcCode (Permanence CppSrcCode) -> VSType CppSrcCode -> [MSParameter CppSrcCode] -> MSBody CppSrcCode -> SMethod CppSrcCode Source # getMethod :: SVariable CppSrcCode -> SMethod CppSrcCode Source # setMethod :: SVariable CppSrcCode -> SMethod CppSrcCode Source # constructor :: [MSParameter CppSrcCode] -> Initializers CppSrcCode -> MSBody CppSrcCode -> SMethod CppSrcCode Source # inOutMethod :: Label -> CppSrcCode (Visibility CppSrcCode) -> CppSrcCode (Permanence CppSrcCode) -> InOutFunc CppSrcCode Source # docInOutMethod :: Label -> CppSrcCode (Visibility CppSrcCode) -> CppSrcCode (Permanence CppSrcCode) -> DocInOutFunc CppSrcCode Source #
OOMethodSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods method :: Label -> JavaCode (Visibility JavaCode) -> JavaCode (Permanence JavaCode) -> VSType JavaCode -> [MSParameter JavaCode] -> MSBody JavaCode -> SMethod JavaCode Source # getMethod :: SVariable JavaCode -> SMethod JavaCode Source # setMethod :: SVariable JavaCode -> SMethod JavaCode Source # constructor :: [MSParameter JavaCode] -> Initializers JavaCode -> MSBody JavaCode -> SMethod JavaCode Source # inOutMethod :: Label -> JavaCode (Visibility JavaCode) -> JavaCode (Permanence JavaCode) -> InOutFunc JavaCode Source # docInOutMethod :: Label -> JavaCode (Visibility JavaCode) -> JavaCode (Permanence JavaCode) -> DocInOutFunc JavaCode Source #
OOMethodSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods method :: Label -> PythonCode (Visibility PythonCode) -> PythonCode (Permanence PythonCode) -> VSType PythonCode -> [MSParameter PythonCode] -> MSBody PythonCode -> SMethod PythonCode Source # getMethod :: SVariable PythonCode -> SMethod PythonCode Source # setMethod :: SVariable PythonCode -> SMethod PythonCode Source # constructor :: [MSParameter PythonCode] -> Initializers PythonCode -> MSBody PythonCode -> SMethod PythonCode Source # inOutMethod :: Label -> PythonCode (Visibility PythonCode) -> PythonCode (Permanence PythonCode) -> InOutFunc PythonCode Source # docInOutMethod :: Label -> PythonCode (Visibility PythonCode) -> PythonCode (Permanence PythonCode) -> DocInOutFunc PythonCode Source #
OOMethodSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods method :: Label -> SwiftCode (Visibility SwiftCode) -> SwiftCode (Permanence SwiftCode) -> VSType SwiftCode -> [MSParameter SwiftCode] -> MSBody SwiftCode -> SMethod SwiftCode Source # getMethod :: SVariable SwiftCode -> SMethod SwiftCode Source # setMethod :: SVariable SwiftCode -> SMethod SwiftCode Source # constructor :: [MSParameter SwiftCode] -> Initializers SwiftCode -> MSBody SwiftCode -> SMethod SwiftCode Source # inOutMethod :: Label -> SwiftCode (Visibility SwiftCode) -> SwiftCode (Permanence SwiftCode) -> InOutFunc SwiftCode Source # docInOutMethod :: Label -> SwiftCode (Visibility SwiftCode) -> SwiftCode (Permanence SwiftCode) -> DocInOutFunc SwiftCode Source #
Pair p => OOMethodSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods method :: Label -> p CppSrcCode CppHdrCode (Visibility (p CppSrcCode CppHdrCode)) -> p CppSrcCode CppHdrCode (Permanence (p CppSrcCode CppHdrCode)) -> VSType (p CppSrcCode CppHdrCode) -> [MSParameter (p CppSrcCode CppHdrCode)] -> MSBody (p CppSrcCode CppHdrCode) -> SMethod (p CppSrcCode CppHdrCode) Source # getMethod :: SVariable (p CppSrcCode CppHdrCode) -> SMethod (p CppSrcCode CppHdrCode) Source # setMethod :: SVariable (p CppSrcCode CppHdrCode) -> SMethod (p CppSrcCode CppHdrCode) Source # constructor :: [MSParameter (p CppSrcCode CppHdrCode)] -> Initializers (p CppSrcCode CppHdrCode) -> MSBody (p CppSrcCode CppHdrCode) -> SMethod (p CppSrcCode CppHdrCode) Source # inOutMethod :: Label -> p CppSrcCode CppHdrCode (Visibility (p CppSrcCode CppHdrCode)) -> p CppSrcCode CppHdrCode (Permanence (p CppSrcCode CppHdrCode)) -> InOutFunc (p CppSrcCode CppHdrCode) Source # docInOutMethod :: Label -> p CppSrcCode CppHdrCode (Visibility (p CppSrcCode CppHdrCode)) -> p CppSrcCode CppHdrCode (Permanence (p CppSrcCode CppHdrCode)) -> DocInOutFunc (p CppSrcCode CppHdrCode) Source #

privMethod :: OOMethodSym r => Label -> VSType r -> [MSParameter r] -> MSBody r -> SMethod r Source #

pubMethod :: OOMethodSym r => Label -> VSType r -> [MSParameter r] -> MSBody r -> SMethod r Source #

initializer :: OOMethodSym r => [MSParameter r] -> Initializers r -> SMethod r Source #

nonInitConstructor :: OOMethodSym r => [MSParameter r] -> MSBody r -> SMethod r Source #

class (VisibilitySym r, PermanenceSym r, VariableSym r) => StateVarSym r where Source #

Associated Types

type StateVar r Source #

Methods

stateVar :: r (Visibility r) -> r (Permanence r) -> SVariable r -> CSStateVar r Source #

stateVarDef :: r (Visibility r) -> r (Permanence r) -> SVariable r -> SValue r -> CSStateVar r Source #

constVar :: r (Visibility r) -> SVariable r -> SValue r -> CSStateVar r Source #

Instances

Instances details

StateVarSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Associated Types type StateVar CodeInfoOO Source # Methods stateVar :: CodeInfoOO (Visibility CodeInfoOO) -> CodeInfoOO (Permanence CodeInfoOO) -> SVariable CodeInfoOO -> CSStateVar CodeInfoOO Source # stateVarDef :: CodeInfoOO (Visibility CodeInfoOO) -> CodeInfoOO (Permanence CodeInfoOO) -> SVariable CodeInfoOO -> SValue CodeInfoOO -> CSStateVar CodeInfoOO Source # constVar :: CodeInfoOO (Visibility CodeInfoOO) -> SVariable CodeInfoOO -> SValue CodeInfoOO -> CSStateVar CodeInfoOO Source #
StateVarSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Associated Types type StateVar CSharpCode Source # Methods stateVar :: CSharpCode (Visibility CSharpCode) -> CSharpCode (Permanence CSharpCode) -> SVariable CSharpCode -> CSStateVar CSharpCode Source # stateVarDef :: CSharpCode (Visibility CSharpCode) -> CSharpCode (Permanence CSharpCode) -> SVariable CSharpCode -> SValue CSharpCode -> CSStateVar CSharpCode Source # constVar :: CSharpCode (Visibility CSharpCode) -> SVariable CSharpCode -> SValue CSharpCode -> CSStateVar CSharpCode Source #
StateVarSym CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Associated Types type StateVar CppHdrCode Source # Methods stateVar :: CppHdrCode (Visibility CppHdrCode) -> CppHdrCode (Permanence CppHdrCode) -> SVariable CppHdrCode -> CSStateVar CppHdrCode Source # stateVarDef :: CppHdrCode (Visibility CppHdrCode) -> CppHdrCode (Permanence CppHdrCode) -> SVariable CppHdrCode -> SValue CppHdrCode -> CSStateVar CppHdrCode Source # constVar :: CppHdrCode (Visibility CppHdrCode) -> SVariable CppHdrCode -> SValue CppHdrCode -> CSStateVar CppHdrCode Source #
StateVarSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Associated Types type StateVar CppSrcCode Source # Methods stateVar :: CppSrcCode (Visibility CppSrcCode) -> CppSrcCode (Permanence CppSrcCode) -> SVariable CppSrcCode -> CSStateVar CppSrcCode Source # stateVarDef :: CppSrcCode (Visibility CppSrcCode) -> CppSrcCode (Permanence CppSrcCode) -> SVariable CppSrcCode -> SValue CppSrcCode -> CSStateVar CppSrcCode Source # constVar :: CppSrcCode (Visibility CppSrcCode) -> SVariable CppSrcCode -> SValue CppSrcCode -> CSStateVar CppSrcCode Source #
StateVarSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type StateVar JavaCode Source # Methods stateVar :: JavaCode (Visibility JavaCode) -> JavaCode (Permanence JavaCode) -> SVariable JavaCode -> CSStateVar JavaCode Source # stateVarDef :: JavaCode (Visibility JavaCode) -> JavaCode (Permanence JavaCode) -> SVariable JavaCode -> SValue JavaCode -> CSStateVar JavaCode Source # constVar :: JavaCode (Visibility JavaCode) -> SVariable JavaCode -> SValue JavaCode -> CSStateVar JavaCode Source #
StateVarSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Associated Types type StateVar PythonCode Source # Methods stateVar :: PythonCode (Visibility PythonCode) -> PythonCode (Permanence PythonCode) -> SVariable PythonCode -> CSStateVar PythonCode Source # stateVarDef :: PythonCode (Visibility PythonCode) -> PythonCode (Permanence PythonCode) -> SVariable PythonCode -> SValue PythonCode -> CSStateVar PythonCode Source # constVar :: PythonCode (Visibility PythonCode) -> SVariable PythonCode -> SValue PythonCode -> CSStateVar PythonCode Source #
StateVarSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Associated Types type StateVar SwiftCode Source # Methods stateVar :: SwiftCode (Visibility SwiftCode) -> SwiftCode (Permanence SwiftCode) -> SVariable SwiftCode -> CSStateVar SwiftCode Source # stateVarDef :: SwiftCode (Visibility SwiftCode) -> SwiftCode (Permanence SwiftCode) -> SVariable SwiftCode -> SValue SwiftCode -> CSStateVar SwiftCode Source # constVar :: SwiftCode (Visibility SwiftCode) -> SVariable SwiftCode -> SValue SwiftCode -> CSStateVar SwiftCode Source #
Pair p => StateVarSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Associated Types type StateVar (p CppSrcCode CppHdrCode) Source # Methods stateVar :: p CppSrcCode CppHdrCode (Visibility (p CppSrcCode CppHdrCode)) -> p CppSrcCode CppHdrCode (Permanence (p CppSrcCode CppHdrCode)) -> SVariable (p CppSrcCode CppHdrCode) -> CSStateVar (p CppSrcCode CppHdrCode) Source # stateVarDef :: p CppSrcCode CppHdrCode (Visibility (p CppSrcCode CppHdrCode)) -> p CppSrcCode CppHdrCode (Permanence (p CppSrcCode CppHdrCode)) -> SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> CSStateVar (p CppSrcCode CppHdrCode) Source # constVar :: p CppSrcCode CppHdrCode (Visibility (p CppSrcCode CppHdrCode)) -> SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> CSStateVar (p CppSrcCode CppHdrCode) Source #

privDVar :: StateVarSym r => SVariable r -> CSStateVar r Source #

pubDVar :: StateVarSym r => SVariable r -> CSStateVar r Source #

pubSVar :: StateVarSym r => SVariable r -> CSStateVar r Source #

class PermanenceSym r where Source #

Associated Types

type Permanence r Source #

Methods

static :: r (Permanence r) Source #

dynamic :: r (Permanence r) Source #

Instances

Instances details

PermanenceSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Associated Types type Permanence CodeInfoOO Source # Methods static :: CodeInfoOO (Permanence CodeInfoOO) Source # dynamic :: CodeInfoOO (Permanence CodeInfoOO) Source #
PermanenceSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Associated Types type Permanence CSharpCode Source # Methods static :: CSharpCode (Permanence CSharpCode) Source # dynamic :: CSharpCode (Permanence CSharpCode) Source #
PermanenceSym CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Associated Types type Permanence CppHdrCode Source # Methods static :: CppHdrCode (Permanence CppHdrCode) Source # dynamic :: CppHdrCode (Permanence CppHdrCode) Source #
PermanenceSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Associated Types type Permanence CppSrcCode Source # Methods static :: CppSrcCode (Permanence CppSrcCode) Source # dynamic :: CppSrcCode (Permanence CppSrcCode) Source #
PermanenceSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Associated Types type Permanence JavaCode Source # Methods static :: JavaCode (Permanence JavaCode) Source # dynamic :: JavaCode (Permanence JavaCode) Source #
PermanenceSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Associated Types type Permanence PythonCode Source # Methods static :: PythonCode (Permanence PythonCode) Source # dynamic :: PythonCode (Permanence PythonCode) Source #
PermanenceSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Associated Types type Permanence SwiftCode Source # Methods static :: SwiftCode (Permanence SwiftCode) Source # dynamic :: SwiftCode (Permanence SwiftCode) Source #
Pair p => PermanenceSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Associated Types type Permanence (p CppSrcCode CppHdrCode) Source # Methods static :: p CppSrcCode CppHdrCode (Permanence (p CppSrcCode CppHdrCode)) Source # dynamic :: p CppSrcCode CppHdrCode (Permanence (p CppSrcCode CppHdrCode)) Source #

class FunctionSym r => OOFunctionSym r where Source #

Methods

func :: Label -> VSType r -> [SValue r] -> VSFunction r Source #

objAccess :: SValue r -> VSFunction r -> SValue r Source #

Instances

Instances details

OOFunctionSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods func :: Label -> VSType CodeInfoOO -> [SValue CodeInfoOO] -> VSFunction CodeInfoOO Source # objAccess :: SValue CodeInfoOO -> VSFunction CodeInfoOO -> SValue CodeInfoOO Source #
OOFunctionSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods func :: Label -> VSType CSharpCode -> [SValue CSharpCode] -> VSFunction CSharpCode Source # objAccess :: SValue CSharpCode -> VSFunction CSharpCode -> SValue CSharpCode Source #
OOFunctionSym CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods func :: Label -> VSType CppHdrCode -> [SValue CppHdrCode] -> VSFunction CppHdrCode Source # objAccess :: SValue CppHdrCode -> VSFunction CppHdrCode -> SValue CppHdrCode Source #
OOFunctionSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods func :: Label -> VSType CppSrcCode -> [SValue CppSrcCode] -> VSFunction CppSrcCode Source # objAccess :: SValue CppSrcCode -> VSFunction CppSrcCode -> SValue CppSrcCode Source #
OOFunctionSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods func :: Label -> VSType JavaCode -> [SValue JavaCode] -> VSFunction JavaCode Source # objAccess :: SValue JavaCode -> VSFunction JavaCode -> SValue JavaCode Source #
OOFunctionSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods func :: Label -> VSType PythonCode -> [SValue PythonCode] -> VSFunction PythonCode Source # objAccess :: SValue PythonCode -> VSFunction PythonCode -> SValue PythonCode Source #
OOFunctionSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods func :: Label -> VSType SwiftCode -> [SValue SwiftCode] -> VSFunction SwiftCode Source # objAccess :: SValue SwiftCode -> VSFunction SwiftCode -> SValue SwiftCode Source #
Pair p => OOFunctionSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods func :: Label -> VSType (p CppSrcCode CppHdrCode) -> [SValue (p CppSrcCode CppHdrCode)] -> VSFunction (p CppSrcCode CppHdrCode) Source # objAccess :: SValue (p CppSrcCode CppHdrCode) -> VSFunction (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

($.) :: OOFunctionSym r => SValue r -> VSFunction r -> SValue r infixl 9 Source #

selfAccess :: (OOVariableValue r, OOFunctionSym r) => VSFunction r -> SValue r Source #

class (StatementSym r, OOFunctionSym r) => ObserverPattern r where Source #

Methods

notifyObservers :: VSFunction r -> VSType r -> MSStatement r Source #

Instances

Instances details

ObserverPattern CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods notifyObservers :: VSFunction CodeInfoOO -> VSType CodeInfoOO -> MSStatement CodeInfoOO Source #
ObserverPattern CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods notifyObservers :: VSFunction CSharpCode -> VSType CSharpCode -> MSStatement CSharpCode Source #
ObserverPattern CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods notifyObservers :: VSFunction CppHdrCode -> VSType CppHdrCode -> MSStatement CppHdrCode Source #
ObserverPattern CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods notifyObservers :: VSFunction CppSrcCode -> VSType CppSrcCode -> MSStatement CppSrcCode Source #
ObserverPattern JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods notifyObservers :: VSFunction JavaCode -> VSType JavaCode -> MSStatement JavaCode Source #
ObserverPattern PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods notifyObservers :: VSFunction PythonCode -> VSType PythonCode -> MSStatement PythonCode Source #
ObserverPattern SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods notifyObservers :: VSFunction SwiftCode -> VSType SwiftCode -> MSStatement SwiftCode Source #
Pair p => ObserverPattern (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods notifyObservers :: VSFunction (p CppSrcCode CppHdrCode) -> VSType (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

observerListName :: Label Source #

initObserverList :: DeclStatement r => VSType r -> [SValue r] -> r (Scope r) -> MSStatement r Source #

addObserver :: (StatementSym r, OOVariableValue r, List r) => SValue r -> MSStatement r Source #

class (BodySym r, VariableSym r) => StrategyPattern r where Source #

Methods

runStrategy :: Label -> [(Label, MSBody r)] -> Maybe (SValue r) -> Maybe (SVariable r) -> MSBlock r Source #

Instances

Instances details

StrategyPattern CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods runStrategy :: Label -> [(Label, MSBody CodeInfoOO)] -> Maybe (SValue CodeInfoOO) -> Maybe (SVariable CodeInfoOO) -> MSBlock CodeInfoOO Source #
StrategyPattern CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods runStrategy :: Label -> [(Label, MSBody CSharpCode)] -> Maybe (SValue CSharpCode) -> Maybe (SVariable CSharpCode) -> MSBlock CSharpCode Source #
StrategyPattern CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods runStrategy :: Label -> [(Label, MSBody CppHdrCode)] -> Maybe (SValue CppHdrCode) -> Maybe (SVariable CppHdrCode) -> MSBlock CppHdrCode Source #
StrategyPattern CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods runStrategy :: Label -> [(Label, MSBody CppSrcCode)] -> Maybe (SValue CppSrcCode) -> Maybe (SVariable CppSrcCode) -> MSBlock CppSrcCode Source #
StrategyPattern JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods runStrategy :: Label -> [(Label, MSBody JavaCode)] -> Maybe (SValue JavaCode) -> Maybe (SVariable JavaCode) -> MSBlock JavaCode Source #
StrategyPattern PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods runStrategy :: Label -> [(Label, MSBody PythonCode)] -> Maybe (SValue PythonCode) -> Maybe (SVariable PythonCode) -> MSBlock PythonCode Source #
StrategyPattern SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods runStrategy :: Label -> [(Label, MSBody SwiftCode)] -> Maybe (SValue SwiftCode) -> Maybe (SVariable SwiftCode) -> MSBlock SwiftCode Source #
Pair p => StrategyPattern (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods runStrategy :: Label -> [(Label, MSBody (p CppSrcCode CppHdrCode))] -> Maybe (SValue (p CppSrcCode CppHdrCode)) -> Maybe (SVariable (p CppSrcCode CppHdrCode)) -> MSBlock (p CppSrcCode CppHdrCode) Source #

convTypeOO :: OOTypeSym r => CodeType -> VSType r Source #