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, OOVariableValue r, BooleanExpression r, Comparison r, NumericExpression r, InternalValueExp r, OOValueExpression r, Array r, List r, ListStatement r stmt, Reference r, Set r, OOFunctionSym r, ParameterSym r, VariableValue r, ScopeSym r, BinderSym r, InternalList r block, MethodSym r vis mthd bod, OOMethodSym r vis mthd attch bod, ClassSym r vis mthd stvr attch, TypeElim r, VariableElim r, EmptyStatement r stmt, MultiStatement r stmt, ValueStatement r stmt, CommentStatement r stmt, OODeclStatement r stmt bod, AssignStatement 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 StateVarSym r vis stvr attch => ClassSym (r :: Type -> Type) vis mthd stvr attch | r -> mthd 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 TypeSym r => OOTypeSym (r :: Type -> Type) where
- obj :: ClassName -> VS (r TypeData)
class (VariableSym r, OOTypeSym r) => 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 OOVariableSym r => SelfSym (r :: Type -> Type) where
- self :: SVariable r
instanceVarSelf :: (SelfSym r, VariableValue r) => SVariable r -> SVariable r
class (ValueSym r, OOTypeSym r) => OOValueSym (r :: Type -> Type)
class (VariableValue r, OOVariableSym r, SelfSym r) => OOVariableValue (r :: Type -> Type)
class (ValueExpression r, OOVariableSym r, OOValueSym r) => 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 (DeclStatement r stmt bod, OOVariableSym r) => OODeclStatement (r :: Type -> Type) stmt bod 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 bod => SVariable r -> r ScopeData -> MS (r stmt)
extObjDecNewNoParams :: OODeclStatement r stmt bod => Library -> SVariable r -> r ScopeData -> MS (r stmt)
class (FuncAppStatement r stmt, OOVariableSym r) => OOFuncAppStatement (r :: Type -> Type) stmt where
- selfInOutCall :: InOutCall r stmt
class (ValueSym r, VariableSym r) => GetSet (r :: Type -> Type) where
- get :: SValue r -> SVariable r -> SValue r
- set :: SValue r -> SVariable r -> SValue r -> SValue r
class ValueSym r => 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 AttachmentSym r attch => OOMethodSym (r :: Type -> Type) vis mthd attch bod | r -> vis mthd 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, VisibilitySym r vis) => Label -> VS (r TypeData) -> [MS (r ParamData)] -> MS (r bod) -> MS (r mthd)
pubMethod :: (OOMethodSym r vis mthd attch bod, 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 (VisibilitySym r vis, AttachmentSym r attch, VariableSym r) => StateVarSym (r :: Type -> Type) vis stvr attch | r -> stvr 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 :: StateVarSym r vis stvr attch => SVariable r -> CSStateVar r stvr
pubDVar :: StateVarSym r vis stvr attch => SVariable r -> CSStateVar r stvr
pubSVar :: 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 FunctionSym r => 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 :: (OOVariableValue r, OOFunctionSym r) => VS (r FuncData) -> SValue r
class OOFunctionSym r => ObserverPattern (r :: Type -> Type) stmt | r -> stmt where
- notifyObservers :: VS (r FuncData) -> VS (r TypeData) -> MS (r stmt)
observerListName :: Label
initObserverList :: DeclStatement r stmt bod => VS (r TypeData) -> [SValue r] -> r ScopeData -> MS (r stmt)
addObserver :: (OOVariableValue r, List r, ListStatement r stmt) => SValue r -> MS (r stmt)
class VariableSym r => 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 :: 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, OOVariableValue r, BooleanExpression r, Comparison r, NumericExpression r, InternalValueExp r, OOValueExpression r, Array r, List r, ListStatement r stmt, Reference r, Set r, OOFunctionSym r, ParameterSym r, VariableValue r, ScopeSym r, BinderSym r, InternalList r block, MethodSym r vis mthd bod, OOMethodSym r vis mthd attch bod, ClassSym r vis mthd stvr attch, TypeElim r, VariableElim r, EmptyStatement r stmt, MultiStatement r stmt, ValueStatement r stmt, CommentStatement r stmt, OODeclStatement r stmt bod, AssignStatement 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 StateVarSym r vis stvr attch => ClassSym (r :: Type -> Type) vis mthd stvr attch | r -> mthd 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 Doc 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 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 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 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 mthd stvr attch => ClassSym (LoggingFor r) vis mthd stvr attch 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 TypeSym r => 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 (VariableSym r, OOTypeSym r) => 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 OOVariableSym r => 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 :: (SelfSym r, VariableValue r) => SVariable r -> SVariable r Source #

Given a variable v, creates `self.v`

class (ValueSym r, OOTypeSym r) => OOValueSym (r :: Type -> Type) 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 :: Type -> Type) 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 :: 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 (DeclStatement r stmt bod, OOVariableSym r) => OODeclStatement (r :: Type -> Type) stmt bod 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) Body 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) Body 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) Body 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) Body 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) Body 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) Body 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 bod) => OODeclStatement (LoggingFor r) stmt bod 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) Body 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 bod => SVariable r -> r ScopeData -> MS (r stmt) Source #

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

class (FuncAppStatement r stmt, OOVariableSym r) => OOFuncAppStatement (r :: Type -> Type) 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 (ValueSym r, VariableSym r) => 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 ValueSym r => 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 AttachmentSym r attch => OOMethodSym (r :: Type -> Type) vis mthd attch bod | r -> vis mthd 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, VisibilitySym r vis) => Label -> VS (r TypeData) -> [MS (r ParamData)] -> MS (r bod) -> MS (r mthd) Source #

pubMethod :: (OOMethodSym r vis mthd attch bod, 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 (VisibilitySym r vis, AttachmentSym r attch, VariableSym r) => StateVarSym (r :: Type -> Type) vis stvr attch | r -> stvr 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 :: StateVarSym r vis stvr attch => SVariable r -> CSStateVar r stvr Source #

pubDVar :: StateVarSym r vis stvr attch => SVariable r -> CSStateVar r stvr Source #

pubSVar :: 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 FunctionSym r => 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 :: (OOVariableValue r, OOFunctionSym r) => VS (r FuncData) -> SValue r Source #

class OOFunctionSym r => 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 :: DeclStatement r stmt bod => VS (r TypeData) -> [SValue r] -> r ScopeData -> MS (r stmt) Source #

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

class VariableSym r => 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 :: OOTypeSym r => CodeType -> VS (r TypeData) Source #