Safe Haskell	Safe-Inferred
Language	Haskell2010

Drasil.Shared.InterfaceCommon

Synopsis

type Label = String
type Library = String
type Body = Doc
type Block = Doc
type VSBinder a = VS (a BinderD)
type Variable = VarData
type SVariable a = VS (a Variable)
type Value = ValData
type SValue a = VS (a Value)
type NamedArgs r = [(SVariable r, SValue r)]
type MixedCall r = Label -> VS (r TypeData) -> [SValue r] -> NamedArgs r -> SValue r
type MixedCtorCall r = VS (r TypeData) -> [SValue r] -> NamedArgs r -> SValue r
type PosCall r = Label -> VS (r TypeData) -> [SValue r] -> SValue r
type PosCtorCall r = VS (r TypeData) -> [SValue r] -> SValue r
type InOutCall r smt = Label -> [SValue r] -> [SVariable r] -> [SVariable r] -> MS (r smt)
type InOutFunc r md = [SVariable r] -> [SVariable r] -> [SVariable r] -> MS (r Body) -> MS (r md)
type DocInOutFunc r md = String -> [(String, SVariable r)] -> [(String, SVariable r)] -> [(String, SVariable r)] -> MS (r Body) -> MS (r md)
class (UnRepr r TypeData, SharedStatement r smt, FunctionSym r, InternalList r, VariableValue r, IndexTranslator r, TypeElim r, VariableElim r, MethodSym r vis smt md, ScopeSym r, BinderSym r) => SharedProg r vis smt md
class (Array r, AssignStatement r smt, Argument r, BooleanExpression r, CommandLineArgs r, CommentStatement r smt, Comparison r, ControlStatement r smt, DeclStatement r smt, FuncAppStatement r smt, IOStatement r smt, List r smt, Literal r, MathConstant r, NumericExpression r, ParameterSym r, Reference r, Set r, StringStatement r smt, ValueExpression r, VariableValue r) => SharedStatement r smt
class UnRepr repr contents where
- unRepr :: repr contents -> contents
class BlockSym r smt => BodySym r smt where
- body :: [MS (r Block)] -> MS (r Body)
- addComments :: Label -> MS (r Body) -> MS (r Body)
bodyStatements :: BodySym r smt => [MS (r smt)] -> MS (r Body)
oneLiner :: BodySym r smt => MS (r smt) -> MS (r Body)
class StatementSym r smt => BlockSym r smt where
- block :: [MS (r smt)] -> MS (r Block)
class TypeSym r where
- bool :: VS (r TypeData)
- int :: VS (r TypeData)
- float :: VS (r TypeData)
- double :: VS (r TypeData)
- char :: VS (r TypeData)
- string :: VS (r TypeData)
- infile :: VS (r TypeData)
- outfile :: VS (r TypeData)
- referenceType :: VS (r TypeData) -> VS (r TypeData)
- listType :: VS (r TypeData) -> VS (r TypeData)
- setType :: VS (r TypeData) -> VS (r TypeData)
- arrayType :: VS (r TypeData) -> VS (r TypeData)
- innerType :: VS (r TypeData) -> VS (r TypeData)
- funcType :: [VS (r TypeData)] -> VS (r TypeData) -> VS (r TypeData)
- void :: VS (r TypeData)
class TypeSym r => TypeElim r where
- getCodeType :: r TypeData -> CodeType
getTypeString :: UnRepr r TypeData => r TypeData -> String
class TypeSym r => VariableSym r where
- var :: Label -> VS (r TypeData) -> SVariable r
- constant :: Label -> VS (r TypeData) -> SVariable r
- extVar :: Library -> Label -> VS (r TypeData) -> SVariable r
class ScopeSym r where
- global :: r ScopeData
- mainFn :: r ScopeData
- local :: r ScopeData
convScope :: ScopeSym r => ScopeData -> r ScopeData
class VariableSym r => VariableElim r where
- variableName :: r Variable -> String
- variableType :: r Variable -> r TypeData
listOf :: VariableSym r => Label -> VS (r TypeData) -> SVariable r
listVar :: VariableSym r => Label -> VS (r TypeData) -> SVariable r
class TypeSym r => ValueSym r where
- valueType :: r Value -> r TypeData
class ValueSym r => Argument r where
- pointerArg :: SValue r -> SValue r
class ValueSym r => Literal r where
- litTrue :: SValue r
- litFalse :: SValue r
- litChar :: Char -> SValue r
- litDouble :: Double -> SValue r
- litFloat :: Float -> SValue r
- litInt :: Integer -> SValue r
- litString :: String -> SValue r
- litArray :: VS (r TypeData) -> [SValue r] -> SValue r
- litList :: VS (r TypeData) -> [SValue r] -> SValue r
- litSet :: VS (r TypeData) -> [SValue r] -> SValue r
litZero :: (Literal r, TypeElim r) => VS (r TypeData) -> SValue r
class ValueSym r => MathConstant r where
- pi :: SValue r
class (VariableSym r, ValueSym r) => VariableValue r where
- valueOf :: SVariable r -> SValue r
class ValueSym r => CommandLineArgs r where
- arg :: Integer -> SValue r
- argsList :: SValue r
- argExists :: Integer -> SValue r
class ValueSym r => NumericExpression r where
- (#~) :: SValue r -> SValue r
- (#/^) :: SValue r -> SValue r
- (#|) :: SValue r -> SValue r
- (#+) :: SValue r -> SValue r -> SValue r
- (#-) :: SValue r -> SValue r -> SValue r
- (#*) :: SValue r -> SValue r -> SValue r
- (#/) :: SValue r -> SValue r -> SValue r
- (#%) :: SValue r -> SValue r -> SValue r
- (#^) :: SValue r -> SValue r -> SValue r
- log :: SValue r -> SValue r
- ln :: SValue r -> SValue r
- exp :: SValue r -> SValue r
- sin :: SValue r -> SValue r
- cos :: SValue r -> SValue r
- tan :: SValue r -> SValue r
- csc :: SValue r -> SValue r
- sec :: SValue r -> SValue r
- cot :: SValue r -> SValue r
- arcsin :: SValue r -> SValue r
- arccos :: SValue r -> SValue r
- arctan :: SValue r -> SValue r
- floor :: SValue r -> SValue r
- ceil :: SValue r -> SValue r
class ValueSym r => BooleanExpression r where
- (?!) :: SValue r -> SValue r
- (?&&) :: SValue r -> SValue r -> SValue r
- (?||) :: SValue r -> SValue r -> SValue r
class ValueSym r => Comparison r where
- (?<) :: SValue r -> SValue r -> SValue r
- (?<=) :: SValue r -> SValue r -> SValue r
- (?>) :: SValue r -> SValue r -> SValue r
- (?>=) :: SValue r -> SValue r -> SValue r
- (?==) :: SValue r -> SValue r -> SValue r
- (?!=) :: SValue r -> SValue r -> SValue r
class (VariableSym r, ValueSym r) => ValueExpression r where
- inlineIf :: SValue r -> SValue r -> SValue r -> SValue r
- funcAppMixedArgs :: MixedCall r
- extFuncAppMixedArgs :: Library -> MixedCall r
- libFuncAppMixedArgs :: Library -> MixedCall r
- lambda :: [VSBinder r] -> SValue r -> SValue r
- notNull :: SValue r -> SValue r
funcApp :: ValueExpression r => PosCall r
funcAppNamedArgs :: ValueExpression r => Label -> VS (r TypeData) -> NamedArgs r -> SValue r
extFuncApp :: ValueExpression r => Library -> PosCall r
libFuncApp :: ValueExpression r => Library -> PosCall r
exists :: ValueExpression r => SValue r -> SValue r
class ValueSym r => IndexTranslator r where
- intToIndex :: SValue r -> SValue r
- indexToInt :: SValue r -> SValue r
class (TypeSym r, ValueSym r) => Reference r where
- makeRef :: SValue r -> SValue r
- maybeDeref :: SValue r -> SValue r
class IndexTranslator r => Array r where
- arrayElem :: SValue r -> SValue r -> SVariable r
- arrayLength :: SValue r -> SValue r
- arrayCopy :: SValue r -> SValue r
class (IndexTranslator r, StatementSym r smt) => List r smt where
- listSize :: SValue r -> SValue r
- listAdd :: SValue r -> SValue r -> SValue r -> MS (r smt)
- listAppend :: SValue r -> SValue r -> MS (r smt)
- listAccess :: SValue r -> SValue r -> SValue r
- listSet :: SValue r -> SValue r -> SValue r -> MS (r smt)
- indexOf :: SValue r -> SValue r -> SValue r
class ValueSym r => Set r where
- contains :: SValue r -> SValue r -> SValue r
- setAdd :: SValue r -> SValue r -> SValue r
- setRemove :: SValue r -> SValue r -> SValue r
- setUnion :: SValue r -> SValue r -> SValue r
class (IndexTranslator r, Literal r) => NativeVector r where
- vecType :: VS (r TypeData) -> VS (r TypeData)
- litVec :: VS (r TypeData) -> [SValue r] -> SValue r
- vecScale :: SValue r -> SValue r -> SValue r
- vecAdd :: SValue r -> SValue r -> SValue r
- vecIndex :: SValue r -> SValue r -> SValue r
- vecDot :: SValue r -> SValue r -> SValue r
- vecMag :: SValue r -> SValue r
- vecUnit :: SValue r -> SValue r
class ValueSym r => InternalList r where
- listSlice' :: Maybe (SValue r) -> Maybe (SValue r) -> Maybe (SValue r) -> SVariable r -> SValue r -> MS (r Block)
listSlice :: InternalList r => SVariable r -> SValue r -> Maybe (SValue r) -> Maybe (SValue r) -> Maybe (SValue r) -> MS (r Block)
listIndexExists :: (List r smt, Comparison r) => SValue r -> SValue r -> SValue r
at :: List r smt => SValue r -> SValue r -> SValue r
class ValueSym r => StatementSym r smt | r -> smt where
- valStmt :: SValue r -> MS (r smt)
- emptyStmt :: MS (r smt)
- multi :: [MS (r smt)] -> MS (r smt)
class (VariableSym r, StatementSym r smt) => AssignStatement r smt where
- (&-=) :: SVariable r -> SValue r -> MS (r smt)
- (&+=) :: SVariable r -> SValue r -> MS (r smt)
- (&++) :: SVariable r -> MS (r smt)
- (&--) :: SVariable r -> MS (r smt)
- assign :: SVariable r -> SValue r -> MS (r smt)
(&=) :: AssignStatement r smt => SVariable r -> SValue r -> MS (r smt)
class (VariableSym r, StatementSym r smt, ScopeSym r) => DeclStatement r smt where
- varDec :: SVariable r -> r ScopeData -> MS (r smt)
- varDecDef :: SVariable r -> r ScopeData -> SValue r -> MS (r smt)
- listDec :: Integer -> SVariable r -> r ScopeData -> MS (r smt)
- listDecDef :: SVariable r -> r ScopeData -> [SValue r] -> MS (r smt)
- setDec :: SVariable r -> r ScopeData -> MS (r smt)
- setDecDef :: SVariable r -> r ScopeData -> SValue r -> MS (r smt)
- arrayDec :: Integer -> SValue r -> SVariable r -> r ScopeData -> MS (r smt)
- arrayDecDef :: SVariable r -> r ScopeData -> [SValue r] -> MS (r smt)
- constDecDef :: SVariable r -> r ScopeData -> SValue r -> MS (r smt)
- funcDecDef :: SVariable r -> r ScopeData -> [SVariable r] -> MS (r Body) -> MS (r smt)
class (VariableSym r, StatementSym r smt) => IOStatement r smt where
- print :: SValue r -> MS (r smt)
- printLn :: SValue r -> MS (r smt)
- printStr :: String -> MS (r smt)
- printStrLn :: String -> MS (r smt)
- printFile :: SValue r -> SValue r -> MS (r smt)
- printFileLn :: SValue r -> SValue r -> MS (r smt)
- printFileStr :: SValue r -> String -> MS (r smt)
- printFileStrLn :: SValue r -> String -> MS (r smt)
- getInput :: SVariable r -> MS (r smt)
- discardInput :: MS (r smt)
- getFileInput :: SValue r -> SVariable r -> MS (r smt)
- discardFileInput :: SValue r -> MS (r smt)
- openFileR :: SVariable r -> SValue r -> MS (r smt)
- openFileW :: SVariable r -> SValue r -> MS (r smt)
- openFileA :: SVariable r -> SValue r -> MS (r smt)
- closeFile :: SValue r -> MS (r smt)
- getFileInputLine :: SValue r -> SVariable r -> MS (r smt)
- discardFileLine :: SValue r -> MS (r smt)
- getFileInputAll :: SValue r -> SVariable r -> MS (r smt)
class (VariableSym r, StatementSym r smt) => StringStatement r smt where
- stringSplit :: Char -> SVariable r -> SValue r -> MS (r smt)
- stringListVals :: [SVariable r] -> SValue r -> MS (r smt)
- stringListLists :: [SVariable r] -> SValue r -> MS (r smt)
class ValueSym r => FunctionSym r
class (VariableSym r, StatementSym r smt) => FuncAppStatement r smt where
- inOutCall :: InOutCall r smt
- extInOutCall :: Library -> InOutCall r smt
class StatementSym r smt => CommentStatement r smt where
- comment :: String -> MS (r smt)
class (BodySym r smt, VariableSym r) => ControlStatement r smt where
- break :: MS (r smt)
- continue :: MS (r smt)
- returnStmt :: SValue r -> MS (r smt)
- throw :: Label -> MS (r smt)
- ifCond :: [(SValue r, MS (r Body))] -> MS (r Body) -> MS (r smt)
- switch :: SValue r -> [(SValue r, MS (r Body))] -> MS (r Body) -> MS (r smt)
- ifExists :: SValue r -> MS (r Body) -> MS (r Body) -> MS (r smt)
- for :: MS (r smt) -> SValue r -> MS (r smt) -> MS (r Body) -> MS (r smt)
- forRange :: SVariable r -> SValue r -> SValue r -> SValue r -> MS (r Body) -> MS (r smt)
- forEach :: SVariable r -> SValue r -> MS (r Body) -> MS (r smt)
- while :: SValue r -> MS (r Body) -> MS (r smt)
- tryCatch :: MS (r Body) -> MS (r Body) -> MS (r smt)
- assert :: SValue r -> SValue r -> MS (r smt)
ifNoElse :: ControlStatement r smt => [(SValue r, MS (r Body))] -> MS (r smt)
switchAsIf :: (ControlStatement r smt, Comparison r) => SValue r -> [(SValue r, MS (r Body))] -> MS (r Body) -> MS (r smt)
class VisibilitySym r vis | r -> vis where
- private :: r vis
- public :: r vis
class VariableSym r => ParameterSym r where
- param :: SVariable r -> MS (r ParamData)
- pointerParam :: SVariable r -> MS (r ParamData)
class (BodySym r smt, ParameterSym r, VisibilitySym r vis) => MethodSym r vis smt md | r -> md where
- docMain :: MS (r Body) -> MS (r md)
- function :: Label -> r vis -> VS (r TypeData) -> [MS (r ParamData)] -> MS (r Body) -> MS (r md)
- mainFunction :: MS (r Body) -> MS (r md)
- docFunc :: String -> [String] -> Maybe String -> MS (r md) -> MS (r md)
- inOutFunc :: Label -> r vis -> InOutFunc r md
- docInOutFunc :: Label -> r vis -> DocInOutFunc r md
class TypeSym r => BinderSym r where
- binder :: Label -> VS (r TypeData) -> VSBinder r
class BinderSym r => BinderElim r where
- binderName :: r BinderD -> String
- binderType :: r BinderD -> r TypeData
convType :: TypeSym r => CodeType -> VS (r TypeData)

Documentation

type Label = String Source #

type Library = String Source #

type Body = Doc Source #

type Block = Doc Source #

type VSBinder a = VS (a BinderD) Source #

type Variable = VarData Source #

type SVariable a = VS (a Variable) Source #

type Value = ValData Source #

type SValue a = VS (a Value) Source #

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

type MixedCall r = Label -> VS (r TypeData) -> [SValue r] -> NamedArgs r -> SValue r Source #

type MixedCtorCall r = VS (r TypeData) -> [SValue r] -> NamedArgs r -> SValue r Source #

type PosCall r = Label -> VS (r TypeData) -> [SValue r] -> SValue r Source #

type PosCtorCall r = VS (r TypeData) -> [SValue r] -> SValue r Source #

type InOutCall r smt = Label -> [SValue r] -> [SVariable r] -> [SVariable r] -> MS (r smt) Source #

type InOutFunc r md = [SVariable r] -> [SVariable r] -> [SVariable r] -> MS (r Body) -> MS (r md) Source #

type DocInOutFunc r md = String -> [(String, SVariable r)] -> [(String, SVariable r)] -> [(String, SVariable r)] -> MS (r Body) -> MS (r md) Source #

class (UnRepr r TypeData, SharedStatement r smt, FunctionSym r, InternalList r, VariableValue r, IndexTranslator r, TypeElim r, VariableElim r, MethodSym r vis smt md, ScopeSym r, BinderSym r) => SharedProg r vis smt md Source #

Instances

Instances details

SharedProg CodeInfoOO () () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO
SharedProg CSharpCode Doc (Doc, Terminator) MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
SharedProg JavaCode Doc (Doc, Terminator) MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
SharedProg PythonCode Doc (Doc, Terminator) MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer
SharedProg SwiftCode Doc (Doc, Terminator) MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer
SharedProg JuliaCode Doc (Doc, Terminator) MethodData Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer
SharedProg MatlabCode Doc (Doc, Terminator) MethodData Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer
SharedProg r vis smt md => SharedProg (LoggingFor r) vis smt md Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor

class (Array r, AssignStatement r smt, Argument r, BooleanExpression r, CommandLineArgs r, CommentStatement r smt, Comparison r, ControlStatement r smt, DeclStatement r smt, FuncAppStatement r smt, IOStatement r smt, List r smt, Literal r, MathConstant r, NumericExpression r, ParameterSym r, Reference r, Set r, StringStatement r smt, ValueExpression r, VariableValue r) => SharedStatement r smt Source #

Instances

Instances details

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

class UnRepr repr contents where Source #

Methods

unRepr :: repr contents -> contents Source #

Instances

Instances details

UnRepr CodeInfoOO contents Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods unRepr :: CodeInfoOO contents -> contents Source #
UnRepr CSharpCode contents Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods unRepr :: CSharpCode contents -> contents Source #
UnRepr CppHdrCode contents Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods unRepr :: CppHdrCode contents -> contents Source #
UnRepr CppSrcCode contents Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods unRepr :: CppSrcCode contents -> contents Source #
UnRepr JavaCode contents Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods unRepr :: JavaCode contents -> contents Source #
UnRepr PythonCode contents Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods unRepr :: PythonCode contents -> contents Source #
UnRepr SwiftCode contents Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods unRepr :: SwiftCode contents -> contents Source #
UnRepr JuliaCode inner Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods unRepr :: JuliaCode inner -> inner Source #
UnRepr MatlabCode inner Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods unRepr :: MatlabCode inner -> inner Source #
UnRepr r contents => UnRepr (LoggingFor r) contents Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods unRepr :: LoggingFor r contents -> contents Source #
Pair p => UnRepr (p CppSrcCode CppHdrCode) contents Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods unRepr :: p CppSrcCode CppHdrCode contents -> contents Source #

class BlockSym r smt => BodySym r smt where Source #

Methods

body :: [MS (r Block)] -> MS (r Body) Source #

addComments :: Label -> MS (r Body) -> MS (r Body) Source #

Instances

Instances details

BodySym CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods body :: [MS (CodeInfoOO Block)] -> MS (CodeInfoOO Body) Source # addComments :: Label -> MS (CodeInfoOO Body) -> MS (CodeInfoOO Body) Source #
BodySym CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods body :: [MS (CSharpCode Block)] -> MS (CSharpCode Body) Source # addComments :: Label -> MS (CSharpCode Body) -> MS (CSharpCode Body) Source #
BodySym CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods body :: [MS (CppHdrCode Block)] -> MS (CppHdrCode Body) Source # addComments :: Label -> MS (CppHdrCode Body) -> MS (CppHdrCode Body) Source #
BodySym CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods body :: [MS (CppSrcCode Block)] -> MS (CppSrcCode Body) Source # addComments :: Label -> MS (CppSrcCode Body) -> MS (CppSrcCode Body) Source #
BodySym JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods body :: [MS (JavaCode Block)] -> MS (JavaCode Body) Source # addComments :: Label -> MS (JavaCode Body) -> MS (JavaCode Body) Source #
BodySym PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods body :: [MS (PythonCode Block)] -> MS (PythonCode Body) Source # addComments :: Label -> MS (PythonCode Body) -> MS (PythonCode Body) Source #
BodySym SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods body :: [MS (SwiftCode Block)] -> MS (SwiftCode Body) Source # addComments :: Label -> MS (SwiftCode Body) -> MS (SwiftCode Body) Source #
BodySym JuliaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods body :: [MS (JuliaCode Block)] -> MS (JuliaCode Body) Source # addComments :: Label -> MS (JuliaCode Body) -> MS (JuliaCode Body) Source #
BodySym MatlabCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods body :: [MS (MatlabCode Block)] -> MS (MatlabCode Body) Source # addComments :: Label -> MS (MatlabCode Body) -> MS (MatlabCode Body) Source #
BodySym r smt => BodySym (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods body :: [MS (LoggingFor r Block)] -> MS (LoggingFor r Body) Source # addComments :: Label -> MS (LoggingFor r Body) -> MS (LoggingFor r Body) Source #
Pair p => BodySym (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods body :: [MS (p CppSrcCode CppHdrCode Block)] -> MS (p CppSrcCode CppHdrCode Body) Source # addComments :: Label -> MS (p CppSrcCode CppHdrCode Body) -> MS (p CppSrcCode CppHdrCode Body) Source #

bodyStatements :: BodySym r smt => [MS (r smt)] -> MS (r Body) Source #

oneLiner :: BodySym r smt => MS (r smt) -> MS (r Body) Source #

class StatementSym r smt => BlockSym r smt where Source #

Methods

block :: [MS (r smt)] -> MS (r Block) Source #

Instances

Instances details

BlockSym CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods block :: [MS (CodeInfoOO ())] -> MS (CodeInfoOO Block) Source #
BlockSym CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods block :: [MS (CSharpCode (Doc, Terminator))] -> MS (CSharpCode Block) Source #
BlockSym CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods block :: [MS (CppHdrCode (Doc, Terminator))] -> MS (CppHdrCode Block) Source #
BlockSym CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods block :: [MS (CppSrcCode (Doc, Terminator))] -> MS (CppSrcCode Block) Source #
BlockSym JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods block :: [MS (JavaCode (Doc, Terminator))] -> MS (JavaCode Block) Source #
BlockSym PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods block :: [MS (PythonCode (Doc, Terminator))] -> MS (PythonCode Block) Source #
BlockSym SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods block :: [MS (SwiftCode (Doc, Terminator))] -> MS (SwiftCode Block) Source #
BlockSym JuliaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods block :: [MS (JuliaCode (Doc, Terminator))] -> MS (JuliaCode Block) Source #
BlockSym MatlabCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods block :: [MS (MatlabCode (Doc, Terminator))] -> MS (MatlabCode Block) Source #
BlockSym r smt => BlockSym (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods block :: [MS (LoggingFor r smt)] -> MS (LoggingFor r Block) Source #
Pair p => BlockSym (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods block :: [MS (p CppSrcCode CppHdrCode (Doc, Terminator))] -> MS (p CppSrcCode CppHdrCode Block) Source #

class TypeSym r where Source #

Methods

bool :: VS (r TypeData) Source #

int :: VS (r TypeData) Source #

float :: VS (r TypeData) Source #

double :: VS (r TypeData) Source #

char :: VS (r TypeData) Source #

string :: VS (r TypeData) Source #

infile :: VS (r TypeData) Source #

outfile :: VS (r TypeData) Source #

referenceType :: VS (r TypeData) -> VS (r TypeData) Source #

listType :: VS (r TypeData) -> VS (r TypeData) Source #

setType :: VS (r TypeData) -> VS (r TypeData) Source #

arrayType :: VS (r TypeData) -> VS (r TypeData) Source #

innerType :: VS (r TypeData) -> VS (r TypeData) Source #

funcType :: [VS (r TypeData)] -> VS (r TypeData) -> VS (r TypeData) Source #

void :: VS (r TypeData) Source #

Instances

Instances details

TypeSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods bool :: VS (CodeInfoOO TypeData) Source # int :: VS (CodeInfoOO TypeData) Source # float :: VS (CodeInfoOO TypeData) Source # double :: VS (CodeInfoOO TypeData) Source # char :: VS (CodeInfoOO TypeData) Source # string :: VS (CodeInfoOO TypeData) Source # infile :: VS (CodeInfoOO TypeData) Source # outfile :: VS (CodeInfoOO TypeData) Source # referenceType :: VS (CodeInfoOO TypeData) -> VS (CodeInfoOO TypeData) Source # listType :: VS (CodeInfoOO TypeData) -> VS (CodeInfoOO TypeData) Source # setType :: VS (CodeInfoOO TypeData) -> VS (CodeInfoOO TypeData) Source # arrayType :: VS (CodeInfoOO TypeData) -> VS (CodeInfoOO TypeData) Source # innerType :: VS (CodeInfoOO TypeData) -> VS (CodeInfoOO TypeData) Source # funcType :: [VS (CodeInfoOO TypeData)] -> VS (CodeInfoOO TypeData) -> VS (CodeInfoOO TypeData) Source # void :: VS (CodeInfoOO TypeData) Source #
TypeSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods bool :: VS (CSharpCode TypeData) Source # int :: VS (CSharpCode TypeData) Source # float :: VS (CSharpCode TypeData) Source # double :: VS (CSharpCode TypeData) Source # char :: VS (CSharpCode TypeData) Source # string :: VS (CSharpCode TypeData) Source # infile :: VS (CSharpCode TypeData) Source # outfile :: VS (CSharpCode TypeData) Source # referenceType :: VS (CSharpCode TypeData) -> VS (CSharpCode TypeData) Source # listType :: VS (CSharpCode TypeData) -> VS (CSharpCode TypeData) Source # setType :: VS (CSharpCode TypeData) -> VS (CSharpCode TypeData) Source # arrayType :: VS (CSharpCode TypeData) -> VS (CSharpCode TypeData) Source # innerType :: VS (CSharpCode TypeData) -> VS (CSharpCode TypeData) Source # funcType :: [VS (CSharpCode TypeData)] -> VS (CSharpCode TypeData) -> VS (CSharpCode TypeData) Source # void :: VS (CSharpCode TypeData) Source #
TypeSym CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods bool :: VS (CppHdrCode TypeData) Source # int :: VS (CppHdrCode TypeData) Source # float :: VS (CppHdrCode TypeData) Source # double :: VS (CppHdrCode TypeData) Source # char :: VS (CppHdrCode TypeData) Source # string :: VS (CppHdrCode TypeData) Source # infile :: VS (CppHdrCode TypeData) Source # outfile :: VS (CppHdrCode TypeData) Source # referenceType :: VS (CppHdrCode TypeData) -> VS (CppHdrCode TypeData) Source # listType :: VS (CppHdrCode TypeData) -> VS (CppHdrCode TypeData) Source # setType :: VS (CppHdrCode TypeData) -> VS (CppHdrCode TypeData) Source # arrayType :: VS (CppHdrCode TypeData) -> VS (CppHdrCode TypeData) Source # innerType :: VS (CppHdrCode TypeData) -> VS (CppHdrCode TypeData) Source # funcType :: [VS (CppHdrCode TypeData)] -> VS (CppHdrCode TypeData) -> VS (CppHdrCode TypeData) Source # void :: VS (CppHdrCode TypeData) Source #
TypeSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods bool :: VS (CppSrcCode TypeData) Source # int :: VS (CppSrcCode TypeData) Source # float :: VS (CppSrcCode TypeData) Source # double :: VS (CppSrcCode TypeData) Source # char :: VS (CppSrcCode TypeData) Source # string :: VS (CppSrcCode TypeData) Source # infile :: VS (CppSrcCode TypeData) Source # outfile :: VS (CppSrcCode TypeData) Source # referenceType :: VS (CppSrcCode TypeData) -> VS (CppSrcCode TypeData) Source # listType :: VS (CppSrcCode TypeData) -> VS (CppSrcCode TypeData) Source # setType :: VS (CppSrcCode TypeData) -> VS (CppSrcCode TypeData) Source # arrayType :: VS (CppSrcCode TypeData) -> VS (CppSrcCode TypeData) Source # innerType :: VS (CppSrcCode TypeData) -> VS (CppSrcCode TypeData) Source # funcType :: [VS (CppSrcCode TypeData)] -> VS (CppSrcCode TypeData) -> VS (CppSrcCode TypeData) Source # void :: VS (CppSrcCode TypeData) Source #
TypeSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods bool :: VS (JavaCode TypeData) Source # int :: VS (JavaCode TypeData) Source # float :: VS (JavaCode TypeData) Source # double :: VS (JavaCode TypeData) Source # char :: VS (JavaCode TypeData) Source # string :: VS (JavaCode TypeData) Source # infile :: VS (JavaCode TypeData) Source # outfile :: VS (JavaCode TypeData) Source # referenceType :: VS (JavaCode TypeData) -> VS (JavaCode TypeData) Source # listType :: VS (JavaCode TypeData) -> VS (JavaCode TypeData) Source # setType :: VS (JavaCode TypeData) -> VS (JavaCode TypeData) Source # arrayType :: VS (JavaCode TypeData) -> VS (JavaCode TypeData) Source # innerType :: VS (JavaCode TypeData) -> VS (JavaCode TypeData) Source # funcType :: [VS (JavaCode TypeData)] -> VS (JavaCode TypeData) -> VS (JavaCode TypeData) Source # void :: VS (JavaCode TypeData) Source #
TypeSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods bool :: VS (PythonCode TypeData) Source # int :: VS (PythonCode TypeData) Source # float :: VS (PythonCode TypeData) Source # double :: VS (PythonCode TypeData) Source # char :: VS (PythonCode TypeData) Source # string :: VS (PythonCode TypeData) Source # infile :: VS (PythonCode TypeData) Source # outfile :: VS (PythonCode TypeData) Source # referenceType :: VS (PythonCode TypeData) -> VS (PythonCode TypeData) Source # listType :: VS (PythonCode TypeData) -> VS (PythonCode TypeData) Source # setType :: VS (PythonCode TypeData) -> VS (PythonCode TypeData) Source # arrayType :: VS (PythonCode TypeData) -> VS (PythonCode TypeData) Source # innerType :: VS (PythonCode TypeData) -> VS (PythonCode TypeData) Source # funcType :: [VS (PythonCode TypeData)] -> VS (PythonCode TypeData) -> VS (PythonCode TypeData) Source # void :: VS (PythonCode TypeData) Source #
TypeSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods bool :: VS (SwiftCode TypeData) Source # int :: VS (SwiftCode TypeData) Source # float :: VS (SwiftCode TypeData) Source # double :: VS (SwiftCode TypeData) Source # char :: VS (SwiftCode TypeData) Source # string :: VS (SwiftCode TypeData) Source # infile :: VS (SwiftCode TypeData) Source # outfile :: VS (SwiftCode TypeData) Source # referenceType :: VS (SwiftCode TypeData) -> VS (SwiftCode TypeData) Source # listType :: VS (SwiftCode TypeData) -> VS (SwiftCode TypeData) Source # setType :: VS (SwiftCode TypeData) -> VS (SwiftCode TypeData) Source # arrayType :: VS (SwiftCode TypeData) -> VS (SwiftCode TypeData) Source # innerType :: VS (SwiftCode TypeData) -> VS (SwiftCode TypeData) Source # funcType :: [VS (SwiftCode TypeData)] -> VS (SwiftCode TypeData) -> VS (SwiftCode TypeData) Source # void :: VS (SwiftCode TypeData) Source #
TypeSym JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods bool :: VS (JuliaCode TypeData) Source # int :: VS (JuliaCode TypeData) Source # float :: VS (JuliaCode TypeData) Source # double :: VS (JuliaCode TypeData) Source # char :: VS (JuliaCode TypeData) Source # string :: VS (JuliaCode TypeData) Source # infile :: VS (JuliaCode TypeData) Source # outfile :: VS (JuliaCode TypeData) Source # referenceType :: VS (JuliaCode TypeData) -> VS (JuliaCode TypeData) Source # listType :: VS (JuliaCode TypeData) -> VS (JuliaCode TypeData) Source # setType :: VS (JuliaCode TypeData) -> VS (JuliaCode TypeData) Source # arrayType :: VS (JuliaCode TypeData) -> VS (JuliaCode TypeData) Source # innerType :: VS (JuliaCode TypeData) -> VS (JuliaCode TypeData) Source # funcType :: [VS (JuliaCode TypeData)] -> VS (JuliaCode TypeData) -> VS (JuliaCode TypeData) Source # void :: VS (JuliaCode TypeData) Source #
TypeSym MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods bool :: VS (MatlabCode TypeData) Source # int :: VS (MatlabCode TypeData) Source # float :: VS (MatlabCode TypeData) Source # double :: VS (MatlabCode TypeData) Source # char :: VS (MatlabCode TypeData) Source # string :: VS (MatlabCode TypeData) Source # infile :: VS (MatlabCode TypeData) Source # outfile :: VS (MatlabCode TypeData) Source # referenceType :: VS (MatlabCode TypeData) -> VS (MatlabCode TypeData) Source # listType :: VS (MatlabCode TypeData) -> VS (MatlabCode TypeData) Source # setType :: VS (MatlabCode TypeData) -> VS (MatlabCode TypeData) Source # arrayType :: VS (MatlabCode TypeData) -> VS (MatlabCode TypeData) Source # innerType :: VS (MatlabCode TypeData) -> VS (MatlabCode TypeData) Source # funcType :: [VS (MatlabCode TypeData)] -> VS (MatlabCode TypeData) -> VS (MatlabCode TypeData) Source # void :: VS (MatlabCode TypeData) Source #
TypeSym r => TypeSym (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods bool :: VS (LoggingFor r TypeData) Source # int :: VS (LoggingFor r TypeData) Source # float :: VS (LoggingFor r TypeData) Source # double :: VS (LoggingFor r TypeData) Source # char :: VS (LoggingFor r TypeData) Source # string :: VS (LoggingFor r TypeData) Source # infile :: VS (LoggingFor r TypeData) Source # outfile :: VS (LoggingFor r TypeData) Source # referenceType :: VS (LoggingFor r TypeData) -> VS (LoggingFor r TypeData) Source # listType :: VS (LoggingFor r TypeData) -> VS (LoggingFor r TypeData) Source # setType :: VS (LoggingFor r TypeData) -> VS (LoggingFor r TypeData) Source # arrayType :: VS (LoggingFor r TypeData) -> VS (LoggingFor r TypeData) Source # innerType :: VS (LoggingFor r TypeData) -> VS (LoggingFor r TypeData) Source # funcType :: [VS (LoggingFor r TypeData)] -> VS (LoggingFor r TypeData) -> VS (LoggingFor r TypeData) Source # void :: VS (LoggingFor r TypeData) Source #
Pair p => TypeSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods bool :: VS (p CppSrcCode CppHdrCode TypeData) Source # int :: VS (p CppSrcCode CppHdrCode TypeData) Source # float :: VS (p CppSrcCode CppHdrCode TypeData) Source # double :: VS (p CppSrcCode CppHdrCode TypeData) Source # char :: VS (p CppSrcCode CppHdrCode TypeData) Source # string :: VS (p CppSrcCode CppHdrCode TypeData) Source # infile :: VS (p CppSrcCode CppHdrCode TypeData) Source # outfile :: VS (p CppSrcCode CppHdrCode TypeData) Source # referenceType :: VS (p CppSrcCode CppHdrCode TypeData) -> VS (p CppSrcCode CppHdrCode TypeData) Source # listType :: VS (p CppSrcCode CppHdrCode TypeData) -> VS (p CppSrcCode CppHdrCode TypeData) Source # setType :: VS (p CppSrcCode CppHdrCode TypeData) -> VS (p CppSrcCode CppHdrCode TypeData) Source # arrayType :: VS (p CppSrcCode CppHdrCode TypeData) -> VS (p CppSrcCode CppHdrCode TypeData) Source # innerType :: VS (p CppSrcCode CppHdrCode TypeData) -> VS (p CppSrcCode CppHdrCode TypeData) Source # funcType :: [VS (p CppSrcCode CppHdrCode TypeData)] -> VS (p CppSrcCode CppHdrCode TypeData) -> VS (p CppSrcCode CppHdrCode TypeData) Source # void :: VS (p CppSrcCode CppHdrCode TypeData) Source #

class TypeSym r => TypeElim r where Source #

Methods

getCodeType :: r TypeData -> CodeType Source #

Instances

Instances details

TypeElim CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods getCodeType :: CodeInfoOO TypeData -> CodeType Source #
TypeElim CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods getCodeType :: CSharpCode TypeData -> CodeType Source #
TypeElim CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods getCodeType :: CppHdrCode TypeData -> CodeType Source #
TypeElim CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods getCodeType :: CppSrcCode TypeData -> CodeType Source #
TypeElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods getCodeType :: JavaCode TypeData -> CodeType Source #
TypeElim PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods getCodeType :: PythonCode TypeData -> CodeType Source #
TypeElim SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods getCodeType :: SwiftCode TypeData -> CodeType Source #
TypeElim JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods getCodeType :: JuliaCode TypeData -> CodeType Source #
TypeElim MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods getCodeType :: MatlabCode TypeData -> CodeType Source #
TypeElim r => TypeElim (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods getCodeType :: LoggingFor r TypeData -> CodeType Source #
Pair p => TypeElim (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods getCodeType :: p CppSrcCode CppHdrCode TypeData -> CodeType Source #

getTypeString :: UnRepr r TypeData => r TypeData -> String Source #

A helper function for extracting the String representation from an `r TypeData`

class TypeSym r => VariableSym r where Source #

Methods

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

An instance- or function-level variable, separate from its instance (i.e. v, not `o.v`)

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

An instance- or function-level constant, separate from its instance (i.e. v, not `o.v`)

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

An instance- or module-level variable from an external library. Given library Lib, variable name v, and variable type t, it performs the necessary imports and creates v

Instances

Instances details

VariableSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods var :: Label -> VS (CodeInfoOO TypeData) -> SVariable CodeInfoOO Source # constant :: Label -> VS (CodeInfoOO TypeData) -> SVariable CodeInfoOO Source # extVar :: Library -> Label -> VS (CodeInfoOO TypeData) -> SVariable CodeInfoOO Source #
VariableSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods var :: Label -> VS (CSharpCode TypeData) -> SVariable CSharpCode Source # constant :: Label -> VS (CSharpCode TypeData) -> SVariable CSharpCode Source # extVar :: Library -> Label -> VS (CSharpCode TypeData) -> SVariable CSharpCode Source #
VariableSym CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods var :: Label -> VS (CppHdrCode TypeData) -> SVariable CppHdrCode Source # constant :: Label -> VS (CppHdrCode TypeData) -> SVariable CppHdrCode Source # extVar :: Library -> Label -> VS (CppHdrCode TypeData) -> SVariable CppHdrCode Source #
VariableSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods var :: Label -> VS (CppSrcCode TypeData) -> SVariable CppSrcCode Source # constant :: Label -> VS (CppSrcCode TypeData) -> SVariable CppSrcCode Source # extVar :: Library -> Label -> VS (CppSrcCode TypeData) -> SVariable CppSrcCode Source #
VariableSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods var :: Label -> VS (JavaCode TypeData) -> SVariable JavaCode Source # constant :: Label -> VS (JavaCode TypeData) -> SVariable JavaCode Source # extVar :: Library -> Label -> VS (JavaCode TypeData) -> SVariable JavaCode Source #
VariableSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods var :: Label -> VS (PythonCode TypeData) -> SVariable PythonCode Source # constant :: Label -> VS (PythonCode TypeData) -> SVariable PythonCode Source # extVar :: Library -> Label -> VS (PythonCode TypeData) -> SVariable PythonCode Source #
VariableSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods var :: Label -> VS (SwiftCode TypeData) -> SVariable SwiftCode Source # constant :: Label -> VS (SwiftCode TypeData) -> SVariable SwiftCode Source # extVar :: Library -> Label -> VS (SwiftCode TypeData) -> SVariable SwiftCode Source #
VariableSym JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods var :: Label -> VS (JuliaCode TypeData) -> SVariable JuliaCode Source # constant :: Label -> VS (JuliaCode TypeData) -> SVariable JuliaCode Source # extVar :: Library -> Label -> VS (JuliaCode TypeData) -> SVariable JuliaCode Source #
VariableSym MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods var :: Label -> VS (MatlabCode TypeData) -> SVariable MatlabCode Source # constant :: Label -> VS (MatlabCode TypeData) -> SVariable MatlabCode Source # extVar :: Library -> Label -> VS (MatlabCode TypeData) -> SVariable MatlabCode Source #
VariableSym r => VariableSym (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods var :: Label -> VS (LoggingFor r TypeData) -> SVariable (LoggingFor r) Source # constant :: Label -> VS (LoggingFor r TypeData) -> SVariable (LoggingFor r) Source # extVar :: Library -> Label -> VS (LoggingFor r TypeData) -> SVariable (LoggingFor r) Source #
Pair p => VariableSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods var :: Label -> VS (p CppSrcCode CppHdrCode TypeData) -> SVariable (p CppSrcCode CppHdrCode) Source # constant :: Label -> VS (p CppSrcCode CppHdrCode TypeData) -> SVariable (p CppSrcCode CppHdrCode) Source # extVar :: Library -> Label -> VS (p CppSrcCode CppHdrCode TypeData) -> SVariable (p CppSrcCode CppHdrCode) Source #

class ScopeSym r where Source #

Methods

global :: r ScopeData Source #

mainFn :: r ScopeData Source #

local :: r ScopeData Source #

Instances

Instances details

ScopeSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods global :: CodeInfoOO ScopeData Source # mainFn :: CodeInfoOO ScopeData Source # local :: CodeInfoOO ScopeData Source #
ScopeSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods global :: CSharpCode ScopeData Source # mainFn :: CSharpCode ScopeData Source # local :: CSharpCode ScopeData Source #
ScopeSym CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods global :: CppHdrCode ScopeData Source # mainFn :: CppHdrCode ScopeData Source # local :: CppHdrCode ScopeData Source #
ScopeSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods global :: CppSrcCode ScopeData Source # mainFn :: CppSrcCode ScopeData Source # local :: CppSrcCode ScopeData Source #
ScopeSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods global :: JavaCode ScopeData Source # mainFn :: JavaCode ScopeData Source # local :: JavaCode ScopeData Source #
ScopeSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods global :: PythonCode ScopeData Source # mainFn :: PythonCode ScopeData Source # local :: PythonCode ScopeData Source #
ScopeSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods global :: SwiftCode ScopeData Source # mainFn :: SwiftCode ScopeData Source # local :: SwiftCode ScopeData Source #
ScopeSym JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods global :: JuliaCode ScopeData Source # mainFn :: JuliaCode ScopeData Source # local :: JuliaCode ScopeData Source #
ScopeSym MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods global :: MatlabCode ScopeData Source # mainFn :: MatlabCode ScopeData Source # local :: MatlabCode ScopeData Source #
ScopeSym r => ScopeSym (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods global :: LoggingFor r ScopeData Source # mainFn :: LoggingFor r ScopeData Source # local :: LoggingFor r ScopeData Source #
Pair p => ScopeSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods global :: p CppSrcCode CppHdrCode ScopeData Source # mainFn :: p CppSrcCode CppHdrCode ScopeData Source # local :: p CppSrcCode CppHdrCode ScopeData Source #

convScope :: ScopeSym r => ScopeData -> r ScopeData Source #

class VariableSym r => VariableElim r where Source #

Methods

variableName :: r Variable -> String Source #

variableType :: r Variable -> r TypeData Source #

Instances

Instances details

VariableElim CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods variableName :: CodeInfoOO Variable -> String Source # variableType :: CodeInfoOO Variable -> CodeInfoOO TypeData Source #
VariableElim CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods variableName :: CSharpCode Variable -> String Source # variableType :: CSharpCode Variable -> CSharpCode TypeData Source #
VariableElim CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods variableName :: CppHdrCode Variable -> String Source # variableType :: CppHdrCode Variable -> CppHdrCode TypeData Source #
VariableElim CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods variableName :: CppSrcCode Variable -> String Source # variableType :: CppSrcCode Variable -> CppSrcCode TypeData Source #
VariableElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods variableName :: JavaCode Variable -> String Source # variableType :: JavaCode Variable -> JavaCode TypeData Source #
VariableElim PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods variableName :: PythonCode Variable -> String Source # variableType :: PythonCode Variable -> PythonCode TypeData Source #
VariableElim SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods variableName :: SwiftCode Variable -> String Source # variableType :: SwiftCode Variable -> SwiftCode TypeData Source #
VariableElim JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods variableName :: JuliaCode Variable -> String Source # variableType :: JuliaCode Variable -> JuliaCode TypeData Source #
VariableElim MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods variableName :: MatlabCode Variable -> String Source # variableType :: MatlabCode Variable -> MatlabCode TypeData Source #
VariableElim r => VariableElim (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods variableName :: LoggingFor r Variable -> String Source # variableType :: LoggingFor r Variable -> LoggingFor r TypeData Source #
Pair p => VariableElim (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods variableName :: p CppSrcCode CppHdrCode Variable -> String Source # variableType :: p CppSrcCode CppHdrCode Variable -> p CppSrcCode CppHdrCode TypeData Source #

listOf :: VariableSym r => Label -> VS (r TypeData) -> SVariable r Source #

listVar :: VariableSym r => Label -> VS (r TypeData) -> SVariable r Source #

class TypeSym r => ValueSym r where Source #

Methods

valueType :: r Value -> r TypeData Source #

Instances

Instances details

ValueSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods valueType :: CodeInfoOO Value -> CodeInfoOO TypeData Source #
ValueSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods valueType :: CSharpCode Value -> CSharpCode TypeData Source #
ValueSym CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods valueType :: CppHdrCode Value -> CppHdrCode TypeData Source #
ValueSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods valueType :: CppSrcCode Value -> CppSrcCode TypeData Source #
ValueSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods valueType :: JavaCode Value -> JavaCode TypeData Source #
ValueSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods valueType :: PythonCode Value -> PythonCode TypeData Source #
ValueSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods valueType :: SwiftCode Value -> SwiftCode TypeData Source #
ValueSym JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods valueType :: JuliaCode Value -> JuliaCode TypeData Source #
ValueSym MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods valueType :: MatlabCode Value -> MatlabCode TypeData Source #
ValueSym r => ValueSym (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods valueType :: LoggingFor r Value -> LoggingFor r TypeData Source #
Pair p => ValueSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods valueType :: p CppSrcCode CppHdrCode Value -> p CppSrcCode CppHdrCode TypeData 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 Methods pointerArg :: SValue CodeInfoOO -> SValue CodeInfoOO Source #
Argument CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods pointerArg :: SValue CSharpCode -> SValue CSharpCode Source #
Argument CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods pointerArg :: SValue CppHdrCode -> SValue CppHdrCode Source #
Argument CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods pointerArg :: SValue CppSrcCode -> SValue CppSrcCode Source #
Argument JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods pointerArg :: SValue JavaCode -> SValue JavaCode Source #
Argument PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods pointerArg :: SValue PythonCode -> SValue PythonCode Source #
Argument SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods pointerArg :: SValue SwiftCode -> SValue SwiftCode Source #
Argument JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods pointerArg :: SValue JuliaCode -> SValue JuliaCode Source #
Argument MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods pointerArg :: SValue MatlabCode -> SValue MatlabCode Source #
Argument r => Argument (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods pointerArg :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source #
Pair p => Argument (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods pointerArg :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

class ValueSym r => Literal r where Source #

Methods

litTrue :: SValue r Source #

litFalse :: SValue r Source #

litChar :: Char -> SValue r Source #

litDouble :: Double -> SValue r Source #

litFloat :: Float -> SValue r Source #

litInt :: Integer -> SValue r Source #

litString :: String -> SValue r Source #

litArray :: VS (r TypeData) -> [SValue r] -> SValue r Source #

litList :: VS (r TypeData) -> [SValue r] -> SValue r Source #

litSet :: VS (r TypeData) -> [SValue r] -> SValue r Source #

Instances

Instances details

Literal CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods litTrue :: SValue CodeInfoOO Source # litFalse :: SValue CodeInfoOO Source # litChar :: Char -> SValue CodeInfoOO Source # litDouble :: Double -> SValue CodeInfoOO Source # litFloat :: Float -> SValue CodeInfoOO Source # litInt :: Integer -> SValue CodeInfoOO Source # litString :: String -> SValue CodeInfoOO Source # litArray :: VS (CodeInfoOO TypeData) -> [SValue CodeInfoOO] -> SValue CodeInfoOO Source # litList :: VS (CodeInfoOO TypeData) -> [SValue CodeInfoOO] -> SValue CodeInfoOO Source # litSet :: VS (CodeInfoOO TypeData) -> [SValue CodeInfoOO] -> SValue CodeInfoOO Source #
Literal CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods litTrue :: SValue CSharpCode Source # litFalse :: SValue CSharpCode Source # litChar :: Char -> SValue CSharpCode Source # litDouble :: Double -> SValue CSharpCode Source # litFloat :: Float -> SValue CSharpCode Source # litInt :: Integer -> SValue CSharpCode Source # litString :: String -> SValue CSharpCode Source # litArray :: VS (CSharpCode TypeData) -> [SValue CSharpCode] -> SValue CSharpCode Source # litList :: VS (CSharpCode TypeData) -> [SValue CSharpCode] -> SValue CSharpCode Source # litSet :: VS (CSharpCode TypeData) -> [SValue CSharpCode] -> SValue CSharpCode Source #
Literal CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods litTrue :: SValue CppHdrCode Source # litFalse :: SValue CppHdrCode Source # litChar :: Char -> SValue CppHdrCode Source # litDouble :: Double -> SValue CppHdrCode Source # litFloat :: Float -> SValue CppHdrCode Source # litInt :: Integer -> SValue CppHdrCode Source # litString :: String -> SValue CppHdrCode Source # litArray :: VS (CppHdrCode TypeData) -> [SValue CppHdrCode] -> SValue CppHdrCode Source # litList :: VS (CppHdrCode TypeData) -> [SValue CppHdrCode] -> SValue CppHdrCode Source # litSet :: VS (CppHdrCode TypeData) -> [SValue CppHdrCode] -> SValue CppHdrCode Source #
Literal CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods litTrue :: SValue CppSrcCode Source # litFalse :: SValue CppSrcCode Source # litChar :: Char -> SValue CppSrcCode Source # litDouble :: Double -> SValue CppSrcCode Source # litFloat :: Float -> SValue CppSrcCode Source # litInt :: Integer -> SValue CppSrcCode Source # litString :: String -> SValue CppSrcCode Source # litArray :: VS (CppSrcCode TypeData) -> [SValue CppSrcCode] -> SValue CppSrcCode Source # litList :: VS (CppSrcCode TypeData) -> [SValue CppSrcCode] -> SValue CppSrcCode Source # litSet :: VS (CppSrcCode TypeData) -> [SValue CppSrcCode] -> SValue CppSrcCode Source #
Literal JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods litTrue :: SValue JavaCode Source # litFalse :: SValue JavaCode Source # litChar :: Char -> SValue JavaCode Source # litDouble :: Double -> SValue JavaCode Source # litFloat :: Float -> SValue JavaCode Source # litInt :: Integer -> SValue JavaCode Source # litString :: String -> SValue JavaCode Source # litArray :: VS (JavaCode TypeData) -> [SValue JavaCode] -> SValue JavaCode Source # litList :: VS (JavaCode TypeData) -> [SValue JavaCode] -> SValue JavaCode Source # litSet :: VS (JavaCode TypeData) -> [SValue JavaCode] -> SValue JavaCode Source #
Literal PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods litTrue :: SValue PythonCode Source # litFalse :: SValue PythonCode Source # litChar :: Char -> SValue PythonCode Source # litDouble :: Double -> SValue PythonCode Source # litFloat :: Float -> SValue PythonCode Source # litInt :: Integer -> SValue PythonCode Source # litString :: String -> SValue PythonCode Source # litArray :: VS (PythonCode TypeData) -> [SValue PythonCode] -> SValue PythonCode Source # litList :: VS (PythonCode TypeData) -> [SValue PythonCode] -> SValue PythonCode Source # litSet :: VS (PythonCode TypeData) -> [SValue PythonCode] -> SValue PythonCode Source #
Literal SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods litTrue :: SValue SwiftCode Source # litFalse :: SValue SwiftCode Source # litChar :: Char -> SValue SwiftCode Source # litDouble :: Double -> SValue SwiftCode Source # litFloat :: Float -> SValue SwiftCode Source # litInt :: Integer -> SValue SwiftCode Source # litString :: String -> SValue SwiftCode Source # litArray :: VS (SwiftCode TypeData) -> [SValue SwiftCode] -> SValue SwiftCode Source # litList :: VS (SwiftCode TypeData) -> [SValue SwiftCode] -> SValue SwiftCode Source # litSet :: VS (SwiftCode TypeData) -> [SValue SwiftCode] -> SValue SwiftCode Source #
Literal JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods litTrue :: SValue JuliaCode Source # litFalse :: SValue JuliaCode Source # litChar :: Char -> SValue JuliaCode Source # litDouble :: Double -> SValue JuliaCode Source # litFloat :: Float -> SValue JuliaCode Source # litInt :: Integer -> SValue JuliaCode Source # litString :: String -> SValue JuliaCode Source # litArray :: VS (JuliaCode TypeData) -> [SValue JuliaCode] -> SValue JuliaCode Source # litList :: VS (JuliaCode TypeData) -> [SValue JuliaCode] -> SValue JuliaCode Source # litSet :: VS (JuliaCode TypeData) -> [SValue JuliaCode] -> SValue JuliaCode Source #
Literal MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods litTrue :: SValue MatlabCode Source # litFalse :: SValue MatlabCode Source # litChar :: Char -> SValue MatlabCode Source # litDouble :: Double -> SValue MatlabCode Source # litFloat :: Float -> SValue MatlabCode Source # litInt :: Integer -> SValue MatlabCode Source # litString :: String -> SValue MatlabCode Source # litArray :: VS (MatlabCode TypeData) -> [SValue MatlabCode] -> SValue MatlabCode Source # litList :: VS (MatlabCode TypeData) -> [SValue MatlabCode] -> SValue MatlabCode Source # litSet :: VS (MatlabCode TypeData) -> [SValue MatlabCode] -> SValue MatlabCode Source #
Literal r => Literal (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods litTrue :: SValue (LoggingFor r) Source # litFalse :: SValue (LoggingFor r) Source # litChar :: Char -> SValue (LoggingFor r) Source # litDouble :: Double -> SValue (LoggingFor r) Source # litFloat :: Float -> SValue (LoggingFor r) Source # litInt :: Integer -> SValue (LoggingFor r) Source # litString :: String -> SValue (LoggingFor r) Source # litArray :: VS (LoggingFor r TypeData) -> [SValue (LoggingFor r)] -> SValue (LoggingFor r) Source # litList :: VS (LoggingFor r TypeData) -> [SValue (LoggingFor r)] -> SValue (LoggingFor r) Source # litSet :: VS (LoggingFor r TypeData) -> [SValue (LoggingFor r)] -> SValue (LoggingFor r) Source #
Pair p => Literal (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods litTrue :: SValue (p CppSrcCode CppHdrCode) Source # litFalse :: SValue (p CppSrcCode CppHdrCode) Source # litChar :: Char -> SValue (p CppSrcCode CppHdrCode) Source # litDouble :: Double -> SValue (p CppSrcCode CppHdrCode) Source # litFloat :: Float -> SValue (p CppSrcCode CppHdrCode) Source # litInt :: Integer -> SValue (p CppSrcCode CppHdrCode) Source # litString :: String -> SValue (p CppSrcCode CppHdrCode) Source # litArray :: VS (p CppSrcCode CppHdrCode TypeData) -> [SValue (p CppSrcCode CppHdrCode)] -> SValue (p CppSrcCode CppHdrCode) Source # litList :: VS (p CppSrcCode CppHdrCode TypeData) -> [SValue (p CppSrcCode CppHdrCode)] -> SValue (p CppSrcCode CppHdrCode) Source # litSet :: VS (p CppSrcCode CppHdrCode TypeData) -> [SValue (p CppSrcCode CppHdrCode)] -> SValue (p CppSrcCode CppHdrCode) Source #

litZero :: (Literal r, TypeElim r) => VS (r TypeData) -> SValue r Source #

class ValueSym r => MathConstant r where Source #

Methods

pi :: SValue r Source #

Instances

Instances details

MathConstant CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods pi :: SValue CodeInfoOO Source #
MathConstant CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods pi :: SValue CSharpCode Source #
MathConstant CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods pi :: SValue CppHdrCode Source #
MathConstant CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods pi :: SValue CppSrcCode Source #
MathConstant JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods pi :: SValue JavaCode Source #
MathConstant PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods pi :: SValue PythonCode Source #
MathConstant SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods pi :: SValue SwiftCode Source #
MathConstant JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods pi :: SValue JuliaCode Source #
MathConstant MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods pi :: SValue MatlabCode Source #
MathConstant r => MathConstant (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods pi :: SValue (LoggingFor r) Source #
Pair p => MathConstant (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods pi :: SValue (p CppSrcCode CppHdrCode) 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 Methods valueOf :: SVariable CodeInfoOO -> SValue CodeInfoOO Source #
VariableValue CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods valueOf :: SVariable CSharpCode -> SValue CSharpCode Source #
VariableValue CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods valueOf :: SVariable CppHdrCode -> SValue CppHdrCode Source #
VariableValue CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods valueOf :: SVariable CppSrcCode -> SValue CppSrcCode Source #
VariableValue JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods valueOf :: SVariable JavaCode -> SValue JavaCode Source #
VariableValue PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods valueOf :: SVariable PythonCode -> SValue PythonCode Source #
VariableValue SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods valueOf :: SVariable SwiftCode -> SValue SwiftCode Source #
VariableValue JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods valueOf :: SVariable JuliaCode -> SValue JuliaCode Source #
VariableValue MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods valueOf :: SVariable MatlabCode -> SValue MatlabCode Source #
VariableValue r => VariableValue (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods valueOf :: SVariable (LoggingFor r) -> SValue (LoggingFor r) Source #
Pair p => VariableValue (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods valueOf :: SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

class ValueSym r => CommandLineArgs r where Source #

Methods

arg :: Integer -> SValue r Source #

argsList :: SValue r Source #

argExists :: Integer -> SValue r Source #

Instances

Instances details

CommandLineArgs CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods arg :: Integer -> SValue CodeInfoOO Source # argsList :: SValue CodeInfoOO Source # argExists :: Integer -> SValue CodeInfoOO Source #
CommandLineArgs CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods arg :: Integer -> SValue CSharpCode Source # argsList :: SValue CSharpCode Source # argExists :: Integer -> SValue CSharpCode Source #
CommandLineArgs CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods arg :: Integer -> SValue CppHdrCode Source # argsList :: SValue CppHdrCode Source # argExists :: Integer -> SValue CppHdrCode Source #
CommandLineArgs CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods arg :: Integer -> SValue CppSrcCode Source # argsList :: SValue CppSrcCode Source # argExists :: Integer -> SValue CppSrcCode Source #
CommandLineArgs JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods arg :: Integer -> SValue JavaCode Source # argsList :: SValue JavaCode Source # argExists :: Integer -> SValue JavaCode Source #
CommandLineArgs PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods arg :: Integer -> SValue PythonCode Source # argsList :: SValue PythonCode Source # argExists :: Integer -> SValue PythonCode Source #
CommandLineArgs SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods arg :: Integer -> SValue SwiftCode Source # argsList :: SValue SwiftCode Source # argExists :: Integer -> SValue SwiftCode Source #
CommandLineArgs JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods arg :: Integer -> SValue JuliaCode Source # argsList :: SValue JuliaCode Source # argExists :: Integer -> SValue JuliaCode Source #
CommandLineArgs MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods arg :: Integer -> SValue MatlabCode Source # argsList :: SValue MatlabCode Source # argExists :: Integer -> SValue MatlabCode Source #
CommandLineArgs r => CommandLineArgs (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods arg :: Integer -> SValue (LoggingFor r) Source # argsList :: SValue (LoggingFor r) Source # argExists :: Integer -> SValue (LoggingFor r) Source #
Pair p => CommandLineArgs (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods arg :: Integer -> SValue (p CppSrcCode CppHdrCode) Source # argsList :: SValue (p CppSrcCode CppHdrCode) Source # argExists :: Integer -> SValue (p CppSrcCode CppHdrCode) Source #

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 Methods (#~) :: SValue CodeInfoOO -> SValue CodeInfoOO Source # (#/^) :: SValue CodeInfoOO -> SValue CodeInfoOO Source # (#\|) :: SValue CodeInfoOO -> SValue CodeInfoOO Source # (#+) :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source # (#-) :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source # (#*) :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source # (#/) :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source # (#%) :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source # (#^) :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source # log :: SValue CodeInfoOO -> SValue CodeInfoOO Source # ln :: SValue CodeInfoOO -> SValue CodeInfoOO Source # exp :: SValue CodeInfoOO -> SValue CodeInfoOO Source # sin :: SValue CodeInfoOO -> SValue CodeInfoOO Source # cos :: SValue CodeInfoOO -> SValue CodeInfoOO Source # tan :: SValue CodeInfoOO -> SValue CodeInfoOO Source # csc :: SValue CodeInfoOO -> SValue CodeInfoOO Source # sec :: SValue CodeInfoOO -> SValue CodeInfoOO Source # cot :: SValue CodeInfoOO -> SValue CodeInfoOO Source # arcsin :: SValue CodeInfoOO -> SValue CodeInfoOO Source # arccos :: SValue CodeInfoOO -> SValue CodeInfoOO Source # arctan :: SValue CodeInfoOO -> SValue CodeInfoOO Source # floor :: SValue CodeInfoOO -> SValue CodeInfoOO Source # ceil :: SValue CodeInfoOO -> SValue CodeInfoOO Source #
NumericExpression CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods (#~) :: SValue CSharpCode -> SValue CSharpCode Source # (#/^) :: SValue CSharpCode -> SValue CSharpCode Source # (#\|) :: SValue CSharpCode -> SValue CSharpCode Source # (#+) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (#-) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (#*) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (#/) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (#%) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (#^) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # log :: SValue CSharpCode -> SValue CSharpCode Source # ln :: SValue CSharpCode -> SValue CSharpCode Source # exp :: SValue CSharpCode -> SValue CSharpCode Source # sin :: SValue CSharpCode -> SValue CSharpCode Source # cos :: SValue CSharpCode -> SValue CSharpCode Source # tan :: SValue CSharpCode -> SValue CSharpCode Source # csc :: SValue CSharpCode -> SValue CSharpCode Source # sec :: SValue CSharpCode -> SValue CSharpCode Source # cot :: SValue CSharpCode -> SValue CSharpCode Source # arcsin :: SValue CSharpCode -> SValue CSharpCode Source # arccos :: SValue CSharpCode -> SValue CSharpCode Source # arctan :: SValue CSharpCode -> SValue CSharpCode Source # floor :: SValue CSharpCode -> SValue CSharpCode Source # ceil :: SValue CSharpCode -> SValue CSharpCode Source #
NumericExpression CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods (#~) :: SValue CppHdrCode -> SValue CppHdrCode Source # (#/^) :: SValue CppHdrCode -> SValue CppHdrCode Source # (#\|) :: SValue CppHdrCode -> SValue CppHdrCode Source # (#+) :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source # (#-) :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source # (#*) :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source # (#/) :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source # (#%) :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source # (#^) :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source # log :: SValue CppHdrCode -> SValue CppHdrCode Source # ln :: SValue CppHdrCode -> SValue CppHdrCode Source # exp :: SValue CppHdrCode -> SValue CppHdrCode Source # sin :: SValue CppHdrCode -> SValue CppHdrCode Source # cos :: SValue CppHdrCode -> SValue CppHdrCode Source # tan :: SValue CppHdrCode -> SValue CppHdrCode Source # csc :: SValue CppHdrCode -> SValue CppHdrCode Source # sec :: SValue CppHdrCode -> SValue CppHdrCode Source # cot :: SValue CppHdrCode -> SValue CppHdrCode Source # arcsin :: SValue CppHdrCode -> SValue CppHdrCode Source # arccos :: SValue CppHdrCode -> SValue CppHdrCode Source # arctan :: SValue CppHdrCode -> SValue CppHdrCode Source # floor :: SValue CppHdrCode -> SValue CppHdrCode Source # ceil :: SValue CppHdrCode -> SValue CppHdrCode Source #
NumericExpression CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods (#~) :: SValue CppSrcCode -> SValue CppSrcCode Source # (#/^) :: SValue CppSrcCode -> SValue CppSrcCode Source # (#\|) :: SValue CppSrcCode -> SValue CppSrcCode Source # (#+) :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source # (#-) :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source # (#*) :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source # (#/) :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source # (#%) :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source # (#^) :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source # log :: SValue CppSrcCode -> SValue CppSrcCode Source # ln :: SValue CppSrcCode -> SValue CppSrcCode Source # exp :: SValue CppSrcCode -> SValue CppSrcCode Source # sin :: SValue CppSrcCode -> SValue CppSrcCode Source # cos :: SValue CppSrcCode -> SValue CppSrcCode Source # tan :: SValue CppSrcCode -> SValue CppSrcCode Source # csc :: SValue CppSrcCode -> SValue CppSrcCode Source # sec :: SValue CppSrcCode -> SValue CppSrcCode Source # cot :: SValue CppSrcCode -> SValue CppSrcCode Source # arcsin :: SValue CppSrcCode -> SValue CppSrcCode Source # arccos :: SValue CppSrcCode -> SValue CppSrcCode Source # arctan :: SValue CppSrcCode -> SValue CppSrcCode Source # floor :: SValue CppSrcCode -> SValue CppSrcCode Source # ceil :: SValue CppSrcCode -> SValue CppSrcCode Source #
NumericExpression JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods (#~) :: SValue JavaCode -> SValue JavaCode Source # (#/^) :: SValue JavaCode -> SValue JavaCode Source # (#\|) :: SValue JavaCode -> SValue JavaCode Source # (#+) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (#-) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (#*) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (#/) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (#%) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (#^) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # log :: SValue JavaCode -> SValue JavaCode Source # ln :: SValue JavaCode -> SValue JavaCode Source # exp :: SValue JavaCode -> SValue JavaCode Source # sin :: SValue JavaCode -> SValue JavaCode Source # cos :: SValue JavaCode -> SValue JavaCode Source # tan :: SValue JavaCode -> SValue JavaCode Source # csc :: SValue JavaCode -> SValue JavaCode Source # sec :: SValue JavaCode -> SValue JavaCode Source # cot :: SValue JavaCode -> SValue JavaCode Source # arcsin :: SValue JavaCode -> SValue JavaCode Source # arccos :: SValue JavaCode -> SValue JavaCode Source # arctan :: SValue JavaCode -> SValue JavaCode Source # floor :: SValue JavaCode -> SValue JavaCode Source # ceil :: SValue JavaCode -> SValue JavaCode Source #
NumericExpression PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods (#~) :: SValue PythonCode -> SValue PythonCode Source # (#/^) :: SValue PythonCode -> SValue PythonCode Source # (#\|) :: SValue PythonCode -> SValue PythonCode Source # (#+) :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source # (#-) :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source # (#*) :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source # (#/) :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source # (#%) :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source # (#^) :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source # log :: SValue PythonCode -> SValue PythonCode Source # ln :: SValue PythonCode -> SValue PythonCode Source # exp :: SValue PythonCode -> SValue PythonCode Source # sin :: SValue PythonCode -> SValue PythonCode Source # cos :: SValue PythonCode -> SValue PythonCode Source # tan :: SValue PythonCode -> SValue PythonCode Source # csc :: SValue PythonCode -> SValue PythonCode Source # sec :: SValue PythonCode -> SValue PythonCode Source # cot :: SValue PythonCode -> SValue PythonCode Source # arcsin :: SValue PythonCode -> SValue PythonCode Source # arccos :: SValue PythonCode -> SValue PythonCode Source # arctan :: SValue PythonCode -> SValue PythonCode Source # floor :: SValue PythonCode -> SValue PythonCode Source # ceil :: SValue PythonCode -> SValue PythonCode Source #
NumericExpression SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods (#~) :: SValue SwiftCode -> SValue SwiftCode Source # (#/^) :: SValue SwiftCode -> SValue SwiftCode Source # (#\|) :: SValue SwiftCode -> SValue SwiftCode Source # (#+) :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source # (#-) :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source # (#*) :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source # (#/) :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source # (#%) :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source # (#^) :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source # log :: SValue SwiftCode -> SValue SwiftCode Source # ln :: SValue SwiftCode -> SValue SwiftCode Source # exp :: SValue SwiftCode -> SValue SwiftCode Source # sin :: SValue SwiftCode -> SValue SwiftCode Source # cos :: SValue SwiftCode -> SValue SwiftCode Source # tan :: SValue SwiftCode -> SValue SwiftCode Source # csc :: SValue SwiftCode -> SValue SwiftCode Source # sec :: SValue SwiftCode -> SValue SwiftCode Source # cot :: SValue SwiftCode -> SValue SwiftCode Source # arcsin :: SValue SwiftCode -> SValue SwiftCode Source # arccos :: SValue SwiftCode -> SValue SwiftCode Source # arctan :: SValue SwiftCode -> SValue SwiftCode Source # floor :: SValue SwiftCode -> SValue SwiftCode Source # ceil :: SValue SwiftCode -> SValue SwiftCode Source #
NumericExpression JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods (#~) :: SValue JuliaCode -> SValue JuliaCode Source # (#/^) :: SValue JuliaCode -> SValue JuliaCode Source # (#\|) :: SValue JuliaCode -> SValue JuliaCode Source # (#+) :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # (#-) :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # (#*) :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # (#/) :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # (#%) :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # (#^) :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # log :: SValue JuliaCode -> SValue JuliaCode Source # ln :: SValue JuliaCode -> SValue JuliaCode Source # exp :: SValue JuliaCode -> SValue JuliaCode Source # sin :: SValue JuliaCode -> SValue JuliaCode Source # cos :: SValue JuliaCode -> SValue JuliaCode Source # tan :: SValue JuliaCode -> SValue JuliaCode Source # csc :: SValue JuliaCode -> SValue JuliaCode Source # sec :: SValue JuliaCode -> SValue JuliaCode Source # cot :: SValue JuliaCode -> SValue JuliaCode Source # arcsin :: SValue JuliaCode -> SValue JuliaCode Source # arccos :: SValue JuliaCode -> SValue JuliaCode Source # arctan :: SValue JuliaCode -> SValue JuliaCode Source # floor :: SValue JuliaCode -> SValue JuliaCode Source # ceil :: SValue JuliaCode -> SValue JuliaCode Source #
NumericExpression MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods (#~) :: SValue MatlabCode -> SValue MatlabCode Source # (#/^) :: SValue MatlabCode -> SValue MatlabCode Source # (#\|) :: SValue MatlabCode -> SValue MatlabCode Source # (#+) :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # (#-) :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # (#*) :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # (#/) :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # (#%) :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # (#^) :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # log :: SValue MatlabCode -> SValue MatlabCode Source # ln :: SValue MatlabCode -> SValue MatlabCode Source # exp :: SValue MatlabCode -> SValue MatlabCode Source # sin :: SValue MatlabCode -> SValue MatlabCode Source # cos :: SValue MatlabCode -> SValue MatlabCode Source # tan :: SValue MatlabCode -> SValue MatlabCode Source # csc :: SValue MatlabCode -> SValue MatlabCode Source # sec :: SValue MatlabCode -> SValue MatlabCode Source # cot :: SValue MatlabCode -> SValue MatlabCode Source # arcsin :: SValue MatlabCode -> SValue MatlabCode Source # arccos :: SValue MatlabCode -> SValue MatlabCode Source # arctan :: SValue MatlabCode -> SValue MatlabCode Source # floor :: SValue MatlabCode -> SValue MatlabCode Source # ceil :: SValue MatlabCode -> SValue MatlabCode Source #
NumericExpression r => NumericExpression (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods (#~) :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # (#/^) :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # (#\|) :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # (#+) :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source # (#-) :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source # (#*) :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source # (#/) :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source # (#%) :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source # (#^) :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source # log :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # ln :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # exp :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # sin :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # cos :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # tan :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # csc :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # sec :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # cot :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # arcsin :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # arccos :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # arctan :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # floor :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # ceil :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source #
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 Methods (?!) :: SValue CodeInfoOO -> SValue CodeInfoOO Source # (?&&) :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source # (?\|\|) :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source #
BooleanExpression CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods (?!) :: SValue CSharpCode -> SValue CSharpCode Source # (?&&) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (?\|\|) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source #
BooleanExpression CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods (?!) :: SValue CppHdrCode -> SValue CppHdrCode Source # (?&&) :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source # (?\|\|) :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source #
BooleanExpression CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods (?!) :: SValue CppSrcCode -> SValue CppSrcCode Source # (?&&) :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source # (?\|\|) :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source #
BooleanExpression JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods (?!) :: SValue JavaCode -> SValue JavaCode Source # (?&&) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (?\|\|) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source #
BooleanExpression PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods (?!) :: SValue PythonCode -> SValue PythonCode Source # (?&&) :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source # (?\|\|) :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source #
BooleanExpression SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods (?!) :: SValue SwiftCode -> SValue SwiftCode Source # (?&&) :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source # (?\|\|) :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source #
BooleanExpression JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods (?!) :: SValue JuliaCode -> SValue JuliaCode Source # (?&&) :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # (?\|\|) :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source #
BooleanExpression MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods (?!) :: SValue MatlabCode -> SValue MatlabCode Source # (?&&) :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # (?\|\|) :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source #
BooleanExpression r => BooleanExpression (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods (?!) :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # (?&&) :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source # (?\|\|) :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source #
Pair p => BooleanExpression (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) -> SValue (p CppSrcCode CppHdrCode) Source # (?\|\|) :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

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 Methods (?<) :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source # (?<=) :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source # (?>) :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source # (?>=) :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source # (?==) :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source # (?!=) :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source #
Comparison CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods (?<) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (?<=) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (?>) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (?>=) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (?==) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # (?!=) :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source #
Comparison CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods (?<) :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source # (?<=) :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source # (?>) :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source # (?>=) :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source # (?==) :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source # (?!=) :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source #
Comparison CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods (?<) :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source # (?<=) :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source # (?>) :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source # (?>=) :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source # (?==) :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source # (?!=) :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source #
Comparison JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods (?<) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (?<=) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (?>) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (?>=) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (?==) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # (?!=) :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source #
Comparison PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods (?<) :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source # (?<=) :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source # (?>) :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source # (?>=) :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source # (?==) :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source # (?!=) :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source #
Comparison SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods (?<) :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source # (?<=) :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source # (?>) :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source # (?>=) :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source # (?==) :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source # (?!=) :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source #
Comparison JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods (?<) :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # (?<=) :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # (?>) :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # (?>=) :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # (?==) :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # (?!=) :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source #
Comparison MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods (?<) :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # (?<=) :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # (?>) :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # (?>=) :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # (?==) :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # (?!=) :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source #
Comparison r => Comparison (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods (?<) :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source # (?<=) :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source # (?>) :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source # (?>=) :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source # (?==) :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source # (?!=) :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source #
Pair p => Comparison (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods (?<) :: 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 #

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

Methods

inlineIf :: SValue r -> SValue r -> SValue r -> SValue r Source #

funcAppMixedArgs :: MixedCall r Source #

extFuncAppMixedArgs :: Library -> MixedCall r Source #

libFuncAppMixedArgs :: Library -> MixedCall r Source #

lambda :: [VSBinder r] -> SValue r -> SValue r Source #

notNull :: SValue r -> SValue r Source #

Instances

Instances details

ValueExpression CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods inlineIf :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source # funcAppMixedArgs :: MixedCall CodeInfoOO Source # extFuncAppMixedArgs :: Library -> MixedCall CodeInfoOO Source # libFuncAppMixedArgs :: Library -> MixedCall CodeInfoOO Source # lambda :: [VSBinder CodeInfoOO] -> SValue CodeInfoOO -> SValue CodeInfoOO Source # notNull :: SValue CodeInfoOO -> SValue CodeInfoOO Source #
ValueExpression CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods inlineIf :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # funcAppMixedArgs :: MixedCall CSharpCode Source # extFuncAppMixedArgs :: Library -> MixedCall CSharpCode Source # libFuncAppMixedArgs :: Library -> MixedCall CSharpCode Source # lambda :: [VSBinder CSharpCode] -> SValue CSharpCode -> SValue CSharpCode Source # notNull :: SValue CSharpCode -> SValue CSharpCode Source #
ValueExpression CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods inlineIf :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source # funcAppMixedArgs :: MixedCall CppHdrCode Source # extFuncAppMixedArgs :: Library -> MixedCall CppHdrCode Source # libFuncAppMixedArgs :: Library -> MixedCall CppHdrCode Source # lambda :: [VSBinder CppHdrCode] -> SValue CppHdrCode -> SValue CppHdrCode Source # notNull :: SValue CppHdrCode -> SValue CppHdrCode Source #
ValueExpression CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods inlineIf :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source # funcAppMixedArgs :: MixedCall CppSrcCode Source # extFuncAppMixedArgs :: Library -> MixedCall CppSrcCode Source # libFuncAppMixedArgs :: Library -> MixedCall CppSrcCode Source # lambda :: [VSBinder CppSrcCode] -> SValue CppSrcCode -> SValue CppSrcCode Source # notNull :: SValue CppSrcCode -> SValue CppSrcCode Source #
ValueExpression JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods inlineIf :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # funcAppMixedArgs :: MixedCall JavaCode Source # extFuncAppMixedArgs :: Library -> MixedCall JavaCode Source # libFuncAppMixedArgs :: Library -> MixedCall JavaCode Source # lambda :: [VSBinder JavaCode] -> SValue JavaCode -> SValue JavaCode Source # notNull :: SValue JavaCode -> SValue JavaCode Source #
ValueExpression PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods inlineIf :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source # funcAppMixedArgs :: MixedCall PythonCode Source # extFuncAppMixedArgs :: Library -> MixedCall PythonCode Source # libFuncAppMixedArgs :: Library -> MixedCall PythonCode Source # lambda :: [VSBinder PythonCode] -> SValue PythonCode -> SValue PythonCode Source # notNull :: SValue PythonCode -> SValue PythonCode Source #
ValueExpression SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods inlineIf :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source # funcAppMixedArgs :: MixedCall SwiftCode Source # extFuncAppMixedArgs :: Library -> MixedCall SwiftCode Source # libFuncAppMixedArgs :: Library -> MixedCall SwiftCode Source # lambda :: [VSBinder SwiftCode] -> SValue SwiftCode -> SValue SwiftCode Source # notNull :: SValue SwiftCode -> SValue SwiftCode Source #
ValueExpression JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods inlineIf :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # funcAppMixedArgs :: MixedCall JuliaCode Source # extFuncAppMixedArgs :: Library -> MixedCall JuliaCode Source # libFuncAppMixedArgs :: Library -> MixedCall JuliaCode Source # lambda :: [VSBinder JuliaCode] -> SValue JuliaCode -> SValue JuliaCode Source # notNull :: SValue JuliaCode -> SValue JuliaCode Source #
ValueExpression MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods inlineIf :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # funcAppMixedArgs :: MixedCall MatlabCode Source # extFuncAppMixedArgs :: Library -> MixedCall MatlabCode Source # libFuncAppMixedArgs :: Library -> MixedCall MatlabCode Source # lambda :: [VSBinder MatlabCode] -> SValue MatlabCode -> SValue MatlabCode Source # notNull :: SValue MatlabCode -> SValue MatlabCode Source #
ValueExpression r => ValueExpression (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods inlineIf :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source # funcAppMixedArgs :: MixedCall (LoggingFor r) Source # extFuncAppMixedArgs :: Library -> MixedCall (LoggingFor r) Source # libFuncAppMixedArgs :: Library -> MixedCall (LoggingFor r) Source # lambda :: [VSBinder (LoggingFor r)] -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source # notNull :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source #
Pair p => ValueExpression (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods inlineIf :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source # funcAppMixedArgs :: MixedCall (p CppSrcCode CppHdrCode) Source # extFuncAppMixedArgs :: Library -> MixedCall (p CppSrcCode CppHdrCode) Source # libFuncAppMixedArgs :: Library -> MixedCall (p CppSrcCode CppHdrCode) Source # lambda :: [VSBinder (p CppSrcCode CppHdrCode)] -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source # notNull :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

funcApp :: ValueExpression r => PosCall r Source #

funcAppNamedArgs :: ValueExpression r => Label -> VS (r TypeData) -> NamedArgs r -> SValue r Source #

extFuncApp :: ValueExpression r => Library -> PosCall r Source #

libFuncApp :: ValueExpression r => Library -> PosCall r Source #

exists :: ValueExpression r => SValue r -> SValue r Source #

class ValueSym r => IndexTranslator 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

Instances

Instances details

IndexTranslator CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods intToIndex :: SValue CodeInfoOO -> SValue CodeInfoOO Source # indexToInt :: SValue CodeInfoOO -> SValue CodeInfoOO Source #
IndexTranslator CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods intToIndex :: SValue CSharpCode -> SValue CSharpCode Source # indexToInt :: SValue CSharpCode -> SValue CSharpCode Source #
IndexTranslator CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods intToIndex :: SValue CppHdrCode -> SValue CppHdrCode Source # indexToInt :: SValue CppHdrCode -> SValue CppHdrCode Source #
IndexTranslator CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods intToIndex :: SValue CppSrcCode -> SValue CppSrcCode Source # indexToInt :: SValue CppSrcCode -> SValue CppSrcCode Source #
IndexTranslator JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods intToIndex :: SValue JavaCode -> SValue JavaCode Source # indexToInt :: SValue JavaCode -> SValue JavaCode Source #
IndexTranslator PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods intToIndex :: SValue PythonCode -> SValue PythonCode Source # indexToInt :: SValue PythonCode -> SValue PythonCode Source #
IndexTranslator SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods intToIndex :: SValue SwiftCode -> SValue SwiftCode Source # indexToInt :: SValue SwiftCode -> SValue SwiftCode Source #
IndexTranslator JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods intToIndex :: SValue JuliaCode -> SValue JuliaCode Source # indexToInt :: SValue JuliaCode -> SValue JuliaCode Source #
IndexTranslator MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods intToIndex :: SValue MatlabCode -> SValue MatlabCode Source # indexToInt :: SValue MatlabCode -> SValue MatlabCode Source #
IndexTranslator r => IndexTranslator (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods intToIndex :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # indexToInt :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source #
Pair p => IndexTranslator (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods intToIndex :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source # indexToInt :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

class (TypeSym r, ValueSym r) => Reference r where Source #

Methods

makeRef :: SValue r -> SValue r Source #

Given a value, convert it to a reference to that value

maybeDeref :: SValue r -> SValue r Source #

Given a value that may be a reference type, apply any necessary dereference operation.

Instances

Instances details

Reference CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods makeRef :: SValue CodeInfoOO -> SValue CodeInfoOO Source # maybeDeref :: SValue CodeInfoOO -> SValue CodeInfoOO Source #
Reference CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods makeRef :: SValue CSharpCode -> SValue CSharpCode Source # maybeDeref :: SValue CSharpCode -> SValue CSharpCode Source #
Reference CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods makeRef :: SValue CppHdrCode -> SValue CppHdrCode Source # maybeDeref :: SValue CppHdrCode -> SValue CppHdrCode Source #
Reference CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods makeRef :: SValue CppSrcCode -> SValue CppSrcCode Source # maybeDeref :: SValue CppSrcCode -> SValue CppSrcCode Source #
Reference JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods makeRef :: SValue JavaCode -> SValue JavaCode Source # maybeDeref :: SValue JavaCode -> SValue JavaCode Source #
Reference PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods makeRef :: SValue PythonCode -> SValue PythonCode Source # maybeDeref :: SValue PythonCode -> SValue PythonCode Source #
Reference SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods makeRef :: SValue SwiftCode -> SValue SwiftCode Source # maybeDeref :: SValue SwiftCode -> SValue SwiftCode Source #
Reference JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods makeRef :: SValue JuliaCode -> SValue JuliaCode Source # maybeDeref :: SValue JuliaCode -> SValue JuliaCode Source #
Reference MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods makeRef :: SValue MatlabCode -> SValue MatlabCode Source # maybeDeref :: SValue MatlabCode -> SValue MatlabCode Source #
Reference r => Reference (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods makeRef :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # maybeDeref :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source #
Pair p => Reference (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods makeRef :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source # maybeDeref :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

class IndexTranslator r => Array r where Source #

Methods

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

Given array a and index i, creates `a[i]`

arrayLength :: SValue r -> SValue r Source #

Given an array, return its length

arrayCopy :: SValue r -> SValue r Source #

Given a source array, create a (shallow) copy of it

Instances

Instances details

Array CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods arrayElem :: SValue CodeInfoOO -> SValue CodeInfoOO -> SVariable CodeInfoOO Source # arrayLength :: SValue CodeInfoOO -> SValue CodeInfoOO Source # arrayCopy :: SValue CodeInfoOO -> SValue CodeInfoOO Source #
Array CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods arrayElem :: SValue CSharpCode -> SValue CSharpCode -> SVariable CSharpCode Source # arrayLength :: SValue CSharpCode -> SValue CSharpCode Source # arrayCopy :: SValue CSharpCode -> SValue CSharpCode Source #
Array CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods arrayElem :: SValue CppHdrCode -> SValue CppHdrCode -> SVariable CppHdrCode Source # arrayLength :: SValue CppHdrCode -> SValue CppHdrCode Source # arrayCopy :: SValue CppHdrCode -> SValue CppHdrCode Source #
Array CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods arrayElem :: SValue CppSrcCode -> SValue CppSrcCode -> SVariable CppSrcCode Source # arrayLength :: SValue CppSrcCode -> SValue CppSrcCode Source # arrayCopy :: SValue CppSrcCode -> SValue CppSrcCode Source #
Array JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods arrayElem :: SValue JavaCode -> SValue JavaCode -> SVariable JavaCode Source # arrayLength :: SValue JavaCode -> SValue JavaCode Source # arrayCopy :: SValue JavaCode -> SValue JavaCode Source #
Array PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods arrayElem :: SValue PythonCode -> SValue PythonCode -> SVariable PythonCode Source # arrayLength :: SValue PythonCode -> SValue PythonCode Source # arrayCopy :: SValue PythonCode -> SValue PythonCode Source #
Array SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods arrayElem :: SValue SwiftCode -> SValue SwiftCode -> SVariable SwiftCode Source # arrayLength :: SValue SwiftCode -> SValue SwiftCode Source # arrayCopy :: SValue SwiftCode -> SValue SwiftCode Source #
Array JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods arrayElem :: SValue JuliaCode -> SValue JuliaCode -> SVariable JuliaCode Source # arrayLength :: SValue JuliaCode -> SValue JuliaCode Source # arrayCopy :: SValue JuliaCode -> SValue JuliaCode Source #
Array MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods arrayElem :: SValue MatlabCode -> SValue MatlabCode -> SVariable MatlabCode Source # arrayLength :: SValue MatlabCode -> SValue MatlabCode Source # arrayCopy :: SValue MatlabCode -> SValue MatlabCode Source #
Array r => Array (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods arrayElem :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SVariable (LoggingFor r) Source # arrayLength :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # arrayCopy :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source #
Pair p => Array (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods arrayElem :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) Source # arrayLength :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source # arrayCopy :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

class (IndexTranslator r, StatementSym r smt) => List r smt where Source #

Methods

listSize :: SValue r -> SValue r Source #

listAdd :: SValue r -> SValue r -> SValue r -> MS (r smt) Source #

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

listAppend :: SValue r -> SValue r -> MS (r smt) 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 -> MS (r smt) 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 Methods listSize :: SValue CodeInfoOO -> SValue CodeInfoOO Source # listAdd :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # listAppend :: SValue CodeInfoOO -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # listAccess :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source # listSet :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # indexOf :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source #
List CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods listSize :: SValue CSharpCode -> SValue CSharpCode Source # listAdd :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # listAppend :: SValue CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # listAccess :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # listSet :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # indexOf :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source #
List CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods listSize :: SValue CppHdrCode -> SValue CppHdrCode Source # listAdd :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # listAppend :: SValue CppHdrCode -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # listAccess :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source # listSet :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # indexOf :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source #
List CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods listSize :: SValue CppSrcCode -> SValue CppSrcCode Source # listAdd :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # listAppend :: SValue CppSrcCode -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # listAccess :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source # listSet :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # indexOf :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source #
List JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods listSize :: SValue JavaCode -> SValue JavaCode Source # listAdd :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # listAppend :: SValue JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # listAccess :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # listSet :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # indexOf :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source #
List PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods listSize :: SValue PythonCode -> SValue PythonCode Source # listAdd :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # listAppend :: SValue PythonCode -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # listAccess :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source # listSet :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # indexOf :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source #
List SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods listSize :: SValue SwiftCode -> SValue SwiftCode Source # listAdd :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # listAppend :: SValue SwiftCode -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # listAccess :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source # listSet :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # indexOf :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source #
List JuliaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods listSize :: SValue JuliaCode -> SValue JuliaCode Source # listAdd :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # listAppend :: SValue JuliaCode -> SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # listAccess :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # listSet :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # indexOf :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source #
List MatlabCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods listSize :: SValue MatlabCode -> SValue MatlabCode Source # listAdd :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # listAppend :: SValue MatlabCode -> SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # listAccess :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # listSet :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # indexOf :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source #
List r smt => List (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods listSize :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # listAdd :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # listAppend :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # listAccess :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source # listSet :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # indexOf :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source #
Pair p => List (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods listSize :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source # listAdd :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # listAppend :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # listAccess :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source # listSet :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # indexOf :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

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 Methods contains :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source # setAdd :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source # setRemove :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source # setUnion :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source #
Set CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods contains :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # setAdd :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # setRemove :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source # setUnion :: SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode Source #
Set CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods contains :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source # setAdd :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source # setRemove :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source # setUnion :: SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode Source #
Set CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods contains :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source # setAdd :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source # setRemove :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source # setUnion :: SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode Source #
Set JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods contains :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # setAdd :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # setRemove :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source # setUnion :: SValue JavaCode -> SValue JavaCode -> SValue JavaCode Source #
Set PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods contains :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source # setAdd :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source # setRemove :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source # setUnion :: SValue PythonCode -> SValue PythonCode -> SValue PythonCode Source #
Set SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods contains :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source # setAdd :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source # setRemove :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source # setUnion :: SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode Source #
Set JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods contains :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # setAdd :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # setRemove :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # setUnion :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source #
Set MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods contains :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # setAdd :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # setRemove :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # setUnion :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source #
Set r => Set (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods contains :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source # setAdd :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source # setRemove :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source # setUnion :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source #
Pair p => Set (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods contains :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source # setAdd :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source # setRemove :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source # setUnion :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) Source #

class (IndexTranslator r, Literal r) => NativeVector r where Source #

Vector operations for languages with native vector support (e.g. MATLAB, Julia). Expression-based: every operation takes and returns SValues, so operations compose like math (e.g. vecAdd (vecScale s a) b). Vectors have their own vecType and litVec so callers don't depend on how vectors are represented; these default to listType and litList.

Minimal complete definition

vecScale, vecAdd, vecIndex, vecDot, vecMag, vecUnit

Methods

vecType :: VS (r TypeData) -> VS (r TypeData) Source #

The type of a vector with the given element type. Defaults to listType; a language may override it to use a distinct vector representation.

litVec :: VS (r TypeData) -> [SValue r] -> SValue r Source #

A vector literal with the given element type and elements. Defaults to litList.

vecScale :: SValue r -> SValue r -> SValue r Source #

Scales a vector by a scalar. Arguments are: Scalar, Vector

vecAdd :: SValue r -> SValue r -> SValue r Source #

Adds two vectors elementwise. Arguments are: Vector, Vector

vecIndex :: SValue r -> SValue r -> SValue r Source #

Gets the element of a vector at an index. Arguments are: Vector, Index

vecDot :: SValue r -> SValue r -> SValue r Source #

Dot product of two vectors (returns a scalar). Arguments are: Vector, Vector

vecMag :: SValue r -> SValue r Source #

Euclidean norm (magnitude) of a vector (returns a scalar). Argument is: Vector

vecUnit :: SValue r -> SValue r Source #

Unit vector in the direction of a vector (returns a vector). Argument is: Vector

Instances

Instances details

NativeVector JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods vecType :: VS (JuliaCode TypeData) -> VS (JuliaCode TypeData) Source # litVec :: VS (JuliaCode TypeData) -> [SValue JuliaCode] -> SValue JuliaCode Source # vecScale :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # vecAdd :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # vecIndex :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # vecDot :: SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode Source # vecMag :: SValue JuliaCode -> SValue JuliaCode Source # vecUnit :: SValue JuliaCode -> SValue JuliaCode Source #
NativeVector MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods vecType :: VS (MatlabCode TypeData) -> VS (MatlabCode TypeData) Source # litVec :: VS (MatlabCode TypeData) -> [SValue MatlabCode] -> SValue MatlabCode Source # vecScale :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # vecAdd :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # vecIndex :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # vecDot :: SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode Source # vecMag :: SValue MatlabCode -> SValue MatlabCode Source # vecUnit :: SValue MatlabCode -> SValue MatlabCode Source #
NativeVector lang => NativeVector (LoggingFor lang) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods vecType :: VS (LoggingFor lang TypeData) -> VS (LoggingFor lang TypeData) Source # litVec :: VS (LoggingFor lang TypeData) -> [SValue (LoggingFor lang)] -> SValue (LoggingFor lang) Source # vecScale :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source # vecAdd :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source # vecIndex :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source # vecDot :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source # vecMag :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source # vecUnit :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

class ValueSym r => InternalList r where Source #

Methods

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

Instances

Instances details

InternalList CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods listSlice' :: Maybe (SValue CodeInfoOO) -> Maybe (SValue CodeInfoOO) -> Maybe (SValue CodeInfoOO) -> SVariable CodeInfoOO -> SValue CodeInfoOO -> MS (CodeInfoOO Block) Source #
InternalList CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods listSlice' :: Maybe (SValue CSharpCode) -> Maybe (SValue CSharpCode) -> Maybe (SValue CSharpCode) -> SVariable CSharpCode -> SValue CSharpCode -> MS (CSharpCode Block) Source #
InternalList CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods listSlice' :: Maybe (SValue CppHdrCode) -> Maybe (SValue CppHdrCode) -> Maybe (SValue CppHdrCode) -> SVariable CppHdrCode -> SValue CppHdrCode -> MS (CppHdrCode Block) Source #
InternalList CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods listSlice' :: Maybe (SValue CppSrcCode) -> Maybe (SValue CppSrcCode) -> Maybe (SValue CppSrcCode) -> SVariable CppSrcCode -> SValue CppSrcCode -> MS (CppSrcCode Block) Source #
InternalList JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods listSlice' :: Maybe (SValue JavaCode) -> Maybe (SValue JavaCode) -> Maybe (SValue JavaCode) -> SVariable JavaCode -> SValue JavaCode -> MS (JavaCode Block) Source #
InternalList PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods listSlice' :: Maybe (SValue PythonCode) -> Maybe (SValue PythonCode) -> Maybe (SValue PythonCode) -> SVariable PythonCode -> SValue PythonCode -> MS (PythonCode Block) Source #
InternalList SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods listSlice' :: Maybe (SValue SwiftCode) -> Maybe (SValue SwiftCode) -> Maybe (SValue SwiftCode) -> SVariable SwiftCode -> SValue SwiftCode -> MS (SwiftCode Block) Source #
InternalList JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods listSlice' :: Maybe (SValue JuliaCode) -> Maybe (SValue JuliaCode) -> Maybe (SValue JuliaCode) -> SVariable JuliaCode -> SValue JuliaCode -> MS (JuliaCode Block) Source #
InternalList MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods listSlice' :: Maybe (SValue MatlabCode) -> Maybe (SValue MatlabCode) -> Maybe (SValue MatlabCode) -> SVariable MatlabCode -> SValue MatlabCode -> MS (MatlabCode Block) Source #
InternalList r => InternalList (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods listSlice' :: Maybe (SValue (LoggingFor r)) -> Maybe (SValue (LoggingFor r)) -> Maybe (SValue (LoggingFor r)) -> SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r Block) Source #
Pair p => InternalList (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods listSlice' :: Maybe (SValue (p CppSrcCode CppHdrCode)) -> Maybe (SValue (p CppSrcCode CppHdrCode)) -> Maybe (SValue (p CppSrcCode CppHdrCode)) -> SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode Block) Source #

listSlice :: InternalList r => SVariable r -> SValue r -> Maybe (SValue r) -> Maybe (SValue r) -> Maybe (SValue r) -> MS (r Block) 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)

listIndexExists :: (List r smt, Comparison r) => SValue r -> SValue r -> SValue r Source #

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

class ValueSym r => StatementSym r smt | r -> smt where Source #

Methods

valStmt :: SValue r -> MS (r smt) Source #

emptyStmt :: MS (r smt) Source #

multi :: [MS (r smt)] -> MS (r smt) Source #

Instances

Instances details

StatementSym CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods valStmt :: SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # emptyStmt :: MS (CodeInfoOO ()) Source # multi :: [MS (CodeInfoOO ())] -> MS (CodeInfoOO ()) Source #
StatementSym CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods valStmt :: SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # emptyStmt :: MS (CSharpCode (Doc, Terminator)) Source # multi :: [MS (CSharpCode (Doc, Terminator))] -> MS (CSharpCode (Doc, Terminator)) Source #
StatementSym CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods valStmt :: SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # emptyStmt :: MS (CppHdrCode (Doc, Terminator)) Source # multi :: [MS (CppHdrCode (Doc, Terminator))] -> MS (CppHdrCode (Doc, Terminator)) Source #
StatementSym CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods valStmt :: SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # emptyStmt :: MS (CppSrcCode (Doc, Terminator)) Source # multi :: [MS (CppSrcCode (Doc, Terminator))] -> MS (CppSrcCode (Doc, Terminator)) Source #
StatementSym JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods valStmt :: SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # emptyStmt :: MS (JavaCode (Doc, Terminator)) Source # multi :: [MS (JavaCode (Doc, Terminator))] -> MS (JavaCode (Doc, Terminator)) Source #
StatementSym PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods valStmt :: SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # emptyStmt :: MS (PythonCode (Doc, Terminator)) Source # multi :: [MS (PythonCode (Doc, Terminator))] -> MS (PythonCode (Doc, Terminator)) Source #
StatementSym SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods valStmt :: SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # emptyStmt :: MS (SwiftCode (Doc, Terminator)) Source # multi :: [MS (SwiftCode (Doc, Terminator))] -> MS (SwiftCode (Doc, Terminator)) Source #
StatementSym JuliaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods valStmt :: SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # emptyStmt :: MS (JuliaCode (Doc, Terminator)) Source # multi :: [MS (JuliaCode (Doc, Terminator))] -> MS (JuliaCode (Doc, Terminator)) Source #
StatementSym MatlabCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods valStmt :: SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # emptyStmt :: MS (MatlabCode (Doc, Terminator)) Source # multi :: [MS (MatlabCode (Doc, Terminator))] -> MS (MatlabCode (Doc, Terminator)) Source #
StatementSym r smt => StatementSym (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods valStmt :: SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # emptyStmt :: MS (LoggingFor r smt) Source # multi :: [MS (LoggingFor r smt)] -> MS (LoggingFor r smt) Source #
Pair p => StatementSym (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods valStmt :: SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # emptyStmt :: MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # multi :: [MS (p CppSrcCode CppHdrCode (Doc, Terminator))] -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source #

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

Methods

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

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

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

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

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

Instances

Instances details

AssignStatement CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods (&-=) :: SVariable CodeInfoOO -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # (&+=) :: SVariable CodeInfoOO -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # (&++) :: SVariable CodeInfoOO -> MS (CodeInfoOO ()) Source # (&--) :: SVariable CodeInfoOO -> MS (CodeInfoOO ()) Source # assign :: SVariable CodeInfoOO -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source #
AssignStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods (&-=) :: SVariable CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # (&+=) :: SVariable CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # (&++) :: SVariable CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # (&--) :: SVariable CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # assign :: SVariable CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source #
AssignStatement CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods (&-=) :: SVariable CppHdrCode -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # (&+=) :: SVariable CppHdrCode -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # (&++) :: SVariable CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # (&--) :: SVariable CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # assign :: SVariable CppHdrCode -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source #
AssignStatement CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods (&-=) :: SVariable CppSrcCode -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # (&+=) :: SVariable CppSrcCode -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # (&++) :: SVariable CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # (&--) :: SVariable CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # assign :: SVariable CppSrcCode -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source #
AssignStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods (&-=) :: SVariable JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # (&+=) :: SVariable JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # (&++) :: SVariable JavaCode -> MS (JavaCode (Doc, Terminator)) Source # (&--) :: SVariable JavaCode -> MS (JavaCode (Doc, Terminator)) Source # assign :: SVariable JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source #
AssignStatement PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods (&-=) :: SVariable PythonCode -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # (&+=) :: SVariable PythonCode -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # (&++) :: SVariable PythonCode -> MS (PythonCode (Doc, Terminator)) Source # (&--) :: SVariable PythonCode -> MS (PythonCode (Doc, Terminator)) Source # assign :: SVariable PythonCode -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source #
AssignStatement SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods (&-=) :: SVariable SwiftCode -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # (&+=) :: SVariable SwiftCode -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # (&++) :: SVariable SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # (&--) :: SVariable SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # assign :: SVariable SwiftCode -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source #
AssignStatement JuliaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods (&-=) :: SVariable JuliaCode -> SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # (&+=) :: SVariable JuliaCode -> SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # (&++) :: SVariable JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # (&--) :: SVariable JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # assign :: SVariable JuliaCode -> SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source #
AssignStatement MatlabCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods (&-=) :: SVariable MatlabCode -> SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # (&+=) :: SVariable MatlabCode -> SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # (&++) :: SVariable MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # (&--) :: SVariable MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # assign :: SVariable MatlabCode -> SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source #
(AssignStatement r smt, IOStatement r smt, VariableValue r, VariableElim r, Literal r) => AssignStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods (&-=) :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # (&+=) :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # (&++) :: SVariable (LoggingFor r) -> MS (LoggingFor r smt) Source # (&--) :: SVariable (LoggingFor r) -> MS (LoggingFor r smt) Source # assign :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source #
Pair p => AssignStatement (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods (&-=) :: SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # (&+=) :: SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # (&++) :: SVariable (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # (&--) :: SVariable (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # assign :: SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source #

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

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

Methods

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

Declare a variable without giving it a value. Not for use with arrays; use arrayDec instead.

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

Declare a variable and give it a value. Not for use with arrays; use arrayDecDef instead.

listDec :: Integer -> SVariable r -> r ScopeData -> MS (r smt) Source #

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

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

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

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

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

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

funcDecDef :: SVariable r -> r ScopeData -> [SVariable r] -> MS (r Body) -> MS (r smt) Source #

Instances

Instances details

DeclStatement CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods varDec :: SVariable CodeInfoOO -> CodeInfoOO ScopeData -> MS (CodeInfoOO ()) Source # varDecDef :: SVariable CodeInfoOO -> CodeInfoOO ScopeData -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # listDec :: Integer -> SVariable CodeInfoOO -> CodeInfoOO ScopeData -> MS (CodeInfoOO ()) Source # listDecDef :: SVariable CodeInfoOO -> CodeInfoOO ScopeData -> [SValue CodeInfoOO] -> MS (CodeInfoOO ()) Source # setDec :: SVariable CodeInfoOO -> CodeInfoOO ScopeData -> MS (CodeInfoOO ()) Source # setDecDef :: SVariable CodeInfoOO -> CodeInfoOO ScopeData -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # arrayDec :: Integer -> SValue CodeInfoOO -> SVariable CodeInfoOO -> CodeInfoOO ScopeData -> MS (CodeInfoOO ()) Source # arrayDecDef :: SVariable CodeInfoOO -> CodeInfoOO ScopeData -> [SValue CodeInfoOO] -> MS (CodeInfoOO ()) Source # constDecDef :: SVariable CodeInfoOO -> CodeInfoOO ScopeData -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # funcDecDef :: SVariable CodeInfoOO -> CodeInfoOO ScopeData -> [SVariable CodeInfoOO] -> MS (CodeInfoOO Body) -> MS (CodeInfoOO ()) Source #
DeclStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods varDec :: SVariable CSharpCode -> CSharpCode ScopeData -> MS (CSharpCode (Doc, Terminator)) Source # varDecDef :: SVariable CSharpCode -> CSharpCode ScopeData -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # listDec :: Integer -> SVariable CSharpCode -> CSharpCode ScopeData -> MS (CSharpCode (Doc, Terminator)) Source # listDecDef :: SVariable CSharpCode -> CSharpCode ScopeData -> [SValue CSharpCode] -> MS (CSharpCode (Doc, Terminator)) Source # setDec :: SVariable CSharpCode -> CSharpCode ScopeData -> MS (CSharpCode (Doc, Terminator)) Source # setDecDef :: SVariable CSharpCode -> CSharpCode ScopeData -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # arrayDec :: Integer -> SValue CSharpCode -> SVariable CSharpCode -> CSharpCode ScopeData -> MS (CSharpCode (Doc, Terminator)) Source # arrayDecDef :: SVariable CSharpCode -> CSharpCode ScopeData -> [SValue CSharpCode] -> MS (CSharpCode (Doc, Terminator)) Source # constDecDef :: SVariable CSharpCode -> CSharpCode ScopeData -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # funcDecDef :: SVariable CSharpCode -> CSharpCode ScopeData -> [SVariable CSharpCode] -> MS (CSharpCode Body) -> MS (CSharpCode (Doc, Terminator)) Source #
DeclStatement CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods varDec :: SVariable CppHdrCode -> CppHdrCode ScopeData -> MS (CppHdrCode (Doc, Terminator)) Source # varDecDef :: SVariable CppHdrCode -> CppHdrCode ScopeData -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # listDec :: Integer -> SVariable CppHdrCode -> CppHdrCode ScopeData -> MS (CppHdrCode (Doc, Terminator)) Source # listDecDef :: SVariable CppHdrCode -> CppHdrCode ScopeData -> [SValue CppHdrCode] -> MS (CppHdrCode (Doc, Terminator)) Source # setDec :: SVariable CppHdrCode -> CppHdrCode ScopeData -> MS (CppHdrCode (Doc, Terminator)) Source # setDecDef :: SVariable CppHdrCode -> CppHdrCode ScopeData -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # arrayDec :: Integer -> SValue CppHdrCode -> SVariable CppHdrCode -> CppHdrCode ScopeData -> MS (CppHdrCode (Doc, Terminator)) Source # arrayDecDef :: SVariable CppHdrCode -> CppHdrCode ScopeData -> [SValue CppHdrCode] -> MS (CppHdrCode (Doc, Terminator)) Source # constDecDef :: SVariable CppHdrCode -> CppHdrCode ScopeData -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # funcDecDef :: SVariable CppHdrCode -> CppHdrCode ScopeData -> [SVariable CppHdrCode] -> MS (CppHdrCode Body) -> MS (CppHdrCode (Doc, Terminator)) Source #
DeclStatement CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods varDec :: SVariable CppSrcCode -> CppSrcCode ScopeData -> MS (CppSrcCode (Doc, Terminator)) Source # varDecDef :: SVariable CppSrcCode -> CppSrcCode ScopeData -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # listDec :: Integer -> SVariable CppSrcCode -> CppSrcCode ScopeData -> MS (CppSrcCode (Doc, Terminator)) Source # listDecDef :: SVariable CppSrcCode -> CppSrcCode ScopeData -> [SValue CppSrcCode] -> MS (CppSrcCode (Doc, Terminator)) Source # setDec :: SVariable CppSrcCode -> CppSrcCode ScopeData -> MS (CppSrcCode (Doc, Terminator)) Source # setDecDef :: SVariable CppSrcCode -> CppSrcCode ScopeData -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # arrayDec :: Integer -> SValue CppSrcCode -> SVariable CppSrcCode -> CppSrcCode ScopeData -> MS (CppSrcCode (Doc, Terminator)) Source # arrayDecDef :: SVariable CppSrcCode -> CppSrcCode ScopeData -> [SValue CppSrcCode] -> MS (CppSrcCode (Doc, Terminator)) Source # constDecDef :: SVariable CppSrcCode -> CppSrcCode ScopeData -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # funcDecDef :: SVariable CppSrcCode -> CppSrcCode ScopeData -> [SVariable CppSrcCode] -> MS (CppSrcCode Body) -> MS (CppSrcCode (Doc, Terminator)) Source #
DeclStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods varDec :: SVariable JavaCode -> JavaCode ScopeData -> MS (JavaCode (Doc, Terminator)) Source # varDecDef :: SVariable JavaCode -> JavaCode ScopeData -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # listDec :: Integer -> SVariable JavaCode -> JavaCode ScopeData -> MS (JavaCode (Doc, Terminator)) Source # listDecDef :: SVariable JavaCode -> JavaCode ScopeData -> [SValue JavaCode] -> MS (JavaCode (Doc, Terminator)) Source # setDec :: SVariable JavaCode -> JavaCode ScopeData -> MS (JavaCode (Doc, Terminator)) Source # setDecDef :: SVariable JavaCode -> JavaCode ScopeData -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # arrayDec :: Integer -> SValue JavaCode -> SVariable JavaCode -> JavaCode ScopeData -> MS (JavaCode (Doc, Terminator)) Source # arrayDecDef :: SVariable JavaCode -> JavaCode ScopeData -> [SValue JavaCode] -> MS (JavaCode (Doc, Terminator)) Source # constDecDef :: SVariable JavaCode -> JavaCode ScopeData -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # funcDecDef :: SVariable JavaCode -> JavaCode ScopeData -> [SVariable JavaCode] -> MS (JavaCode Body) -> MS (JavaCode (Doc, Terminator)) Source #
DeclStatement PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods varDec :: SVariable PythonCode -> PythonCode ScopeData -> MS (PythonCode (Doc, Terminator)) Source # varDecDef :: SVariable PythonCode -> PythonCode ScopeData -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # listDec :: Integer -> SVariable PythonCode -> PythonCode ScopeData -> MS (PythonCode (Doc, Terminator)) Source # listDecDef :: SVariable PythonCode -> PythonCode ScopeData -> [SValue PythonCode] -> MS (PythonCode (Doc, Terminator)) Source # setDec :: SVariable PythonCode -> PythonCode ScopeData -> MS (PythonCode (Doc, Terminator)) Source # setDecDef :: SVariable PythonCode -> PythonCode ScopeData -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # arrayDec :: Integer -> SValue PythonCode -> SVariable PythonCode -> PythonCode ScopeData -> MS (PythonCode (Doc, Terminator)) Source # arrayDecDef :: SVariable PythonCode -> PythonCode ScopeData -> [SValue PythonCode] -> MS (PythonCode (Doc, Terminator)) Source # constDecDef :: SVariable PythonCode -> PythonCode ScopeData -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # funcDecDef :: SVariable PythonCode -> PythonCode ScopeData -> [SVariable PythonCode] -> MS (PythonCode Body) -> MS (PythonCode (Doc, Terminator)) Source #
DeclStatement SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods varDec :: SVariable SwiftCode -> SwiftCode ScopeData -> MS (SwiftCode (Doc, Terminator)) Source # varDecDef :: SVariable SwiftCode -> SwiftCode ScopeData -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # listDec :: Integer -> SVariable SwiftCode -> SwiftCode ScopeData -> MS (SwiftCode (Doc, Terminator)) Source # listDecDef :: SVariable SwiftCode -> SwiftCode ScopeData -> [SValue SwiftCode] -> MS (SwiftCode (Doc, Terminator)) Source # setDec :: SVariable SwiftCode -> SwiftCode ScopeData -> MS (SwiftCode (Doc, Terminator)) Source # setDecDef :: SVariable SwiftCode -> SwiftCode ScopeData -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # arrayDec :: Integer -> SValue SwiftCode -> SVariable SwiftCode -> SwiftCode ScopeData -> MS (SwiftCode (Doc, Terminator)) Source # arrayDecDef :: SVariable SwiftCode -> SwiftCode ScopeData -> [SValue SwiftCode] -> MS (SwiftCode (Doc, Terminator)) Source # constDecDef :: SVariable SwiftCode -> SwiftCode ScopeData -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # funcDecDef :: SVariable SwiftCode -> SwiftCode ScopeData -> [SVariable SwiftCode] -> MS (SwiftCode Body) -> MS (SwiftCode (Doc, Terminator)) Source #
DeclStatement JuliaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods varDec :: SVariable JuliaCode -> JuliaCode ScopeData -> MS (JuliaCode (Doc, Terminator)) Source # varDecDef :: SVariable JuliaCode -> JuliaCode ScopeData -> SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # listDec :: Integer -> SVariable JuliaCode -> JuliaCode ScopeData -> MS (JuliaCode (Doc, Terminator)) Source # listDecDef :: SVariable JuliaCode -> JuliaCode ScopeData -> [SValue JuliaCode] -> MS (JuliaCode (Doc, Terminator)) Source # setDec :: SVariable JuliaCode -> JuliaCode ScopeData -> MS (JuliaCode (Doc, Terminator)) Source # setDecDef :: SVariable JuliaCode -> JuliaCode ScopeData -> SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # arrayDec :: Integer -> SValue JuliaCode -> SVariable JuliaCode -> JuliaCode ScopeData -> MS (JuliaCode (Doc, Terminator)) Source # arrayDecDef :: SVariable JuliaCode -> JuliaCode ScopeData -> [SValue JuliaCode] -> MS (JuliaCode (Doc, Terminator)) Source # constDecDef :: SVariable JuliaCode -> JuliaCode ScopeData -> SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # funcDecDef :: SVariable JuliaCode -> JuliaCode ScopeData -> [SVariable JuliaCode] -> MS (JuliaCode Body) -> MS (JuliaCode (Doc, Terminator)) Source #
DeclStatement MatlabCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods varDec :: SVariable MatlabCode -> MatlabCode ScopeData -> MS (MatlabCode (Doc, Terminator)) Source # varDecDef :: SVariable MatlabCode -> MatlabCode ScopeData -> SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # listDec :: Integer -> SVariable MatlabCode -> MatlabCode ScopeData -> MS (MatlabCode (Doc, Terminator)) Source # listDecDef :: SVariable MatlabCode -> MatlabCode ScopeData -> [SValue MatlabCode] -> MS (MatlabCode (Doc, Terminator)) Source # setDec :: SVariable MatlabCode -> MatlabCode ScopeData -> MS (MatlabCode (Doc, Terminator)) Source # setDecDef :: SVariable MatlabCode -> MatlabCode ScopeData -> SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # arrayDec :: Integer -> SValue MatlabCode -> SVariable MatlabCode -> MatlabCode ScopeData -> MS (MatlabCode (Doc, Terminator)) Source # arrayDecDef :: SVariable MatlabCode -> MatlabCode ScopeData -> [SValue MatlabCode] -> MS (MatlabCode (Doc, Terminator)) Source # constDecDef :: SVariable MatlabCode -> MatlabCode ScopeData -> SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # funcDecDef :: SVariable MatlabCode -> MatlabCode ScopeData -> [SVariable MatlabCode] -> MS (MatlabCode Body) -> MS (MatlabCode (Doc, Terminator)) Source #
(DeclStatement r smt, IOStatement r smt, VariableValue r, VariableElim r, Literal r) => DeclStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods varDec :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> MS (LoggingFor r smt) Source # varDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # listDec :: Integer -> SVariable (LoggingFor r) -> LoggingFor r ScopeData -> MS (LoggingFor r smt) Source # listDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> [SValue (LoggingFor r)] -> MS (LoggingFor r smt) Source # setDec :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> MS (LoggingFor r smt) Source # setDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # arrayDec :: Integer -> SValue (LoggingFor r) -> SVariable (LoggingFor r) -> LoggingFor r ScopeData -> MS (LoggingFor r smt) Source # arrayDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> [SValue (LoggingFor r)] -> MS (LoggingFor r smt) Source # constDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # funcDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> [SVariable (LoggingFor r)] -> MS (LoggingFor r Body) -> MS (LoggingFor r smt) Source #
Pair p => DeclStatement (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods varDec :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode ScopeData -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # varDecDef :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode ScopeData -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # listDec :: Integer -> SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode ScopeData -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # listDecDef :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode ScopeData -> [SValue (p CppSrcCode CppHdrCode)] -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # setDec :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode ScopeData -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # setDecDef :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode ScopeData -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # arrayDec :: Integer -> SValue (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode ScopeData -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # arrayDecDef :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode ScopeData -> [SValue (p CppSrcCode CppHdrCode)] -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # constDecDef :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode ScopeData -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # funcDecDef :: SVariable (p CppSrcCode CppHdrCode) -> p CppSrcCode CppHdrCode ScopeData -> [SVariable (p CppSrcCode CppHdrCode)] -> MS (p CppSrcCode CppHdrCode Body) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source #

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

Methods

print :: SValue r -> MS (r smt) Source #

printLn :: SValue r -> MS (r smt) Source #

printStr :: String -> MS (r smt) Source #

printStrLn :: String -> MS (r smt) Source #

printFile :: SValue r -> SValue r -> MS (r smt) Source #

printFileLn :: SValue r -> SValue r -> MS (r smt) Source #

printFileStr :: SValue r -> String -> MS (r smt) Source #

printFileStrLn :: SValue r -> String -> MS (r smt) Source #

getInput :: SVariable r -> MS (r smt) Source #

discardInput :: MS (r smt) Source #

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

discardFileInput :: SValue r -> MS (r smt) Source #

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

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

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

closeFile :: SValue r -> MS (r smt) Source #

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

discardFileLine :: SValue r -> MS (r smt) Source #

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

Instances

Instances details

IOStatement CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods print :: SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # printLn :: SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # printStr :: String -> MS (CodeInfoOO ()) Source # printStrLn :: String -> MS (CodeInfoOO ()) Source # printFile :: SValue CodeInfoOO -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # printFileLn :: SValue CodeInfoOO -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # printFileStr :: SValue CodeInfoOO -> String -> MS (CodeInfoOO ()) Source # printFileStrLn :: SValue CodeInfoOO -> String -> MS (CodeInfoOO ()) Source # getInput :: SVariable CodeInfoOO -> MS (CodeInfoOO ()) Source # discardInput :: MS (CodeInfoOO ()) Source # getFileInput :: SValue CodeInfoOO -> SVariable CodeInfoOO -> MS (CodeInfoOO ()) Source # discardFileInput :: SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # openFileR :: SVariable CodeInfoOO -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # openFileW :: SVariable CodeInfoOO -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # openFileA :: SVariable CodeInfoOO -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # closeFile :: SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # getFileInputLine :: SValue CodeInfoOO -> SVariable CodeInfoOO -> MS (CodeInfoOO ()) Source # discardFileLine :: SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # getFileInputAll :: SValue CodeInfoOO -> SVariable CodeInfoOO -> MS (CodeInfoOO ()) Source #
IOStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods print :: SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # printLn :: SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # printStr :: String -> MS (CSharpCode (Doc, Terminator)) Source # printStrLn :: String -> MS (CSharpCode (Doc, Terminator)) Source # printFile :: SValue CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # printFileLn :: SValue CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # printFileStr :: SValue CSharpCode -> String -> MS (CSharpCode (Doc, Terminator)) Source # printFileStrLn :: SValue CSharpCode -> String -> MS (CSharpCode (Doc, Terminator)) Source # getInput :: SVariable CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # discardInput :: MS (CSharpCode (Doc, Terminator)) Source # getFileInput :: SValue CSharpCode -> SVariable CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # discardFileInput :: SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # openFileR :: SVariable CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # openFileW :: SVariable CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # openFileA :: SVariable CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # closeFile :: SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # getFileInputLine :: SValue CSharpCode -> SVariable CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # discardFileLine :: SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # getFileInputAll :: SValue CSharpCode -> SVariable CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source #
IOStatement CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods print :: SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # printLn :: SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # printStr :: String -> MS (CppHdrCode (Doc, Terminator)) Source # printStrLn :: String -> MS (CppHdrCode (Doc, Terminator)) Source # printFile :: SValue CppHdrCode -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # printFileLn :: SValue CppHdrCode -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # printFileStr :: SValue CppHdrCode -> String -> MS (CppHdrCode (Doc, Terminator)) Source # printFileStrLn :: SValue CppHdrCode -> String -> MS (CppHdrCode (Doc, Terminator)) Source # getInput :: SVariable CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # discardInput :: MS (CppHdrCode (Doc, Terminator)) Source # getFileInput :: SValue CppHdrCode -> SVariable CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # discardFileInput :: SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # openFileR :: SVariable CppHdrCode -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # openFileW :: SVariable CppHdrCode -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # openFileA :: SVariable CppHdrCode -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # closeFile :: SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # getFileInputLine :: SValue CppHdrCode -> SVariable CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # discardFileLine :: SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # getFileInputAll :: SValue CppHdrCode -> SVariable CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source #
IOStatement CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods print :: SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # printLn :: SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # printStr :: String -> MS (CppSrcCode (Doc, Terminator)) Source # printStrLn :: String -> MS (CppSrcCode (Doc, Terminator)) Source # printFile :: SValue CppSrcCode -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # printFileLn :: SValue CppSrcCode -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # printFileStr :: SValue CppSrcCode -> String -> MS (CppSrcCode (Doc, Terminator)) Source # printFileStrLn :: SValue CppSrcCode -> String -> MS (CppSrcCode (Doc, Terminator)) Source # getInput :: SVariable CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # discardInput :: MS (CppSrcCode (Doc, Terminator)) Source # getFileInput :: SValue CppSrcCode -> SVariable CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # discardFileInput :: SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # openFileR :: SVariable CppSrcCode -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # openFileW :: SVariable CppSrcCode -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # openFileA :: SVariable CppSrcCode -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # closeFile :: SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # getFileInputLine :: SValue CppSrcCode -> SVariable CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # discardFileLine :: SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # getFileInputAll :: SValue CppSrcCode -> SVariable CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source #
IOStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods print :: SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # printLn :: SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # printStr :: String -> MS (JavaCode (Doc, Terminator)) Source # printStrLn :: String -> MS (JavaCode (Doc, Terminator)) Source # printFile :: SValue JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # printFileLn :: SValue JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # printFileStr :: SValue JavaCode -> String -> MS (JavaCode (Doc, Terminator)) Source # printFileStrLn :: SValue JavaCode -> String -> MS (JavaCode (Doc, Terminator)) Source # getInput :: SVariable JavaCode -> MS (JavaCode (Doc, Terminator)) Source # discardInput :: MS (JavaCode (Doc, Terminator)) Source # getFileInput :: SValue JavaCode -> SVariable JavaCode -> MS (JavaCode (Doc, Terminator)) Source # discardFileInput :: SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # openFileR :: SVariable JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # openFileW :: SVariable JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # openFileA :: SVariable JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # closeFile :: SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # getFileInputLine :: SValue JavaCode -> SVariable JavaCode -> MS (JavaCode (Doc, Terminator)) Source # discardFileLine :: SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # getFileInputAll :: SValue JavaCode -> SVariable JavaCode -> MS (JavaCode (Doc, Terminator)) Source #
IOStatement PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods print :: SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # printLn :: SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # printStr :: String -> MS (PythonCode (Doc, Terminator)) Source # printStrLn :: String -> MS (PythonCode (Doc, Terminator)) Source # printFile :: SValue PythonCode -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # printFileLn :: SValue PythonCode -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # printFileStr :: SValue PythonCode -> String -> MS (PythonCode (Doc, Terminator)) Source # printFileStrLn :: SValue PythonCode -> String -> MS (PythonCode (Doc, Terminator)) Source # getInput :: SVariable PythonCode -> MS (PythonCode (Doc, Terminator)) Source # discardInput :: MS (PythonCode (Doc, Terminator)) Source # getFileInput :: SValue PythonCode -> SVariable PythonCode -> MS (PythonCode (Doc, Terminator)) Source # discardFileInput :: SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # openFileR :: SVariable PythonCode -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # openFileW :: SVariable PythonCode -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # openFileA :: SVariable PythonCode -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # closeFile :: SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # getFileInputLine :: SValue PythonCode -> SVariable PythonCode -> MS (PythonCode (Doc, Terminator)) Source # discardFileLine :: SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # getFileInputAll :: SValue PythonCode -> SVariable PythonCode -> MS (PythonCode (Doc, Terminator)) Source #
IOStatement SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods print :: SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # printLn :: SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # printStr :: String -> MS (SwiftCode (Doc, Terminator)) Source # printStrLn :: String -> MS (SwiftCode (Doc, Terminator)) Source # printFile :: SValue SwiftCode -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # printFileLn :: SValue SwiftCode -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # printFileStr :: SValue SwiftCode -> String -> MS (SwiftCode (Doc, Terminator)) Source # printFileStrLn :: SValue SwiftCode -> String -> MS (SwiftCode (Doc, Terminator)) Source # getInput :: SVariable SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # discardInput :: MS (SwiftCode (Doc, Terminator)) Source # getFileInput :: SValue SwiftCode -> SVariable SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # discardFileInput :: SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # openFileR :: SVariable SwiftCode -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # openFileW :: SVariable SwiftCode -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # openFileA :: SVariable SwiftCode -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # closeFile :: SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # getFileInputLine :: SValue SwiftCode -> SVariable SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # discardFileLine :: SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # getFileInputAll :: SValue SwiftCode -> SVariable SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source #
IOStatement JuliaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods print :: SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # printLn :: SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # printStr :: String -> MS (JuliaCode (Doc, Terminator)) Source # printStrLn :: String -> MS (JuliaCode (Doc, Terminator)) Source # printFile :: SValue JuliaCode -> SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # printFileLn :: SValue JuliaCode -> SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # printFileStr :: SValue JuliaCode -> String -> MS (JuliaCode (Doc, Terminator)) Source # printFileStrLn :: SValue JuliaCode -> String -> MS (JuliaCode (Doc, Terminator)) Source # getInput :: SVariable JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # discardInput :: MS (JuliaCode (Doc, Terminator)) Source # getFileInput :: SValue JuliaCode -> SVariable JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # discardFileInput :: SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # openFileR :: SVariable JuliaCode -> SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # openFileW :: SVariable JuliaCode -> SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # openFileA :: SVariable JuliaCode -> SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # closeFile :: SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # getFileInputLine :: SValue JuliaCode -> SVariable JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # discardFileLine :: SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # getFileInputAll :: SValue JuliaCode -> SVariable JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source #
IOStatement MatlabCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods print :: SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # printLn :: SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # printStr :: String -> MS (MatlabCode (Doc, Terminator)) Source # printStrLn :: String -> MS (MatlabCode (Doc, Terminator)) Source # printFile :: SValue MatlabCode -> SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # printFileLn :: SValue MatlabCode -> SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # printFileStr :: SValue MatlabCode -> String -> MS (MatlabCode (Doc, Terminator)) Source # printFileStrLn :: SValue MatlabCode -> String -> MS (MatlabCode (Doc, Terminator)) Source # getInput :: SVariable MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # discardInput :: MS (MatlabCode (Doc, Terminator)) Source # getFileInput :: SValue MatlabCode -> SVariable MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # discardFileInput :: SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # openFileR :: SVariable MatlabCode -> SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # openFileW :: SVariable MatlabCode -> SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # openFileA :: SVariable MatlabCode -> SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # closeFile :: SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # getFileInputLine :: SValue MatlabCode -> SVariable MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # discardFileLine :: SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # getFileInputAll :: SValue MatlabCode -> SVariable MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source #
(IOStatement r smt, VariableValue r, VariableElim r, Literal r) => IOStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods print :: SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # printLn :: SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # printStr :: String -> MS (LoggingFor r smt) Source # printStrLn :: String -> MS (LoggingFor r smt) Source # printFile :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # printFileLn :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # printFileStr :: SValue (LoggingFor r) -> String -> MS (LoggingFor r smt) Source # printFileStrLn :: SValue (LoggingFor r) -> String -> MS (LoggingFor r smt) Source # getInput :: SVariable (LoggingFor r) -> MS (LoggingFor r smt) Source # discardInput :: MS (LoggingFor r smt) Source # getFileInput :: SValue (LoggingFor r) -> SVariable (LoggingFor r) -> MS (LoggingFor r smt) Source # discardFileInput :: SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # openFileR :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # openFileW :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # openFileA :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # closeFile :: SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # getFileInputLine :: SValue (LoggingFor r) -> SVariable (LoggingFor r) -> MS (LoggingFor r smt) Source # discardFileLine :: SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # getFileInputAll :: SValue (LoggingFor r) -> SVariable (LoggingFor r) -> MS (LoggingFor r smt) Source #
Pair p => IOStatement (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods print :: SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # printLn :: SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # printStr :: String -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # printStrLn :: String -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # printFile :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # printFileLn :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # printFileStr :: SValue (p CppSrcCode CppHdrCode) -> String -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # printFileStrLn :: SValue (p CppSrcCode CppHdrCode) -> String -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # getInput :: SVariable (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # discardInput :: MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # getFileInput :: SValue (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # discardFileInput :: SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # openFileR :: SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # openFileW :: SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # openFileA :: SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # closeFile :: SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # getFileInputLine :: SValue (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # discardFileLine :: SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # getFileInputAll :: SValue (p CppSrcCode CppHdrCode) -> SVariable (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source #

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

Methods

stringSplit :: Char -> SVariable r -> SValue r -> MS (r smt) Source #

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

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

Instances

Instances details

StringStatement CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods stringSplit :: Char -> SVariable CodeInfoOO -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # stringListVals :: [SVariable CodeInfoOO] -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # stringListLists :: [SVariable CodeInfoOO] -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source #
StringStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods stringSplit :: Char -> SVariable CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # stringListVals :: [SVariable CSharpCode] -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # stringListLists :: [SVariable CSharpCode] -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source #
StringStatement CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods stringSplit :: Char -> SVariable CppHdrCode -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # stringListVals :: [SVariable CppHdrCode] -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # stringListLists :: [SVariable CppHdrCode] -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source #
StringStatement CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods stringSplit :: Char -> SVariable CppSrcCode -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # stringListVals :: [SVariable CppSrcCode] -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # stringListLists :: [SVariable CppSrcCode] -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source #
StringStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods stringSplit :: Char -> SVariable JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # stringListVals :: [SVariable JavaCode] -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # stringListLists :: [SVariable JavaCode] -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source #
StringStatement PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods stringSplit :: Char -> SVariable PythonCode -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # stringListVals :: [SVariable PythonCode] -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # stringListLists :: [SVariable PythonCode] -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source #
StringStatement SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods stringSplit :: Char -> SVariable SwiftCode -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # stringListVals :: [SVariable SwiftCode] -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # stringListLists :: [SVariable SwiftCode] -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source #
StringStatement JuliaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods stringSplit :: Char -> SVariable JuliaCode -> SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # stringListVals :: [SVariable JuliaCode] -> SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # stringListLists :: [SVariable JuliaCode] -> SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source #
StringStatement MatlabCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods stringSplit :: Char -> SVariable MatlabCode -> SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # stringListVals :: [SVariable MatlabCode] -> SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # stringListLists :: [SVariable MatlabCode] -> SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source #
(StringStatement r smt, IOStatement r smt, VariableValue r, VariableElim r, Literal r) => StringStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods stringSplit :: Char -> SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # stringListVals :: [SVariable (LoggingFor r)] -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # stringListLists :: [SVariable (LoggingFor r)] -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source #
Pair p => StringStatement (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods stringSplit :: Char -> SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # stringListVals :: [SVariable (p CppSrcCode CppHdrCode)] -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # stringListLists :: [SVariable (p CppSrcCode CppHdrCode)] -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source #

class ValueSym r => FunctionSym r Source #

Instances

Instances details

FunctionSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO
FunctionSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer
FunctionSym CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer
FunctionSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer
FunctionSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer
FunctionSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer
FunctionSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer
FunctionSym JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer
FunctionSym MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer
FunctionSym r => FunctionSym (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor
Pair p => FunctionSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer

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

Methods

inOutCall :: InOutCall r smt Source #

extInOutCall :: Library -> InOutCall r smt Source #

Instances

Instances details

FuncAppStatement CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods inOutCall :: InOutCall CodeInfoOO () Source # extInOutCall :: Library -> InOutCall CodeInfoOO () Source #
FuncAppStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods inOutCall :: InOutCall CSharpCode (Doc, Terminator) Source # extInOutCall :: Library -> InOutCall CSharpCode (Doc, Terminator) Source #
FuncAppStatement CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods inOutCall :: InOutCall CppHdrCode (Doc, Terminator) Source # extInOutCall :: Library -> InOutCall CppHdrCode (Doc, Terminator) Source #
FuncAppStatement CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods inOutCall :: InOutCall CppSrcCode (Doc, Terminator) Source # extInOutCall :: Library -> InOutCall CppSrcCode (Doc, Terminator) Source #
FuncAppStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods inOutCall :: InOutCall JavaCode (Doc, Terminator) Source # extInOutCall :: Library -> InOutCall JavaCode (Doc, Terminator) Source #
FuncAppStatement PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods inOutCall :: InOutCall PythonCode (Doc, Terminator) Source # extInOutCall :: Library -> InOutCall PythonCode (Doc, Terminator) Source #
FuncAppStatement SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods inOutCall :: InOutCall SwiftCode (Doc, Terminator) Source # extInOutCall :: Library -> InOutCall SwiftCode (Doc, Terminator) Source #
FuncAppStatement JuliaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods inOutCall :: InOutCall JuliaCode (Doc, Terminator) Source # extInOutCall :: Library -> InOutCall JuliaCode (Doc, Terminator) Source #
FuncAppStatement MatlabCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods inOutCall :: InOutCall MatlabCode (Doc, Terminator) Source # extInOutCall :: Library -> InOutCall MatlabCode (Doc, Terminator) Source #
FuncAppStatement r smt => FuncAppStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods inOutCall :: InOutCall (LoggingFor r) smt Source # extInOutCall :: Library -> InOutCall (LoggingFor r) smt Source #
Pair p => FuncAppStatement (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods inOutCall :: InOutCall (p CppSrcCode CppHdrCode) (Doc, Terminator) Source # extInOutCall :: Library -> InOutCall (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #

class StatementSym r smt => CommentStatement r smt where Source #

Methods

comment :: String -> MS (r smt) Source #

Instances

Instances details

CommentStatement CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods comment :: String -> MS (CodeInfoOO ()) Source #
CommentStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods comment :: String -> MS (CSharpCode (Doc, Terminator)) Source #
CommentStatement CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods comment :: String -> MS (CppHdrCode (Doc, Terminator)) Source #
CommentStatement CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods comment :: String -> MS (CppSrcCode (Doc, Terminator)) Source #
CommentStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods comment :: String -> MS (JavaCode (Doc, Terminator)) Source #
CommentStatement PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods comment :: String -> MS (PythonCode (Doc, Terminator)) Source #
CommentStatement SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods comment :: String -> MS (SwiftCode (Doc, Terminator)) Source #
CommentStatement JuliaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods comment :: String -> MS (JuliaCode (Doc, Terminator)) Source #
CommentStatement MatlabCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods comment :: String -> MS (MatlabCode (Doc, Terminator)) Source #
CommentStatement r smt => CommentStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods comment :: String -> MS (LoggingFor r smt) Source #
Pair p => CommentStatement (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods comment :: String -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source #

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

Methods

break :: MS (r smt) Source #

continue :: MS (r smt) Source #

returnStmt :: SValue r -> MS (r smt) Source #

throw :: Label -> MS (r smt) Source #

ifCond :: [(SValue r, MS (r Body))] -> MS (r Body) -> MS (r smt) 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, MS (r Body))] -> MS (r Body) -> MS (r smt) Source #

ifExists :: SValue r -> MS (r Body) -> MS (r Body) -> MS (r smt) Source #

for :: MS (r smt) -> SValue r -> MS (r smt) -> MS (r Body) -> MS (r smt) Source #

forRange :: SVariable r -> SValue r -> SValue r -> SValue r -> MS (r Body) -> MS (r smt) Source #

forEach :: SVariable r -> SValue r -> MS (r Body) -> MS (r smt) Source #

while :: SValue r -> MS (r Body) -> MS (r smt) Source #

tryCatch :: MS (r Body) -> MS (r Body) -> MS (r smt) Source #

assert :: SValue r -> SValue r -> MS (r smt) Source #

Instances

Instances details

ControlStatement CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods break :: MS (CodeInfoOO ()) Source # continue :: MS (CodeInfoOO ()) Source # returnStmt :: SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # throw :: Label -> MS (CodeInfoOO ()) Source # ifCond :: [(SValue CodeInfoOO, MS (CodeInfoOO Body))] -> MS (CodeInfoOO Body) -> MS (CodeInfoOO ()) Source # switch :: SValue CodeInfoOO -> [(SValue CodeInfoOO, MS (CodeInfoOO Body))] -> MS (CodeInfoOO Body) -> MS (CodeInfoOO ()) Source # ifExists :: SValue CodeInfoOO -> MS (CodeInfoOO Body) -> MS (CodeInfoOO Body) -> MS (CodeInfoOO ()) Source # for :: MS (CodeInfoOO ()) -> SValue CodeInfoOO -> MS (CodeInfoOO ()) -> MS (CodeInfoOO Body) -> MS (CodeInfoOO ()) Source # forRange :: SVariable CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO -> MS (CodeInfoOO Body) -> MS (CodeInfoOO ()) Source # forEach :: SVariable CodeInfoOO -> SValue CodeInfoOO -> MS (CodeInfoOO Body) -> MS (CodeInfoOO ()) Source # while :: SValue CodeInfoOO -> MS (CodeInfoOO Body) -> MS (CodeInfoOO ()) Source # tryCatch :: MS (CodeInfoOO Body) -> MS (CodeInfoOO Body) -> MS (CodeInfoOO ()) Source # assert :: SValue CodeInfoOO -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source #
ControlStatement CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods break :: MS (CSharpCode (Doc, Terminator)) Source # continue :: MS (CSharpCode (Doc, Terminator)) Source # returnStmt :: SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # throw :: Label -> MS (CSharpCode (Doc, Terminator)) Source # ifCond :: [(SValue CSharpCode, MS (CSharpCode Body))] -> MS (CSharpCode Body) -> MS (CSharpCode (Doc, Terminator)) Source # switch :: SValue CSharpCode -> [(SValue CSharpCode, MS (CSharpCode Body))] -> MS (CSharpCode Body) -> MS (CSharpCode (Doc, Terminator)) Source # ifExists :: SValue CSharpCode -> MS (CSharpCode Body) -> MS (CSharpCode Body) -> MS (CSharpCode (Doc, Terminator)) Source # for :: MS (CSharpCode (Doc, Terminator)) -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) -> MS (CSharpCode Body) -> MS (CSharpCode (Doc, Terminator)) Source # forRange :: SVariable CSharpCode -> SValue CSharpCode -> SValue CSharpCode -> SValue CSharpCode -> MS (CSharpCode Body) -> MS (CSharpCode (Doc, Terminator)) Source # forEach :: SVariable CSharpCode -> SValue CSharpCode -> MS (CSharpCode Body) -> MS (CSharpCode (Doc, Terminator)) Source # while :: SValue CSharpCode -> MS (CSharpCode Body) -> MS (CSharpCode (Doc, Terminator)) Source # tryCatch :: MS (CSharpCode Body) -> MS (CSharpCode Body) -> MS (CSharpCode (Doc, Terminator)) Source # assert :: SValue CSharpCode -> SValue CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source #
ControlStatement CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods break :: MS (CppHdrCode (Doc, Terminator)) Source # continue :: MS (CppHdrCode (Doc, Terminator)) Source # returnStmt :: SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # throw :: Label -> MS (CppHdrCode (Doc, Terminator)) Source # ifCond :: [(SValue CppHdrCode, MS (CppHdrCode Body))] -> MS (CppHdrCode Body) -> MS (CppHdrCode (Doc, Terminator)) Source # switch :: SValue CppHdrCode -> [(SValue CppHdrCode, MS (CppHdrCode Body))] -> MS (CppHdrCode Body) -> MS (CppHdrCode (Doc, Terminator)) Source # ifExists :: SValue CppHdrCode -> MS (CppHdrCode Body) -> MS (CppHdrCode Body) -> MS (CppHdrCode (Doc, Terminator)) Source # for :: MS (CppHdrCode (Doc, Terminator)) -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) -> MS (CppHdrCode Body) -> MS (CppHdrCode (Doc, Terminator)) Source # forRange :: SVariable CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode -> SValue CppHdrCode -> MS (CppHdrCode Body) -> MS (CppHdrCode (Doc, Terminator)) Source # forEach :: SVariable CppHdrCode -> SValue CppHdrCode -> MS (CppHdrCode Body) -> MS (CppHdrCode (Doc, Terminator)) Source # while :: SValue CppHdrCode -> MS (CppHdrCode Body) -> MS (CppHdrCode (Doc, Terminator)) Source # tryCatch :: MS (CppHdrCode Body) -> MS (CppHdrCode Body) -> MS (CppHdrCode (Doc, Terminator)) Source # assert :: SValue CppHdrCode -> SValue CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source #
ControlStatement CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods break :: MS (CppSrcCode (Doc, Terminator)) Source # continue :: MS (CppSrcCode (Doc, Terminator)) Source # returnStmt :: SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # throw :: Label -> MS (CppSrcCode (Doc, Terminator)) Source # ifCond :: [(SValue CppSrcCode, MS (CppSrcCode Body))] -> MS (CppSrcCode Body) -> MS (CppSrcCode (Doc, Terminator)) Source # switch :: SValue CppSrcCode -> [(SValue CppSrcCode, MS (CppSrcCode Body))] -> MS (CppSrcCode Body) -> MS (CppSrcCode (Doc, Terminator)) Source # ifExists :: SValue CppSrcCode -> MS (CppSrcCode Body) -> MS (CppSrcCode Body) -> MS (CppSrcCode (Doc, Terminator)) Source # for :: MS (CppSrcCode (Doc, Terminator)) -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) -> MS (CppSrcCode Body) -> MS (CppSrcCode (Doc, Terminator)) Source # forRange :: SVariable CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode -> SValue CppSrcCode -> MS (CppSrcCode Body) -> MS (CppSrcCode (Doc, Terminator)) Source # forEach :: SVariable CppSrcCode -> SValue CppSrcCode -> MS (CppSrcCode Body) -> MS (CppSrcCode (Doc, Terminator)) Source # while :: SValue CppSrcCode -> MS (CppSrcCode Body) -> MS (CppSrcCode (Doc, Terminator)) Source # tryCatch :: MS (CppSrcCode Body) -> MS (CppSrcCode Body) -> MS (CppSrcCode (Doc, Terminator)) Source # assert :: SValue CppSrcCode -> SValue CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source #
ControlStatement JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods break :: MS (JavaCode (Doc, Terminator)) Source # continue :: MS (JavaCode (Doc, Terminator)) Source # returnStmt :: SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source # throw :: Label -> MS (JavaCode (Doc, Terminator)) Source # ifCond :: [(SValue JavaCode, MS (JavaCode Body))] -> MS (JavaCode Body) -> MS (JavaCode (Doc, Terminator)) Source # switch :: SValue JavaCode -> [(SValue JavaCode, MS (JavaCode Body))] -> MS (JavaCode Body) -> MS (JavaCode (Doc, Terminator)) Source # ifExists :: SValue JavaCode -> MS (JavaCode Body) -> MS (JavaCode Body) -> MS (JavaCode (Doc, Terminator)) Source # for :: MS (JavaCode (Doc, Terminator)) -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) -> MS (JavaCode Body) -> MS (JavaCode (Doc, Terminator)) Source # forRange :: SVariable JavaCode -> SValue JavaCode -> SValue JavaCode -> SValue JavaCode -> MS (JavaCode Body) -> MS (JavaCode (Doc, Terminator)) Source # forEach :: SVariable JavaCode -> SValue JavaCode -> MS (JavaCode Body) -> MS (JavaCode (Doc, Terminator)) Source # while :: SValue JavaCode -> MS (JavaCode Body) -> MS (JavaCode (Doc, Terminator)) Source # tryCatch :: MS (JavaCode Body) -> MS (JavaCode Body) -> MS (JavaCode (Doc, Terminator)) Source # assert :: SValue JavaCode -> SValue JavaCode -> MS (JavaCode (Doc, Terminator)) Source #
ControlStatement PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods break :: MS (PythonCode (Doc, Terminator)) Source # continue :: MS (PythonCode (Doc, Terminator)) Source # returnStmt :: SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source # throw :: Label -> MS (PythonCode (Doc, Terminator)) Source # ifCond :: [(SValue PythonCode, MS (PythonCode Body))] -> MS (PythonCode Body) -> MS (PythonCode (Doc, Terminator)) Source # switch :: SValue PythonCode -> [(SValue PythonCode, MS (PythonCode Body))] -> MS (PythonCode Body) -> MS (PythonCode (Doc, Terminator)) Source # ifExists :: SValue PythonCode -> MS (PythonCode Body) -> MS (PythonCode Body) -> MS (PythonCode (Doc, Terminator)) Source # for :: MS (PythonCode (Doc, Terminator)) -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) -> MS (PythonCode Body) -> MS (PythonCode (Doc, Terminator)) Source # forRange :: SVariable PythonCode -> SValue PythonCode -> SValue PythonCode -> SValue PythonCode -> MS (PythonCode Body) -> MS (PythonCode (Doc, Terminator)) Source # forEach :: SVariable PythonCode -> SValue PythonCode -> MS (PythonCode Body) -> MS (PythonCode (Doc, Terminator)) Source # while :: SValue PythonCode -> MS (PythonCode Body) -> MS (PythonCode (Doc, Terminator)) Source # tryCatch :: MS (PythonCode Body) -> MS (PythonCode Body) -> MS (PythonCode (Doc, Terminator)) Source # assert :: SValue PythonCode -> SValue PythonCode -> MS (PythonCode (Doc, Terminator)) Source #
ControlStatement SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods break :: MS (SwiftCode (Doc, Terminator)) Source # continue :: MS (SwiftCode (Doc, Terminator)) Source # returnStmt :: SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # throw :: Label -> MS (SwiftCode (Doc, Terminator)) Source # ifCond :: [(SValue SwiftCode, MS (SwiftCode Body))] -> MS (SwiftCode Body) -> MS (SwiftCode (Doc, Terminator)) Source # switch :: SValue SwiftCode -> [(SValue SwiftCode, MS (SwiftCode Body))] -> MS (SwiftCode Body) -> MS (SwiftCode (Doc, Terminator)) Source # ifExists :: SValue SwiftCode -> MS (SwiftCode Body) -> MS (SwiftCode Body) -> MS (SwiftCode (Doc, Terminator)) Source # for :: MS (SwiftCode (Doc, Terminator)) -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) -> MS (SwiftCode Body) -> MS (SwiftCode (Doc, Terminator)) Source # forRange :: SVariable SwiftCode -> SValue SwiftCode -> SValue SwiftCode -> SValue SwiftCode -> MS (SwiftCode Body) -> MS (SwiftCode (Doc, Terminator)) Source # forEach :: SVariable SwiftCode -> SValue SwiftCode -> MS (SwiftCode Body) -> MS (SwiftCode (Doc, Terminator)) Source # while :: SValue SwiftCode -> MS (SwiftCode Body) -> MS (SwiftCode (Doc, Terminator)) Source # tryCatch :: MS (SwiftCode Body) -> MS (SwiftCode Body) -> MS (SwiftCode (Doc, Terminator)) Source # assert :: SValue SwiftCode -> SValue SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source #
ControlStatement JuliaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods break :: MS (JuliaCode (Doc, Terminator)) Source # continue :: MS (JuliaCode (Doc, Terminator)) Source # returnStmt :: SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # throw :: Label -> MS (JuliaCode (Doc, Terminator)) Source # ifCond :: [(SValue JuliaCode, MS (JuliaCode Body))] -> MS (JuliaCode Body) -> MS (JuliaCode (Doc, Terminator)) Source # switch :: SValue JuliaCode -> [(SValue JuliaCode, MS (JuliaCode Body))] -> MS (JuliaCode Body) -> MS (JuliaCode (Doc, Terminator)) Source # ifExists :: SValue JuliaCode -> MS (JuliaCode Body) -> MS (JuliaCode Body) -> MS (JuliaCode (Doc, Terminator)) Source # for :: MS (JuliaCode (Doc, Terminator)) -> SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) -> MS (JuliaCode Body) -> MS (JuliaCode (Doc, Terminator)) Source # forRange :: SVariable JuliaCode -> SValue JuliaCode -> SValue JuliaCode -> SValue JuliaCode -> MS (JuliaCode Body) -> MS (JuliaCode (Doc, Terminator)) Source # forEach :: SVariable JuliaCode -> SValue JuliaCode -> MS (JuliaCode Body) -> MS (JuliaCode (Doc, Terminator)) Source # while :: SValue JuliaCode -> MS (JuliaCode Body) -> MS (JuliaCode (Doc, Terminator)) Source # tryCatch :: MS (JuliaCode Body) -> MS (JuliaCode Body) -> MS (JuliaCode (Doc, Terminator)) Source # assert :: SValue JuliaCode -> SValue JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source #
ControlStatement MatlabCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods break :: MS (MatlabCode (Doc, Terminator)) Source # continue :: MS (MatlabCode (Doc, Terminator)) Source # returnStmt :: SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # throw :: Label -> MS (MatlabCode (Doc, Terminator)) Source # ifCond :: [(SValue MatlabCode, MS (MatlabCode Body))] -> MS (MatlabCode Body) -> MS (MatlabCode (Doc, Terminator)) Source # switch :: SValue MatlabCode -> [(SValue MatlabCode, MS (MatlabCode Body))] -> MS (MatlabCode Body) -> MS (MatlabCode (Doc, Terminator)) Source # ifExists :: SValue MatlabCode -> MS (MatlabCode Body) -> MS (MatlabCode Body) -> MS (MatlabCode (Doc, Terminator)) Source # for :: MS (MatlabCode (Doc, Terminator)) -> SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) -> MS (MatlabCode Body) -> MS (MatlabCode (Doc, Terminator)) Source # forRange :: SVariable MatlabCode -> SValue MatlabCode -> SValue MatlabCode -> SValue MatlabCode -> MS (MatlabCode Body) -> MS (MatlabCode (Doc, Terminator)) Source # forEach :: SVariable MatlabCode -> SValue MatlabCode -> MS (MatlabCode Body) -> MS (MatlabCode (Doc, Terminator)) Source # while :: SValue MatlabCode -> MS (MatlabCode Body) -> MS (MatlabCode (Doc, Terminator)) Source # tryCatch :: MS (MatlabCode Body) -> MS (MatlabCode Body) -> MS (MatlabCode (Doc, Terminator)) Source # assert :: SValue MatlabCode -> SValue MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source #
ControlStatement r smt => ControlStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods break :: MS (LoggingFor r smt) Source # continue :: MS (LoggingFor r smt) Source # returnStmt :: SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # throw :: Label -> MS (LoggingFor r smt) Source # ifCond :: [(SValue (LoggingFor r), MS (LoggingFor r Body))] -> MS (LoggingFor r Body) -> MS (LoggingFor r smt) Source # switch :: SValue (LoggingFor r) -> [(SValue (LoggingFor r), MS (LoggingFor r Body))] -> MS (LoggingFor r Body) -> MS (LoggingFor r smt) Source # ifExists :: SValue (LoggingFor r) -> MS (LoggingFor r Body) -> MS (LoggingFor r Body) -> MS (LoggingFor r smt) Source # for :: MS (LoggingFor r smt) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) -> MS (LoggingFor r Body) -> MS (LoggingFor r smt) Source # forRange :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r Body) -> MS (LoggingFor r smt) Source # forEach :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r Body) -> MS (LoggingFor r smt) Source # while :: SValue (LoggingFor r) -> MS (LoggingFor r Body) -> MS (LoggingFor r smt) Source # tryCatch :: MS (LoggingFor r Body) -> MS (LoggingFor r Body) -> MS (LoggingFor r smt) Source # assert :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source #
Pair p => ControlStatement (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods break :: MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # continue :: MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # returnStmt :: SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # throw :: Label -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # ifCond :: [(SValue (p CppSrcCode CppHdrCode), MS (p CppSrcCode CppHdrCode Body))] -> MS (p CppSrcCode CppHdrCode Body) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # switch :: SValue (p CppSrcCode CppHdrCode) -> [(SValue (p CppSrcCode CppHdrCode), MS (p CppSrcCode CppHdrCode Body))] -> MS (p CppSrcCode CppHdrCode Body) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # ifExists :: SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode Body) -> MS (p CppSrcCode CppHdrCode Body) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # for :: MS (p CppSrcCode CppHdrCode (Doc, Terminator)) -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) -> MS (p CppSrcCode CppHdrCode Body) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # forRange :: SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode Body) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # forEach :: SVariable (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode Body) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # while :: SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode Body) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # tryCatch :: MS (p CppSrcCode CppHdrCode Body) -> MS (p CppSrcCode CppHdrCode Body) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # assert :: SValue (p CppSrcCode CppHdrCode) -> SValue (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source #

ifNoElse :: ControlStatement r smt => [(SValue r, MS (r Body))] -> MS (r smt) Source #

switchAsIf :: (ControlStatement r smt, Comparison r) => SValue r -> [(SValue r, MS (r Body))] -> MS (r Body) -> MS (r smt) Source #

class VisibilitySym r vis | r -> vis where Source #

Methods

private :: r vis Source #

public :: r vis Source #

Instances

Instances details

VisibilitySym CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods private :: CodeInfoOO () Source # public :: CodeInfoOO () Source #
VisibilitySym CSharpCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods private :: CSharpCode Doc Source # public :: CSharpCode Doc Source #
VisibilitySym JavaCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods private :: JavaCode Doc Source # public :: JavaCode Doc Source #
VisibilitySym PythonCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods private :: PythonCode Doc Source # public :: PythonCode Doc Source #
VisibilitySym SwiftCode Doc Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods private :: SwiftCode Doc Source # public :: SwiftCode Doc Source #
VisibilitySym JuliaCode Doc Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods private :: JuliaCode Doc Source # public :: JuliaCode Doc Source #
VisibilitySym MatlabCode Doc Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods private :: MatlabCode Doc Source # public :: MatlabCode Doc Source #
VisibilitySym CppHdrCode (Doc, VisibilityTag) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods private :: CppHdrCode (Doc, VisibilityTag) Source # public :: CppHdrCode (Doc, VisibilityTag) Source #
VisibilitySym CppSrcCode (Doc, VisibilityTag) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods private :: CppSrcCode (Doc, VisibilityTag) Source # public :: CppSrcCode (Doc, VisibilityTag) Source #
VisibilitySym r vis => VisibilitySym (LoggingFor r) vis Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods private :: LoggingFor r vis Source # public :: LoggingFor r vis Source #
Pair p => VisibilitySym (p CppSrcCode CppHdrCode) (Doc, VisibilityTag) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods private :: p CppSrcCode CppHdrCode (Doc, VisibilityTag) Source # public :: p CppSrcCode CppHdrCode (Doc, VisibilityTag) Source #

class VariableSym r => ParameterSym r where Source #

Methods

param :: SVariable r -> MS (r ParamData) Source #

pointerParam :: SVariable r -> MS (r ParamData) Source #

Instances

Instances details

ParameterSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods param :: SVariable CodeInfoOO -> MS (CodeInfoOO ParamData) Source # pointerParam :: SVariable CodeInfoOO -> MS (CodeInfoOO ParamData) Source #
ParameterSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods param :: SVariable CSharpCode -> MS (CSharpCode ParamData) Source # pointerParam :: SVariable CSharpCode -> MS (CSharpCode ParamData) Source #
ParameterSym CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods param :: SVariable CppHdrCode -> MS (CppHdrCode ParamData) Source # pointerParam :: SVariable CppHdrCode -> MS (CppHdrCode ParamData) Source #
ParameterSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods param :: SVariable CppSrcCode -> MS (CppSrcCode ParamData) Source # pointerParam :: SVariable CppSrcCode -> MS (CppSrcCode ParamData) Source #
ParameterSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods param :: SVariable JavaCode -> MS (JavaCode ParamData) Source # pointerParam :: SVariable JavaCode -> MS (JavaCode ParamData) Source #
ParameterSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods param :: SVariable PythonCode -> MS (PythonCode ParamData) Source # pointerParam :: SVariable PythonCode -> MS (PythonCode ParamData) Source #
ParameterSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods param :: SVariable SwiftCode -> MS (SwiftCode ParamData) Source # pointerParam :: SVariable SwiftCode -> MS (SwiftCode ParamData) Source #
ParameterSym JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods param :: SVariable JuliaCode -> MS (JuliaCode ParamData) Source # pointerParam :: SVariable JuliaCode -> MS (JuliaCode ParamData) Source #
ParameterSym MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods param :: SVariable MatlabCode -> MS (MatlabCode ParamData) Source # pointerParam :: SVariable MatlabCode -> MS (MatlabCode ParamData) Source #
ParameterSym r => ParameterSym (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods param :: SVariable (LoggingFor r) -> MS (LoggingFor r ParamData) Source # pointerParam :: SVariable (LoggingFor r) -> MS (LoggingFor r ParamData) Source #
Pair p => ParameterSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods param :: SVariable (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode ParamData) Source # pointerParam :: SVariable (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode ParamData) Source #

class (BodySym r smt, ParameterSym r, VisibilitySym r vis) => MethodSym r vis smt md | r -> md where Source #

Methods

docMain :: MS (r Body) -> MS (r md) Source #

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

mainFunction :: MS (r Body) -> MS (r md) Source #

docFunc :: String -> [String] -> Maybe String -> MS (r md) -> MS (r md) Source #

inOutFunc :: Label -> r vis -> InOutFunc r md Source #

docInOutFunc :: Label -> r vis -> DocInOutFunc r md Source #

Instances

Instances details

MethodSym CodeInfoOO () () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods docMain :: MS (CodeInfoOO Body) -> MS (CodeInfoOO ()) Source # function :: Label -> CodeInfoOO () -> VS (CodeInfoOO TypeData) -> [MS (CodeInfoOO ParamData)] -> MS (CodeInfoOO Body) -> MS (CodeInfoOO ()) Source # mainFunction :: MS (CodeInfoOO Body) -> MS (CodeInfoOO ()) Source # docFunc :: String -> [String] -> Maybe String -> MS (CodeInfoOO ()) -> MS (CodeInfoOO ()) Source # inOutFunc :: Label -> CodeInfoOO () -> InOutFunc CodeInfoOO () Source # docInOutFunc :: Label -> CodeInfoOO () -> DocInOutFunc CodeInfoOO () Source #
MethodSym CSharpCode Doc (Doc, Terminator) MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods docMain :: MS (CSharpCode Body) -> MS (CSharpCode MethodData) Source # function :: Label -> CSharpCode Doc -> VS (CSharpCode TypeData) -> [MS (CSharpCode ParamData)] -> MS (CSharpCode Body) -> MS (CSharpCode MethodData) Source # mainFunction :: MS (CSharpCode Body) -> MS (CSharpCode MethodData) Source # docFunc :: String -> [String] -> Maybe String -> MS (CSharpCode MethodData) -> MS (CSharpCode MethodData) Source # inOutFunc :: Label -> CSharpCode Doc -> InOutFunc CSharpCode MethodData Source # docInOutFunc :: Label -> CSharpCode Doc -> DocInOutFunc CSharpCode MethodData Source #
MethodSym JavaCode Doc (Doc, Terminator) MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods docMain :: MS (JavaCode Body) -> MS (JavaCode MethodData) Source # function :: Label -> JavaCode Doc -> VS (JavaCode TypeData) -> [MS (JavaCode ParamData)] -> MS (JavaCode Body) -> MS (JavaCode MethodData) Source # mainFunction :: MS (JavaCode Body) -> MS (JavaCode MethodData) Source # docFunc :: String -> [String] -> Maybe String -> MS (JavaCode MethodData) -> MS (JavaCode MethodData) Source # inOutFunc :: Label -> JavaCode Doc -> InOutFunc JavaCode MethodData Source # docInOutFunc :: Label -> JavaCode Doc -> DocInOutFunc JavaCode MethodData Source #
MethodSym PythonCode Doc (Doc, Terminator) MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods docMain :: MS (PythonCode Body) -> MS (PythonCode MethodData) Source # function :: Label -> PythonCode Doc -> VS (PythonCode TypeData) -> [MS (PythonCode ParamData)] -> MS (PythonCode Body) -> MS (PythonCode MethodData) Source # mainFunction :: MS (PythonCode Body) -> MS (PythonCode MethodData) Source # docFunc :: String -> [String] -> Maybe String -> MS (PythonCode MethodData) -> MS (PythonCode MethodData) Source # inOutFunc :: Label -> PythonCode Doc -> InOutFunc PythonCode MethodData Source # docInOutFunc :: Label -> PythonCode Doc -> DocInOutFunc PythonCode MethodData Source #
MethodSym SwiftCode Doc (Doc, Terminator) MethodData Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods docMain :: MS (SwiftCode Body) -> MS (SwiftCode MethodData) Source # function :: Label -> SwiftCode Doc -> VS (SwiftCode TypeData) -> [MS (SwiftCode ParamData)] -> MS (SwiftCode Body) -> MS (SwiftCode MethodData) Source # mainFunction :: MS (SwiftCode Body) -> MS (SwiftCode MethodData) Source # docFunc :: String -> [String] -> Maybe String -> MS (SwiftCode MethodData) -> MS (SwiftCode MethodData) Source # inOutFunc :: Label -> SwiftCode Doc -> InOutFunc SwiftCode MethodData Source # docInOutFunc :: Label -> SwiftCode Doc -> DocInOutFunc SwiftCode MethodData Source #
MethodSym JuliaCode Doc (Doc, Terminator) MethodData Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods docMain :: MS (JuliaCode Body) -> MS (JuliaCode MethodData) Source # function :: Label -> JuliaCode Doc -> VS (JuliaCode TypeData) -> [MS (JuliaCode ParamData)] -> MS (JuliaCode Body) -> MS (JuliaCode MethodData) Source # mainFunction :: MS (JuliaCode Body) -> MS (JuliaCode MethodData) Source # docFunc :: String -> [String] -> Maybe String -> MS (JuliaCode MethodData) -> MS (JuliaCode MethodData) Source # inOutFunc :: Label -> JuliaCode Doc -> InOutFunc JuliaCode MethodData Source # docInOutFunc :: Label -> JuliaCode Doc -> DocInOutFunc JuliaCode MethodData Source #
MethodSym MatlabCode Doc (Doc, Terminator) MethodData Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods docMain :: MS (MatlabCode Body) -> MS (MatlabCode MethodData) Source # function :: Label -> MatlabCode Doc -> VS (MatlabCode TypeData) -> [MS (MatlabCode ParamData)] -> MS (MatlabCode Body) -> MS (MatlabCode MethodData) Source # mainFunction :: MS (MatlabCode Body) -> MS (MatlabCode MethodData) Source # docFunc :: String -> [String] -> Maybe String -> MS (MatlabCode MethodData) -> MS (MatlabCode MethodData) Source # inOutFunc :: Label -> MatlabCode Doc -> InOutFunc MatlabCode MethodData Source # docInOutFunc :: Label -> MatlabCode Doc -> DocInOutFunc MatlabCode MethodData Source #
MethodSym r vis smt md => MethodSym (LoggingFor r) vis smt md Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods docMain :: MS (LoggingFor r Body) -> MS (LoggingFor r md) Source # function :: Label -> LoggingFor r vis -> VS (LoggingFor r TypeData) -> [MS (LoggingFor r ParamData)] -> MS (LoggingFor r Body) -> MS (LoggingFor r md) Source # mainFunction :: MS (LoggingFor r Body) -> MS (LoggingFor r md) Source # docFunc :: String -> [String] -> Maybe String -> MS (LoggingFor r md) -> MS (LoggingFor r md) Source # inOutFunc :: Label -> LoggingFor r vis -> InOutFunc (LoggingFor r) md Source # docInOutFunc :: Label -> LoggingFor r vis -> DocInOutFunc (LoggingFor r) md Source #

class TypeSym r => BinderSym r where Source #

Methods

binder :: Label -> VS (r TypeData) -> VSBinder r Source #

Instances

Instances details

BinderSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods binder :: Label -> VS (CodeInfoOO TypeData) -> VSBinder CodeInfoOO Source #
BinderSym CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods binder :: Label -> VS (CSharpCode TypeData) -> VSBinder CSharpCode Source #
BinderSym CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods binder :: Label -> VS (CppHdrCode TypeData) -> VSBinder CppHdrCode Source #
BinderSym CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods binder :: Label -> VS (CppSrcCode TypeData) -> VSBinder CppSrcCode Source #
BinderSym JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods binder :: Label -> VS (JavaCode TypeData) -> VSBinder JavaCode Source #
BinderSym PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods binder :: Label -> VS (PythonCode TypeData) -> VSBinder PythonCode Source #
BinderSym SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods binder :: Label -> VS (SwiftCode TypeData) -> VSBinder SwiftCode Source #
BinderSym JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods binder :: Label -> VS (JuliaCode TypeData) -> VSBinder JuliaCode Source #
BinderSym MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods binder :: Label -> VS (MatlabCode TypeData) -> VSBinder MatlabCode Source #
BinderSym r => BinderSym (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods binder :: Label -> VS (LoggingFor r TypeData) -> VSBinder (LoggingFor r) Source #
Pair p => BinderSym (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods binder :: Label -> VS (p CppSrcCode CppHdrCode TypeData) -> VSBinder (p CppSrcCode CppHdrCode) Source #

class BinderSym r => BinderElim r where Source #

Methods

binderName :: r BinderD -> String Source #

binderType :: r BinderD -> r TypeData Source #

Instances

Instances details

BinderElim CSharpCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods binderName :: CSharpCode BinderD -> String Source # binderType :: CSharpCode BinderD -> CSharpCode TypeData Source #
BinderElim CppHdrCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods binderName :: CppHdrCode BinderD -> String Source # binderType :: CppHdrCode BinderD -> CppHdrCode TypeData Source #
BinderElim CppSrcCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods binderName :: CppSrcCode BinderD -> String Source # binderType :: CppSrcCode BinderD -> CppSrcCode TypeData Source #
BinderElim JavaCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods binderName :: JavaCode BinderD -> String Source # binderType :: JavaCode BinderD -> JavaCode TypeData Source #
BinderElim PythonCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods binderName :: PythonCode BinderD -> String Source # binderType :: PythonCode BinderD -> PythonCode TypeData Source #
BinderElim SwiftCode Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods binderName :: SwiftCode BinderD -> String Source # binderType :: SwiftCode BinderD -> SwiftCode TypeData Source #
BinderElim JuliaCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods binderName :: JuliaCode BinderD -> String Source # binderType :: JuliaCode BinderD -> JuliaCode TypeData Source #
BinderElim MatlabCode Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods binderName :: MatlabCode BinderD -> String Source # binderType :: MatlabCode BinderD -> MatlabCode TypeData Source #
Pair p => BinderElim (p CppSrcCode CppHdrCode) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods binderName :: p CppSrcCode CppHdrCode BinderD -> String Source # binderType :: p CppSrcCode CppHdrCode BinderD -> p CppSrcCode CppHdrCode TypeData Source #

convType :: TypeSym r => CodeType -> VS (r TypeData) Source #