Safe Haskell	None
Language	GHC2024

Drasil.GOOL.InterfaceGOOL

Synopsis

type Program = ProgData
type GSProgram (a :: k -> Type) (prg :: k) = GS (a prg)
type Class = Doc
type StateVar = Doc
type CSStateVar (r :: k -> Type) (stvr :: k) = CS (r stvr)
type Initializers (r :: Type -> Type) = [(SVariable r, SValue r)]
class (UnRepr r TypeData, Argument r, BodySym r bod block, BlockSym r block stmt, CommandLineArgs r, Literal r, MathConstant r, VariableValue r, VariableSym r, TypeSym r, OOTypeSym r, OOVariableSym r, SelfSym r, BooleanExpression r, Comparison r, NumericExpression r, ValueSym r, InternalValueExp r, ValueExpression r, OOValueExpression r, IndexTranslator r, Array r, List r, ListStatement r stmt, Reference r, Set r, FunctionSym r, OOFunctionSym r, ParameterSym r, ScopeSym r, BinderSym r, InternalList r block, MethodSym r vis mthd bod, OOMethodSym r vis mthd attch bod, AttachmentSym r attch, VisibilitySym r vis, StateVarSym r vis stvr attch, ClassSym r mthd stvr, TypeElim r, VariableElim r, EmptyStatement r stmt, MultiStatement r stmt, ValueStatement r stmt, CommentStatement r stmt, DeclStatement r stmt bod, OODeclStatement r stmt, AssignStatement r stmt, FuncAppStatement r stmt, OOFuncAppStatement r stmt, ControlStatement r stmt bod, StringStatement r stmt, PrintConsole r stmt, ReadConsole r stmt, FileHandling r stmt, PrintFile r stmt, ReadFile r stmt, ModuleSym r mod mthd, FileSym r file mod, ProgramSym r prg file) => OOProg (r :: Type -> Type) vis stmt mthd stvr attch prg file mod bod block
class ProgramSym (r :: k -> Type) (prg :: k) (file :: k) | r -> prg file where
- prog :: Label -> Label -> [FS (r file)] -> GSProgram r prg
class FileSym (r :: k -> Type) (file :: k) (mod :: k) | r -> file mod where
- fileDoc :: FS (r mod) -> FS (r file)
- docMod :: String -> String -> [String] -> String -> FS (r file) -> FS (r file)
class ModuleSym (r :: Type -> Type) mod mthd | r -> mod mthd where
- buildModule :: Label -> [Label] -> [MS (r mthd)] -> [CS (r Class)] -> FS (r mod)
class ClassSym (r :: Type -> Type) mthd stvr | r -> mthd stvr where
- buildClass :: Maybe Label -> [CSStateVar r stvr] -> [MS (r mthd)] -> [MS (r mthd)] -> CS (r Class)
- extraClass :: Label -> Maybe Label -> [CSStateVar r stvr] -> [MS (r mthd)] -> [MS (r mthd)] -> CS (r Class)
- implementingClass :: Label -> [Label] -> [CSStateVar r stvr] -> [MS (r mthd)] -> [MS (r mthd)] -> CS (r Class)
- docClass :: String -> CS (r Class) -> CS (r Class)
class OOTypeSym (r :: Type -> Type) where
- obj :: ClassName -> VS (r TypeData)
class OOVariableSym (r :: Type -> Type) 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 SelfSym (r :: Type -> Type) where
- self :: SVariable r
instanceVarSelf :: (OOVariableSym r, SelfSym r, VariableValue r) => SVariable r -> SVariable r
class OOValueExpression (r :: Type -> Type) 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 OODeclStatement (r :: Type -> Type) stmt | r -> stmt where
- objDecDef :: SVariable r -> r ScopeData -> SValue r -> MS (r stmt)
- objDecNew :: SVariable r -> r ScopeData -> [SValue r] -> MS (r stmt)
- extObjDecNew :: Library -> SVariable r -> r ScopeData -> [SValue r] -> MS (r stmt)
objDecNewNoParams :: OODeclStatement r stmt => SVariable r -> r ScopeData -> MS (r stmt)
extObjDecNewNoParams :: OODeclStatement r stmt => Library -> SVariable r -> r ScopeData -> MS (r stmt)
class OOFuncAppStatement (r :: Type -> Type) stmt | r -> stmt where
- selfInOutCall :: InOutCall r stmt
class GetSet (r :: Type -> Type) where
- get :: SValue r -> SVariable r -> SValue r
- set :: SValue r -> SVariable r -> SValue r -> SValue r
class InternalValueExp (r :: Type -> Type) 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 OOMethodSym (r :: Type -> Type) vis mthd attch bod | r -> vis mthd attch bod where
- method :: Label -> r vis -> r attch -> VS (r TypeData) -> [MS (r ParamData)] -> MS (r bod) -> MS (r mthd)
- getMethod :: SVariable r -> MS (r mthd)
- setMethod :: SVariable r -> MS (r mthd)
- constructor :: [MS (r ParamData)] -> Initializers r -> MS (r bod) -> MS (r mthd)
- inOutMethod :: Label -> r vis -> r attch -> InOutFunc r mthd bod
- docInOutMethod :: Label -> r vis -> r attch -> DocInOutFunc r mthd bod
privMethod :: (OOMethodSym r vis mthd attch bod, AttachmentSym r attch, VisibilitySym r vis) => Label -> VS (r TypeData) -> [MS (r ParamData)] -> MS (r bod) -> MS (r mthd)
pubMethod :: (OOMethodSym r vis mthd attch bod, AttachmentSym r attch, VisibilitySym r vis) => Label -> VS (r TypeData) -> [MS (r ParamData)] -> MS (r bod) -> MS (r mthd)
initializer :: (OOMethodSym r vis mthd attch bod, BodySym r bod block) => [MS (r ParamData)] -> Initializers r -> MS (r mthd)
nonInitConstructor :: OOMethodSym r vis mthd attch bod => [MS (r ParamData)] -> MS (r bod) -> MS (r mthd)
class StateVarSym (r :: Type -> Type) vis stvr attch | r -> vis stvr attch where
- stateVar :: r vis -> r attch -> SVariable r -> CSStateVar r stvr
- stateVarDef :: r vis -> r attch -> SVariable r -> SValue r -> CSStateVar r stvr
- constVar :: r vis -> SVariable r -> SValue r -> CSStateVar r stvr
privDVar :: (AttachmentSym r attch, VisibilitySym r vis, StateVarSym r vis stvr attch) => SVariable r -> CSStateVar r stvr
pubDVar :: (AttachmentSym r attch, VisibilitySym r vis, StateVarSym r vis stvr attch) => SVariable r -> CSStateVar r stvr
pubSVar :: (AttachmentSym r attch, VisibilitySym r vis, StateVarSym r vis stvr attch) => SVariable r -> CSStateVar r stvr
class AttachmentSym (r :: k -> Type) (attch :: k) | r -> attch where
- classLevel :: r attch
- instanceLevel :: r attch
class OOFunctionSym (r :: Type -> Type) 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 :: (VariableValue r, SelfSym r, OOFunctionSym r) => VS (r FuncData) -> SValue r
class ObserverPattern (r :: Type -> Type) stmt | r -> stmt where
- notifyObservers :: VS (r FuncData) -> VS (r TypeData) -> MS (r stmt)
observerListName :: Label
initObserverList :: (VariableSym r, DeclStatement r stmt bod) => VS (r TypeData) -> [SValue r] -> r ScopeData -> MS (r stmt)
addObserver :: (VariableSym r, VariableValue r, ValueSym r, List r, ListStatement r stmt) => SValue r -> MS (r stmt)
class StrategyPattern (r :: Type -> Type) bod block | r -> bod block where
- runStrategy :: Label -> [(Label, MS (r bod))] -> Maybe (SValue r) -> Maybe (SVariable r) -> MS (r block)
convTypeOO :: (TypeSym r, OOTypeSym r) => CodeType -> VS (r TypeData)

Documentation

type Program = ProgData Source #

type GSProgram (a :: k -> Type) (prg :: k) = GS (a prg) Source #

type Class = Doc Source #

type StateVar = Doc Source #

type CSStateVar (r :: k -> Type) (stvr :: k) = CS (r stvr) Source #

type Initializers (r :: Type -> Type) = [(SVariable r, SValue r)] Source #

class (UnRepr r TypeData, Argument r, BodySym r bod block, BlockSym r block stmt, CommandLineArgs r, Literal r, MathConstant r, VariableValue r, VariableSym r, TypeSym r, OOTypeSym r, OOVariableSym r, SelfSym r, BooleanExpression r, Comparison r, NumericExpression r, ValueSym r, InternalValueExp r, ValueExpression r, OOValueExpression r, IndexTranslator r, Array r, List r, ListStatement r stmt, Reference r, Set r, FunctionSym r, OOFunctionSym r, ParameterSym r, ScopeSym r, BinderSym r, InternalList r block, MethodSym r vis mthd bod, OOMethodSym r vis mthd attch bod, AttachmentSym r attch, VisibilitySym r vis, StateVarSym r vis stvr attch, ClassSym r mthd stvr, TypeElim r, VariableElim r, EmptyStatement r stmt, MultiStatement r stmt, ValueStatement r stmt, CommentStatement r stmt, DeclStatement r stmt bod, OODeclStatement r stmt, AssignStatement r stmt, FuncAppStatement r stmt, OOFuncAppStatement r stmt, ControlStatement r stmt bod, StringStatement r stmt, PrintConsole r stmt, ReadConsole r stmt, FileHandling r stmt, PrintFile r stmt, ReadFile r stmt, ModuleSym r mod mthd, FileSym r file mod, ProgramSym r prg file) => OOProg (r :: Type -> Type) vis stmt mthd stvr attch prg file mod bod block Source #

Wrapper typeclass that bundles everything essential for generating an object-oriented program.

Instances

Instances details

OOProg CodeInfoOO () () () () () GOOLState () () () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO
OOProg CSharpCode Doc (Doc, Terminator) MethodData StateVar Doc ProgData FileData ModData Body Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
OOProg JavaCode Doc (Doc, Terminator) MethodData StateVar Doc ProgData FileData ModData Body Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
OOProg PythonCode Doc (Doc, Terminator) MethodData StateVar AttachmentData ProgData FileData ModData Body Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer
OOProg SwiftCode Doc (Doc, Terminator) MethodData StateVar Doc ProgData FileData ModData Body Block Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer
OOProg r vis stmt mthd stvr attch prg file mod bod block => OOProg (LoggingFor r) vis stmt mthd stvr attch prg file mod bod block Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor

class ProgramSym (r :: k -> Type) (prg :: k) (file :: k) | r -> prg file where Source #

Class for representing a program. Usually ProgData is used for the representation.

Methods

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

Given program name, program purpose, and list of files, Generates a representation of a program.

Instances

Instances details

ProgramSym CodeInfoOO GOOLState () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods prog :: Label -> Label -> [FS (CodeInfoOO ())] -> GSProgram CodeInfoOO GOOLState Source #
ProgramSym CSharpCode ProgData FileData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods prog :: Label -> Label -> [FS (CSharpCode FileData)] -> GSProgram CSharpCode ProgData Source #
ProgramSym CppSrcCode ProgData FileData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods prog :: Label -> Label -> [FS (CppSrcCode FileData)] -> GSProgram CppSrcCode ProgData Source #
ProgramSym JavaCode ProgData FileData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods prog :: Label -> Label -> [FS (JavaCode FileData)] -> GSProgram JavaCode ProgData Source #
ProgramSym PythonCode ProgData FileData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods prog :: Label -> Label -> [FS (PythonCode FileData)] -> GSProgram PythonCode ProgData Source #
ProgramSym SwiftCode ProgData FileData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods prog :: Label -> Label -> [FS (SwiftCode FileData)] -> GSProgram SwiftCode ProgData Source #
ProgramSym r prg file => ProgramSym (LoggingFor r :: Type -> Type) (prg :: Type) (file :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods prog :: Label -> Label -> [FS (LoggingFor r file)] -> GSProgram (LoggingFor r) prg Source #
Pair p => ProgramSym (p CppSrcCode CppHdrCode :: Type -> Type) ProgData FileData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods prog :: Label -> Label -> [FS (p CppSrcCode CppHdrCode FileData)] -> GSProgram (p CppSrcCode CppHdrCode) ProgData Source #

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

Class for representing a file.

Methods

fileDoc :: FS (r mod) -> FS (r file) Source #

Given a module, generates a representation of a file. (Implicit assumption: exactly one module per file)

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

Given module description, watermark, list of author names, date as a String, and file to comment, creates a documented module (i.e. module with a header comment)

Instances

Instances details

FileSym CodeInfoOO () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods fileDoc :: FS (CodeInfoOO ()) -> FS (CodeInfoOO ()) Source # docMod :: String -> String -> [String] -> String -> FS (CodeInfoOO ()) -> FS (CodeInfoOO ()) Source #
FileSym CSharpCode FileData ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods fileDoc :: FS (CSharpCode ModData) -> FS (CSharpCode FileData) Source # docMod :: String -> String -> [String] -> String -> FS (CSharpCode FileData) -> FS (CSharpCode FileData) Source #
FileSym CppHdrCode FileData ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods fileDoc :: FS (CppHdrCode ModData) -> FS (CppHdrCode FileData) Source # docMod :: String -> String -> [String] -> String -> FS (CppHdrCode FileData) -> FS (CppHdrCode FileData) Source #
FileSym CppSrcCode FileData ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods fileDoc :: FS (CppSrcCode ModData) -> FS (CppSrcCode FileData) Source # docMod :: String -> String -> [String] -> String -> FS (CppSrcCode FileData) -> FS (CppSrcCode FileData) Source #
FileSym JavaCode FileData ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods fileDoc :: FS (JavaCode ModData) -> FS (JavaCode FileData) Source # docMod :: String -> String -> [String] -> String -> FS (JavaCode FileData) -> FS (JavaCode FileData) Source #
FileSym PythonCode FileData ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods fileDoc :: FS (PythonCode ModData) -> FS (PythonCode FileData) Source # docMod :: String -> String -> [String] -> String -> FS (PythonCode FileData) -> FS (PythonCode FileData) Source #
FileSym SwiftCode FileData ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods fileDoc :: FS (SwiftCode ModData) -> FS (SwiftCode FileData) Source # docMod :: String -> String -> [String] -> String -> FS (SwiftCode FileData) -> FS (SwiftCode FileData) Source #
FileSym r file mod => FileSym (LoggingFor r :: Type -> Type) (file :: Type) (mod :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods fileDoc :: FS (LoggingFor r mod) -> FS (LoggingFor r file) Source # docMod :: String -> String -> [String] -> String -> FS (LoggingFor r file) -> FS (LoggingFor r file) Source #
Pair p => FileSym (p CppSrcCode CppHdrCode :: Type -> Type) FileData ModData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods fileDoc :: FS (p CppSrcCode CppHdrCode ModData) -> FS (p CppSrcCode CppHdrCode FileData) Source # docMod :: String -> String -> [String] -> String -> FS (p CppSrcCode CppHdrCode FileData) -> FS (p CppSrcCode CppHdrCode FileData) Source #

class ModuleSym (r :: Type -> Type) mod mthd | r -> mod mthd where Source #

Class for representing a module.

Methods

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

Given module name, list of import names, list of module functions, and list of module classes, generates a representation of a module.

Instances

Instances details

ModuleSym CodeInfoOO () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods buildModule :: Label -> [Label] -> [MS (CodeInfoOO ())] -> [CS (CodeInfoOO Class)] -> FS (CodeInfoOO ()) Source #
ModuleSym CSharpCode ModData MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods buildModule :: Label -> [Label] -> [MS (CSharpCode MethodData)] -> [CS (CSharpCode Class)] -> FS (CSharpCode ModData) Source #
ModuleSym JavaCode ModData MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods buildModule :: Label -> [Label] -> [MS (JavaCode MethodData)] -> [CS (JavaCode Class)] -> FS (JavaCode ModData) Source #
ModuleSym PythonCode ModData MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods buildModule :: Label -> [Label] -> [MS (PythonCode MethodData)] -> [CS (PythonCode Class)] -> FS (PythonCode ModData) Source #
ModuleSym SwiftCode ModData MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods buildModule :: Label -> [Label] -> [MS (SwiftCode MethodData)] -> [CS (SwiftCode Class)] -> FS (SwiftCode ModData) Source #
ModuleSym r mod mthd => ModuleSym (LoggingFor r) mod mthd Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods buildModule :: Label -> [Label] -> [MS (LoggingFor r mthd)] -> [CS (LoggingFor r Class)] -> FS (LoggingFor r mod) Source #

class ClassSym (r :: Type -> Type) mthd stvr | r -> mthd stvr where Source #

Class for representing an OO class.

Methods

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

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

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

Creates an extra class, i.e. with a different name than the module name. Inputs: class name, the rest are the same as buildClass.

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

Creates a class implementing a list of 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 MethodData StateVar 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 MethodData StateVar 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 MethodData StateVar 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 MethodData StateVar 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 mthd stvr => ClassSym (LoggingFor r) mthd stvr Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods buildClass :: Maybe Label -> [CSStateVar (LoggingFor r) stvr] -> [MS (LoggingFor r mthd)] -> [MS (LoggingFor r mthd)] -> CS (LoggingFor r Class) Source # extraClass :: Label -> Maybe Label -> [CSStateVar (LoggingFor r) stvr] -> [MS (LoggingFor r mthd)] -> [MS (LoggingFor r mthd)] -> CS (LoggingFor r Class) Source # implementingClass :: Label -> [Label] -> [CSStateVar (LoggingFor r) stvr] -> [MS (LoggingFor r mthd)] -> [MS (LoggingFor r mthd)] -> CS (LoggingFor r Class) Source # docClass :: String -> CS (LoggingFor r Class) -> CS (LoggingFor r Class) Source #

class OOTypeSym (r :: Type -> Type) 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 OOVariableSym (r :: Type -> Type) 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 SelfSym (r :: Type -> Type) 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 :: (OOVariableSym r, SelfSym r, VariableValue r) => SVariable r -> SVariable r Source #

Given a variable v, creates `self.v`

class OOValueExpression (r :: Type -> Type) 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 OODeclStatement (r :: Type -> Type) stmt | r -> stmt where Source #

Methods

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

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

extObjDecNew :: Library -> SVariable r -> r ScopeData -> [SValue r] -> MS (r stmt) 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) stmt bod, OODeclStatement r stmt) => OODeclStatement (LoggingFor r) stmt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods objDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source # objDecNew :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> [SValue (LoggingFor r)] -> MS (LoggingFor r stmt) Source # extObjDecNew :: Library -> SVariable (LoggingFor r) -> LoggingFor r ScopeData -> [SValue (LoggingFor r)] -> MS (LoggingFor r stmt) 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 stmt => SVariable r -> r ScopeData -> MS (r stmt) Source #

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

class OOFuncAppStatement (r :: Type -> Type) stmt | r -> stmt where Source #

Methods

selfInOutCall :: InOutCall r stmt 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 stmt => OOFuncAppStatement (LoggingFor r) stmt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods selfInOutCall :: InOutCall (LoggingFor r) stmt 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 GetSet (r :: Type -> Type) 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 InternalValueExp (r :: Type -> Type) where Source #

A class for representing method calls, both instance- and class-level

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 OOMethodSym (r :: Type -> Type) vis mthd attch bod | r -> vis mthd attch bod where Source #

Methods

method :: Label -> r vis -> r attch -> VS (r TypeData) -> [MS (r ParamData)] -> MS (r bod) -> MS (r mthd) Source #

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

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

constructor :: [MS (r ParamData)] -> Initializers r -> MS (r bod) -> MS (r mthd) Source #

inOutMethod :: Label -> r vis -> r attch -> InOutFunc r mthd bod Source #

docInOutMethod :: Label -> r vis -> r attch -> DocInOutFunc r mthd bod 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 ()) -> MS (CodeInfoOO ()) Source # getMethod :: SVariable CodeInfoOO -> MS (CodeInfoOO ()) Source # setMethod :: SVariable CodeInfoOO -> MS (CodeInfoOO ()) Source # constructor :: [MS (CodeInfoOO ParamData)] -> Initializers CodeInfoOO -> MS (CodeInfoOO ()) -> MS (CodeInfoOO ()) Source # inOutMethod :: Label -> CodeInfoOO () -> CodeInfoOO () -> InOutFunc CodeInfoOO () () Source # docInOutMethod :: Label -> CodeInfoOO () -> CodeInfoOO () -> DocInOutFunc CodeInfoOO () () Source #
OOMethodSym CSharpCode Doc MethodData Doc Body 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 Body Source # docInOutMethod :: Label -> CSharpCode Doc -> CSharpCode Doc -> DocInOutFunc CSharpCode MethodData Body Source #
OOMethodSym JavaCode Doc MethodData Doc Body 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 Body Source # docInOutMethod :: Label -> JavaCode Doc -> JavaCode Doc -> DocInOutFunc JavaCode MethodData Body Source #
OOMethodSym PythonCode Doc MethodData AttachmentData Body 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 Body Source # docInOutMethod :: Label -> PythonCode Doc -> PythonCode AttachmentData -> DocInOutFunc PythonCode MethodData Body Source #
OOMethodSym SwiftCode Doc MethodData Doc Body 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 Body Source # docInOutMethod :: Label -> SwiftCode Doc -> SwiftCode Doc -> DocInOutFunc SwiftCode MethodData Body Source #
OOMethodSym r vis mthd attch bod => OOMethodSym (LoggingFor r) vis mthd attch bod Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods method :: Label -> LoggingFor r vis -> LoggingFor r attch -> VS (LoggingFor r TypeData) -> [MS (LoggingFor r ParamData)] -> MS (LoggingFor r bod) -> MS (LoggingFor r mthd) Source # getMethod :: SVariable (LoggingFor r) -> MS (LoggingFor r mthd) Source # setMethod :: SVariable (LoggingFor r) -> MS (LoggingFor r mthd) Source # constructor :: [MS (LoggingFor r ParamData)] -> Initializers (LoggingFor r) -> MS (LoggingFor r bod) -> MS (LoggingFor r mthd) Source # inOutMethod :: Label -> LoggingFor r vis -> LoggingFor r attch -> InOutFunc (LoggingFor r) mthd bod Source # docInOutMethod :: Label -> LoggingFor r vis -> LoggingFor r attch -> DocInOutFunc (LoggingFor r) mthd bod Source #

privMethod :: (OOMethodSym r vis mthd attch bod, AttachmentSym r attch, VisibilitySym r vis) => Label -> VS (r TypeData) -> [MS (r ParamData)] -> MS (r bod) -> MS (r mthd) Source #

pubMethod :: (OOMethodSym r vis mthd attch bod, AttachmentSym r attch, VisibilitySym r vis) => Label -> VS (r TypeData) -> [MS (r ParamData)] -> MS (r bod) -> MS (r mthd) Source #

initializer :: (OOMethodSym r vis mthd attch bod, BodySym r bod block) => [MS (r ParamData)] -> Initializers r -> MS (r mthd) Source #

nonInitConstructor :: OOMethodSym r vis mthd attch bod => [MS (r ParamData)] -> MS (r bod) -> MS (r mthd) Source #

class StateVarSym (r :: Type -> Type) vis stvr attch | r -> vis stvr attch where Source #

Class for representing class variables, both instance- and class-level. Used when creating a class, to hold extra information about Attachment and Visibility. Usually Doc is used for the representation.

Methods

stateVar :: r vis -> r attch -> SVariable r -> CSStateVar r stvr Source #

Given a visibility, attachment, and variable, represent the declaration of a state variable with no initial value.

stateVarDef :: r vis -> r attch -> SVariable r -> SValue r -> CSStateVar r stvr Source #

Given a visibility, attachment, variable, and initial value, represent the declaration of a state variable with the given initial value.

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

Given a visibility, variable, and value, represent the declaration of a state constant with the given value.

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 stvr attch => StateVarSym (LoggingFor r) vis stvr attch Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods stateVar :: LoggingFor r vis -> LoggingFor r attch -> SVariable (LoggingFor r) -> CSStateVar (LoggingFor r) stvr Source # stateVarDef :: LoggingFor r vis -> LoggingFor r attch -> SVariable (LoggingFor r) -> SValue (LoggingFor r) -> CSStateVar (LoggingFor r) stvr Source # constVar :: LoggingFor r vis -> SVariable (LoggingFor r) -> SValue (LoggingFor r) -> CSStateVar (LoggingFor r) stvr 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 :: (AttachmentSym r attch, VisibilitySym r vis, StateVarSym r vis stvr attch) => SVariable r -> CSStateVar r stvr Source #

pubDVar :: (AttachmentSym r attch, VisibilitySym r vis, StateVarSym r vis stvr attch) => SVariable r -> CSStateVar r stvr Source #

pubSVar :: (AttachmentSym r attch, VisibilitySym r vis, StateVarSym r vis stvr attch) => SVariable r -> CSStateVar r stvr Source #

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

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

Methods

classLevel :: r attch Source #

instanceLevel :: r attch 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 attch => AttachmentSym (LoggingFor r :: Type -> Type) (attch :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods classLevel :: LoggingFor r attch Source # instanceLevel :: LoggingFor r attch Source #
Pair p => AttachmentSym (p CppSrcCode CppHdrCode :: Type -> Type) AttachmentData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods classLevel :: p CppSrcCode CppHdrCode AttachmentData Source # instanceLevel :: p CppSrcCode CppHdrCode AttachmentData Source #

class OOFunctionSym (r :: Type -> Type) 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 :: (VariableValue r, SelfSym r, OOFunctionSym r) => VS (r FuncData) -> SValue r Source #

class ObserverPattern (r :: Type -> Type) stmt | r -> stmt where Source #

Methods

notifyObservers :: VS (r FuncData) -> VS (r TypeData) -> MS (r stmt) 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 stmt => ObserverPattern (LoggingFor r) stmt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods notifyObservers :: VS (LoggingFor r FuncData) -> VS (LoggingFor r TypeData) -> MS (LoggingFor r stmt) 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 :: (VariableSym r, DeclStatement r stmt bod) => VS (r TypeData) -> [SValue r] -> r ScopeData -> MS (r stmt) Source #

addObserver :: (VariableSym r, VariableValue r, ValueSym r, List r, ListStatement r stmt) => SValue r -> MS (r stmt) Source #

class StrategyPattern (r :: Type -> Type) bod block | r -> bod block where Source #

Methods

runStrategy :: Label -> [(Label, MS (r bod))] -> 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 ()))] -> Maybe (SValue CodeInfoOO) -> Maybe (SVariable CodeInfoOO) -> MS (CodeInfoOO ()) Source #
StrategyPattern CSharpCode Body Block 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 Body Block 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 Body Block 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 Body Block 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 Body Block 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 Body Block 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 bod block => StrategyPattern (LoggingFor r) bod block Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods runStrategy :: Label -> [(Label, MS (LoggingFor r bod))] -> Maybe (SValue (LoggingFor r)) -> Maybe (SVariable (LoggingFor r)) -> MS (LoggingFor r block) Source #
Pair p => StrategyPattern (p CppSrcCode CppHdrCode) Body Block 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 :: (TypeSym r, OOTypeSym r) => CodeType -> VS (r TypeData) Source #