drasil-gool-0.1.1.0: A framework for code and document generation for scientific software - GOOL SubPackage
Safe HaskellSafe-Inferred
LanguageHaskell2010

Drasil.GOOL.InterfaceCommon

Synopsis

Documentation

type MSBody a = MS (a (Body a)) Source #

type MSBlock a = MS (a (Block a)) Source #

type VSFunction a = VS (a (Function a)) Source #

type VSType a = VS (a (Type a)) Source #

type SVariable a = VS (a (Variable a)) Source #

type SValue a = VS (a (Value a)) Source #

type VSThunk a = VS (a (Thunk a)) Source #

type MSStatement a = MS (a (Statement a)) Source #

type MSParameter a = MS (a (Parameter a)) Source #

type SMethod a = MS (a (Method a)) Source #

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

type MixedCall r = Label -> VSType r -> [SValue r] -> NamedArgs r -> SValue r Source #

type MixedCtorCall r = VSType r -> [SValue r] -> NamedArgs r -> SValue r Source #

type PosCall r = Label -> VSType r -> [SValue r] -> SValue r Source #

type PosCtorCall r = VSType r -> [SValue r] -> SValue r Source #

type InOutCall r = Label -> [SValue r] -> [SVariable r] -> [SVariable r] -> MSStatement r Source #

type InOutFunc r = [SVariable r] -> [SVariable r] -> [SVariable r] -> MSBody r -> SMethod r Source #

type DocInOutFunc r = String -> [(String, SVariable r)] -> [(String, SVariable r)] -> [(String, SVariable r)] -> MSBody r -> SMethod r Source #

class BlockSym r => BodySym r where Source #

Associated Types

type Body r Source #

Methods

body :: [MSBlock r] -> MSBody r Source #

addComments :: Label -> MSBody r -> MSBody r Source #

Instances

Instances details
BodySym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Body CodeInfoOO Source #

BodySym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Body CodeInfoProc Source #

BodySym CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

Associated Types

type Body CSharpCode Source #

BodySym CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Body CppHdrCode Source #

BodySym CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Body CppSrcCode Source #

BodySym JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

Associated Types

type Body JavaCode Source #

BodySym JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

Associated Types

type Body JuliaCode Source #

BodySym PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

Associated Types

type Body PythonCode Source #

BodySym SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Associated Types

type Body SwiftCode Source #

Pair p => BodySym (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Body (p CppSrcCode CppHdrCode) Source #

class StatementSym r => BlockSym r where Source #

Associated Types

type Block r Source #

Methods

block :: [MSStatement r] -> MSBlock r Source #

Instances

Instances details
BlockSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Block CodeInfoOO Source #

BlockSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Block CodeInfoProc Source #

BlockSym CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

Associated Types

type Block CSharpCode Source #

BlockSym CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Block CppHdrCode Source #

BlockSym CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Block CppSrcCode Source #

BlockSym JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

Associated Types

type Block JavaCode Source #

BlockSym JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

Associated Types

type Block JuliaCode Source #

BlockSym PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

Associated Types

type Block PythonCode Source #

BlockSym SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Associated Types

type Block SwiftCode Source #

Pair p => BlockSym (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Block (p CppSrcCode CppHdrCode) Source #

class TypeSym r where Source #

Associated Types

type Type r Source #

Instances

Instances details
TypeSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Type CodeInfoOO Source #

TypeSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Type CodeInfoProc Source #

TypeSym CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

Associated Types

type Type CSharpCode Source #

TypeSym CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Type CppHdrCode Source #

TypeSym CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Type CppSrcCode Source #

TypeSym JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

Associated Types

type Type JavaCode Source #

TypeSym JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

Associated Types

type Type JuliaCode Source #

TypeSym PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

Associated Types

type Type PythonCode Source #

TypeSym SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Associated Types

type Type SwiftCode Source #

Pair p => TypeSym (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Type (p CppSrcCode CppHdrCode) Source #

class TypeSym r => TypeElim r where Source #

Methods

getType :: r (Type r) -> CodeType Source #

getTypeString :: r (Type r) -> String Source #

Instances

Instances details
TypeElim CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

TypeElim CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

TypeElim CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

TypeElim CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

TypeElim CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

TypeElim JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

TypeElim JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

TypeElim PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

TypeElim SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => TypeElim (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class TypeSym r => VariableSym r where Source #

Associated Types

type Variable r Source #

Instances

Instances details
VariableSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Variable CodeInfoOO Source #

VariableSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Variable CodeInfoProc Source #

VariableSym CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

Associated Types

type Variable CSharpCode Source #

VariableSym CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Variable CppHdrCode Source #

VariableSym CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Variable CppSrcCode Source #

VariableSym JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

Associated Types

type Variable JavaCode Source #

VariableSym JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

Associated Types

type Variable JuliaCode Source #

VariableSym PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

Associated Types

type Variable PythonCode Source #

VariableSym SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Associated Types

type Variable SwiftCode Source #

Pair p => VariableSym (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Variable (p CppSrcCode CppHdrCode) Source #

class ScopeSym r where Source #

Associated Types

type Scope r Source #

Methods

global :: r (Scope r) Source #

mainFn :: r (Scope r) Source #

local :: r (Scope r) Source #

Instances

Instances details
ScopeSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Scope CodeInfoOO Source #

ScopeSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Scope CodeInfoProc Source #

ScopeSym CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

Associated Types

type Scope CSharpCode Source #

ScopeSym CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Scope CppHdrCode Source #

ScopeSym CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Scope CppSrcCode Source #

ScopeSym JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

Associated Types

type Scope JavaCode Source #

ScopeSym JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

Associated Types

type Scope JuliaCode Source #

ScopeSym PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

Associated Types

type Scope PythonCode Source #

ScopeSym SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Associated Types

type Scope SwiftCode Source #

Pair p => ScopeSym (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Scope (p CppSrcCode CppHdrCode) Source #

class VariableSym r => VariableElim r where Source #

Methods

variableName :: r (Variable r) -> String Source #

variableType :: r (Variable r) -> r (Type r) Source #

Instances

Instances details
VariableElim CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

VariableElim CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

VariableElim CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

VariableElim CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

VariableElim CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

VariableElim JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

VariableElim JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

VariableElim PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

VariableElim SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => VariableElim (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class TypeSym r => ValueSym r where Source #

Associated Types

type Value r Source #

Methods

valueType :: r (Value r) -> r (Type r) Source #

Instances

Instances details
ValueSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Value CodeInfoOO Source #

ValueSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Value CodeInfoProc Source #

ValueSym CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

Associated Types

type Value CSharpCode Source #

ValueSym CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Value CppHdrCode Source #

ValueSym CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Value CppSrcCode Source #

ValueSym JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

Associated Types

type Value JavaCode Source #

ValueSym JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

Associated Types

type Value JuliaCode Source #

ValueSym PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

Associated Types

type Value PythonCode Source #

ValueSym SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Associated Types

type Value SwiftCode Source #

Pair p => ValueSym (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Value (p CppSrcCode CppHdrCode) Source #

class ValueSym r => Argument r where Source #

Methods

pointerArg :: SValue r -> SValue r Source #

Instances

Instances details
Argument CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Argument CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Argument CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

Argument CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Argument CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Argument JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

Argument JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

Argument PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

Argument SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => Argument (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class ValueSym r => Literal r where Source #

Instances

Instances details
Literal CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Literal CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Literal CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

Literal CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Literal CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Literal JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

Literal JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

Literal PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

Literal SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => Literal (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class ValueSym r => MathConstant r where Source #

Methods

pi :: SValue r Source #

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

Methods

valueOf :: SVariable r -> SValue r Source #

Instances

Instances details
VariableValue CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

VariableValue CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

VariableValue CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

VariableValue CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

VariableValue CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

VariableValue JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

VariableValue JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

VariableValue PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

VariableValue SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => VariableValue (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class ValueSym r => CommandLineArgs r where Source #

Instances

Instances details
CommandLineArgs CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

CommandLineArgs CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

CommandLineArgs CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

CommandLineArgs CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

CommandLineArgs CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

CommandLineArgs JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

CommandLineArgs JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

CommandLineArgs PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

CommandLineArgs SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => CommandLineArgs (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class ValueSym r => NumericExpression r where Source #

Methods

(#~) :: SValue r -> SValue r infixl 8 Source #

(#/^) :: SValue r -> SValue r infixl 7 Source #

(#|) :: SValue r -> SValue r infixl 7 Source #

(#+) :: SValue r -> SValue r -> SValue r infixl 5 Source #

(#-) :: SValue r -> SValue r -> SValue r infixl 5 Source #

(#*) :: SValue r -> SValue r -> SValue r infixl 6 Source #

(#/) :: SValue r -> SValue r -> SValue r infixl 6 Source #

(#%) :: SValue r -> SValue r -> SValue r infixl 6 Source #

(#^) :: SValue r -> SValue r -> SValue r infixl 7 Source #

log :: SValue r -> SValue r Source #

ln :: SValue r -> SValue r Source #

exp :: SValue r -> SValue r Source #

sin :: SValue r -> SValue r Source #

cos :: SValue r -> SValue r Source #

tan :: SValue r -> SValue r Source #

csc :: SValue r -> SValue r Source #

sec :: SValue r -> SValue r Source #

cot :: SValue r -> SValue r Source #

arcsin :: SValue r -> SValue r Source #

arccos :: SValue r -> SValue r Source #

arctan :: SValue r -> SValue r Source #

floor :: SValue r -> SValue r Source #

ceil :: SValue r -> SValue r Source #

Instances

Instances details
NumericExpression CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

NumericExpression CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

NumericExpression CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

NumericExpression CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

NumericExpression CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

NumericExpression JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

NumericExpression JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

NumericExpression PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

NumericExpression SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => NumericExpression (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Methods

(#~) :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

(#/^) :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

(#|) :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

(#+) :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

(#-) :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

(#*) :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

(#/) :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

(#%) :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

(#^) :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

log :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

ln :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

exp :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

sin :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

cos :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

tan :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

csc :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

sec :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

cot :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

arcsin :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

arccos :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

arctan :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

floor :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

ceil :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

class ValueSym r => BooleanExpression r where Source #

Methods

(?!) :: SValue r -> SValue r infixr 6 Source #

(?&&) :: SValue r -> SValue r -> SValue r infixl 2 Source #

(?||) :: SValue r -> SValue r -> SValue r infixl 1 Source #

Instances

Instances details
BooleanExpression CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

BooleanExpression CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

BooleanExpression CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

BooleanExpression CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

BooleanExpression CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

BooleanExpression JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

BooleanExpression JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

BooleanExpression PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

BooleanExpression SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => BooleanExpression (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class ValueSym r => Comparison r where Source #

Methods

(?<) :: SValue r -> SValue r -> SValue r infixl 4 Source #

(?<=) :: SValue r -> SValue r -> SValue r infixl 4 Source #

(?>) :: SValue r -> SValue r -> SValue r infixl 4 Source #

(?>=) :: SValue r -> SValue r -> SValue r infixl 4 Source #

(?==) :: SValue r -> SValue r -> SValue r infixl 3 Source #

(?!=) :: SValue r -> SValue r -> SValue r infixl 3 Source #

Instances

Instances details
Comparison CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Comparison CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Comparison CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

Comparison CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Comparison CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Comparison JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

Comparison JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

Comparison PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

Comparison SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => Comparison (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

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

Instances

Instances details
ValueExpression CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

ValueExpression CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

ValueExpression CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

ValueExpression CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

ValueExpression CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

ValueExpression JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

ValueExpression JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

ValueExpression PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

ValueExpression SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => ValueExpression (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class ValueSym r => List r where Source #

Methods

intToIndex :: SValue r -> SValue r Source #

Does any necessary conversions from GOOL's zero-indexed assumptions to the target language's assumptions

indexToInt :: SValue r -> SValue r Source #

Does any necessary conversions from the target language's indexing assumptions assumptions to GOOL's zero-indexed assumptions

listSize :: SValue r -> SValue r Source #

Finds the size of a list. Arguments are: List

listAdd :: SValue r -> SValue r -> SValue r -> SValue r Source #

Inserts a value into a list. Arguments are: List, Index, Value

listAppend :: SValue r -> SValue r -> SValue r Source #

Appens a value to a list. Arguments are: List, Value

listAccess :: SValue r -> SValue r -> SValue r Source #

Gets the value of an index of a list. Arguments are: List, Index

listSet :: SValue r -> SValue r -> SValue r -> SValue r Source #

Sets the value of an index of a list. Arguments are: List, Index, Value

indexOf :: SValue r -> SValue r -> SValue r Source #

Finds the index of the first occurrence of a value in a list. Arguments are: List, Value

Instances

Instances details
List CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

List CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

List CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

List CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

List CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

List JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

List JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

List PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

List SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => List (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class ValueSym r => Set r where Source #

Methods

contains :: SValue r -> SValue r -> SValue r Source #

Checks membership Arguments are: Set, Value

setAdd :: SValue r -> SValue r -> SValue r Source #

Inserts a value into a set Arguments are: Set, Value

setRemove :: SValue r -> SValue r -> SValue r Source #

Removes a value from a set Arguments are: Set, Value

setUnion :: SValue r -> SValue r -> SValue r Source #

Removes a value from a set Arguments are: Set, Set

Instances

Instances details
Set CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Set CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Set CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

Set CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Set CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Set JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

Set JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

Set PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

Set SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => Set (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class ValueSym r => InternalList r where Source #

Methods

listSlice' :: Maybe (SValue r) -> Maybe (SValue r) -> Maybe (SValue r) -> SVariable r -> SValue r -> MSBlock r Source #

Instances

Instances details
InternalList CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

InternalList CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

InternalList CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

InternalList CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

InternalList CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

InternalList JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

InternalList JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

InternalList PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

InternalList SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => InternalList (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

listSlice :: InternalList r => SVariable r -> SValue r -> Maybe (SValue r) -> Maybe (SValue r) -> Maybe (SValue r) -> MSBlock r Source #

Creates a slice of a list and assigns it to a variable. Arguments are: Variable to assign List to read from (optional) Start index inclusive. (if Nothing, then list start if step > 0, list end if step < 0) (optional) End index exclusive. (if Nothing, then list end if step > 0, list start if step > 0) (optional) Step (if Nothing, then defaults to 1)

at :: List r => SValue r -> SValue r -> SValue r Source #

class ThunkSym r Source #

Associated Types

type Thunk (r :: Type -> Type) Source #

Instances

Instances details
ThunkSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Thunk CodeInfoOO Source #

ThunkSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Thunk CodeInfoProc Source #

ThunkSym CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

Associated Types

type Thunk CSharpCode Source #

ThunkSym CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Thunk CppHdrCode Source #

ThunkSym CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Thunk CppSrcCode Source #

ThunkSym JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

Associated Types

type Thunk JavaCode Source #

ThunkSym JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

Associated Types

type Thunk JuliaCode Source #

ThunkSym PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

Associated Types

type Thunk PythonCode Source #

ThunkSym SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Associated Types

type Thunk SwiftCode Source #

ThunkSym (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Thunk (p CppSrcCode CppHdrCode) Source #

class TypeSym r => VectorType r where Source #

Methods

vecType :: VSType r -> VSType r Source #

Instances

Instances details
VectorType CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

VectorType CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

VectorType CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

VectorType CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

VectorType CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

VectorType JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

VectorType JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

VectorType PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

VectorType SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => VectorType (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class DeclStatement r => VectorDecl r where Source #

Methods

vecDec :: Integer -> SVariable r -> r (Scope r) -> MSStatement r Source #

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

Instances

Instances details
VectorDecl CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

VectorDecl CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

VectorDecl CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

VectorDecl CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

VectorDecl CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

VectorDecl JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

VectorDecl JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

VectorDecl PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

VectorDecl SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => VectorDecl (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class (VariableSym r, ThunkSym r) => VectorThunk r where Source #

Methods

vecThunk :: SVariable r -> VSThunk r Source #

Instances

Instances details
VectorThunk CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

VectorThunk CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

VectorThunk CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

VectorThunk CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

VectorThunk CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

VectorThunk JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

VectorThunk JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

VectorThunk PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

VectorThunk SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => VectorThunk (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class (ThunkSym r, ValueSym r) => VectorExpression r where Source #

Instances

Instances details
VectorExpression CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

VectorExpression CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

VectorExpression CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

VectorExpression CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

VectorExpression CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

VectorExpression JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

VectorExpression JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

VectorExpression PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

VectorExpression SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => VectorExpression (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class (VariableSym r, ThunkSym r, StatementSym r) => ThunkAssign r where Source #

Instances

Instances details
ThunkAssign CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

ThunkAssign CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

ThunkAssign CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

ThunkAssign CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

ThunkAssign CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

ThunkAssign JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

ThunkAssign JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

ThunkAssign PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

ThunkAssign SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => ThunkAssign (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class ValueSym r => StatementSym r where Source #

Associated Types

type Statement r Source #

Instances

Instances details
StatementSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Statement CodeInfoOO Source #

StatementSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Statement CodeInfoProc Source #

StatementSym CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

Associated Types

type Statement CSharpCode Source #

StatementSym CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Statement CppHdrCode Source #

StatementSym CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Statement CppSrcCode Source #

StatementSym JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

Associated Types

type Statement JavaCode Source #

StatementSym JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

Associated Types

type Statement JuliaCode Source #

StatementSym PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

Associated Types

type Statement PythonCode Source #

StatementSym SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Associated Types

type Statement SwiftCode Source #

Pair p => StatementSym (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Statement (p CppSrcCode CppHdrCode) Source #

class (VariableSym r, StatementSym r) => AssignStatement r where Source #

Methods

(&-=) :: SVariable r -> SValue r -> MSStatement r infixl 1 Source #

(&+=) :: SVariable r -> SValue r -> MSStatement r infixl 1 Source #

(&++) :: SVariable r -> MSStatement r infixl 8 Source #

(&--) :: SVariable r -> MSStatement r infixl 8 Source #

assign :: SVariable r -> SValue r -> MSStatement r Source #

Instances

Instances details
AssignStatement CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

AssignStatement CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

AssignStatement CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

AssignStatement CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

AssignStatement CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

AssignStatement JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

AssignStatement JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

AssignStatement PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

AssignStatement SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => AssignStatement (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

(&=) :: AssignStatement r => SVariable r -> SValue r -> MSStatement r infixr 1 Source #

class (VariableSym r, StatementSym r, ScopeSym r) => DeclStatement r where Source #

Instances

Instances details
DeclStatement CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

DeclStatement CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

DeclStatement CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

DeclStatement CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

DeclStatement CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

DeclStatement JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

DeclStatement JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

DeclStatement PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

DeclStatement SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => DeclStatement (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Methods

varDec :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode (Scope (p CppSrcCode CppHdrCode)) -> MSStatement (p CppSrcCode CppHdrCode) Source #

varDecDef :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode (Scope (p CppSrcCode CppHdrCode)) -> SValue (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

listDec :: Integer -> SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode (Scope (p CppSrcCode CppHdrCode)) -> MSStatement (p CppSrcCode CppHdrCode) Source #

listDecDef :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode (Scope (p CppSrcCode CppHdrCode)) -> [SValue (p CppSrcCode CppHdrCode)] -> MSStatement (p CppSrcCode CppHdrCode) Source #

setDec :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode (Scope (p CppSrcCode CppHdrCode)) -> MSStatement (p CppSrcCode CppHdrCode) Source #

setDecDef :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode (Scope (p CppSrcCode CppHdrCode)) -> SValue (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

arrayDec :: Integer -> SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode (Scope (p CppSrcCode CppHdrCode)) -> MSStatement (p CppSrcCode CppHdrCode) Source #

arrayDecDef :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode (Scope (p CppSrcCode CppHdrCode)) -> [SValue (p CppSrcCode CppHdrCode)] -> MSStatement (p CppSrcCode CppHdrCode) Source #

constDecDef :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode (Scope (p CppSrcCode CppHdrCode)) -> SValue (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

funcDecDef :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode (Scope (p CppSrcCode CppHdrCode)) -> [SVariable (p CppSrcCode CppHdrCode)] -> MSBody (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

class (VariableSym r, StatementSym r) => IOStatement r where Source #

Instances

Instances details
IOStatement CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

IOStatement CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

print :: SValue CodeInfoProc -> MSStatement CodeInfoProc Source #

printLn :: SValue CodeInfoProc -> MSStatement CodeInfoProc Source #

printStr :: String -> MSStatement CodeInfoProc Source #

printStrLn :: String -> MSStatement CodeInfoProc Source #

printFile :: SValue CodeInfoProc -> SValue CodeInfoProc -> MSStatement CodeInfoProc Source #

printFileLn :: SValue CodeInfoProc -> SValue CodeInfoProc -> MSStatement CodeInfoProc Source #

printFileStr :: SValue CodeInfoProc -> String -> MSStatement CodeInfoProc Source #

printFileStrLn :: SValue CodeInfoProc -> String -> MSStatement CodeInfoProc Source #

getInput :: SVariable CodeInfoProc -> MSStatement CodeInfoProc Source #

discardInput :: MSStatement CodeInfoProc Source #

getFileInput :: SValue CodeInfoProc -> SVariable CodeInfoProc -> MSStatement CodeInfoProc Source #

discardFileInput :: SValue CodeInfoProc -> MSStatement CodeInfoProc Source #

openFileR :: SVariable CodeInfoProc -> SValue CodeInfoProc -> MSStatement CodeInfoProc Source #

openFileW :: SVariable CodeInfoProc -> SValue CodeInfoProc -> MSStatement CodeInfoProc Source #

openFileA :: SVariable CodeInfoProc -> SValue CodeInfoProc -> MSStatement CodeInfoProc Source #

closeFile :: SValue CodeInfoProc -> MSStatement CodeInfoProc Source #

getFileInputLine :: SValue CodeInfoProc -> SVariable CodeInfoProc -> MSStatement CodeInfoProc Source #

discardFileLine :: SValue CodeInfoProc -> MSStatement CodeInfoProc Source #

getFileInputAll :: SValue CodeInfoProc -> SVariable CodeInfoProc -> MSStatement CodeInfoProc Source #

IOStatement CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

IOStatement CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

IOStatement CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

IOStatement JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

IOStatement JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

IOStatement PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

IOStatement SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => IOStatement (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Methods

print :: SValue (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

printLn :: SValue (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

printStr :: String -> MSStatement (p CppSrcCode CppHdrCode) Source #

printStrLn :: String -> MSStatement (p CppSrcCode CppHdrCode) Source #

printFile :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

printFileLn :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

printFileStr :: SValue (p CppSrcCode CppHdrCode) -> String -> MSStatement (p CppSrcCode CppHdrCode) Source #

printFileStrLn :: SValue (p CppSrcCode CppHdrCode) -> String -> MSStatement (p CppSrcCode CppHdrCode) Source #

getInput :: SVariable (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

discardInput :: MSStatement (p CppSrcCode CppHdrCode) Source #

getFileInput :: SValue (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

discardFileInput :: SValue (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

openFileR :: SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

openFileW :: SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

openFileA :: SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

closeFile :: SValue (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

getFileInputLine :: SValue (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

discardFileLine :: SValue (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

getFileInputAll :: SValue (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

class (VariableSym r, StatementSym r) => StringStatement r where Source #

Instances

Instances details
StringStatement CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

StringStatement CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

StringStatement CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

StringStatement CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

StringStatement CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

StringStatement JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

StringStatement JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

StringStatement PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

StringStatement SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => StringStatement (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class ValueSym r => FunctionSym r Source #

Associated Types

type Function r Source #

Instances

Instances details
FunctionSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Function CodeInfoOO Source #

FunctionSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Function CodeInfoProc Source #

FunctionSym CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

Associated Types

type Function CSharpCode Source #

FunctionSym CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Function CppHdrCode Source #

FunctionSym CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Function CppSrcCode Source #

FunctionSym JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

Associated Types

type Function JavaCode Source #

FunctionSym JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

Associated Types

type Function JuliaCode Source #

FunctionSym PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

Associated Types

type Function PythonCode Source #

FunctionSym SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Associated Types

type Function SwiftCode Source #

Pair p => FunctionSym (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Function (p CppSrcCode CppHdrCode) Source #

class (VariableSym r, StatementSym r) => FuncAppStatement r where Source #

Instances

Instances details
FuncAppStatement CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

FuncAppStatement CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

FuncAppStatement CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

FuncAppStatement CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

FuncAppStatement CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

FuncAppStatement JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

FuncAppStatement JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

FuncAppStatement PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

FuncAppStatement SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => FuncAppStatement (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

class StatementSym r => CommentStatement r where Source #

Instances

Instances details
CommentStatement CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

CommentStatement CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

CommentStatement CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

CommentStatement CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

CommentStatement CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

CommentStatement JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

CommentStatement JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

CommentStatement PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

CommentStatement SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => CommentStatement (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

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

Methods

break :: MSStatement r Source #

continue :: MSStatement r Source #

returnStmt :: SValue r -> MSStatement r Source #

throw :: Label -> MSStatement r Source #

ifCond :: [(SValue r, MSBody r)] -> MSBody r -> MSStatement r Source #

String of if-else statements. Arguments: List of predicates and bodies (if this then that), Body for else branch

switch :: SValue r -> [(SValue r, MSBody r)] -> MSBody r -> MSStatement r Source #

ifExists :: SValue r -> MSBody r -> MSBody r -> MSStatement r Source #

for :: MSStatement r -> SValue r -> MSStatement r -> MSBody r -> MSStatement r Source #

forRange :: SVariable r -> SValue r -> SValue r -> SValue r -> MSBody r -> MSStatement r Source #

forEach :: SVariable r -> SValue r -> MSBody r -> MSStatement r Source #

while :: SValue r -> MSBody r -> MSStatement r Source #

tryCatch :: MSBody r -> MSBody r -> MSStatement r Source #

assert :: SValue r -> SValue r -> MSStatement r Source #

Instances

Instances details
ControlStatement CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

ControlStatement CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

ControlStatement CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

ControlStatement CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

ControlStatement CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

ControlStatement JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

ControlStatement JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

ControlStatement PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

ControlStatement SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Pair p => ControlStatement (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Methods

break :: MSStatement (p CppSrcCode CppHdrCode) Source #

continue :: MSStatement (p CppSrcCode CppHdrCode) Source #

returnStmt :: SValue (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

throw :: Label -> MSStatement (p CppSrcCode CppHdrCode) Source #

ifCond :: [(SValue (p CppSrcCode CppHdrCode), MSBody (p CppSrcCode CppHdrCode))] -> MSBody (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

switch :: SValue (p CppSrcCode CppHdrCode) -> [(SValue (p CppSrcCode CppHdrCode), MSBody (p CppSrcCode CppHdrCode))] -> MSBody (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

ifExists :: SValue (p CppSrcCode CppHdrCode) -> MSBody (p CppSrcCode CppHdrCode) -> MSBody (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

for :: MSStatement (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) -> MSBody (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

forRange :: SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MSBody (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

forEach :: SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MSBody (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

while :: SValue (p CppSrcCode CppHdrCode) -> MSBody (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

tryCatch :: MSBody (p CppSrcCode CppHdrCode) -> MSBody (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

assert :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MSStatement (p CppSrcCode CppHdrCode) Source #

class VisibilitySym r where Source #

Associated Types

type Visibility r Source #

Instances

Instances details
VisibilitySym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Visibility CodeInfoOO Source #

VisibilitySym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Visibility CodeInfoProc Source #

VisibilitySym CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

Associated Types

type Visibility CSharpCode Source #

VisibilitySym CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Visibility CppHdrCode Source #

VisibilitySym CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Visibility CppSrcCode Source #

VisibilitySym JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

Associated Types

type Visibility JavaCode Source #

VisibilitySym JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

Associated Types

type Visibility JuliaCode Source #

VisibilitySym PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

Associated Types

type Visibility PythonCode Source #

VisibilitySym SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Associated Types

type Visibility SwiftCode Source #

Pair p => VisibilitySym (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Visibility (p CppSrcCode CppHdrCode) Source #

class VariableSym r => ParameterSym r where Source #

Associated Types

type Parameter r Source #

Instances

Instances details
ParameterSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Parameter CodeInfoOO Source #

ParameterSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Parameter CodeInfoProc Source #

ParameterSym CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

Associated Types

type Parameter CSharpCode Source #

ParameterSym CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Parameter CppHdrCode Source #

ParameterSym CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Parameter CppSrcCode Source #

ParameterSym JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

Associated Types

type Parameter JavaCode Source #

ParameterSym JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

Associated Types

type Parameter JuliaCode Source #

ParameterSym PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

Associated Types

type Parameter PythonCode Source #

ParameterSym SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Associated Types

type Parameter SwiftCode Source #

Pair p => ParameterSym (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Parameter (p CppSrcCode CppHdrCode) Source #

class (BodySym r, ParameterSym r, VisibilitySym r) => MethodSym r where Source #

Associated Types

type Method r Source #

Instances

Instances details
MethodSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Method CodeInfoOO Source #

MethodSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Method CodeInfoProc Source #

MethodSym CSharpCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer

Associated Types

type Method CSharpCode Source #

MethodSym CppHdrCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Method CppHdrCode Source #

MethodSym CppSrcCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Method CppSrcCode Source #

MethodSym JavaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer

Associated Types

type Method JavaCode Source #

MethodSym JuliaCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.JuliaRenderer

Associated Types

type Method JuliaCode Source #

MethodSym PythonCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer

Associated Types

type Method PythonCode Source #

MethodSym SwiftCode Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer

Associated Types

type Method SwiftCode Source #

Pair p => MethodSym (p CppSrcCode CppHdrCode) Source # 
Instance details

Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

Associated Types

type Method (p CppSrcCode CppHdrCode) Source #