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 :: k -> Type) (var :: k) (val :: k) = [(VS (r var), VS (r val))]
class (UnRepr r typ, Argument r val, BodySym r bod block, BlockSym r block stmt, CommandLineArgs r val, Literal r val typ, MathConstant r val, VariableValue r var val, VariableSym r var typ, TypeSym r typ, OOTypeSym r typ, OOVariableSym r var val typ, SelfSym r var, BooleanExpression r val, Comparison r val, NumericExpression r val, ValueSym r val typ, InternalValueExp r var val typ, ValueExpression r var val binder typ, OOValueExpression r var val typ, IndexTranslator r val, Array r var val, List r val, ListStatement r stmt val, Reference r val, Set r val, OOFunctionSym r val typ, ParameterSym r param var, ScopeSym r scope, BinderSym r binder typ, InternalList r block var val, MethodSym r mthd vis param bod var typ, OOMethodSym r mthd attch vis param bod var val typ, AttachmentSym r attch, VisibilitySym r vis, StateVarSym r stvr attch vis var val, ClassSym r cls stvr mthd, TypeElim r typ, VariableElim r var typ, EmptyStatement r stmt, MultiStatement r stmt, ValueStatement r stmt val, CommentStatement r stmt, DeclStatement r bod stmt var scope val, OODeclStatement r stmt var scope val, AssignStatement r stmt var val, FuncAppStatement r stmt var val, OOFuncAppStatement r stmt var val, ControlStatement r bod stmt var val, StringStatement r stmt var val, PrintConsole r stmt val, ReadConsole r stmt var, FileHandling r stmt var val, PrintFile r stmt val, ReadFile r stmt var val, ModuleSym r mod cls mthd, FileSym r file mod, ProgramSym r prg file) => OOProg (r :: Type -> Type) prg file mod cls stvr mthd attch vis param bod block stmt var scope val binder typ
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 :: k -> Type) (mod :: k) (cls :: k) (mthd :: k) | r -> mod cls mthd where
- buildModule :: Label -> [Label] -> [MS (r mthd)] -> [CS (r cls)] -> FS (r mod)
class ClassSym (r :: k -> Type) (cls :: k) (stvr :: k) (mthd :: k) | r -> cls stvr mthd where
- buildClass :: Maybe Label -> [CSStateVar r stvr] -> [MS (r mthd)] -> [MS (r mthd)] -> CS (r cls)
- extraClass :: Label -> Maybe Label -> [CSStateVar r stvr] -> [MS (r mthd)] -> [MS (r mthd)] -> CS (r cls)
- implementingClass :: Label -> [Label] -> [CSStateVar r stvr] -> [MS (r mthd)] -> [MS (r mthd)] -> CS (r cls)
- docClass :: String -> CS (r cls) -> CS (r cls)
class OOTypeSym (r :: k -> Type) (typ :: k) | r -> typ where
- obj :: ClassName -> VS (r typ)
class OOVariableSym (r :: k -> Type) (var :: k) (val :: k) (typ :: k) | r -> var val typ where
- classVar :: Label -> VS (r typ) -> VS (r var)
- classConst :: Label -> VS (r typ) -> VS (r var)
- classVarAccess :: VS (r typ) -> VS (r var) -> VS (r var)
- extClassVarAccess :: VS (r typ) -> VS (r var) -> VS (r var)
- instanceVarAccess :: VS (r val) -> VS (r var) -> VS (r var)
($->) :: forall {k} r (var :: k) (val :: k) (typ :: k). OOVariableSym r var val typ => VS (r val) -> VS (r var) -> VS (r var)
class SelfSym (r :: k -> Type) (var :: k) | r -> var where
- self :: VS (r var)
instanceVarSelf :: forall {k} r (var :: k) (val :: k) (typ :: k). (OOVariableSym r var val typ, SelfSym r var, VariableValue r var val) => VS (r var) -> VS (r var)
class OOValueExpression (r :: k -> Type) (var :: k) (val :: k) (typ :: k) | r -> var val typ where
- newObjMixedArgs :: MixedCtorCall r var val typ
- extNewObjMixedArgs :: Library -> MixedCtorCall r var val typ
- libNewObjMixedArgs :: Library -> MixedCtorCall r var val typ
selfMethodCall :: forall {k} r (var :: k) (val :: k) (typ :: k). (InternalValueExp r var val typ, VariableValue r var val, SelfSym r var) => PosCall r val typ
newObj :: forall {k} r (var :: k) (val :: k) (typ :: k). OOValueExpression r var val typ => PosCtorCall r val typ
extNewObj :: forall {k} r (var :: k) (val :: k) (typ :: k). OOValueExpression r var val typ => Library -> PosCtorCall r val typ
libNewObj :: forall {k} r (var :: k) (val :: k) (typ :: k). OOValueExpression r var val typ => Library -> PosCtorCall r val typ
class OODeclStatement (r :: k -> Type) (stmt :: k) (var :: k) (scope :: k) (val :: k) | r -> stmt var scope val where
- objDecDef :: VS (r var) -> r scope -> VS (r val) -> MS (r stmt)
- objDecNew :: VS (r var) -> r scope -> [VS (r val)] -> MS (r stmt)
- extObjDecNew :: Library -> VS (r var) -> r scope -> [VS (r val)] -> MS (r stmt)
objDecNewNoParams :: forall {k} r (stmt :: k) (var :: k) (scope :: k) (val :: k). OODeclStatement r stmt var scope val => VS (r var) -> r scope -> MS (r stmt)
extObjDecNewNoParams :: forall {k} r (stmt :: k) (var :: k) (scope :: k) (val :: k). OODeclStatement r stmt var scope val => Library -> VS (r var) -> r scope -> MS (r stmt)
class OOFuncAppStatement (r :: k -> Type) (stmt :: k) (var :: k) (val :: k) | r -> stmt var val where
- selfInOutCall :: InOutCall r stmt var val
class GetSet (r :: k -> Type) (var :: k) (val :: k) | r -> var val where
- get :: VS (r val) -> VS (r var) -> VS (r val)
- set :: VS (r val) -> VS (r var) -> VS (r val) -> VS (r val)
class InternalValueExp (r :: k -> Type) (var :: k) (val :: k) (typ :: k) | r -> var val typ where
- objMethodCallMixedArgs' :: Label -> VS (r typ) -> VS (r val) -> [VS (r val)] -> NamedArgs r var val -> VS (r val)
- classMethodCallMixedArgs' :: Label -> VS (r typ) -> VS (r typ) -> [VS (r val)] -> NamedArgs r var val -> VS (r val)
objMethodCall :: forall {k} r (var :: k) (val :: k) (typ :: k). InternalValueExp r var val typ => VS (r typ) -> VS (r val) -> Label -> [VS (r val)] -> VS (r val)
objMethodCallNamedArgs :: forall {k} r (var :: k) (val :: k) (typ :: k). InternalValueExp r var val typ => VS (r typ) -> VS (r val) -> Label -> NamedArgs r var val -> VS (r val)
objMethodCallMixedArgs :: forall {k} r (var :: k) (val :: k) (typ :: k). InternalValueExp r var val typ => VS (r typ) -> VS (r val) -> Label -> [VS (r val)] -> NamedArgs r var val -> VS (r val)
objMethodCallNoParams :: forall {k} r (var :: k) (val :: k) (typ :: k). InternalValueExp r var val typ => VS (r typ) -> VS (r val) -> Label -> VS (r val)
classMethodCall :: forall {k} r (var :: k) (val :: k) (typ :: k). InternalValueExp r var val typ => VS (r typ) -> VS (r typ) -> Label -> [VS (r val)] -> VS (r val)
classMethodCallNamedArgs :: forall {k} r (var :: k) (val :: k) (typ :: k). InternalValueExp r var val typ => VS (r typ) -> VS (r typ) -> Label -> NamedArgs r var val -> VS (r val)
classMethodCallMixedArgs :: forall {k} r (var :: k) (val :: k) (typ :: k). InternalValueExp r var val typ => VS (r typ) -> VS (r typ) -> Label -> [VS (r val)] -> NamedArgs r var val -> VS (r val)
classMethodCallNoParams :: forall {k} r (var :: k) (val :: k) (typ :: k). InternalValueExp r var val typ => VS (r typ) -> VS (r typ) -> Label -> VS (r val)
class OOMethodSym (r :: k -> Type) (mthd :: k) (attch :: k) (vis :: k) (param :: k) (bod :: k) (var :: k) (val :: k) (typ :: k) | r -> mthd attch vis param bod var val typ where
- method :: Label -> r vis -> r attch -> VS (r typ) -> [MS (r param)] -> MS (r bod) -> MS (r mthd)
- getMethod :: VS (r var) -> MS (r mthd)
- setMethod :: VS (r var) -> MS (r mthd)
- constructor :: [MS (r param)] -> Initializers r var val -> MS (r bod) -> MS (r mthd)
- inOutMethod :: Label -> r vis -> r attch -> InOutFunc r mthd bod var
- docInOutMethod :: Label -> r vis -> r attch -> DocInOutFunc r mthd bod var
privMethod :: forall {k} r (mthd :: k) (attch :: k) (vis :: k) (param :: k) (bod :: k) (var :: k) (val :: k) (typ :: k). (OOMethodSym r mthd attch vis param bod var val typ, AttachmentSym r attch, VisibilitySym r vis) => Label -> VS (r typ) -> [MS (r param)] -> MS (r bod) -> MS (r mthd)
pubMethod :: forall {k} r (mthd :: k) (attch :: k) (vis :: k) (param :: k) (bod :: k) (var :: k) (val :: k) (typ :: k). (OOMethodSym r mthd attch vis param bod var val typ, AttachmentSym r attch, VisibilitySym r vis) => Label -> VS (r typ) -> [MS (r param)] -> MS (r bod) -> MS (r mthd)
initializer :: forall {k} r (mthd :: k) (attch :: k) (vis :: k) (param :: k) (bod :: k) (var :: k) (val :: k) (typ :: k) (block :: k). (OOMethodSym r mthd attch vis param bod var val typ, BodySym r bod block) => [MS (r param)] -> Initializers r var val -> MS (r mthd)
nonInitConstructor :: forall {k} r (mthd :: k) (attch :: k) (vis :: k) (param :: k) (bod :: k) (var :: k) (val :: k) (typ :: k). OOMethodSym r mthd attch vis param bod var val typ => [MS (r param)] -> MS (r bod) -> MS (r mthd)
class StateVarSym (r :: k -> Type) (stvr :: k) (attch :: k) (vis :: k) (var :: k) (val :: k) | r -> stvr attch vis var val where
- stateVar :: r vis -> r attch -> VS (r var) -> CSStateVar r stvr
- stateVarDef :: r vis -> r attch -> VS (r var) -> VS (r val) -> CSStateVar r stvr
- constVar :: r vis -> VS (r var) -> VS (r val) -> CSStateVar r stvr
privDVar :: forall {k} r (attch :: k) (vis :: k) (stvr :: k) (var :: k) (val :: k). (AttachmentSym r attch, VisibilitySym r vis, StateVarSym r stvr attch vis var val) => VS (r var) -> CSStateVar r stvr
pubDVar :: forall {k} r (attch :: k) (vis :: k) (stvr :: k) (var :: k) (val :: k). (AttachmentSym r attch, VisibilitySym r vis, StateVarSym r stvr attch vis var val) => VS (r var) -> CSStateVar r stvr
pubSVar :: forall {k} r (attch :: k) (vis :: k) (stvr :: k) (var :: k) (val :: k). (AttachmentSym r attch, VisibilitySym r vis, StateVarSym r stvr attch vis var val) => VS (r var) -> CSStateVar r stvr
class AttachmentSym (r :: k -> Type) (attch :: k) | r -> attch where
- classLevel :: r attch
- instanceLevel :: r attch
class OOFunctionSym (r :: Type -> Type) val typ | r -> val typ where
- func :: Label -> VS (r typ) -> [VS (r val)] -> VS (r FuncData)
- objAccess :: VS (r val) -> VS (r FuncData) -> VS (r val)
($.) :: OOFunctionSym r val typ => VS (r val) -> VS (r FuncData) -> VS (r val)
selfAccess :: (VariableValue r var val, SelfSym r var, OOFunctionSym r val typ) => VS (r FuncData) -> VS (r val)
class ObserverPattern (r :: Type -> Type) stmt typ | r -> stmt typ where
- notifyObservers :: VS (r FuncData) -> VS (r typ) -> MS (r stmt)
observerListName :: Label
initObserverList :: forall {k} r (typ :: k) (var :: k) (bod :: k) (stmt :: k) (scope :: k) (val :: k). (TypeSym r typ, VariableSym r var typ, DeclStatement r bod stmt var scope val) => VS (r typ) -> [VS (r val)] -> r scope -> MS (r stmt)
addObserver :: forall {k} r (typ :: k) (var :: k) (val :: k) (stmt :: k). (TypeSym r typ, VariableSym r var typ, VariableValue r var val, ValueSym r val typ, List r val, ListStatement r stmt val) => VS (r val) -> MS (r stmt)
class StrategyPattern (r :: k -> Type) (bod :: k) (block :: k) (var :: k) (val :: k) | r -> bod block var val where
- runStrategy :: Label -> [(Label, MS (r bod))] -> Maybe (VS (r val)) -> Maybe (VS (r var)) -> MS (r block)
convTypeOO :: forall {k} r (typ :: k). (TypeSym r typ, OOTypeSym r typ) => CodeType -> VS (r typ)

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 :: k -> Type) (var :: k) (val :: k) = [(VS (r var), VS (r val))] Source #

class (UnRepr r typ, Argument r val, BodySym r bod block, BlockSym r block stmt, CommandLineArgs r val, Literal r val typ, MathConstant r val, VariableValue r var val, VariableSym r var typ, TypeSym r typ, OOTypeSym r typ, OOVariableSym r var val typ, SelfSym r var, BooleanExpression r val, Comparison r val, NumericExpression r val, ValueSym r val typ, InternalValueExp r var val typ, ValueExpression r var val binder typ, OOValueExpression r var val typ, IndexTranslator r val, Array r var val, List r val, ListStatement r stmt val, Reference r val, Set r val, OOFunctionSym r val typ, ParameterSym r param var, ScopeSym r scope, BinderSym r binder typ, InternalList r block var val, MethodSym r mthd vis param bod var typ, OOMethodSym r mthd attch vis param bod var val typ, AttachmentSym r attch, VisibilitySym r vis, StateVarSym r stvr attch vis var val, ClassSym r cls stvr mthd, TypeElim r typ, VariableElim r var typ, EmptyStatement r stmt, MultiStatement r stmt, ValueStatement r stmt val, CommentStatement r stmt, DeclStatement r bod stmt var scope val, OODeclStatement r stmt var scope val, AssignStatement r stmt var val, FuncAppStatement r stmt var val, OOFuncAppStatement r stmt var val, ControlStatement r bod stmt var val, StringStatement r stmt var val, PrintConsole r stmt val, ReadConsole r stmt var, FileHandling r stmt var val, PrintFile r stmt val, ReadFile r stmt var val, ModuleSym r mod cls mthd, FileSym r file mod, ProgramSym r prg file) => OOProg (r :: Type -> Type) prg file mod cls stvr mthd attch vis param bod block stmt var scope val binder typ 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 ProgData FileData ModData Class StateVar MethodData Doc Doc ParamData Body Block Statement Variable ScopeData Value BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
OOProg JavaCode ProgData FileData ModData Class StateVar MethodData Doc Doc ParamData Body Block Statement Variable ScopeData Value BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
OOProg PythonCode ProgData FileData ModData Class StateVar MethodData AttachmentData Doc ParamData Body Block Statement Variable ScopeData Value BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer
OOProg SwiftCode ProgData FileData ModData Class StateVar MethodData Doc Doc ParamData Body Block Statement Variable ScopeData Value BinderD TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer
OOProg r prg file mod cls stvr mthd attch vis param bod block stmt var scope val binder typ => OOProg (LoggingFor r) prg file mod cls stvr mthd attch vis param bod block stmt var scope val binder typ 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 :: k -> Type) (mod :: k) (cls :: k) (mthd :: k) | r -> mod cls mthd where Source #

Class for representing a module.

Methods

buildModule :: Label -> [Label] -> [MS (r mthd)] -> [CS (r cls)] -> 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 ())] -> FS (CodeInfoOO ()) Source #
ModuleSym CSharpCode ModData Class 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 Class 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 Class 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 Class 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 cls mthd => ModuleSym (LoggingFor r :: Type -> Type) (mod :: Type) (cls :: Type) (mthd :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods buildModule :: Label -> [Label] -> [MS (LoggingFor r mthd)] -> [CS (LoggingFor r cls)] -> FS (LoggingFor r mod) Source #

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

Class for representing an OO class.

Methods

buildClass :: Maybe Label -> [CSStateVar r stvr] -> [MS (r mthd)] -> [MS (r mthd)] -> CS (r cls) 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 cls) 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 cls) Source #

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

docClass :: String -> CS (r cls) -> CS (r cls) 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 ()) Source # extraClass :: Label -> Maybe Label -> [CSStateVar CodeInfoOO ()] -> [MS (CodeInfoOO ())] -> [MS (CodeInfoOO ())] -> CS (CodeInfoOO ()) Source # implementingClass :: Label -> [Label] -> [CSStateVar CodeInfoOO ()] -> [MS (CodeInfoOO ())] -> [MS (CodeInfoOO ())] -> CS (CodeInfoOO ()) Source # docClass :: String -> CS (CodeInfoOO ()) -> CS (CodeInfoOO ()) Source #
ClassSym CSharpCode Class StateVar MethodData 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 Class StateVar MethodData 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 Class StateVar MethodData 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 Class StateVar MethodData 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 cls stvr mthd => ClassSym (LoggingFor r :: Type -> Type) (cls :: Type) (stvr :: Type) (mthd :: Type) 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 cls) Source # extraClass :: Label -> Maybe Label -> [CSStateVar (LoggingFor r) stvr] -> [MS (LoggingFor r mthd)] -> [MS (LoggingFor r mthd)] -> CS (LoggingFor r cls) Source # implementingClass :: Label -> [Label] -> [CSStateVar (LoggingFor r) stvr] -> [MS (LoggingFor r mthd)] -> [MS (LoggingFor r mthd)] -> CS (LoggingFor r cls) Source # docClass :: String -> CS (LoggingFor r cls) -> CS (LoggingFor r cls) Source #

class OOTypeSym (r :: k -> Type) (typ :: k) | r -> typ where Source #

Methods

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

Instances

Instances details

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

class OOVariableSym (r :: k -> Type) (var :: k) (val :: k) (typ :: k) | r -> var val typ where Source #

Methods

classVar :: Label -> VS (r typ) -> VS (r var) Source #

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

classConst :: Label -> VS (r typ) -> VS (r var) Source #

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

classVarAccess :: VS (r typ) -> VS (r var) -> VS (r var) Source #

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

extClassVarAccess :: VS (r typ) -> VS (r var) -> VS (r var) Source #

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

instanceVarAccess :: VS (r val) -> VS (r var) -> VS (r var) 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 ()) -> VS (CodeInfoOO ()) Source # classConst :: Label -> VS (CodeInfoOO ()) -> VS (CodeInfoOO ()) Source # classVarAccess :: VS (CodeInfoOO ()) -> VS (CodeInfoOO ()) -> VS (CodeInfoOO ()) Source # extClassVarAccess :: VS (CodeInfoOO ()) -> VS (CodeInfoOO ()) -> VS (CodeInfoOO ()) Source # instanceVarAccess :: VS (CodeInfoOO ()) -> VS (CodeInfoOO ()) -> VS (CodeInfoOO ()) Source #
OOVariableSym CSharpCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods classVar :: Label -> VS (CSharpCode TypeData) -> VS (CSharpCode Variable) Source # classConst :: Label -> VS (CSharpCode TypeData) -> VS (CSharpCode Variable) Source # classVarAccess :: VS (CSharpCode TypeData) -> VS (CSharpCode Variable) -> VS (CSharpCode Variable) Source # extClassVarAccess :: VS (CSharpCode TypeData) -> VS (CSharpCode Variable) -> VS (CSharpCode Variable) Source # instanceVarAccess :: VS (CSharpCode Value) -> VS (CSharpCode Variable) -> VS (CSharpCode Variable) Source #
OOVariableSym CppHdrCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods classVar :: Label -> VS (CppHdrCode TypeData) -> VS (CppHdrCode Variable) Source # classConst :: Label -> VS (CppHdrCode TypeData) -> VS (CppHdrCode Variable) Source # classVarAccess :: VS (CppHdrCode TypeData) -> VS (CppHdrCode Variable) -> VS (CppHdrCode Variable) Source # extClassVarAccess :: VS (CppHdrCode TypeData) -> VS (CppHdrCode Variable) -> VS (CppHdrCode Variable) Source # instanceVarAccess :: VS (CppHdrCode Value) -> VS (CppHdrCode Variable) -> VS (CppHdrCode Variable) Source #
OOVariableSym CppSrcCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods classVar :: Label -> VS (CppSrcCode TypeData) -> VS (CppSrcCode Variable) Source # classConst :: Label -> VS (CppSrcCode TypeData) -> VS (CppSrcCode Variable) Source # classVarAccess :: VS (CppSrcCode TypeData) -> VS (CppSrcCode Variable) -> VS (CppSrcCode Variable) Source # extClassVarAccess :: VS (CppSrcCode TypeData) -> VS (CppSrcCode Variable) -> VS (CppSrcCode Variable) Source # instanceVarAccess :: VS (CppSrcCode Value) -> VS (CppSrcCode Variable) -> VS (CppSrcCode Variable) Source #
OOVariableSym JavaCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods classVar :: Label -> VS (JavaCode TypeData) -> VS (JavaCode Variable) Source # classConst :: Label -> VS (JavaCode TypeData) -> VS (JavaCode Variable) Source # classVarAccess :: VS (JavaCode TypeData) -> VS (JavaCode Variable) -> VS (JavaCode Variable) Source # extClassVarAccess :: VS (JavaCode TypeData) -> VS (JavaCode Variable) -> VS (JavaCode Variable) Source # instanceVarAccess :: VS (JavaCode Value) -> VS (JavaCode Variable) -> VS (JavaCode Variable) Source #
OOVariableSym PythonCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods classVar :: Label -> VS (PythonCode TypeData) -> VS (PythonCode Variable) Source # classConst :: Label -> VS (PythonCode TypeData) -> VS (PythonCode Variable) Source # classVarAccess :: VS (PythonCode TypeData) -> VS (PythonCode Variable) -> VS (PythonCode Variable) Source # extClassVarAccess :: VS (PythonCode TypeData) -> VS (PythonCode Variable) -> VS (PythonCode Variable) Source # instanceVarAccess :: VS (PythonCode Value) -> VS (PythonCode Variable) -> VS (PythonCode Variable) Source #
OOVariableSym SwiftCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods classVar :: Label -> VS (SwiftCode TypeData) -> VS (SwiftCode Variable) Source # classConst :: Label -> VS (SwiftCode TypeData) -> VS (SwiftCode Variable) Source # classVarAccess :: VS (SwiftCode TypeData) -> VS (SwiftCode Variable) -> VS (SwiftCode Variable) Source # extClassVarAccess :: VS (SwiftCode TypeData) -> VS (SwiftCode Variable) -> VS (SwiftCode Variable) Source # instanceVarAccess :: VS (SwiftCode Value) -> VS (SwiftCode Variable) -> VS (SwiftCode Variable) Source #
OOVariableSym r var val typ => OOVariableSym (LoggingFor r :: Type -> Type) (var :: Type) (val :: Type) (typ :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods classVar :: Label -> VS (LoggingFor r typ) -> VS (LoggingFor r var) Source # classConst :: Label -> VS (LoggingFor r typ) -> VS (LoggingFor r var) Source # classVarAccess :: VS (LoggingFor r typ) -> VS (LoggingFor r var) -> VS (LoggingFor r var) Source # extClassVarAccess :: VS (LoggingFor r typ) -> VS (LoggingFor r var) -> VS (LoggingFor r var) Source # instanceVarAccess :: VS (LoggingFor r val) -> VS (LoggingFor r var) -> VS (LoggingFor r var) Source #
Pair p => OOVariableSym (p CppSrcCode CppHdrCode :: Type -> Type) Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods classVar :: Label -> VS (p CppSrcCode CppHdrCode TypeData) -> VS (p CppSrcCode CppHdrCode Variable) Source # classConst :: Label -> VS (p CppSrcCode CppHdrCode TypeData) -> VS (p CppSrcCode CppHdrCode Variable) Source # classVarAccess :: VS (p CppSrcCode CppHdrCode TypeData) -> VS (p CppSrcCode CppHdrCode Variable) -> VS (p CppSrcCode CppHdrCode Variable) Source # extClassVarAccess :: VS (p CppSrcCode CppHdrCode TypeData) -> VS (p CppSrcCode CppHdrCode Variable) -> VS (p CppSrcCode CppHdrCode Variable) Source # instanceVarAccess :: VS (p CppSrcCode CppHdrCode Value) -> VS (p CppSrcCode CppHdrCode Variable) -> VS (p CppSrcCode CppHdrCode Variable) Source #

($->) :: forall {k} r (var :: k) (val :: k) (typ :: k). OOVariableSym r var val typ => VS (r val) -> VS (r var) -> VS (r var) infixl 9 Source #

class SelfSym (r :: k -> Type) (var :: k) | r -> var where Source #

Methods

self :: VS (r var) Source #

self keyword

Instances

Instances details

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

instanceVarSelf :: forall {k} r (var :: k) (val :: k) (typ :: k). (OOVariableSym r var val typ, SelfSym r var, VariableValue r var val) => VS (r var) -> VS (r var) Source #

Given a variable v, creates `self.v`

class OOValueExpression (r :: k -> Type) (var :: k) (val :: k) (typ :: k) | r -> var val typ where Source #

Methods

newObjMixedArgs :: MixedCtorCall r var val typ Source #

extNewObjMixedArgs :: Library -> MixedCtorCall r var val typ Source #

libNewObjMixedArgs :: Library -> MixedCtorCall r var val typ 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 Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods newObjMixedArgs :: MixedCtorCall CSharpCode Variable Value TypeData Source # extNewObjMixedArgs :: Library -> MixedCtorCall CSharpCode Variable Value TypeData Source # libNewObjMixedArgs :: Library -> MixedCtorCall CSharpCode Variable Value TypeData Source #
OOValueExpression CppHdrCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods newObjMixedArgs :: MixedCtorCall CppHdrCode Variable Value TypeData Source # extNewObjMixedArgs :: Library -> MixedCtorCall CppHdrCode Variable Value TypeData Source # libNewObjMixedArgs :: Library -> MixedCtorCall CppHdrCode Variable Value TypeData Source #
OOValueExpression CppSrcCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods newObjMixedArgs :: MixedCtorCall CppSrcCode Variable Value TypeData Source # extNewObjMixedArgs :: Library -> MixedCtorCall CppSrcCode Variable Value TypeData Source # libNewObjMixedArgs :: Library -> MixedCtorCall CppSrcCode Variable Value TypeData Source #
OOValueExpression JavaCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods newObjMixedArgs :: MixedCtorCall JavaCode Variable Value TypeData Source # extNewObjMixedArgs :: Library -> MixedCtorCall JavaCode Variable Value TypeData Source # libNewObjMixedArgs :: Library -> MixedCtorCall JavaCode Variable Value TypeData Source #
OOValueExpression PythonCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods newObjMixedArgs :: MixedCtorCall PythonCode Variable Value TypeData Source # extNewObjMixedArgs :: Library -> MixedCtorCall PythonCode Variable Value TypeData Source # libNewObjMixedArgs :: Library -> MixedCtorCall PythonCode Variable Value TypeData Source #
OOValueExpression SwiftCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods newObjMixedArgs :: MixedCtorCall SwiftCode Variable Value TypeData Source # extNewObjMixedArgs :: Library -> MixedCtorCall SwiftCode Variable Value TypeData Source # libNewObjMixedArgs :: Library -> MixedCtorCall SwiftCode Variable Value TypeData Source #
OOValueExpression r var val typ => OOValueExpression (LoggingFor r :: Type -> Type) (var :: Type) (val :: Type) (typ :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods newObjMixedArgs :: MixedCtorCall (LoggingFor r) var val typ Source # extNewObjMixedArgs :: Library -> MixedCtorCall (LoggingFor r) var val typ Source # libNewObjMixedArgs :: Library -> MixedCtorCall (LoggingFor r) var val typ Source #
Pair p => OOValueExpression (p CppSrcCode CppHdrCode :: Type -> Type) Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods newObjMixedArgs :: MixedCtorCall (p CppSrcCode CppHdrCode) Variable Value TypeData Source # extNewObjMixedArgs :: Library -> MixedCtorCall (p CppSrcCode CppHdrCode) Variable Value TypeData Source # libNewObjMixedArgs :: Library -> MixedCtorCall (p CppSrcCode CppHdrCode) Variable Value TypeData Source #

selfMethodCall :: forall {k} r (var :: k) (val :: k) (typ :: k). (InternalValueExp r var val typ, VariableValue r var val, SelfSym r var) => PosCall r val typ Source #

newObj :: forall {k} r (var :: k) (val :: k) (typ :: k). OOValueExpression r var val typ => PosCtorCall r val typ Source #

extNewObj :: forall {k} r (var :: k) (val :: k) (typ :: k). OOValueExpression r var val typ => Library -> PosCtorCall r val typ Source #

libNewObj :: forall {k} r (var :: k) (val :: k) (typ :: k). OOValueExpression r var val typ => Library -> PosCtorCall r val typ Source #

class OODeclStatement (r :: k -> Type) (stmt :: k) (var :: k) (scope :: k) (val :: k) | r -> stmt var scope val where Source #

Methods

objDecDef :: VS (r var) -> r scope -> VS (r val) -> MS (r stmt) Source #

objDecNew :: VS (r var) -> r scope -> [VS (r val)] -> MS (r stmt) Source #

extObjDecNew :: Library -> VS (r var) -> r scope -> [VS (r val)] -> MS (r stmt) Source #

Instances

Instances details

OODeclStatement CodeInfoOO () () () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods objDecDef :: VS (CodeInfoOO ()) -> CodeInfoOO () -> VS (CodeInfoOO ()) -> MS (CodeInfoOO ()) Source # objDecNew :: VS (CodeInfoOO ()) -> CodeInfoOO () -> [VS (CodeInfoOO ())] -> MS (CodeInfoOO ()) Source # extObjDecNew :: Library -> VS (CodeInfoOO ()) -> CodeInfoOO () -> [VS (CodeInfoOO ())] -> MS (CodeInfoOO ()) Source #
OODeclStatement CSharpCode Statement Variable ScopeData Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods objDecDef :: VS (CSharpCode Variable) -> CSharpCode ScopeData -> VS (CSharpCode Value) -> MS (CSharpCode Statement) Source # objDecNew :: VS (CSharpCode Variable) -> CSharpCode ScopeData -> [VS (CSharpCode Value)] -> MS (CSharpCode Statement) Source # extObjDecNew :: Library -> VS (CSharpCode Variable) -> CSharpCode ScopeData -> [VS (CSharpCode Value)] -> MS (CSharpCode Statement) Source #
OODeclStatement CppHdrCode Statement Variable ScopeData Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods objDecDef :: VS (CppHdrCode Variable) -> CppHdrCode ScopeData -> VS (CppHdrCode Value) -> MS (CppHdrCode Statement) Source # objDecNew :: VS (CppHdrCode Variable) -> CppHdrCode ScopeData -> [VS (CppHdrCode Value)] -> MS (CppHdrCode Statement) Source # extObjDecNew :: Library -> VS (CppHdrCode Variable) -> CppHdrCode ScopeData -> [VS (CppHdrCode Value)] -> MS (CppHdrCode Statement) Source #
OODeclStatement CppSrcCode Statement Variable ScopeData Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods objDecDef :: VS (CppSrcCode Variable) -> CppSrcCode ScopeData -> VS (CppSrcCode Value) -> MS (CppSrcCode Statement) Source # objDecNew :: VS (CppSrcCode Variable) -> CppSrcCode ScopeData -> [VS (CppSrcCode Value)] -> MS (CppSrcCode Statement) Source # extObjDecNew :: Library -> VS (CppSrcCode Variable) -> CppSrcCode ScopeData -> [VS (CppSrcCode Value)] -> MS (CppSrcCode Statement) Source #
OODeclStatement JavaCode Statement Variable ScopeData Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods objDecDef :: VS (JavaCode Variable) -> JavaCode ScopeData -> VS (JavaCode Value) -> MS (JavaCode Statement) Source # objDecNew :: VS (JavaCode Variable) -> JavaCode ScopeData -> [VS (JavaCode Value)] -> MS (JavaCode Statement) Source # extObjDecNew :: Library -> VS (JavaCode Variable) -> JavaCode ScopeData -> [VS (JavaCode Value)] -> MS (JavaCode Statement) Source #
OODeclStatement PythonCode Statement Variable ScopeData Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods objDecDef :: VS (PythonCode Variable) -> PythonCode ScopeData -> VS (PythonCode Value) -> MS (PythonCode Statement) Source # objDecNew :: VS (PythonCode Variable) -> PythonCode ScopeData -> [VS (PythonCode Value)] -> MS (PythonCode Statement) Source # extObjDecNew :: Library -> VS (PythonCode Variable) -> PythonCode ScopeData -> [VS (PythonCode Value)] -> MS (PythonCode Statement) Source #
OODeclStatement SwiftCode Statement Variable ScopeData Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods objDecDef :: VS (SwiftCode Variable) -> SwiftCode ScopeData -> VS (SwiftCode Value) -> MS (SwiftCode Statement) Source # objDecNew :: VS (SwiftCode Variable) -> SwiftCode ScopeData -> [VS (SwiftCode Value)] -> MS (SwiftCode Statement) Source # extObjDecNew :: Library -> VS (SwiftCode Variable) -> SwiftCode ScopeData -> [VS (SwiftCode Value)] -> MS (SwiftCode Statement) Source #
(DeclStatement (LoggingFor r) bod stmt var scope val, OODeclStatement r stmt var scope val) => OODeclStatement (LoggingFor r :: Type -> Type) (stmt :: Type) (var :: Type) (scope :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods objDecDef :: VS (LoggingFor r var) -> LoggingFor r scope -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # objDecNew :: VS (LoggingFor r var) -> LoggingFor r scope -> [VS (LoggingFor r val)] -> MS (LoggingFor r stmt) Source # extObjDecNew :: Library -> VS (LoggingFor r var) -> LoggingFor r scope -> [VS (LoggingFor r val)] -> MS (LoggingFor r stmt) Source #
Pair p => OODeclStatement (p CppSrcCode CppHdrCode :: Type -> Type) Statement Variable ScopeData Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods objDecDef :: VS (p CppSrcCode CppHdrCode Variable) -> p CppSrcCode CppHdrCode ScopeData -> VS (p CppSrcCode CppHdrCode Value) -> MS (p CppSrcCode CppHdrCode Statement) Source # objDecNew :: VS (p CppSrcCode CppHdrCode Variable) -> p CppSrcCode CppHdrCode ScopeData -> [VS (p CppSrcCode CppHdrCode Value)] -> MS (p CppSrcCode CppHdrCode Statement) Source # extObjDecNew :: Library -> VS (p CppSrcCode CppHdrCode Variable) -> p CppSrcCode CppHdrCode ScopeData -> [VS (p CppSrcCode CppHdrCode Value)] -> MS (p CppSrcCode CppHdrCode Statement) Source #

objDecNewNoParams :: forall {k} r (stmt :: k) (var :: k) (scope :: k) (val :: k). OODeclStatement r stmt var scope val => VS (r var) -> r scope -> MS (r stmt) Source #

extObjDecNewNoParams :: forall {k} r (stmt :: k) (var :: k) (scope :: k) (val :: k). OODeclStatement r stmt var scope val => Library -> VS (r var) -> r scope -> MS (r stmt) Source #

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

Methods

selfInOutCall :: InOutCall r stmt var val Source #

Instances

Instances details

OOFuncAppStatement CodeInfoOO () () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods selfInOutCall :: InOutCall CodeInfoOO () () () Source #
OOFuncAppStatement CSharpCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods selfInOutCall :: InOutCall CSharpCode Statement Variable Value Source #
OOFuncAppStatement CppHdrCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods selfInOutCall :: InOutCall CppHdrCode Statement Variable Value Source #
OOFuncAppStatement CppSrcCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods selfInOutCall :: InOutCall CppSrcCode Statement Variable Value Source #
OOFuncAppStatement JavaCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods selfInOutCall :: InOutCall JavaCode Statement Variable Value Source #
OOFuncAppStatement PythonCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods selfInOutCall :: InOutCall PythonCode Statement Variable Value Source #
OOFuncAppStatement SwiftCode Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods selfInOutCall :: InOutCall SwiftCode Statement Variable Value Source #
OOFuncAppStatement r stmt var val => OOFuncAppStatement (LoggingFor r :: Type -> Type) (stmt :: Type) (var :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods selfInOutCall :: InOutCall (LoggingFor r) stmt var val Source #
Pair p => OOFuncAppStatement (p CppSrcCode CppHdrCode :: Type -> Type) Statement Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods selfInOutCall :: InOutCall (p CppSrcCode CppHdrCode) Statement Variable Value Source #

class GetSet (r :: k -> Type) (var :: k) (val :: k) | r -> var val where Source #

Methods

get :: VS (r val) -> VS (r var) -> VS (r val) Source #

set :: VS (r val) -> VS (r var) -> VS (r val) -> VS (r val) Source #

Instances

Instances details

GetSet CodeInfoOO () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods get :: VS (CodeInfoOO ()) -> VS (CodeInfoOO ()) -> VS (CodeInfoOO ()) Source # set :: VS (CodeInfoOO ()) -> VS (CodeInfoOO ()) -> VS (CodeInfoOO ()) -> VS (CodeInfoOO ()) Source #
GetSet CSharpCode Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods get :: VS (CSharpCode Value) -> VS (CSharpCode Variable) -> VS (CSharpCode Value) Source # set :: VS (CSharpCode Value) -> VS (CSharpCode Variable) -> VS (CSharpCode Value) -> VS (CSharpCode Value) Source #
GetSet CppHdrCode Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods get :: VS (CppHdrCode Value) -> VS (CppHdrCode Variable) -> VS (CppHdrCode Value) Source # set :: VS (CppHdrCode Value) -> VS (CppHdrCode Variable) -> VS (CppHdrCode Value) -> VS (CppHdrCode Value) Source #
GetSet CppSrcCode Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods get :: VS (CppSrcCode Value) -> VS (CppSrcCode Variable) -> VS (CppSrcCode Value) Source # set :: VS (CppSrcCode Value) -> VS (CppSrcCode Variable) -> VS (CppSrcCode Value) -> VS (CppSrcCode Value) Source #
GetSet JavaCode Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods get :: VS (JavaCode Value) -> VS (JavaCode Variable) -> VS (JavaCode Value) Source # set :: VS (JavaCode Value) -> VS (JavaCode Variable) -> VS (JavaCode Value) -> VS (JavaCode Value) Source #
GetSet PythonCode Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods get :: VS (PythonCode Value) -> VS (PythonCode Variable) -> VS (PythonCode Value) Source # set :: VS (PythonCode Value) -> VS (PythonCode Variable) -> VS (PythonCode Value) -> VS (PythonCode Value) Source #
GetSet SwiftCode Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods get :: VS (SwiftCode Value) -> VS (SwiftCode Variable) -> VS (SwiftCode Value) Source # set :: VS (SwiftCode Value) -> VS (SwiftCode Variable) -> VS (SwiftCode Value) -> VS (SwiftCode Value) Source #
GetSet r var val => GetSet (LoggingFor r :: Type -> Type) (var :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods get :: VS (LoggingFor r val) -> VS (LoggingFor r var) -> VS (LoggingFor r val) Source # set :: VS (LoggingFor r val) -> VS (LoggingFor r var) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source #
Pair p => GetSet (p CppSrcCode CppHdrCode :: Type -> Type) Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods get :: VS (p CppSrcCode CppHdrCode Value) -> VS (p CppSrcCode CppHdrCode Variable) -> VS (p CppSrcCode CppHdrCode Value) Source # set :: VS (p CppSrcCode CppHdrCode Value) -> VS (p CppSrcCode CppHdrCode Variable) -> VS (p CppSrcCode CppHdrCode Value) -> VS (p CppSrcCode CppHdrCode Value) Source #

class InternalValueExp (r :: k -> Type) (var :: k) (val :: k) (typ :: k) | r -> var val typ where Source #

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

Methods

objMethodCallMixedArgs' :: Label -> VS (r typ) -> VS (r val) -> [VS (r val)] -> NamedArgs r var val -> VS (r val) 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 typ) -> VS (r typ) -> [VS (r val)] -> NamedArgs r var val -> VS (r val) 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 ()) -> VS (CodeInfoOO ()) -> [VS (CodeInfoOO ())] -> NamedArgs CodeInfoOO () () -> VS (CodeInfoOO ()) Source # classMethodCallMixedArgs' :: Label -> VS (CodeInfoOO ()) -> VS (CodeInfoOO ()) -> [VS (CodeInfoOO ())] -> NamedArgs CodeInfoOO () () -> VS (CodeInfoOO ()) Source #
InternalValueExp CSharpCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods objMethodCallMixedArgs' :: Label -> VS (CSharpCode TypeData) -> VS (CSharpCode Value) -> [VS (CSharpCode Value)] -> NamedArgs CSharpCode Variable Value -> VS (CSharpCode Value) Source # classMethodCallMixedArgs' :: Label -> VS (CSharpCode TypeData) -> VS (CSharpCode TypeData) -> [VS (CSharpCode Value)] -> NamedArgs CSharpCode Variable Value -> VS (CSharpCode Value) Source #
InternalValueExp CppHdrCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods objMethodCallMixedArgs' :: Label -> VS (CppHdrCode TypeData) -> VS (CppHdrCode Value) -> [VS (CppHdrCode Value)] -> NamedArgs CppHdrCode Variable Value -> VS (CppHdrCode Value) Source # classMethodCallMixedArgs' :: Label -> VS (CppHdrCode TypeData) -> VS (CppHdrCode TypeData) -> [VS (CppHdrCode Value)] -> NamedArgs CppHdrCode Variable Value -> VS (CppHdrCode Value) Source #
InternalValueExp CppSrcCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods objMethodCallMixedArgs' :: Label -> VS (CppSrcCode TypeData) -> VS (CppSrcCode Value) -> [VS (CppSrcCode Value)] -> NamedArgs CppSrcCode Variable Value -> VS (CppSrcCode Value) Source # classMethodCallMixedArgs' :: Label -> VS (CppSrcCode TypeData) -> VS (CppSrcCode TypeData) -> [VS (CppSrcCode Value)] -> NamedArgs CppSrcCode Variable Value -> VS (CppSrcCode Value) Source #
InternalValueExp JavaCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods objMethodCallMixedArgs' :: Label -> VS (JavaCode TypeData) -> VS (JavaCode Value) -> [VS (JavaCode Value)] -> NamedArgs JavaCode Variable Value -> VS (JavaCode Value) Source # classMethodCallMixedArgs' :: Label -> VS (JavaCode TypeData) -> VS (JavaCode TypeData) -> [VS (JavaCode Value)] -> NamedArgs JavaCode Variable Value -> VS (JavaCode Value) Source #
InternalValueExp PythonCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods objMethodCallMixedArgs' :: Label -> VS (PythonCode TypeData) -> VS (PythonCode Value) -> [VS (PythonCode Value)] -> NamedArgs PythonCode Variable Value -> VS (PythonCode Value) Source # classMethodCallMixedArgs' :: Label -> VS (PythonCode TypeData) -> VS (PythonCode TypeData) -> [VS (PythonCode Value)] -> NamedArgs PythonCode Variable Value -> VS (PythonCode Value) Source #
InternalValueExp SwiftCode Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods objMethodCallMixedArgs' :: Label -> VS (SwiftCode TypeData) -> VS (SwiftCode Value) -> [VS (SwiftCode Value)] -> NamedArgs SwiftCode Variable Value -> VS (SwiftCode Value) Source # classMethodCallMixedArgs' :: Label -> VS (SwiftCode TypeData) -> VS (SwiftCode TypeData) -> [VS (SwiftCode Value)] -> NamedArgs SwiftCode Variable Value -> VS (SwiftCode Value) Source #
InternalValueExp r var val typ => InternalValueExp (LoggingFor r :: Type -> Type) (var :: Type) (val :: Type) (typ :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods objMethodCallMixedArgs' :: Label -> VS (LoggingFor r typ) -> VS (LoggingFor r val) -> [VS (LoggingFor r val)] -> NamedArgs (LoggingFor r) var val -> VS (LoggingFor r val) Source # classMethodCallMixedArgs' :: Label -> VS (LoggingFor r typ) -> VS (LoggingFor r typ) -> [VS (LoggingFor r val)] -> NamedArgs (LoggingFor r) var val -> VS (LoggingFor r val) Source #
Pair p => InternalValueExp (p CppSrcCode CppHdrCode :: Type -> Type) Variable Value TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods objMethodCallMixedArgs' :: Label -> VS (p CppSrcCode CppHdrCode TypeData) -> VS (p CppSrcCode CppHdrCode Value) -> [VS (p CppSrcCode CppHdrCode Value)] -> NamedArgs (p CppSrcCode CppHdrCode) Variable Value -> VS (p CppSrcCode CppHdrCode Value) Source # classMethodCallMixedArgs' :: Label -> VS (p CppSrcCode CppHdrCode TypeData) -> VS (p CppSrcCode CppHdrCode TypeData) -> [VS (p CppSrcCode CppHdrCode Value)] -> NamedArgs (p CppSrcCode CppHdrCode) Variable Value -> VS (p CppSrcCode CppHdrCode Value) Source #

objMethodCall :: forall {k} r (var :: k) (val :: k) (typ :: k). InternalValueExp r var val typ => VS (r typ) -> VS (r val) -> Label -> [VS (r val)] -> VS (r val) 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 :: forall {k} r (var :: k) (val :: k) (typ :: k). InternalValueExp r var val typ => VS (r typ) -> VS (r val) -> Label -> NamedArgs r var val -> VS (r val) Source #

Calling a method with named arguments.

objMethodCallMixedArgs :: forall {k} r (var :: k) (val :: k) (typ :: k). InternalValueExp r var val typ => VS (r typ) -> VS (r val) -> Label -> [VS (r val)] -> NamedArgs r var val -> VS (r val) Source #

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

objMethodCallNoParams :: forall {k} r (var :: k) (val :: k) (typ :: k). InternalValueExp r var val typ => VS (r typ) -> VS (r val) -> Label -> VS (r val) Source #

Calling a method with no parameters.

classMethodCall :: forall {k} r (var :: k) (val :: k) (typ :: k). InternalValueExp r var val typ => VS (r typ) -> VS (r typ) -> Label -> [VS (r val)] -> VS (r val) 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 :: forall {k} r (var :: k) (val :: k) (typ :: k). InternalValueExp r var val typ => VS (r typ) -> VS (r typ) -> Label -> NamedArgs r var val -> VS (r val) Source #

Calling a class method with named arguments.

classMethodCallMixedArgs :: forall {k} r (var :: k) (val :: k) (typ :: k). InternalValueExp r var val typ => VS (r typ) -> VS (r typ) -> Label -> [VS (r val)] -> NamedArgs r var val -> VS (r val) Source #

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

classMethodCallNoParams :: forall {k} r (var :: k) (val :: k) (typ :: k). InternalValueExp r var val typ => VS (r typ) -> VS (r typ) -> Label -> VS (r val) Source #

Calling a class method with no parameters.

class OOMethodSym (r :: k -> Type) (mthd :: k) (attch :: k) (vis :: k) (param :: k) (bod :: k) (var :: k) (val :: k) (typ :: k) | r -> mthd attch vis param bod var val typ where Source #

Methods

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

getMethod :: VS (r var) -> MS (r mthd) Source #

setMethod :: VS (r var) -> MS (r mthd) Source #

constructor :: [MS (r param)] -> Initializers r var val -> MS (r bod) -> MS (r mthd) Source #

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

docInOutMethod :: Label -> r vis -> r attch -> DocInOutFunc r mthd bod var Source #

Instances

Instances details

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

privMethod :: forall {k} r (mthd :: k) (attch :: k) (vis :: k) (param :: k) (bod :: k) (var :: k) (val :: k) (typ :: k). (OOMethodSym r mthd attch vis param bod var val typ, AttachmentSym r attch, VisibilitySym r vis) => Label -> VS (r typ) -> [MS (r param)] -> MS (r bod) -> MS (r mthd) Source #

pubMethod :: forall {k} r (mthd :: k) (attch :: k) (vis :: k) (param :: k) (bod :: k) (var :: k) (val :: k) (typ :: k). (OOMethodSym r mthd attch vis param bod var val typ, AttachmentSym r attch, VisibilitySym r vis) => Label -> VS (r typ) -> [MS (r param)] -> MS (r bod) -> MS (r mthd) Source #

initializer :: forall {k} r (mthd :: k) (attch :: k) (vis :: k) (param :: k) (bod :: k) (var :: k) (val :: k) (typ :: k) (block :: k). (OOMethodSym r mthd attch vis param bod var val typ, BodySym r bod block) => [MS (r param)] -> Initializers r var val -> MS (r mthd) Source #

nonInitConstructor :: forall {k} r (mthd :: k) (attch :: k) (vis :: k) (param :: k) (bod :: k) (var :: k) (val :: k) (typ :: k). OOMethodSym r mthd attch vis param bod var val typ => [MS (r param)] -> MS (r bod) -> MS (r mthd) Source #

class StateVarSym (r :: k -> Type) (stvr :: k) (attch :: k) (vis :: k) (var :: k) (val :: k) | r -> stvr attch vis var val 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 -> VS (r var) -> 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 -> VS (r var) -> VS (r val) -> 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 -> VS (r var) -> VS (r val) -> 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 () -> VS (CodeInfoOO ()) -> CSStateVar CodeInfoOO () Source # stateVarDef :: CodeInfoOO () -> CodeInfoOO () -> VS (CodeInfoOO ()) -> VS (CodeInfoOO ()) -> CSStateVar CodeInfoOO () Source # constVar :: CodeInfoOO () -> VS (CodeInfoOO ()) -> VS (CodeInfoOO ()) -> CSStateVar CodeInfoOO () Source #
StateVarSym CSharpCode StateVar Doc Doc Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods stateVar :: CSharpCode Doc -> CSharpCode Doc -> VS (CSharpCode Variable) -> CSStateVar CSharpCode StateVar Source # stateVarDef :: CSharpCode Doc -> CSharpCode Doc -> VS (CSharpCode Variable) -> VS (CSharpCode Value) -> CSStateVar CSharpCode StateVar Source # constVar :: CSharpCode Doc -> VS (CSharpCode Variable) -> VS (CSharpCode Value) -> CSStateVar CSharpCode StateVar Source #
StateVarSym JavaCode Doc Doc Doc Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods stateVar :: JavaCode Doc -> JavaCode Doc -> VS (JavaCode Variable) -> CSStateVar JavaCode Doc Source # stateVarDef :: JavaCode Doc -> JavaCode Doc -> VS (JavaCode Variable) -> VS (JavaCode Value) -> CSStateVar JavaCode Doc Source # constVar :: JavaCode Doc -> VS (JavaCode Variable) -> VS (JavaCode Value) -> CSStateVar JavaCode Doc Source #
StateVarSym PythonCode Doc AttachmentData Doc Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods stateVar :: PythonCode Doc -> PythonCode AttachmentData -> VS (PythonCode Variable) -> CSStateVar PythonCode Doc Source # stateVarDef :: PythonCode Doc -> PythonCode AttachmentData -> VS (PythonCode Variable) -> VS (PythonCode Value) -> CSStateVar PythonCode Doc Source # constVar :: PythonCode Doc -> VS (PythonCode Variable) -> VS (PythonCode Value) -> CSStateVar PythonCode Doc Source #
StateVarSym SwiftCode Doc Doc Doc Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods stateVar :: SwiftCode Doc -> SwiftCode Doc -> VS (SwiftCode Variable) -> CSStateVar SwiftCode Doc Source # stateVarDef :: SwiftCode Doc -> SwiftCode Doc -> VS (SwiftCode Variable) -> VS (SwiftCode Value) -> CSStateVar SwiftCode Doc Source # constVar :: SwiftCode Doc -> VS (SwiftCode Variable) -> VS (SwiftCode Value) -> CSStateVar SwiftCode Doc Source #
StateVarSym CppHdrCode StateVarData AttachmentData (Doc, VisibilityTag) Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods stateVar :: CppHdrCode (Doc, VisibilityTag) -> CppHdrCode AttachmentData -> VS (CppHdrCode Variable) -> CSStateVar CppHdrCode StateVarData Source # stateVarDef :: CppHdrCode (Doc, VisibilityTag) -> CppHdrCode AttachmentData -> VS (CppHdrCode Variable) -> VS (CppHdrCode Value) -> CSStateVar CppHdrCode StateVarData Source # constVar :: CppHdrCode (Doc, VisibilityTag) -> VS (CppHdrCode Variable) -> VS (CppHdrCode Value) -> CSStateVar CppHdrCode StateVarData Source #
StateVarSym CppSrcCode StateVarData AttachmentData (Doc, VisibilityTag) Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods stateVar :: CppSrcCode (Doc, VisibilityTag) -> CppSrcCode AttachmentData -> VS (CppSrcCode Variable) -> CSStateVar CppSrcCode StateVarData Source # stateVarDef :: CppSrcCode (Doc, VisibilityTag) -> CppSrcCode AttachmentData -> VS (CppSrcCode Variable) -> VS (CppSrcCode Value) -> CSStateVar CppSrcCode StateVarData Source # constVar :: CppSrcCode (Doc, VisibilityTag) -> VS (CppSrcCode Variable) -> VS (CppSrcCode Value) -> CSStateVar CppSrcCode StateVarData Source #
StateVarSym r stvr attch vis var val => StateVarSym (LoggingFor r :: Type -> Type) (stvr :: Type) (attch :: Type) (vis :: Type) (var :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods stateVar :: LoggingFor r vis -> LoggingFor r attch -> VS (LoggingFor r var) -> CSStateVar (LoggingFor r) stvr Source # stateVarDef :: LoggingFor r vis -> LoggingFor r attch -> VS (LoggingFor r var) -> VS (LoggingFor r val) -> CSStateVar (LoggingFor r) stvr Source # constVar :: LoggingFor r vis -> VS (LoggingFor r var) -> VS (LoggingFor r val) -> CSStateVar (LoggingFor r) stvr Source #
Pair p => StateVarSym (p CppSrcCode CppHdrCode :: Type -> Type) StateVarData AttachmentData (Doc, VisibilityTag) Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods stateVar :: p CppSrcCode CppHdrCode (Doc, VisibilityTag) -> p CppSrcCode CppHdrCode AttachmentData -> VS (p CppSrcCode CppHdrCode Variable) -> CSStateVar (p CppSrcCode CppHdrCode) StateVarData Source # stateVarDef :: p CppSrcCode CppHdrCode (Doc, VisibilityTag) -> p CppSrcCode CppHdrCode AttachmentData -> VS (p CppSrcCode CppHdrCode Variable) -> VS (p CppSrcCode CppHdrCode Value) -> CSStateVar (p CppSrcCode CppHdrCode) StateVarData Source # constVar :: p CppSrcCode CppHdrCode (Doc, VisibilityTag) -> VS (p CppSrcCode CppHdrCode Variable) -> VS (p CppSrcCode CppHdrCode Value) -> CSStateVar (p CppSrcCode CppHdrCode) StateVarData Source #

privDVar :: forall {k} r (attch :: k) (vis :: k) (stvr :: k) (var :: k) (val :: k). (AttachmentSym r attch, VisibilitySym r vis, StateVarSym r stvr attch vis var val) => VS (r var) -> CSStateVar r stvr Source #

pubDVar :: forall {k} r (attch :: k) (vis :: k) (stvr :: k) (var :: k) (val :: k). (AttachmentSym r attch, VisibilitySym r vis, StateVarSym r stvr attch vis var val) => VS (r var) -> CSStateVar r stvr Source #

pubSVar :: forall {k} r (attch :: k) (vis :: k) (stvr :: k) (var :: k) (val :: k). (AttachmentSym r attch, VisibilitySym r vis, StateVarSym r stvr attch vis var val) => VS (r var) -> 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) val typ | r -> val typ where Source #

Methods

func :: Label -> VS (r typ) -> [VS (r val)] -> VS (r FuncData) Source #

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

Instances

Instances details

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

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

selfAccess :: (VariableValue r var val, SelfSym r var, OOFunctionSym r val typ) => VS (r FuncData) -> VS (r val) Source #

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

Methods

notifyObservers :: VS (r FuncData) -> VS (r typ) -> MS (r stmt) Source #

Instances

Instances details

ObserverPattern CodeInfoOO () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods notifyObservers :: VS (CodeInfoOO FuncData) -> VS (CodeInfoOO ()) -> MS (CodeInfoOO ()) Source #
ObserverPattern CSharpCode Statement TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods notifyObservers :: VS (CSharpCode FuncData) -> VS (CSharpCode TypeData) -> MS (CSharpCode Statement) Source #
ObserverPattern CppHdrCode Statement TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods notifyObservers :: VS (CppHdrCode FuncData) -> VS (CppHdrCode TypeData) -> MS (CppHdrCode Statement) Source #
ObserverPattern CppSrcCode Statement TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods notifyObservers :: VS (CppSrcCode FuncData) -> VS (CppSrcCode TypeData) -> MS (CppSrcCode Statement) Source #
ObserverPattern JavaCode Statement TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods notifyObservers :: VS (JavaCode FuncData) -> VS (JavaCode TypeData) -> MS (JavaCode Statement) Source #
ObserverPattern PythonCode Statement TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods notifyObservers :: VS (PythonCode FuncData) -> VS (PythonCode TypeData) -> MS (PythonCode Statement) Source #
ObserverPattern SwiftCode Statement TypeData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods notifyObservers :: VS (SwiftCode FuncData) -> VS (SwiftCode TypeData) -> MS (SwiftCode Statement) Source #
ObserverPattern r stmt typ => ObserverPattern (LoggingFor r) stmt typ Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods notifyObservers :: VS (LoggingFor r FuncData) -> VS (LoggingFor r typ) -> MS (LoggingFor r stmt) Source #
Pair p => ObserverPattern (p CppSrcCode CppHdrCode) Statement TypeData 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 Statement) Source #

observerListName :: Label Source #

initObserverList :: forall {k} r (typ :: k) (var :: k) (bod :: k) (stmt :: k) (scope :: k) (val :: k). (TypeSym r typ, VariableSym r var typ, DeclStatement r bod stmt var scope val) => VS (r typ) -> [VS (r val)] -> r scope -> MS (r stmt) Source #

addObserver :: forall {k} r (typ :: k) (var :: k) (val :: k) (stmt :: k). (TypeSym r typ, VariableSym r var typ, VariableValue r var val, ValueSym r val typ, List r val, ListStatement r stmt val) => VS (r val) -> MS (r stmt) Source #

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

Methods

runStrategy :: Label -> [(Label, MS (r bod))] -> Maybe (VS (r val)) -> Maybe (VS (r var)) -> MS (r block) Source #

Instances

Instances details

StrategyPattern CodeInfoOO () () () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods runStrategy :: Label -> [(Label, MS (CodeInfoOO ()))] -> Maybe (VS (CodeInfoOO ())) -> Maybe (VS (CodeInfoOO ())) -> MS (CodeInfoOO ()) Source #
StrategyPattern CSharpCode Body Block Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods runStrategy :: Label -> [(Label, MS (CSharpCode Body))] -> Maybe (VS (CSharpCode Value)) -> Maybe (VS (CSharpCode Variable)) -> MS (CSharpCode Block) Source #
StrategyPattern CppHdrCode Body Block Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods runStrategy :: Label -> [(Label, MS (CppHdrCode Body))] -> Maybe (VS (CppHdrCode Value)) -> Maybe (VS (CppHdrCode Variable)) -> MS (CppHdrCode Block) Source #
StrategyPattern CppSrcCode Body Block Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods runStrategy :: Label -> [(Label, MS (CppSrcCode Body))] -> Maybe (VS (CppSrcCode Value)) -> Maybe (VS (CppSrcCode Variable)) -> MS (CppSrcCode Block) Source #
StrategyPattern JavaCode Body Block Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods runStrategy :: Label -> [(Label, MS (JavaCode Body))] -> Maybe (VS (JavaCode Value)) -> Maybe (VS (JavaCode Variable)) -> MS (JavaCode Block) Source #
StrategyPattern PythonCode Body Block Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods runStrategy :: Label -> [(Label, MS (PythonCode Body))] -> Maybe (VS (PythonCode Value)) -> Maybe (VS (PythonCode Variable)) -> MS (PythonCode Block) Source #
StrategyPattern SwiftCode Body Block Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods runStrategy :: Label -> [(Label, MS (SwiftCode Body))] -> Maybe (VS (SwiftCode Value)) -> Maybe (VS (SwiftCode Variable)) -> MS (SwiftCode Block) Source #
StrategyPattern r bod block var val => StrategyPattern (LoggingFor r :: Type -> Type) (bod :: Type) (block :: Type) (var :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods runStrategy :: Label -> [(Label, MS (LoggingFor r bod))] -> Maybe (VS (LoggingFor r val)) -> Maybe (VS (LoggingFor r var)) -> MS (LoggingFor r block) Source #
Pair p => StrategyPattern (p CppSrcCode CppHdrCode :: Type -> Type) Body Block Variable Value Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods runStrategy :: Label -> [(Label, MS (p CppSrcCode CppHdrCode Body))] -> Maybe (VS (p CppSrcCode CppHdrCode Value)) -> Maybe (VS (p CppSrcCode CppHdrCode Variable)) -> MS (p CppSrcCode CppHdrCode Block) Source #

convTypeOO :: forall {k} r (typ :: k). (TypeSym r typ, OOTypeSym r typ) => CodeType -> VS (r typ) Source #