Safe Haskell	None
Language	GHC2024

Drasil.Shared.InterfaceCommon

Synopsis

type Label = String
type Library = String
type Body = Doc
type Block = Doc
type VSBinder (a :: Type -> Type) = VS (a BinderD)
type Variable = VarData
type SVariable (a :: Type -> Type) = VS (a Variable)
type Value = ValData
type SValue (a :: Type -> Type) = VS (a Value)
type NamedArgs (r :: Type -> Type) = [(SVariable r, SValue r)]
type MixedCall (r :: Type -> Type) = Label -> VS (r TypeData) -> [SValue r] -> NamedArgs r -> SValue r
type MixedCtorCall (r :: Type -> Type) = VS (r TypeData) -> [SValue r] -> NamedArgs r -> SValue r
type PosCall (r :: Type -> Type) = Label -> VS (r TypeData) -> [SValue r] -> SValue r
type PosCtorCall (r :: Type -> Type) = VS (r TypeData) -> [SValue r] -> SValue r
type InOutCall (r :: Type -> Type) stmt = Label -> [SValue r] -> [SVariable r] -> [SVariable r] -> MS (r stmt)
type InOutFunc (r :: Type -> Type) mthd bod = [SVariable r] -> [SVariable r] -> [SVariable r] -> MS (r bod) -> MS (r mthd)
type DocInOutFunc (r :: Type -> Type) mthd bod = String -> [(String, SVariable r)] -> [(String, SVariable r)] -> [(String, SVariable r)] -> MS (r bod) -> MS (r mthd)
class UnRepr (repr :: Type -> Type) contents where
- unRepr :: repr contents -> contents
class BodySym (r :: k -> Type) (bod :: k) (block :: k) | r -> bod block where
- body :: [MS (r block)] -> MS (r bod)
- addComments :: Label -> MS (r bod) -> MS (r bod)
bodyStatements :: forall {k} r (block :: k) (stmt :: k) (bod :: k). (BlockSym r block stmt, BodySym r bod block) => [MS (r stmt)] -> MS (r bod)
oneLiner :: forall {k} r (block :: k) (stmt :: k) (bod :: k). (BlockSym r block stmt, BodySym r bod block) => MS (r stmt) -> MS (r bod)
class BlockSym (r :: k -> Type) (block :: k) (stmt :: k) | r -> block stmt where
- block :: [MS (r stmt)] -> MS (r block)
class TypeSym (r :: Type -> Type) 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 :: Type -> Type) where
- getCodeType :: r TypeData -> CodeType
getTypeString :: UnRepr r TypeData => r TypeData -> String
class TypeSym r => VariableSym (r :: Type -> Type) 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 :: Type -> Type) where
- global :: r ScopeData
- mainFn :: r ScopeData
- local :: r ScopeData
convScope :: ScopeSym r => ScopeData -> r ScopeData
class VariableSym r => VariableElim (r :: Type -> Type) 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 :: Type -> Type) where
- valueType :: r Value -> r TypeData
class ValueSym r => Argument (r :: Type -> Type) where
- pointerArg :: SValue r -> SValue r
class ValueSym r => Literal (r :: Type -> Type) 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 :: Type -> Type) where
- pi :: SValue r
class (VariableSym r, ValueSym r) => VariableValue (r :: Type -> Type) where
- valueOf :: SVariable r -> SValue r
class ValueSym r => CommandLineArgs (r :: Type -> Type) where
- arg :: Integer -> SValue r
- argsList :: SValue r
- argExists :: Integer -> SValue r
class ValueSym r => NumericExpression (r :: Type -> Type) 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 :: Type -> Type) where
- (?!) :: SValue r -> SValue r
- (?&&) :: SValue r -> SValue r -> SValue r
- (?||) :: SValue r -> SValue r -> SValue r
class ValueSym r => Comparison (r :: Type -> Type) 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 :: Type -> Type) 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 :: Type -> Type) where
- intToIndex :: SValue r -> SValue r
- indexToInt :: SValue r -> SValue r
class (TypeSym r, ValueSym r) => Reference (r :: Type -> Type) where
- makeRef :: SValue r -> SValue r
- maybeDeref :: SValue r -> SValue r
class IndexTranslator r => Array (r :: Type -> Type) where
- arrayElem :: SValue r -> SValue r -> SVariable r
- arrayLength :: SValue r -> SValue r
- arrayCopy :: SValue r -> SValue r
class IndexTranslator r => List (r :: Type -> Type) where
- listSize :: SValue r -> SValue r
- listAccess :: SValue r -> SValue r -> SValue r
- indexOf :: SValue r -> SValue r -> SValue r
class ListStatement (r :: Type -> Type) stmt | r -> stmt where
- listAdd :: SValue r -> SValue r -> SValue r -> MS (r stmt)
- listAppend :: SValue r -> SValue r -> MS (r stmt)
- listSet :: SValue r -> SValue r -> SValue r -> MS (r stmt)
class ValueSym r => Set (r :: Type -> Type) 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 :: Type -> Type) 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 :: Type -> Type) block | r -> block where
- listSlice' :: Maybe (SValue r) -> Maybe (SValue r) -> Maybe (SValue r) -> SVariable r -> SValue r -> MS (r block)
listSlice :: InternalList r block => SVariable r -> SValue r -> Maybe (SValue r) -> Maybe (SValue r) -> Maybe (SValue r) -> MS (r block)
listIndexExists :: (List r, Comparison r) => SValue r -> SValue r -> SValue r
at :: List r => SValue r -> SValue r -> SValue r
class EmptyStatement (r :: k -> Type) (stmt :: k) | r -> stmt where
- emptyStmt :: MS (r stmt)
class MultiStatement (r :: k -> Type) (stmt :: k) | r -> stmt where
- multi :: [MS (r stmt)] -> MS (r stmt)
class ValueStatement (r :: Type -> Type) stmt | r -> stmt where
- valStmt :: SValue r -> MS (r stmt)
class VariableSym r => AssignStatement (r :: Type -> Type) stmt | r -> stmt where
- (&-=) :: SVariable r -> SValue r -> MS (r stmt)
- (&+=) :: SVariable r -> SValue r -> MS (r stmt)
- (&++) :: SVariable r -> MS (r stmt)
- (&--) :: SVariable r -> MS (r stmt)
- assign :: SVariable r -> SValue r -> MS (r stmt)
(&=) :: AssignStatement r stmt => SVariable r -> SValue r -> MS (r stmt)
class (VariableSym r, ScopeSym r) => DeclStatement (r :: Type -> Type) stmt bod | r -> stmt bod where
- varDec :: SVariable r -> r ScopeData -> MS (r stmt)
- varDecDef :: SVariable r -> r ScopeData -> SValue r -> MS (r stmt)
- listDec :: Integer -> SVariable r -> r ScopeData -> MS (r stmt)
- listDecDef :: SVariable r -> r ScopeData -> [SValue r] -> MS (r stmt)
- setDec :: SVariable r -> r ScopeData -> MS (r stmt)
- setDecDef :: SVariable r -> r ScopeData -> SValue r -> MS (r stmt)
- arrayDec :: Integer -> SValue r -> SVariable r -> r ScopeData -> MS (r stmt)
- arrayDecDef :: SVariable r -> r ScopeData -> [SValue r] -> MS (r stmt)
- constDecDef :: SVariable r -> r ScopeData -> SValue r -> MS (r stmt)
- funcDecDef :: SVariable r -> r ScopeData -> [SVariable r] -> MS (r bod) -> MS (r stmt)
class VariableSym r => PrintConsole (r :: Type -> Type) stmt | r -> stmt where
- print :: SValue r -> MS (r stmt)
- printLn :: SValue r -> MS (r stmt)
- printStr :: String -> MS (r stmt)
- printStrLn :: String -> MS (r stmt)
class VariableSym r => ReadConsole (r :: Type -> Type) stmt | r -> stmt where
- getInput :: SVariable r -> MS (r stmt)
- discardInput :: MS (r stmt)
class VariableSym r => FileHandling (r :: Type -> Type) stmt | r -> stmt where
- openFileR :: SVariable r -> SValue r -> MS (r stmt)
- openFileW :: SVariable r -> SValue r -> MS (r stmt)
- openFileA :: SVariable r -> SValue r -> MS (r stmt)
- closeFile :: SValue r -> MS (r stmt)
class VariableSym r => PrintFile (r :: Type -> Type) stmt | r -> stmt where
- printFile :: SValue r -> SValue r -> MS (r stmt)
- printFileLn :: SValue r -> SValue r -> MS (r stmt)
- printFileStr :: SValue r -> String -> MS (r stmt)
- printFileStrLn :: SValue r -> String -> MS (r stmt)
class VariableSym r => ReadFile (r :: Type -> Type) stmt | r -> stmt where
- getFileInput :: SValue r -> SVariable r -> MS (r stmt)
- discardFileInput :: SValue r -> MS (r stmt)
- getFileInputLine :: SValue r -> SVariable r -> MS (r stmt)
- discardFileLine :: SValue r -> MS (r stmt)
- getFileInputAll :: SValue r -> SVariable r -> MS (r stmt)
class VariableSym r => StringStatement (r :: Type -> Type) stmt | r -> stmt where
- stringSplit :: Char -> SVariable r -> SValue r -> MS (r stmt)
- stringListVals :: [SVariable r] -> SValue r -> MS (r stmt)
- stringListLists :: [SVariable r] -> SValue r -> MS (r stmt)
class ValueSym r => FunctionSym (r :: Type -> Type)
class VariableSym r => FuncAppStatement (r :: Type -> Type) stmt | r -> stmt where
- inOutCall :: InOutCall r stmt
- extInOutCall :: Library -> InOutCall r stmt
class CommentStatement (r :: k -> Type) (stmt :: k) | r -> stmt where
- comment :: String -> MS (r stmt)
class VariableSym r => ControlStatement (r :: Type -> Type) stmt bod | r -> stmt bod where
- break :: MS (r stmt)
- continue :: MS (r stmt)
- returnStmt :: SValue r -> MS (r stmt)
- throw :: Label -> MS (r stmt)
- ifCond :: [(SValue r, MS (r bod))] -> MS (r bod) -> MS (r stmt)
- switch :: SValue r -> [(SValue r, MS (r bod))] -> MS (r bod) -> MS (r stmt)
- ifExists :: SValue r -> MS (r bod) -> MS (r bod) -> MS (r stmt)
- for :: MS (r stmt) -> SValue r -> MS (r stmt) -> MS (r bod) -> MS (r stmt)
- forRange :: SVariable r -> SValue r -> SValue r -> SValue r -> MS (r bod) -> MS (r stmt)
- forEach :: SVariable r -> SValue r -> MS (r bod) -> MS (r stmt)
- while :: SValue r -> MS (r bod) -> MS (r stmt)
- tryCatch :: MS (r bod) -> MS (r bod) -> MS (r stmt)
- assert :: SValue r -> SValue r -> MS (r stmt)
ifNoElse :: (BodySym r bod block, ControlStatement r stmt bod) => [(SValue r, MS (r bod))] -> MS (r stmt)
switchAsIf :: (ControlStatement r stmt bod, Comparison r) => SValue r -> [(SValue r, MS (r bod))] -> MS (r bod) -> MS (r stmt)
class VisibilitySym (r :: k -> Type) (vis :: k) | r -> vis where
- private :: r vis
- public :: r vis
class VariableSym r => ParameterSym (r :: Type -> Type) where
- param :: SVariable r -> MS (r ParamData)
- pointerParam :: SVariable r -> MS (r ParamData)
class (ParameterSym r, VisibilitySym r vis) => MethodSym (r :: Type -> Type) vis mthd bod | r -> mthd bod where
- docMain :: MS (r bod) -> MS (r mthd)
- function :: Label -> r vis -> VS (r TypeData) -> [MS (r ParamData)] -> MS (r bod) -> MS (r mthd)
- mainFunction :: MS (r bod) -> MS (r mthd)
- docFunc :: String -> [String] -> Maybe String -> MS (r mthd) -> MS (r mthd)
- inOutFunc :: Label -> r vis -> InOutFunc r mthd bod
- docInOutFunc :: Label -> r vis -> DocInOutFunc r mthd bod
class TypeSym r => BinderSym (r :: Type -> Type) where
- binder :: Label -> VS (r TypeData) -> VSBinder r
class BinderSym r => BinderElim (r :: Type -> Type) 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 :: Type -> Type) = VS (a BinderD) Source #

type Variable = VarData Source #

type SVariable (a :: Type -> Type) = VS (a Variable) Source #

type Value = ValData Source #

type SValue (a :: Type -> Type) = VS (a Value) Source #

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

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

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

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

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

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

type InOutFunc (r :: Type -> Type) mthd bod = [SVariable r] -> [SVariable r] -> [SVariable r] -> MS (r bod) -> MS (r mthd) Source #

type DocInOutFunc (r :: Type -> Type) mthd bod = String -> [(String, SVariable r)] -> [(String, SVariable r)] -> [(String, SVariable r)] -> MS (r bod) -> MS (r mthd) Source #

class UnRepr (repr :: Type -> Type) 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 BodySym (r :: k -> Type) (bod :: k) (block :: k) | r -> bod block where Source #

Class for representing a Body, which is basically a lexical scope of code. Examples include a function body, the branch(es) of an `if`-statement, etc.

Methods

body :: [MS (r block)] -> MS (r bod) Source #

Given a list of blocks, create a Body of them.

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

Given a comment and a body, add the comment as a header for the body.

Instances

Instances details

BodySym CodeInfoOO () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods body :: [MS (CodeInfoOO ())] -> MS (CodeInfoOO ()) Source # addComments :: Label -> MS (CodeInfoOO ()) -> MS (CodeInfoOO ()) Source #
BodySym CSharpCode Body Block 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 Body Block 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 Body Block 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 Body Block 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 Body Block 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 Body Block 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 Body Block 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 Body Block 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 bod block => BodySym (LoggingFor r :: Type -> Type) (bod :: Type) (block :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods body :: [MS (LoggingFor r block)] -> MS (LoggingFor r bod) Source # addComments :: Label -> MS (LoggingFor r bod) -> MS (LoggingFor r bod) Source #
Pair p => BodySym (p CppSrcCode CppHdrCode :: Type -> Type) Body Block 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 :: forall {k} r (block :: k) (stmt :: k) (bod :: k). (BlockSym r block stmt, BodySym r bod block) => [MS (r stmt)] -> MS (r bod) Source #

oneLiner :: forall {k} r (block :: k) (stmt :: k) (bod :: k). (BlockSym r block stmt, BodySym r bod block) => MS (r stmt) -> MS (r bod) Source #

class BlockSym (r :: k -> Type) (block :: k) (stmt :: k) | r -> block stmt where Source #

Class for representing a block of code. A block is a series of statements grouped together, not for use by the compiler/interpreter but to improve readability of the generated code. See the bottom of page 2 of Brook's GOOL paper from 2020 for more details.

Methods

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

Instances

Instances details

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

Class for representing a type.

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 :: Type -> Type) 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 :: Type -> Type) where Source #

Class for representing variables.

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 :: Type -> Type) where Source #

Class for representing the lexical scope of a variable. Currently only differentiates global and local, allowing individual renderers to define which of them the main function is.

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 :: Type -> Type) 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 :: Type -> Type) where Source #

Class for representing a value.

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 :: Type -> Type) 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 :: Type -> Type) 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 :: Type -> Type) 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 :: Type -> Type) 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 :: Type -> Type) 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 :: Type -> Type) 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 :: Type -> Type) 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 :: Type -> Type) 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 :: Type -> Type) where Source #

A class for representing values that can include expressions

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 :: Type -> Type) where Source #

Helper class for representing the conversion between integers and array indices. GOOL is 0-indexed, so languages like Julia that are not 0-indexed need to convert between integers and indices.

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 :: Type -> Type) where Source #

A class for representing references. By "reference" we basically mean "C++ pointer" or "OCaml reference".

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 :: Type -> Type) 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 => List (r :: Type -> Type) where Source #

Methods

listSize :: SValue r -> SValue r Source #

Finds the size of a list. Arguments are: List

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

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

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

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

Methods

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

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

listAppend :: SValue r -> SValue r -> MS (r stmt) Source #

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

listSet :: SValue r -> SValue r -> SValue r -> MS (r stmt) Source #

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

Instances

Instances details

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

class ValueSym r => Set (r :: Type -> Type) 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 :: Type -> Type) 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 :: Type -> Type) block | r -> block 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 ()) Source #
InternalList CSharpCode Block 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 Block 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 Block 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 Block 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 Block 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 Block 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 Block 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 Block 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 block => InternalList (LoggingFor r) block 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) Block 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 block => 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, Comparison r) => SValue r -> SValue r -> SValue r Source #

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

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

Methods

emptyStmt :: MS (r stmt) Source #

Empty statement

Instances

Instances details

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

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

Methods

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

Consolidates a list of statements into a single statement

Instances

Instances details

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

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

Methods

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

Converts a value to statement

Instances

Instances details

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

class VariableSym r => AssignStatement (r :: Type -> Type) stmt | r -> stmt where Source #

Methods

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

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

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

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

assign :: SVariable r -> SValue r -> MS (r stmt) 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 #
(MultiStatement r stmt, AssignStatement r stmt, FileHandling r stmt, PrintFile r stmt, VariableValue r, VariableElim r, Literal r) => AssignStatement (LoggingFor r) stmt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods (&-=) :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source # (&+=) :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source # (&++) :: SVariable (LoggingFor r) -> MS (LoggingFor r stmt) Source # (&--) :: SVariable (LoggingFor r) -> MS (LoggingFor r stmt) Source # assign :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r stmt) 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 stmt => SVariable r -> SValue r -> MS (r stmt) infixr 1 Source #

class (VariableSym r, ScopeSym r) => DeclStatement (r :: Type -> Type) stmt bod | r -> stmt bod where Source #

Methods

varDec :: SVariable r -> r ScopeData -> MS (r stmt) 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 stmt) 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 stmt) Source #

Given the size of the list, the variable to store the list in, and the scope of the variable, declare a list of the given size.

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

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

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

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

Given the size of the aray, the default value to fill the array with, the variable to store the array in, and the scope of the variable, declare an array of the given size.

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

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

funcDecDef :: SVariable r -> r ScopeData -> [SVariable r] -> MS (r bod) -> MS (r stmt) 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 ()) -> MS (CodeInfoOO ()) Source #
DeclStatement CSharpCode (Doc, Terminator) Body 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) Body 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) Body 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) Body 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) Body 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) Body 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) Body 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) Body 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 #
(MultiStatement r stmt, DeclStatement r stmt bod, FileHandling r stmt, PrintFile r stmt, VariableValue r, VariableElim r, Literal r) => DeclStatement (LoggingFor r) stmt bod Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods varDec :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> MS (LoggingFor r stmt) Source # varDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source # listDec :: Integer -> SVariable (LoggingFor r) -> LoggingFor r ScopeData -> MS (LoggingFor r stmt) Source # listDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> [SValue (LoggingFor r)] -> MS (LoggingFor r stmt) Source # setDec :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> MS (LoggingFor r stmt) Source # setDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source # arrayDec :: Integer -> SValue (LoggingFor r) -> SVariable (LoggingFor r) -> LoggingFor r ScopeData -> MS (LoggingFor r stmt) Source # arrayDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> [SValue (LoggingFor r)] -> MS (LoggingFor r stmt) Source # constDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source # funcDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> [SVariable (LoggingFor r)] -> MS (LoggingFor r bod) -> MS (LoggingFor r stmt) Source #
Pair p => DeclStatement (p CppSrcCode CppHdrCode) (Doc, Terminator) Body 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 => PrintConsole (r :: Type -> Type) stmt | r -> stmt where Source #

Methods

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

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

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

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

Instances

Instances details

PrintConsole 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 #
PrintConsole 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 #
PrintConsole 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 #
PrintConsole 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 #
PrintConsole 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 #
PrintConsole 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 #
PrintConsole 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 #
PrintConsole 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 #
PrintConsole 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 #
PrintConsole r stmt => PrintConsole (LoggingFor r) stmt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods print :: SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source # printLn :: SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source # printStr :: String -> MS (LoggingFor r stmt) Source # printStrLn :: String -> MS (LoggingFor r stmt) Source #
Pair p => PrintConsole (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 #

class VariableSym r => ReadConsole (r :: Type -> Type) stmt | r -> stmt where Source #

Methods

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

discardInput :: MS (r stmt) Source #

Instances

Instances details

ReadConsole CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods getInput :: SVariable CodeInfoOO -> MS (CodeInfoOO ()) Source # discardInput :: MS (CodeInfoOO ()) Source #
ReadConsole CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods getInput :: SVariable CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # discardInput :: MS (CSharpCode (Doc, Terminator)) Source #
ReadConsole CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods getInput :: SVariable CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # discardInput :: MS (CppHdrCode (Doc, Terminator)) Source #
ReadConsole CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods getInput :: SVariable CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # discardInput :: MS (CppSrcCode (Doc, Terminator)) Source #
ReadConsole JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods getInput :: SVariable JavaCode -> MS (JavaCode (Doc, Terminator)) Source # discardInput :: MS (JavaCode (Doc, Terminator)) Source #
ReadConsole PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods getInput :: SVariable PythonCode -> MS (PythonCode (Doc, Terminator)) Source # discardInput :: MS (PythonCode (Doc, Terminator)) Source #
ReadConsole SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods getInput :: SVariable SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # discardInput :: MS (SwiftCode (Doc, Terminator)) Source #
ReadConsole JuliaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods getInput :: SVariable JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # discardInput :: MS (JuliaCode (Doc, Terminator)) Source #
ReadConsole MatlabCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods getInput :: SVariable MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # discardInput :: MS (MatlabCode (Doc, Terminator)) Source #
(MultiStatement r stmt, FileHandling r stmt, PrintFile r stmt, ReadConsole r stmt, VariableValue r, VariableElim r, Literal r) => ReadConsole (LoggingFor r) stmt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods getInput :: SVariable (LoggingFor r) -> MS (LoggingFor r stmt) Source # discardInput :: MS (LoggingFor r stmt) Source #
Pair p => ReadConsole (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods getInput :: SVariable (p CppSrcCode CppHdrCode) -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source # discardInput :: MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source #

class VariableSym r => FileHandling (r :: Type -> Type) stmt | r -> stmt where Source #

Methods

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

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

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

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

Instances

Instances details

FileHandling CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods 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 #
FileHandling CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods 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 #
FileHandling CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods 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 #
FileHandling CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods 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 #
FileHandling JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods 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 #
FileHandling PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods 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 #
FileHandling SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods 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 #
FileHandling JuliaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods 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 #
FileHandling MatlabCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods 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 #
FileHandling r stmt => FileHandling (LoggingFor r) stmt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods openFileR :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source # openFileW :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source # openFileA :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source # closeFile :: SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source #
Pair p => FileHandling (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods 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 #

class VariableSym r => PrintFile (r :: Type -> Type) stmt | r -> stmt where Source #

Methods

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

Given the file handle and value to print, print the value to the file.

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

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

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

Instances

Instances details

PrintFile CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods 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 #
PrintFile CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods 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 #
PrintFile CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods 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 #
PrintFile CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods 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 #
PrintFile JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods 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 #
PrintFile PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods 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 #
PrintFile SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods 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 #
PrintFile JuliaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods 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 #
PrintFile MatlabCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods 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 #
PrintFile r stmt => PrintFile (LoggingFor r) stmt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods printFile :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source # printFileLn :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source # printFileStr :: SValue (LoggingFor r) -> String -> MS (LoggingFor r stmt) Source # printFileStrLn :: SValue (LoggingFor r) -> String -> MS (LoggingFor r stmt) Source #
Pair p => PrintFile (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods 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 #

class VariableSym r => ReadFile (r :: Type -> Type) stmt | r -> stmt where Source #

Methods

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

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

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

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

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

Instances

Instances details

ReadFile CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods getFileInput :: SValue CodeInfoOO -> SVariable CodeInfoOO -> MS (CodeInfoOO ()) Source # discardFileInput :: 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 #
ReadFile CSharpCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CSharpRenderer Methods getFileInput :: SValue CSharpCode -> SVariable CSharpCode -> MS (CSharpCode (Doc, Terminator)) Source # discardFileInput :: 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 #
ReadFile CppHdrCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods getFileInput :: SValue CppHdrCode -> SVariable CppHdrCode -> MS (CppHdrCode (Doc, Terminator)) Source # discardFileInput :: 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 #
ReadFile CppSrcCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods getFileInput :: SValue CppSrcCode -> SVariable CppSrcCode -> MS (CppSrcCode (Doc, Terminator)) Source # discardFileInput :: 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 #
ReadFile JavaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.JavaRenderer Methods getFileInput :: SValue JavaCode -> SVariable JavaCode -> MS (JavaCode (Doc, Terminator)) Source # discardFileInput :: 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 #
ReadFile PythonCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.PythonRenderer Methods getFileInput :: SValue PythonCode -> SVariable PythonCode -> MS (PythonCode (Doc, Terminator)) Source # discardFileInput :: 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 #
ReadFile SwiftCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.SwiftRenderer Methods getFileInput :: SValue SwiftCode -> SVariable SwiftCode -> MS (SwiftCode (Doc, Terminator)) Source # discardFileInput :: 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 #
ReadFile JuliaCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.JuliaRenderer Methods getFileInput :: SValue JuliaCode -> SVariable JuliaCode -> MS (JuliaCode (Doc, Terminator)) Source # discardFileInput :: 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 #
ReadFile MatlabCode (Doc, Terminator) Source #
Instance details Defined in Drasil.GProc.LanguageRenderer.MatlabRenderer Methods getFileInput :: SValue MatlabCode -> SVariable MatlabCode -> MS (MatlabCode (Doc, Terminator)) Source # discardFileInput :: 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 #
(MultiStatement r stmt, FileHandling r stmt, PrintFile r stmt, ReadFile r stmt, VariableValue r, VariableElim r, Literal r) => ReadFile (LoggingFor r) stmt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods getFileInput :: SValue (LoggingFor r) -> SVariable (LoggingFor r) -> MS (LoggingFor r stmt) Source # discardFileInput :: SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source # getFileInputLine :: SValue (LoggingFor r) -> SVariable (LoggingFor r) -> MS (LoggingFor r stmt) Source # discardFileLine :: SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source # getFileInputAll :: SValue (LoggingFor r) -> SVariable (LoggingFor r) -> MS (LoggingFor r stmt) Source #
Pair p => ReadFile (p CppSrcCode CppHdrCode) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods 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 # 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 => StringStatement (r :: Type -> Type) stmt | r -> stmt where Source #

Methods

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

Given a char to split on, variable to store result in, and string to split, generates a statement splitting the string into a list of strings delimited by the char.

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

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

Given a list of variables and a value containing a list of strings, assign the ith element of the list of strings into the ith variable

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 #
(MultiStatement r stmt, StringStatement r stmt, FileHandling r stmt, PrintFile r stmt, VariableValue r, VariableElim r, Literal r) => StringStatement (LoggingFor r) stmt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods stringSplit :: Char -> SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source # stringListVals :: [SVariable (LoggingFor r)] -> SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source # stringListLists :: [SVariable (LoggingFor r)] -> SValue (LoggingFor r) -> MS (LoggingFor r stmt) 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 :: Type -> Type) 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 => FuncAppStatement (r :: Type -> Type) stmt | r -> stmt where Source #

Methods

inOutCall :: InOutCall r stmt Source #

extInOutCall :: Library -> InOutCall r stmt 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 stmt => FuncAppStatement (LoggingFor r) stmt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods inOutCall :: InOutCall (LoggingFor r) stmt Source # extInOutCall :: Library -> InOutCall (LoggingFor r) stmt 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 CommentStatement (r :: k -> Type) (stmt :: k) | r -> stmt where Source #

Methods

comment :: String -> MS (r stmt) 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 stmt => CommentStatement (LoggingFor r :: Type -> Type) (stmt :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods comment :: String -> MS (LoggingFor r stmt) Source #
Pair p => CommentStatement (p CppSrcCode CppHdrCode :: Type -> Type) (Doc, Terminator) Source #
Instance details Defined in Drasil.GOOL.LanguageRenderer.CppRenderer Methods comment :: String -> MS (p CppSrcCode CppHdrCode (Doc, Terminator)) Source #

class VariableSym r => ControlStatement (r :: Type -> Type) stmt bod | r -> stmt bod where Source #

Methods

break :: MS (r stmt) Source #

continue :: MS (r stmt) Source #

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

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

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

ifExists :: SValue r -> MS (r bod) -> MS (r bod) -> MS (r stmt) Source #

for :: MS (r stmt) -> SValue r -> MS (r stmt) -> MS (r bod) -> MS (r stmt) Source #

forRange :: SVariable r -> SValue r -> SValue r -> SValue r -> MS (r bod) -> MS (r stmt) Source #

forEach :: SVariable r -> SValue r -> MS (r bod) -> MS (r stmt) Source #

while :: SValue r -> MS (r bod) -> MS (r stmt) Source #

tryCatch :: MS (r bod) -> MS (r bod) -> MS (r stmt) Source #

assert :: SValue r -> SValue r -> MS (r stmt) 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 ()))] -> MS (CodeInfoOO ()) -> MS (CodeInfoOO ()) Source # switch :: SValue CodeInfoOO -> [(SValue CodeInfoOO, MS (CodeInfoOO ()))] -> MS (CodeInfoOO ()) -> MS (CodeInfoOO ()) Source # ifExists :: SValue CodeInfoOO -> MS (CodeInfoOO ()) -> MS (CodeInfoOO ()) -> MS (CodeInfoOO ()) Source # for :: MS (CodeInfoOO ()) -> SValue CodeInfoOO -> MS (CodeInfoOO ()) -> MS (CodeInfoOO ()) -> MS (CodeInfoOO ()) Source # forRange :: SVariable CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO -> MS (CodeInfoOO ()) -> MS (CodeInfoOO ()) Source # forEach :: SVariable CodeInfoOO -> SValue CodeInfoOO -> MS (CodeInfoOO ()) -> MS (CodeInfoOO ()) Source # while :: SValue CodeInfoOO -> MS (CodeInfoOO ()) -> MS (CodeInfoOO ()) Source # tryCatch :: MS (CodeInfoOO ()) -> MS (CodeInfoOO ()) -> MS (CodeInfoOO ()) Source # assert :: SValue CodeInfoOO -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source #
ControlStatement CSharpCode (Doc, Terminator) Body 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) Body 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) Body 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) Body 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) Body 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) Body 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) Body 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) Body 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 stmt bod => ControlStatement (LoggingFor r) stmt bod Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods break :: MS (LoggingFor r stmt) Source # continue :: MS (LoggingFor r stmt) Source # returnStmt :: SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source # throw :: Label -> MS (LoggingFor r stmt) Source # ifCond :: [(SValue (LoggingFor r), MS (LoggingFor r bod))] -> MS (LoggingFor r bod) -> MS (LoggingFor r stmt) Source # switch :: SValue (LoggingFor r) -> [(SValue (LoggingFor r), MS (LoggingFor r bod))] -> MS (LoggingFor r bod) -> MS (LoggingFor r stmt) Source # ifExists :: SValue (LoggingFor r) -> MS (LoggingFor r bod) -> MS (LoggingFor r bod) -> MS (LoggingFor r stmt) Source # for :: MS (LoggingFor r stmt) -> SValue (LoggingFor r) -> MS (LoggingFor r stmt) -> MS (LoggingFor r bod) -> MS (LoggingFor r stmt) Source # forRange :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r bod) -> MS (LoggingFor r stmt) Source # forEach :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r bod) -> MS (LoggingFor r stmt) Source # while :: SValue (LoggingFor r) -> MS (LoggingFor r bod) -> MS (LoggingFor r stmt) Source # tryCatch :: MS (LoggingFor r bod) -> MS (LoggingFor r bod) -> MS (LoggingFor r stmt) Source # assert :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r stmt) Source #
Pair p => ControlStatement (p CppSrcCode CppHdrCode) (Doc, Terminator) Body 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 :: (BodySym r bod block, ControlStatement r stmt bod) => [(SValue r, MS (r bod))] -> MS (r stmt) Source #

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

class VisibilitySym (r :: k -> Type) (vis :: k) | r -> vis where Source #

A class for representing Visibility, of a class member, i.e. whether it is public or private.

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 :: Type -> Type) (vis :: Type) 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 :: Type -> Type) (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 :: Type -> Type) where Source #

A class for representing function/method parameters.

Methods

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

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

A parameter that is an "alias" type, e.g. a C++ reference. This is a minor hack, to get around us not having/wanting "alias types" in GOOL.

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 (ParameterSym r, VisibilitySym r vis) => MethodSym (r :: Type -> Type) vis mthd bod | r -> mthd bod where Source #

A class for representing functions/methods. Usually MethodData is used for the representation.

Methods

docMain :: MS (r bod) -> MS (r mthd) Source #

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

mainFunction :: MS (r bod) -> MS (r mthd) Source #

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

inOutFunc :: Label -> r vis -> InOutFunc r mthd bod Source #

docInOutFunc :: Label -> r vis -> DocInOutFunc r mthd bod Source #

Instances

Instances details

MethodSym CodeInfoOO () () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods docMain :: MS (CodeInfoOO ()) -> MS (CodeInfoOO ()) Source # function :: Label -> CodeInfoOO () -> VS (CodeInfoOO TypeData) -> [MS (CodeInfoOO ParamData)] -> MS (CodeInfoOO ()) -> MS (CodeInfoOO ()) Source # mainFunction :: MS (CodeInfoOO ()) -> 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 MethodData Body 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 Body Source # docInOutFunc :: Label -> CSharpCode Doc -> DocInOutFunc CSharpCode MethodData Body Source #
MethodSym JavaCode Doc MethodData Body 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 Body Source # docInOutFunc :: Label -> JavaCode Doc -> DocInOutFunc JavaCode MethodData Body Source #
MethodSym PythonCode Doc MethodData Body 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 Body Source # docInOutFunc :: Label -> PythonCode Doc -> DocInOutFunc PythonCode MethodData Body Source #
MethodSym SwiftCode Doc MethodData Body 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 Body Source # docInOutFunc :: Label -> SwiftCode Doc -> DocInOutFunc SwiftCode MethodData Body Source #
MethodSym JuliaCode Doc MethodData Body 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 Body Source # docInOutFunc :: Label -> JuliaCode Doc -> DocInOutFunc JuliaCode MethodData Body Source #
MethodSym MatlabCode Doc MethodData Body 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 Body Source # docInOutFunc :: Label -> MatlabCode Doc -> DocInOutFunc MatlabCode MethodData Body Source #
MethodSym r vis mthd bod => MethodSym (LoggingFor r) vis mthd bod Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods docMain :: MS (LoggingFor r bod) -> MS (LoggingFor r mthd) Source # function :: Label -> LoggingFor r vis -> VS (LoggingFor r TypeData) -> [MS (LoggingFor r ParamData)] -> MS (LoggingFor r bod) -> MS (LoggingFor r mthd) Source # mainFunction :: MS (LoggingFor r bod) -> MS (LoggingFor r mthd) Source # docFunc :: String -> [String] -> Maybe String -> MS (LoggingFor r mthd) -> MS (LoggingFor r mthd) Source # inOutFunc :: Label -> LoggingFor r vis -> InOutFunc (LoggingFor r) mthd bod Source # docInOutFunc :: Label -> LoggingFor r vis -> DocInOutFunc (LoggingFor r) mthd bod Source #

class TypeSym r => BinderSym (r :: Type -> Type) where Source #

A class for representing a binder, i.e. the binding of a variable name to a type, scope, etc. As of July 2026, integration of this typeclass is still WIP, blocked by issues with our variable map.

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 :: Type -> Type) 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 #