Safe Haskell	Safe-Inferred
Language	Haskell2010

Drasil.GOOL.InterfaceGOOL

Synopsis

type Program = ProgData
type GSProgram a prg = GS (a prg)
type File = FileData
type Module = ModData
type Class = Doc
type StateVar = Doc
type CSStateVar r svr = CS (r svr)
type Initializers r = [(SVariable r, SValue r)]
class (SharedProg r vis smt md, OOStatement r smt, ProgramSym r vis smt md svr att prg, ObserverPattern r smt, StrategyPattern r smt) => OOProg r vis smt md svr att prg
class (SharedStatement r smt, GetSet r, InternalValueExp r, OOFuncAppStatement r smt, OOVariableValue r, OODeclStatement r smt, OOFuncAppStatement r smt, OOFunctionSym r, OOValueExpression r) => OOStatement r smt
class FileSym r vis smt md svr att => ProgramSym r vis smt md svr att prg | r -> prg where
- prog :: Label -> Label -> [FS (r File)] -> GSProgram r prg
class ModuleSym r vis smt md svr att => FileSym r vis smt md svr att where
- fileDoc :: FS (r Module) -> FS (r File)
- docMod :: String -> String -> [String] -> String -> FS (r File) -> FS (r File)
class ClassSym r vis smt md svr att => ModuleSym r vis smt md svr att where
- buildModule :: Label -> [Label] -> [MS (r md)] -> [CS (r Class)] -> FS (r Module)
class (OOMethodSym r vis smt md att, StateVarSym r vis svr att) => ClassSym r vis smt md svr att where
- buildClass :: Maybe Label -> [CSStateVar r svr] -> [MS (r md)] -> [MS (r md)] -> CS (r Class)
- extraClass :: Label -> Maybe Label -> [CSStateVar r svr] -> [MS (r md)] -> [MS (r md)] -> CS (r Class)
- implementingClass :: Label -> [Label] -> [CSStateVar r svr] -> [MS (r md)] -> [MS (r md)] -> CS (r Class)
- docClass :: String -> CS (r Class) -> CS (r Class)
class TypeSym r => OOTypeSym r where
- obj :: ClassName -> VS (r TypeData)
class (VariableSym r, OOTypeSym r) => OOVariableSym r where
- classVar :: Label -> VS (r TypeData) -> SVariable r
- classConst :: Label -> VS (r TypeData) -> SVariable r
- classVarAccess :: VS (r TypeData) -> SVariable r -> SVariable r
- extClassVarAccess :: VS (r TypeData) -> SVariable r -> SVariable r
- instanceVarAccess :: SValue r -> SVariable r -> SVariable r
($->) :: OOVariableSym r => SValue r -> SVariable r -> SVariable r
class OOVariableSym r => SelfSym r where
- self :: SVariable r
instanceVarSelf :: (SelfSym r, VariableValue r) => SVariable r -> SVariable r
class (ValueSym r, OOTypeSym r) => OOValueSym r
class (VariableValue r, OOVariableSym r, SelfSym r) => OOVariableValue r
class (ValueExpression r, OOVariableSym r, OOValueSym r) => OOValueExpression r where
- newObjMixedArgs :: MixedCtorCall r
- extNewObjMixedArgs :: Library -> MixedCtorCall r
- libNewObjMixedArgs :: Library -> MixedCtorCall r
selfMethodCall :: (InternalValueExp r, VariableValue r, SelfSym r) => PosCall r
newObj :: OOValueExpression r => PosCtorCall r
extNewObj :: OOValueExpression r => Library -> PosCtorCall r
libNewObj :: OOValueExpression r => Library -> PosCtorCall r
class (DeclStatement r smt, OOVariableSym r) => OODeclStatement r smt where
- objDecDef :: SVariable r -> r ScopeData -> SValue r -> MS (r smt)
- objDecNew :: SVariable r -> r ScopeData -> [SValue r] -> MS (r smt)
- extObjDecNew :: Library -> SVariable r -> r ScopeData -> [SValue r] -> MS (r smt)
objDecNewNoParams :: OODeclStatement r smt => SVariable r -> r ScopeData -> MS (r smt)
extObjDecNewNoParams :: OODeclStatement r smt => Library -> SVariable r -> r ScopeData -> MS (r smt)
class (FuncAppStatement r smt, OOVariableSym r) => OOFuncAppStatement r smt where
- selfInOutCall :: InOutCall r smt
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 -> VS (r TypeData) -> SValue r -> [SValue r] -> NamedArgs r -> SValue r
- classMethodCallMixedArgs' :: Label -> VS (r TypeData) -> VS (r TypeData) -> [SValue r] -> NamedArgs r -> SValue r
objMethodCall :: InternalValueExp r => VS (r TypeData) -> SValue r -> Label -> [SValue r] -> SValue r
objMethodCallNamedArgs :: InternalValueExp r => VS (r TypeData) -> SValue r -> Label -> NamedArgs r -> SValue r
objMethodCallMixedArgs :: InternalValueExp r => VS (r TypeData) -> SValue r -> Label -> [SValue r] -> NamedArgs r -> SValue r
objMethodCallNoParams :: InternalValueExp r => VS (r TypeData) -> SValue r -> Label -> SValue r
classMethodCall :: InternalValueExp r => VS (r TypeData) -> VS (r TypeData) -> Label -> [SValue r] -> SValue r
classMethodCallNamedArgs :: InternalValueExp r => VS (r TypeData) -> VS (r TypeData) -> Label -> NamedArgs r -> SValue r
classMethodCallMixedArgs :: InternalValueExp r => VS (r TypeData) -> VS (r TypeData) -> Label -> [SValue r] -> NamedArgs r -> SValue r
classMethodCallNoParams :: InternalValueExp r => VS (r TypeData) -> VS (r TypeData) -> Label -> SValue r
class (MethodSym r vis smt md, AttachmentSym r att) => OOMethodSym r vis smt md att where
- method :: Label -> r vis -> r att -> VS (r TypeData) -> [MS (r ParamData)] -> MS (r Body) -> MS (r md)
- getMethod :: SVariable r -> MS (r md)
- setMethod :: SVariable r -> MS (r md)
- constructor :: [MS (r ParamData)] -> Initializers r -> MS (r Body) -> MS (r md)
- inOutMethod :: Label -> r vis -> r att -> InOutFunc r md
- docInOutMethod :: Label -> r vis -> r att -> DocInOutFunc r md
privMethod :: OOMethodSym r vis smt md att => Label -> VS (r TypeData) -> [MS (r ParamData)] -> MS (r Body) -> MS (r md)
pubMethod :: OOMethodSym r vis smt md att => Label -> VS (r TypeData) -> [MS (r ParamData)] -> MS (r Body) -> MS (r md)
initializer :: OOMethodSym r vis smt md att => [MS (r ParamData)] -> Initializers r -> MS (r md)
nonInitConstructor :: OOMethodSym r vis smt md att => [MS (r ParamData)] -> MS (r Body) -> MS (r md)
class (VisibilitySym r vis, AttachmentSym r att, VariableSym r) => StateVarSym r vis svr att | r -> svr where
- stateVar :: r vis -> r att -> SVariable r -> CSStateVar r svr
- stateVarDef :: r vis -> r att -> SVariable r -> SValue r -> CSStateVar r svr
- constVar :: r vis -> SVariable r -> SValue r -> CSStateVar r svr
privDVar :: StateVarSym r vis svr att => SVariable r -> CSStateVar r svr
pubDVar :: StateVarSym r vis svr att => SVariable r -> CSStateVar r svr
pubSVar :: StateVarSym r vis svr att => SVariable r -> CSStateVar r svr
class AttachmentSym r att | r -> att where
- classLevel :: r att
- instanceLevel :: r att
class FunctionSym r => OOFunctionSym r where
- func :: Label -> VS (r TypeData) -> [SValue r] -> VS (r FuncData)
- objAccess :: SValue r -> VS (r FuncData) -> SValue r
($.) :: OOFunctionSym r => SValue r -> VS (r FuncData) -> SValue r
selfAccess :: (OOVariableValue r, OOFunctionSym r) => VS (r FuncData) -> SValue r
class (StatementSym r smt, OOFunctionSym r) => ObserverPattern r smt where
- notifyObservers :: VS (r FuncData) -> VS (r TypeData) -> MS (r smt)
observerListName :: Label
initObserverList :: DeclStatement r smt => VS (r TypeData) -> [SValue r] -> r ScopeData -> MS (r smt)
addObserver :: (OOVariableValue r, List r smt) => SValue r -> MS (r smt)
class (BodySym r smt, VariableSym r) => StrategyPattern r smt where
- runStrategy :: Label -> [(Label, MS (r Body))] -> Maybe (SValue r) -> Maybe (SVariable r) -> MS (r Block)
convTypeOO :: OOTypeSym r => CodeType -> VS (r TypeData)

Documentation

type Program = ProgData Source #

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

type File = FileData Source #

type Module = ModData Source #

type Class = Doc Source #

type StateVar = Doc Source #

type CSStateVar r svr = CS (r svr) Source #

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

class (SharedProg r vis smt md, OOStatement r smt, ProgramSym r vis smt md svr att prg, ObserverPattern r smt, StrategyPattern r smt) => OOProg r vis smt md svr att prg Source #

Instances

Instances details

OOProg CodeInfoOO () () () () () GOOLState Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO
OOProg CSharpCode Doc (Doc, Terminator) MethodData StateVar Doc ProgData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
OOProg JavaCode Doc (Doc, Terminator) MethodData StateVar Doc ProgData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
OOProg PythonCode Doc (Doc, Terminator) MethodData StateVar AttachmentData ProgData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer
OOProg SwiftCode Doc (Doc, Terminator) MethodData StateVar Doc ProgData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer
OOProg r vis smt md svr att prg => OOProg (LoggingFor r) vis smt md svr att prg Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor

class (SharedStatement r smt, GetSet r, InternalValueExp r, OOFuncAppStatement r smt, OOVariableValue r, OODeclStatement r smt, OOFuncAppStatement r smt, OOFunctionSym r, OOValueExpression r) => OOStatement r smt Source #

Instances

Instances details

OOStatement CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO
OOStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
OOStatement CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer
OOStatement CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer
OOStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
OOStatement PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer
OOStatement SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer
(OOStatement r smt, VariableElim r) => OOStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor
Pair p => OOStatement (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class FileSym r vis smt md svr att => ProgramSym r vis smt md svr att prg | r -> prg where Source #

Methods

prog :: Label -> Label -> [FS (r File)] -> GSProgram r prg Source #

Instances

Instances details

ProgramSym CodeInfoOO () () () () () GOOLState Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods prog :: Label -> Label -> [FS (CodeInfoOO File)] -> GSProgram CodeInfoOO GOOLState Source #
ProgramSym CSharpCode Doc (Doc, Terminator) MethodData StateVar Doc ProgData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods prog :: Label -> Label -> [FS (CSharpCode File)] -> GSProgram CSharpCode ProgData Source #
ProgramSym JavaCode Doc (Doc, Terminator) MethodData StateVar Doc ProgData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods prog :: Label -> Label -> [FS (JavaCode File)] -> GSProgram JavaCode ProgData Source #
ProgramSym PythonCode Doc (Doc, Terminator) MethodData StateVar AttachmentData ProgData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods prog :: Label -> Label -> [FS (PythonCode File)] -> GSProgram PythonCode ProgData Source #
ProgramSym SwiftCode Doc (Doc, Terminator) MethodData StateVar Doc ProgData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods prog :: Label -> Label -> [FS (SwiftCode File)] -> GSProgram SwiftCode ProgData Source #
ProgramSym r vis smt md svr att prg => ProgramSym (LoggingFor r) vis smt md svr att prg Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods prog :: Label -> Label -> [FS (LoggingFor r File)] -> GSProgram (LoggingFor r) prg Source #

class ModuleSym r vis smt md svr att => FileSym r vis smt md svr att where Source #

Methods

fileDoc :: FS (r Module) -> FS (r File) Source #

docMod :: String -> String -> [String] -> String -> FS (r File) -> FS (r File) Source #

Instances

Instances details

FileSym CodeInfoOO () () () () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods fileDoc :: FS (CodeInfoOO Module) -> FS (CodeInfoOO File) Source # docMod :: String -> String -> [String] -> String -> FS (CodeInfoOO File) -> FS (CodeInfoOO File) Source #
FileSym CSharpCode Doc (Doc, Terminator) MethodData StateVar Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods fileDoc :: FS (CSharpCode Module) -> FS (CSharpCode File) Source # docMod :: String -> String -> [String] -> String -> FS (CSharpCode File) -> FS (CSharpCode File) Source #
FileSym JavaCode Doc (Doc, Terminator) MethodData StateVar Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods fileDoc :: FS (JavaCode Module) -> FS (JavaCode File) Source # docMod :: String -> String -> [String] -> String -> FS (JavaCode File) -> FS (JavaCode File) Source #
FileSym PythonCode Doc (Doc, Terminator) MethodData StateVar AttachmentData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods fileDoc :: FS (PythonCode Module) -> FS (PythonCode File) Source # docMod :: String -> String -> [String] -> String -> FS (PythonCode File) -> FS (PythonCode File) Source #
FileSym SwiftCode Doc (Doc, Terminator) MethodData StateVar Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods fileDoc :: FS (SwiftCode Module) -> FS (SwiftCode File) Source # docMod :: String -> String -> [String] -> String -> FS (SwiftCode File) -> FS (SwiftCode File) Source #
FileSym r vis smt md svr att => FileSym (LoggingFor r) vis smt md svr att Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods fileDoc :: FS (LoggingFor r Module) -> FS (LoggingFor r File) Source # docMod :: String -> String -> [String] -> String -> FS (LoggingFor r File) -> FS (LoggingFor r File) Source #

class ClassSym r vis smt md svr att => ModuleSym r vis smt md svr att where Source #

Methods

buildModule :: Label -> [Label] -> [MS (r md)] -> [CS (r Class)] -> FS (r Module) Source #

Instances

Instances details

ModuleSym CodeInfoOO () () () () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods buildModule :: Label -> [Label] -> [MS (CodeInfoOO ())] -> [CS (CodeInfoOO Class)] -> FS (CodeInfoOO Module) Source #
ModuleSym CSharpCode Doc (Doc, Terminator) MethodData StateVar Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods buildModule :: Label -> [Label] -> [MS (CSharpCode MethodData)] -> [CS (CSharpCode Class)] -> FS (CSharpCode Module) Source #
ModuleSym JavaCode Doc (Doc, Terminator) MethodData StateVar Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods buildModule :: Label -> [Label] -> [MS (JavaCode MethodData)] -> [CS (JavaCode Class)] -> FS (JavaCode Module) Source #
ModuleSym PythonCode Doc (Doc, Terminator) MethodData StateVar AttachmentData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods buildModule :: Label -> [Label] -> [MS (PythonCode MethodData)] -> [CS (PythonCode Class)] -> FS (PythonCode Module) Source #
ModuleSym SwiftCode Doc (Doc, Terminator) MethodData StateVar Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods buildModule :: Label -> [Label] -> [MS (SwiftCode MethodData)] -> [CS (SwiftCode Class)] -> FS (SwiftCode Module) Source #
ModuleSym r vis smt md svr att => ModuleSym (LoggingFor r) vis smt md svr att Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods buildModule :: Label -> [Label] -> [MS (LoggingFor r md)] -> [CS (LoggingFor r Class)] -> FS (LoggingFor r Module) Source #

class (OOMethodSym r vis smt md att, StateVarSym r vis svr att) => ClassSym r vis smt md svr att where Source #

Methods

buildClass :: Maybe Label -> [CSStateVar r svr] -> [MS (r md)] -> [MS (r md)] -> CS (r Class) Source #

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

extraClass :: Label -> Maybe Label -> [CSStateVar r svr] -> [MS (r md)] -> [MS (r md)] -> CS (r Class) Source #

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

implementingClass :: Label -> [Label] -> [CSStateVar r svr] -> [MS (r md)] -> [MS (r md)] -> CS (r Class) Source #

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

docClass :: String -> CS (r Class) -> CS (r Class) Source #

Instances

Instances details

ClassSym CodeInfoOO () () () () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods buildClass :: Maybe Label -> [CSStateVar CodeInfoOO ()] -> [MS (CodeInfoOO ())] -> [MS (CodeInfoOO ())] -> CS (CodeInfoOO Class) Source # extraClass :: Label -> Maybe Label -> [CSStateVar CodeInfoOO ()] -> [MS (CodeInfoOO ())] -> [MS (CodeInfoOO ())] -> CS (CodeInfoOO Class) Source # implementingClass :: Label -> [Label] -> [CSStateVar CodeInfoOO ()] -> [MS (CodeInfoOO ())] -> [MS (CodeInfoOO ())] -> CS (CodeInfoOO Class) Source # docClass :: String -> CS (CodeInfoOO Class) -> CS (CodeInfoOO Class) Source #
ClassSym CSharpCode Doc (Doc, Terminator) MethodData StateVar Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods buildClass :: Maybe Label -> [CSStateVar CSharpCode StateVar] -> [MS (CSharpCode MethodData)] -> [MS (CSharpCode MethodData)] -> CS (CSharpCode Class) Source # extraClass :: Label -> Maybe Label -> [CSStateVar CSharpCode StateVar] -> [MS (CSharpCode MethodData)] -> [MS (CSharpCode MethodData)] -> CS (CSharpCode Class) Source # implementingClass :: Label -> [Label] -> [CSStateVar CSharpCode StateVar] -> [MS (CSharpCode MethodData)] -> [MS (CSharpCode MethodData)] -> CS (CSharpCode Class) Source # docClass :: String -> CS (CSharpCode Class) -> CS (CSharpCode Class) Source #
ClassSym JavaCode Doc (Doc, Terminator) MethodData StateVar Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods buildClass :: Maybe Label -> [CSStateVar JavaCode StateVar] -> [MS (JavaCode MethodData)] -> [MS (JavaCode MethodData)] -> CS (JavaCode Class) Source # extraClass :: Label -> Maybe Label -> [CSStateVar JavaCode StateVar] -> [MS (JavaCode MethodData)] -> [MS (JavaCode MethodData)] -> CS (JavaCode Class) Source # implementingClass :: Label -> [Label] -> [CSStateVar JavaCode StateVar] -> [MS (JavaCode MethodData)] -> [MS (JavaCode MethodData)] -> CS (JavaCode Class) Source # docClass :: String -> CS (JavaCode Class) -> CS (JavaCode Class) Source #
ClassSym PythonCode Doc (Doc, Terminator) MethodData StateVar AttachmentData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods buildClass :: Maybe Label -> [CSStateVar PythonCode StateVar] -> [MS (PythonCode MethodData)] -> [MS (PythonCode MethodData)] -> CS (PythonCode Class) Source # extraClass :: Label -> Maybe Label -> [CSStateVar PythonCode StateVar] -> [MS (PythonCode MethodData)] -> [MS (PythonCode MethodData)] -> CS (PythonCode Class) Source # implementingClass :: Label -> [Label] -> [CSStateVar PythonCode StateVar] -> [MS (PythonCode MethodData)] -> [MS (PythonCode MethodData)] -> CS (PythonCode Class) Source # docClass :: String -> CS (PythonCode Class) -> CS (PythonCode Class) Source #
ClassSym SwiftCode Doc (Doc, Terminator) MethodData StateVar Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods buildClass :: Maybe Label -> [CSStateVar SwiftCode StateVar] -> [MS (SwiftCode MethodData)] -> [MS (SwiftCode MethodData)] -> CS (SwiftCode Class) Source # extraClass :: Label -> Maybe Label -> [CSStateVar SwiftCode StateVar] -> [MS (SwiftCode MethodData)] -> [MS (SwiftCode MethodData)] -> CS (SwiftCode Class) Source # implementingClass :: Label -> [Label] -> [CSStateVar SwiftCode StateVar] -> [MS (SwiftCode MethodData)] -> [MS (SwiftCode MethodData)] -> CS (SwiftCode Class) Source # docClass :: String -> CS (SwiftCode Class) -> CS (SwiftCode Class) Source #
ClassSym r vis smt md svr att => ClassSym (LoggingFor r) vis smt md svr att Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods buildClass :: Maybe Label -> [CSStateVar (LoggingFor r) svr] -> [MS (LoggingFor r md)] -> [MS (LoggingFor r md)] -> CS (LoggingFor r Class) Source # extraClass :: Label -> Maybe Label -> [CSStateVar (LoggingFor r) svr] -> [MS (LoggingFor r md)] -> [MS (LoggingFor r md)] -> CS (LoggingFor r Class) Source # implementingClass :: Label -> [Label] -> [CSStateVar (LoggingFor r) svr] -> [MS (LoggingFor r md)] -> [MS (LoggingFor r md)] -> CS (LoggingFor r Class) Source # docClass :: String -> CS (LoggingFor r Class) -> CS (LoggingFor r Class) Source #

class TypeSym r => OOTypeSym r where Source #

Methods

obj :: ClassName -> VS (r TypeData) Source #

Instances

Instances details

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

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

Methods

classVar :: Label -> VS (r TypeData) -> SVariable r Source #

A class-level variable, separate from its class (i.e. v, not v)

classConst :: Label -> VS (r TypeData) -> SVariable r Source #

A class-level constant, separate from its class (i.e. v, not v)

classVarAccess :: VS (r TypeData) -> SVariable r -> SVariable r Source #

Given a class C and a class-level variable v, creates v

extClassVarAccess :: VS (r TypeData) -> SVariable r -> SVariable r Source #

Given a class C from an external module and a class-level variable v, performs any necessary imports and creates v

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

Given an instance i and an instance-level variable v, creates `i.v`

Instances

Instances details

OOVariableSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods classVar :: Label -> VS (CodeInfoOO TypeData) -> SVariable CodeInfoOO Source # classConst :: Label -> VS (CodeInfoOO TypeData) -> SVariable CodeInfoOO Source # classVarAccess :: VS (CodeInfoOO TypeData) -> SVariable CodeInfoOO -> SVariable CodeInfoOO Source # extClassVarAccess :: VS (CodeInfoOO TypeData) -> SVariable CodeInfoOO -> SVariable CodeInfoOO Source # instanceVarAccess :: SValue CodeInfoOO -> SVariable CodeInfoOO -> SVariable CodeInfoOO Source #
OOVariableSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods classVar :: Label -> VS (CSharpCode TypeData) -> SVariable CSharpCode Source # classConst :: Label -> VS (CSharpCode TypeData) -> SVariable CSharpCode Source # classVarAccess :: VS (CSharpCode TypeData) -> SVariable CSharpCode -> SVariable CSharpCode Source # extClassVarAccess :: VS (CSharpCode TypeData) -> SVariable CSharpCode -> SVariable CSharpCode Source # instanceVarAccess :: SValue CSharpCode -> SVariable CSharpCode -> SVariable CSharpCode Source #
OOVariableSym CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods classVar :: Label -> VS (CppHdrCode TypeData) -> SVariable CppHdrCode Source # classConst :: Label -> VS (CppHdrCode TypeData) -> SVariable CppHdrCode Source # classVarAccess :: VS (CppHdrCode TypeData) -> SVariable CppHdrCode -> SVariable CppHdrCode Source # extClassVarAccess :: VS (CppHdrCode TypeData) -> SVariable CppHdrCode -> SVariable CppHdrCode Source # instanceVarAccess :: SValue CppHdrCode -> SVariable CppHdrCode -> SVariable CppHdrCode Source #
OOVariableSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods classVar :: Label -> VS (CppSrcCode TypeData) -> SVariable CppSrcCode Source # classConst :: Label -> VS (CppSrcCode TypeData) -> SVariable CppSrcCode Source # classVarAccess :: VS (CppSrcCode TypeData) -> SVariable CppSrcCode -> SVariable CppSrcCode Source # extClassVarAccess :: VS (CppSrcCode TypeData) -> SVariable CppSrcCode -> SVariable CppSrcCode Source # instanceVarAccess :: SValue CppSrcCode -> SVariable CppSrcCode -> SVariable CppSrcCode Source #
OOVariableSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods classVar :: Label -> VS (JavaCode TypeData) -> SVariable JavaCode Source # classConst :: Label -> VS (JavaCode TypeData) -> SVariable JavaCode Source # classVarAccess :: VS (JavaCode TypeData) -> SVariable JavaCode -> SVariable JavaCode Source # extClassVarAccess :: VS (JavaCode TypeData) -> SVariable JavaCode -> SVariable JavaCode Source # instanceVarAccess :: SValue JavaCode -> SVariable JavaCode -> SVariable JavaCode Source #
OOVariableSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods classVar :: Label -> VS (PythonCode TypeData) -> SVariable PythonCode Source # classConst :: Label -> VS (PythonCode TypeData) -> SVariable PythonCode Source # classVarAccess :: VS (PythonCode TypeData) -> SVariable PythonCode -> SVariable PythonCode Source # extClassVarAccess :: VS (PythonCode TypeData) -> SVariable PythonCode -> SVariable PythonCode Source # instanceVarAccess :: SValue PythonCode -> SVariable PythonCode -> SVariable PythonCode Source #
OOVariableSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods classVar :: Label -> VS (SwiftCode TypeData) -> SVariable SwiftCode Source # classConst :: Label -> VS (SwiftCode TypeData) -> SVariable SwiftCode Source # classVarAccess :: VS (SwiftCode TypeData) -> SVariable SwiftCode -> SVariable SwiftCode Source # extClassVarAccess :: VS (SwiftCode TypeData) -> SVariable SwiftCode -> SVariable SwiftCode Source # instanceVarAccess :: SValue SwiftCode -> SVariable SwiftCode -> SVariable SwiftCode Source #
OOVariableSym r => OOVariableSym (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods classVar :: Label -> VS (LoggingFor r TypeData) -> SVariable (LoggingFor r) Source # classConst :: Label -> VS (LoggingFor r TypeData) -> SVariable (LoggingFor r) Source # classVarAccess :: VS (LoggingFor r TypeData) -> SVariable (LoggingFor r) -> SVariable (LoggingFor r) Source # extClassVarAccess :: VS (LoggingFor r TypeData) -> SVariable (LoggingFor r) -> SVariable (LoggingFor r) Source # instanceVarAccess :: SValue (LoggingFor r) -> SVariable (LoggingFor r) -> SVariable (LoggingFor r) Source #
Pair p => OOVariableSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods classVar :: Label -> VS (p CppSrcCode CppHdrCode TypeData) -> SVariable (p CppSrcCode CppHdrCode) Source # classConst :: Label -> VS (p CppSrcCode CppHdrCode TypeData) -> SVariable (p CppSrcCode CppHdrCode) Source # classVarAccess :: VS (p CppSrcCode CppHdrCode TypeData) -> SVariable (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) Source # extClassVarAccess :: VS (p CppSrcCode CppHdrCode TypeData) -> SVariable (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) Source # instanceVarAccess :: SValue (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) Source #

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

class OOVariableSym r => SelfSym r where Source #

Methods

self :: SVariable r Source #

self keyword

Instances

Instances details

SelfSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods self :: SVariable CodeInfoOO Source #
SelfSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods self :: SVariable CSharpCode Source #
SelfSym CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods self :: SVariable CppHdrCode Source #
SelfSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods self :: SVariable CppSrcCode Source #
SelfSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods self :: SVariable JavaCode Source #
SelfSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods self :: SVariable PythonCode Source #
SelfSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods self :: SVariable SwiftCode Source #
SelfSym r => SelfSym (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods self :: SVariable (LoggingFor r) Source #
Pair p => SelfSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods self :: SVariable (p CppSrcCode CppHdrCode) Source #

instanceVarSelf :: (SelfSym r, VariableValue r) => SVariable r -> SVariable r Source #

Given a variable v, creates `self.v`

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
OOValueSym r => OOValueSym (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor
Pair p => OOValueSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class (VariableValue r, OOVariableSym r, SelfSym 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
OOVariableValue r => OOVariableValue (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor
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

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 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 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 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 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 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 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 newObjMixedArgs :: MixedCtorCall SwiftCode Source # extNewObjMixedArgs :: Library -> MixedCtorCall SwiftCode Source # libNewObjMixedArgs :: Library -> MixedCtorCall SwiftCode Source #
OOValueExpression r => OOValueExpression (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods newObjMixedArgs :: MixedCtorCall (LoggingFor r) Source # extNewObjMixedArgs :: Library -> MixedCtorCall (LoggingFor r) Source # libNewObjMixedArgs :: Library -> MixedCtorCall (LoggingFor r) Source #
Pair p => OOValueExpression (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods newObjMixedArgs :: MixedCtorCall (p CppSrcCode CppHdrCode) Source # extNewObjMixedArgs :: Library -> MixedCtorCall (p CppSrcCode CppHdrCode) Source # libNewObjMixedArgs :: Library -> MixedCtorCall (p CppSrcCode CppHdrCode) Source #

selfMethodCall :: (InternalValueExp r, VariableValue r, SelfSym 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 smt, OOVariableSym r) => OODeclStatement r smt where Source #

Methods

objDecDef :: SVariable r -> r ScopeData -> SValue r -> MS (r smt) Source #

objDecNew :: SVariable r -> r ScopeData -> [SValue r] -> MS (r smt) Source #

extObjDecNew :: Library -> SVariable r -> r ScopeData -> [SValue r] -> MS (r smt) Source #

Instances

Instances details

OODeclStatement CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods objDecDef :: SVariable CodeInfoOO -> CodeInfoOO ScopeData -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # objDecNew :: SVariable CodeInfoOO -> CodeInfoOO ScopeData -> [SValue CodeInfoOO] -> MS (CodeInfoOO ()) Source # extObjDecNew :: Library -> SVariable CodeInfoOO -> CodeInfoOO ScopeData -> [SValue CodeInfoOO] -> MS (CodeInfoOO ()) Source #
OODeclStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods objDecDef :: SVariable CSharpCode -> CSharpCode ScopeData -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # objDecNew :: SVariable CSharpCode -> CSharpCode ScopeData -> [SValue CSharpCode] -> MS (CSharpCode (Doc, Terminator)) Source # extObjDecNew :: Library -> SVariable CSharpCode -> CSharpCode ScopeData -> [SValue CSharpCode] -> MS (CSharpCode (Doc, Terminator)) Source #
OODeclStatement CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods objDecDef :: SVariable CppHdrCode -> CppHdrCode ScopeData -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # objDecNew :: SVariable CppHdrCode -> CppHdrCode ScopeData -> [SValue CppHdrCode] -> MS (CppHdrCode (Doc, Terminator)) Source # extObjDecNew :: Library -> SVariable CppHdrCode -> CppHdrCode ScopeData -> [SValue CppHdrCode] -> MS (CppHdrCode (Doc, Terminator)) Source #
OODeclStatement CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods objDecDef :: SVariable CppSrcCode -> CppSrcCode ScopeData -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # objDecNew :: SVariable CppSrcCode -> CppSrcCode ScopeData -> [SValue CppSrcCode] -> MS (CppSrcCode (Doc, Terminator)) Source # extObjDecNew :: Library -> SVariable CppSrcCode -> CppSrcCode ScopeData -> [SValue CppSrcCode] -> MS (CppSrcCode (Doc, Terminator)) Source #
OODeclStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods objDecDef :: SVariable JavaCode -> JavaCode ScopeData -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # objDecNew :: SVariable JavaCode -> JavaCode ScopeData -> [SValue JavaCode] -> MS (JavaCode (Doc, Terminator)) Source # extObjDecNew :: Library -> SVariable JavaCode -> JavaCode ScopeData -> [SValue JavaCode] -> MS (JavaCode (Doc, Terminator)) Source #
OODeclStatement PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods objDecDef :: SVariable PythonCode -> PythonCode ScopeData -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # objDecNew :: SVariable PythonCode -> PythonCode ScopeData -> [SValue PythonCode] -> MS (PythonCode (Doc, Terminator)) Source # extObjDecNew :: Library -> SVariable PythonCode -> PythonCode ScopeData -> [SValue PythonCode] -> MS (PythonCode (Doc, Terminator)) Source #
OODeclStatement SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods objDecDef :: SVariable SwiftCode -> SwiftCode ScopeData -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # objDecNew :: SVariable SwiftCode -> SwiftCode ScopeData -> [SValue SwiftCode] -> MS (SwiftCode (Doc, Terminator)) Source # extObjDecNew :: Library -> SVariable SwiftCode -> SwiftCode ScopeData -> [SValue SwiftCode] -> MS (SwiftCode (Doc, Terminator)) Source #
(DeclStatement (LoggingFor r) smt, OODeclStatement r smt) => OODeclStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods objDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # objDecNew :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> [SValue (LoggingFor r)] -> MS (LoggingFor r smt) Source # extObjDecNew :: Library -> SVariable (LoggingFor r) -> LoggingFor r ScopeData -> [SValue (LoggingFor r)] -> MS (LoggingFor r smt) Source #
Pair p => OODeclStatement (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods objDecDef :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode ScopeData -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # objDecNew :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode ScopeData -> [SValue (p CppSrcCode CppHdrCode)] -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # extObjDecNew :: Library -> SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode ScopeData -> [SValue (p CppSrcCode CppHdrCode)] -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source #

objDecNewNoParams :: OODeclStatement r smt => SVariable r -> r ScopeData -> MS (r smt) Source #

extObjDecNewNoParams :: OODeclStatement r smt => Library -> SVariable r -> r ScopeData -> MS (r smt) Source #

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

Methods

selfInOutCall :: InOutCall r smt Source #

Instances

Instances details

OOFuncAppStatement CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods selfInOutCall :: InOutCall CodeInfoOO () Source #
OOFuncAppStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods selfInOutCall :: InOutCall CSharpCode (Doc, Terminator) Source #
OOFuncAppStatement CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods selfInOutCall :: InOutCall CppHdrCode (Doc, Terminator) Source #
OOFuncAppStatement CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods selfInOutCall :: InOutCall CppSrcCode (Doc, Terminator) Source #
OOFuncAppStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods selfInOutCall :: InOutCall JavaCode (Doc, Terminator) Source #
OOFuncAppStatement PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods selfInOutCall :: InOutCall PythonCode (Doc, Terminator) Source #
OOFuncAppStatement SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods selfInOutCall :: InOutCall SwiftCode (Doc, Terminator) Source #
OOFuncAppStatement r smt => OOFuncAppStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods selfInOutCall :: InOutCall (LoggingFor r) smt Source #
Pair p => OOFuncAppStatement (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods selfInOutCall :: InOutCall (p CppSrcCode CppHdrCode) (Doc, Terminator) 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 #
GetSet r => GetSet (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods get :: SValue (LoggingFor r) -> SVariable (LoggingFor r) -> SValue (LoggingFor r) Source # set :: SValue (LoggingFor r) -> SVariable (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) 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 -> VS (r TypeData) -> 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.

classMethodCallMixedArgs' :: Label -> VS (r TypeData) -> VS (r TypeData) -> [SValue r] -> NamedArgs r -> SValue r Source #

Generic function for calling a class method. Takes the function name, the return type, the class type, 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 -> VS (CodeInfoOO TypeData) -> SValue CodeInfoOO -> [SValue CodeInfoOO] -> NamedArgs CodeInfoOO -> SValue CodeInfoOO Source # classMethodCallMixedArgs' :: Label -> VS (CodeInfoOO TypeData) -> VS (CodeInfoOO TypeData) -> [SValue CodeInfoOO] -> NamedArgs CodeInfoOO -> SValue CodeInfoOO Source #
InternalValueExp CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods objMethodCallMixedArgs' :: Label -> VS (CSharpCode TypeData) -> SValue CSharpCode -> [SValue CSharpCode] -> NamedArgs CSharpCode -> SValue CSharpCode Source # classMethodCallMixedArgs' :: Label -> VS (CSharpCode TypeData) -> VS (CSharpCode TypeData) -> [SValue CSharpCode] -> NamedArgs CSharpCode -> SValue CSharpCode Source #
InternalValueExp CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods objMethodCallMixedArgs' :: Label -> VS (CppHdrCode TypeData) -> SValue CppHdrCode -> [SValue CppHdrCode] -> NamedArgs CppHdrCode -> SValue CppHdrCode Source # classMethodCallMixedArgs' :: Label -> VS (CppHdrCode TypeData) -> VS (CppHdrCode TypeData) -> [SValue CppHdrCode] -> NamedArgs CppHdrCode -> SValue CppHdrCode Source #
InternalValueExp CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods objMethodCallMixedArgs' :: Label -> VS (CppSrcCode TypeData) -> SValue CppSrcCode -> [SValue CppSrcCode] -> NamedArgs CppSrcCode -> SValue CppSrcCode Source # classMethodCallMixedArgs' :: Label -> VS (CppSrcCode TypeData) -> VS (CppSrcCode TypeData) -> [SValue CppSrcCode] -> NamedArgs CppSrcCode -> SValue CppSrcCode Source #
InternalValueExp JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods objMethodCallMixedArgs' :: Label -> VS (JavaCode TypeData) -> SValue JavaCode -> [SValue JavaCode] -> NamedArgs JavaCode -> SValue JavaCode Source # classMethodCallMixedArgs' :: Label -> VS (JavaCode TypeData) -> VS (JavaCode TypeData) -> [SValue JavaCode] -> NamedArgs JavaCode -> SValue JavaCode Source #
InternalValueExp PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods objMethodCallMixedArgs' :: Label -> VS (PythonCode TypeData) -> SValue PythonCode -> [SValue PythonCode] -> NamedArgs PythonCode -> SValue PythonCode Source # classMethodCallMixedArgs' :: Label -> VS (PythonCode TypeData) -> VS (PythonCode TypeData) -> [SValue PythonCode] -> NamedArgs PythonCode -> SValue PythonCode Source #
InternalValueExp SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods objMethodCallMixedArgs' :: Label -> VS (SwiftCode TypeData) -> SValue SwiftCode -> [SValue SwiftCode] -> NamedArgs SwiftCode -> SValue SwiftCode Source # classMethodCallMixedArgs' :: Label -> VS (SwiftCode TypeData) -> VS (SwiftCode TypeData) -> [SValue SwiftCode] -> NamedArgs SwiftCode -> SValue SwiftCode Source #
InternalValueExp r => InternalValueExp (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods objMethodCallMixedArgs' :: Label -> VS (LoggingFor r TypeData) -> SValue (LoggingFor r) -> [SValue (LoggingFor r)] -> NamedArgs (LoggingFor r) -> SValue (LoggingFor r) Source # classMethodCallMixedArgs' :: Label -> VS (LoggingFor r TypeData) -> VS (LoggingFor r TypeData) -> [SValue (LoggingFor r)] -> NamedArgs (LoggingFor r) -> SValue (LoggingFor r) Source #
Pair p => InternalValueExp (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods objMethodCallMixedArgs' :: Label -> VS (p CppSrcCode CppHdrCode TypeData) -> SValue (p CppSrcCode CppHdrCode) -> [SValue (p CppSrcCode CppHdrCode)] -> NamedArgs (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source # classMethodCallMixedArgs' :: Label -> VS (p CppSrcCode CppHdrCode TypeData) -> VS (p CppSrcCode CppHdrCode TypeData) -> [SValue (p CppSrcCode CppHdrCode)] -> NamedArgs (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

objMethodCall :: InternalValueExp r => VS (r TypeData) -> 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 => VS (r TypeData) -> SValue r -> Label -> NamedArgs r -> SValue r Source #

Calling a method with named arguments.

objMethodCallMixedArgs :: InternalValueExp r => VS (r TypeData) -> SValue r -> Label -> [SValue r] -> NamedArgs r -> SValue r Source #

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

objMethodCallNoParams :: InternalValueExp r => VS (r TypeData) -> SValue r -> Label -> SValue r Source #

Calling a method with no parameters.

classMethodCall :: InternalValueExp r => VS (r TypeData) -> VS (r TypeData) -> Label -> [SValue r] -> SValue r Source #

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

classMethodCallNamedArgs :: InternalValueExp r => VS (r TypeData) -> VS (r TypeData) -> Label -> NamedArgs r -> SValue r Source #

Calling a class method with named arguments.

classMethodCallMixedArgs :: InternalValueExp r => VS (r TypeData) -> VS (r TypeData) -> Label -> [SValue r] -> NamedArgs r -> SValue r Source #

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

classMethodCallNoParams :: InternalValueExp r => VS (r TypeData) -> VS (r TypeData) -> Label -> SValue r Source #

Calling a class method with no parameters.

class (MethodSym r vis smt md, AttachmentSym r att) => OOMethodSym r vis smt md att where Source #

Methods

method :: Label -> r vis -> r att -> VS (r TypeData) -> [MS (r ParamData)] -> MS (r Body) -> MS (r md) Source #

getMethod :: SVariable r -> MS (r md) Source #

setMethod :: SVariable r -> MS (r md) Source #

constructor :: [MS (r ParamData)] -> Initializers r -> MS (r Body) -> MS (r md) Source #

inOutMethod :: Label -> r vis -> r att -> InOutFunc r md Source #

docInOutMethod :: Label -> r vis -> r att -> DocInOutFunc r md Source #

Instances

Instances details

OOMethodSym CodeInfoOO () () () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods method :: Label -> CodeInfoOO () -> CodeInfoOO () -> VS (CodeInfoOO TypeData) -> [MS (CodeInfoOO ParamData)] -> MS (CodeInfoOO Body) -> MS (CodeInfoOO ()) Source # getMethod :: SVariable CodeInfoOO -> MS (CodeInfoOO ()) Source # setMethod :: SVariable CodeInfoOO -> MS (CodeInfoOO ()) Source # constructor :: [MS (CodeInfoOO ParamData)] -> Initializers CodeInfoOO -> MS (CodeInfoOO Body) -> MS (CodeInfoOO ()) Source # inOutMethod :: Label -> CodeInfoOO () -> CodeInfoOO () -> InOutFunc CodeInfoOO () Source # docInOutMethod :: Label -> CodeInfoOO () -> CodeInfoOO () -> DocInOutFunc CodeInfoOO () Source #
OOMethodSym CSharpCode Doc (Doc, Terminator) MethodData Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods method :: Label -> CSharpCode Doc -> CSharpCode Doc -> VS (CSharpCode TypeData) -> [MS (CSharpCode ParamData)] -> MS (CSharpCode Body) -> MS (CSharpCode MethodData) Source # getMethod :: SVariable CSharpCode -> MS (CSharpCode MethodData) Source # setMethod :: SVariable CSharpCode -> MS (CSharpCode MethodData) Source # constructor :: [MS (CSharpCode ParamData)] -> Initializers CSharpCode -> MS (CSharpCode Body) -> MS (CSharpCode MethodData) Source # inOutMethod :: Label -> CSharpCode Doc -> CSharpCode Doc -> InOutFunc CSharpCode MethodData Source # docInOutMethod :: Label -> CSharpCode Doc -> CSharpCode Doc -> DocInOutFunc CSharpCode MethodData Source #
OOMethodSym JavaCode Doc (Doc, Terminator) MethodData Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods method :: Label -> JavaCode Doc -> JavaCode Doc -> VS (JavaCode TypeData) -> [MS (JavaCode ParamData)] -> MS (JavaCode Body) -> MS (JavaCode MethodData) Source # getMethod :: SVariable JavaCode -> MS (JavaCode MethodData) Source # setMethod :: SVariable JavaCode -> MS (JavaCode MethodData) Source # constructor :: [MS (JavaCode ParamData)] -> Initializers JavaCode -> MS (JavaCode Body) -> MS (JavaCode MethodData) Source # inOutMethod :: Label -> JavaCode Doc -> JavaCode Doc -> InOutFunc JavaCode MethodData Source # docInOutMethod :: Label -> JavaCode Doc -> JavaCode Doc -> DocInOutFunc JavaCode MethodData Source #
OOMethodSym PythonCode Doc (Doc, Terminator) MethodData AttachmentData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods method :: Label -> PythonCode Doc -> PythonCode AttachmentData -> VS (PythonCode TypeData) -> [MS (PythonCode ParamData)] -> MS (PythonCode Body) -> MS (PythonCode MethodData) Source # getMethod :: SVariable PythonCode -> MS (PythonCode MethodData) Source # setMethod :: SVariable PythonCode -> MS (PythonCode MethodData) Source # constructor :: [MS (PythonCode ParamData)] -> Initializers PythonCode -> MS (PythonCode Body) -> MS (PythonCode MethodData) Source # inOutMethod :: Label -> PythonCode Doc -> PythonCode AttachmentData -> InOutFunc PythonCode MethodData Source # docInOutMethod :: Label -> PythonCode Doc -> PythonCode AttachmentData -> DocInOutFunc PythonCode MethodData Source #
OOMethodSym SwiftCode Doc (Doc, Terminator) MethodData Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods method :: Label -> SwiftCode Doc -> SwiftCode Doc -> VS (SwiftCode TypeData) -> [MS (SwiftCode ParamData)] -> MS (SwiftCode Body) -> MS (SwiftCode MethodData) Source # getMethod :: SVariable SwiftCode -> MS (SwiftCode MethodData) Source # setMethod :: SVariable SwiftCode -> MS (SwiftCode MethodData) Source # constructor :: [MS (SwiftCode ParamData)] -> Initializers SwiftCode -> MS (SwiftCode Body) -> MS (SwiftCode MethodData) Source # inOutMethod :: Label -> SwiftCode Doc -> SwiftCode Doc -> InOutFunc SwiftCode MethodData Source # docInOutMethod :: Label -> SwiftCode Doc -> SwiftCode Doc -> DocInOutFunc SwiftCode MethodData Source #
OOMethodSym r vis smt md att => OOMethodSym (LoggingFor r) vis smt md att Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods method :: Label -> LoggingFor r vis -> LoggingFor r att -> VS (LoggingFor r TypeData) -> [MS (LoggingFor r ParamData)] -> MS (LoggingFor r Body) -> MS (LoggingFor r md) Source # getMethod :: SVariable (LoggingFor r) -> MS (LoggingFor r md) Source # setMethod :: SVariable (LoggingFor r) -> MS (LoggingFor r md) Source # constructor :: [MS (LoggingFor r ParamData)] -> Initializers (LoggingFor r) -> MS (LoggingFor r Body) -> MS (LoggingFor r md) Source # inOutMethod :: Label -> LoggingFor r vis -> LoggingFor r att -> InOutFunc (LoggingFor r) md Source # docInOutMethod :: Label -> LoggingFor r vis -> LoggingFor r att -> DocInOutFunc (LoggingFor r) md Source #

privMethod :: OOMethodSym r vis smt md att => Label -> VS (r TypeData) -> [MS (r ParamData)] -> MS (r Body) -> MS (r md) Source #

pubMethod :: OOMethodSym r vis smt md att => Label -> VS (r TypeData) -> [MS (r ParamData)] -> MS (r Body) -> MS (r md) Source #

initializer :: OOMethodSym r vis smt md att => [MS (r ParamData)] -> Initializers r -> MS (r md) Source #

nonInitConstructor :: OOMethodSym r vis smt md att => [MS (r ParamData)] -> MS (r Body) -> MS (r md) Source #

class (VisibilitySym r vis, AttachmentSym r att, VariableSym r) => StateVarSym r vis svr att | r -> svr where Source #

Methods

stateVar :: r vis -> r att -> SVariable r -> CSStateVar r svr Source #

stateVarDef :: r vis -> r att -> SVariable r -> SValue r -> CSStateVar r svr Source #

constVar :: r vis -> SVariable r -> SValue r -> CSStateVar r svr Source #

Instances

Instances details

StateVarSym CodeInfoOO () () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods stateVar :: CodeInfoOO () -> CodeInfoOO () -> SVariable CodeInfoOO -> CSStateVar CodeInfoOO () Source # stateVarDef :: CodeInfoOO () -> CodeInfoOO () -> SVariable CodeInfoOO -> SValue CodeInfoOO -> CSStateVar CodeInfoOO () Source # constVar :: CodeInfoOO () -> SVariable CodeInfoOO -> SValue CodeInfoOO -> CSStateVar CodeInfoOO () Source #
StateVarSym CSharpCode Doc StateVar Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods stateVar :: CSharpCode Doc -> CSharpCode Doc -> SVariable CSharpCode -> CSStateVar CSharpCode StateVar Source # stateVarDef :: CSharpCode Doc -> CSharpCode Doc -> SVariable CSharpCode -> SValue CSharpCode -> CSStateVar CSharpCode StateVar Source # constVar :: CSharpCode Doc -> SVariable CSharpCode -> SValue CSharpCode -> CSStateVar CSharpCode StateVar Source #
StateVarSym JavaCode Doc Doc Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods stateVar :: JavaCode Doc -> JavaCode Doc -> SVariable JavaCode -> CSStateVar JavaCode Doc Source # stateVarDef :: JavaCode Doc -> JavaCode Doc -> SVariable JavaCode -> SValue JavaCode -> CSStateVar JavaCode Doc Source # constVar :: JavaCode Doc -> SVariable JavaCode -> SValue JavaCode -> CSStateVar JavaCode Doc Source #
StateVarSym PythonCode Doc Doc AttachmentData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods stateVar :: PythonCode Doc -> PythonCode AttachmentData -> SVariable PythonCode -> CSStateVar PythonCode Doc Source # stateVarDef :: PythonCode Doc -> PythonCode AttachmentData -> SVariable PythonCode -> SValue PythonCode -> CSStateVar PythonCode Doc Source # constVar :: PythonCode Doc -> SVariable PythonCode -> SValue PythonCode -> CSStateVar PythonCode Doc Source #
StateVarSym SwiftCode Doc Doc Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods stateVar :: SwiftCode Doc -> SwiftCode Doc -> SVariable SwiftCode -> CSStateVar SwiftCode Doc Source # stateVarDef :: SwiftCode Doc -> SwiftCode Doc -> SVariable SwiftCode -> SValue SwiftCode -> CSStateVar SwiftCode Doc Source # constVar :: SwiftCode Doc -> SVariable SwiftCode -> SValue SwiftCode -> CSStateVar SwiftCode Doc Source #
StateVarSym CppHdrCode (Doc, VisibilityTag) StateVarData AttachmentData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods stateVar :: CppHdrCode (Doc, VisibilityTag) -> CppHdrCode AttachmentData -> SVariable CppHdrCode -> CSStateVar CppHdrCode StateVarData Source # stateVarDef :: CppHdrCode (Doc, VisibilityTag) -> CppHdrCode AttachmentData -> SVariable CppHdrCode -> SValue CppHdrCode -> CSStateVar CppHdrCode StateVarData Source # constVar :: CppHdrCode (Doc, VisibilityTag) -> SVariable CppHdrCode -> SValue CppHdrCode -> CSStateVar CppHdrCode StateVarData Source #
StateVarSym CppSrcCode (Doc, VisibilityTag) StateVarData AttachmentData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods stateVar :: CppSrcCode (Doc, VisibilityTag) -> CppSrcCode AttachmentData -> SVariable CppSrcCode -> CSStateVar CppSrcCode StateVarData Source # stateVarDef :: CppSrcCode (Doc, VisibilityTag) -> CppSrcCode AttachmentData -> SVariable CppSrcCode -> SValue CppSrcCode -> CSStateVar CppSrcCode StateVarData Source # constVar :: CppSrcCode (Doc, VisibilityTag) -> SVariable CppSrcCode -> SValue CppSrcCode -> CSStateVar CppSrcCode StateVarData Source #
StateVarSym r vis svr att => StateVarSym (LoggingFor r) vis svr att Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods stateVar :: LoggingFor r vis -> LoggingFor r att -> SVariable (LoggingFor r) -> CSStateVar (LoggingFor r) svr Source # stateVarDef :: LoggingFor r vis -> LoggingFor r att -> SVariable (LoggingFor r) -> SValue (LoggingFor r) -> CSStateVar (LoggingFor r) svr Source # constVar :: LoggingFor r vis -> SVariable (LoggingFor r) -> SValue (LoggingFor r) -> CSStateVar (LoggingFor r) svr Source #
Pair p => StateVarSym (p CppSrcCode CppHdrCode) (Doc, VisibilityTag) StateVarData AttachmentData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods stateVar :: p CppSrcCode CppHdrCode (Doc, VisibilityTag) -> p CppSrcCode CppHdrCode AttachmentData -> SVariable (p CppSrcCode CppHdrCode) -> CSStateVar (p CppSrcCode CppHdrCode) StateVarData Source # stateVarDef :: p CppSrcCode CppHdrCode (Doc, VisibilityTag) -> p CppSrcCode CppHdrCode AttachmentData -> SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> CSStateVar (p CppSrcCode CppHdrCode) StateVarData Source # constVar :: p CppSrcCode CppHdrCode (Doc, VisibilityTag) -> SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> CSStateVar (p CppSrcCode CppHdrCode) StateVarData Source #

privDVar :: StateVarSym r vis svr att => SVariable r -> CSStateVar r svr Source #

pubDVar :: StateVarSym r vis svr att => SVariable r -> CSStateVar r svr Source #

pubSVar :: StateVarSym r vis svr att => SVariable r -> CSStateVar r svr Source #

class AttachmentSym r att | r -> att where Source #

Used to differentiate whether a member is attached to the class or the instance

Methods

classLevel :: r att Source #

instanceLevel :: r att Source #

Instances

Instances details

AttachmentSym CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods classLevel :: CodeInfoOO () Source # instanceLevel :: CodeInfoOO () Source #
AttachmentSym CSharpCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods classLevel :: CSharpCode Doc Source # instanceLevel :: CSharpCode Doc Source #
AttachmentSym CppHdrCode AttachmentData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods classLevel :: CppHdrCode AttachmentData Source # instanceLevel :: CppHdrCode AttachmentData Source #
AttachmentSym CppSrcCode AttachmentData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods classLevel :: CppSrcCode AttachmentData Source # instanceLevel :: CppSrcCode AttachmentData Source #
AttachmentSym JavaCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods classLevel :: JavaCode Doc Source # instanceLevel :: JavaCode Doc Source #
AttachmentSym PythonCode AttachmentData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods classLevel :: PythonCode AttachmentData Source # instanceLevel :: PythonCode AttachmentData Source #
AttachmentSym SwiftCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods classLevel :: SwiftCode Doc Source # instanceLevel :: SwiftCode Doc Source #
AttachmentSym r att => AttachmentSym (LoggingFor r) att Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods classLevel :: LoggingFor r att Source # instanceLevel :: LoggingFor r att Source #
Pair p => AttachmentSym (p CppSrcCode CppHdrCode) AttachmentData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods classLevel :: p CppSrcCode CppHdrCode AttachmentData Source # instanceLevel :: p CppSrcCode CppHdrCode AttachmentData Source #

class FunctionSym r => OOFunctionSym r where Source #

Methods

func :: Label -> VS (r TypeData) -> [SValue r] -> VS (r FuncData) Source #

objAccess :: SValue r -> VS (r FuncData) -> SValue r Source #

Instances

Instances details

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

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

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

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

Methods

notifyObservers :: VS (r FuncData) -> VS (r TypeData) -> MS (r smt) Source #

Instances

Instances details

ObserverPattern CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods notifyObservers :: VS (CodeInfoOO FuncData) -> VS (CodeInfoOO TypeData) -> MS (CodeInfoOO ()) Source #
ObserverPattern CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods notifyObservers :: VS (CSharpCode FuncData) -> VS (CSharpCode TypeData) -> MS (CSharpCode (Doc, Terminator)) Source #
ObserverPattern CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods notifyObservers :: VS (CppHdrCode FuncData) -> VS (CppHdrCode TypeData) -> MS (CppHdrCode (Doc, Terminator)) Source #
ObserverPattern CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods notifyObservers :: VS (CppSrcCode FuncData) -> VS (CppSrcCode TypeData) -> MS (CppSrcCode (Doc, Terminator)) Source #
ObserverPattern JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods notifyObservers :: VS (JavaCode FuncData) -> VS (JavaCode TypeData) -> MS (JavaCode (Doc, Terminator)) Source #
ObserverPattern PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods notifyObservers :: VS (PythonCode FuncData) -> VS (PythonCode TypeData) -> MS (PythonCode (Doc, Terminator)) Source #
ObserverPattern SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods notifyObservers :: VS (SwiftCode FuncData) -> VS (SwiftCode TypeData) -> MS (SwiftCode (Doc, Terminator)) Source #
ObserverPattern r smt => ObserverPattern (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods notifyObservers :: VS (LoggingFor r FuncData) -> VS (LoggingFor r TypeData) -> MS (LoggingFor r smt) Source #
Pair p => ObserverPattern (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods notifyObservers :: VS (p CppSrcCode CppHdrCode FuncData) -> VS (p CppSrcCode CppHdrCode TypeData) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source #

observerListName :: Label Source #

initObserverList :: DeclStatement r smt => VS (r TypeData) -> [SValue r] -> r ScopeData -> MS (r smt) Source #

addObserver :: (OOVariableValue r, List r smt) => SValue r -> MS (r smt) Source #

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

Methods

runStrategy :: Label -> [(Label, MS (r Body))] -> Maybe (SValue r) -> Maybe (SVariable r) -> MS (r Block) Source #

Instances

Instances details

StrategyPattern CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods runStrategy :: Label -> [(Label, MS (CodeInfoOO Body))] -> Maybe (SValue CodeInfoOO) -> Maybe (SVariable CodeInfoOO) -> MS (CodeInfoOO Block) Source #
StrategyPattern CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods runStrategy :: Label -> [(Label, MS (CSharpCode Body))] -> Maybe (SValue CSharpCode) -> Maybe (SVariable CSharpCode) -> MS (CSharpCode Block) Source #
StrategyPattern CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods runStrategy :: Label -> [(Label, MS (CppHdrCode Body))] -> Maybe (SValue CppHdrCode) -> Maybe (SVariable CppHdrCode) -> MS (CppHdrCode Block) Source #
StrategyPattern CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods runStrategy :: Label -> [(Label, MS (CppSrcCode Body))] -> Maybe (SValue CppSrcCode) -> Maybe (SVariable CppSrcCode) -> MS (CppSrcCode Block) Source #
StrategyPattern JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods runStrategy :: Label -> [(Label, MS (JavaCode Body))] -> Maybe (SValue JavaCode) -> Maybe (SVariable JavaCode) -> MS (JavaCode Block) Source #
StrategyPattern PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods runStrategy :: Label -> [(Label, MS (PythonCode Body))] -> Maybe (SValue PythonCode) -> Maybe (SVariable PythonCode) -> MS (PythonCode Block) Source #
StrategyPattern SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods runStrategy :: Label -> [(Label, MS (SwiftCode Body))] -> Maybe (SValue SwiftCode) -> Maybe (SVariable SwiftCode) -> MS (SwiftCode Block) Source #
StrategyPattern r smt => StrategyPattern (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods runStrategy :: Label -> [(Label, MS (LoggingFor r Body))] -> Maybe (SValue (LoggingFor r)) -> Maybe (SVariable (LoggingFor r)) -> MS (LoggingFor r Block) Source #
Pair p => StrategyPattern (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods runStrategy :: Label -> [(Label, MS (p CppSrcCode CppHdrCode Body))] -> Maybe (SValue (p CppSrcCode CppHdrCode)) -> Maybe (SVariable (p CppSrcCode CppHdrCode)) -> MS (p CppSrcCode CppHdrCode Block) Source #

convTypeOO :: OOTypeSym r => CodeType -> VS (r TypeData) Source #