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

Drasil.GOOL.CodeInfoOO

Documentation

newtype CodeInfoOO a Source #

Constructors

CI 

Fields

Instances

Instances details
Applicative CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

pure :: a -> CodeInfoOO a #

(<*>) :: CodeInfoOO (a -> b) -> CodeInfoOO a -> CodeInfoOO b #

liftA2 :: (a -> b -> c) -> CodeInfoOO a -> CodeInfoOO b -> CodeInfoOO c #

(*>) :: CodeInfoOO a -> CodeInfoOO b -> CodeInfoOO b #

(<*) :: CodeInfoOO a -> CodeInfoOO b -> CodeInfoOO a #

Functor CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

fmap :: (a -> b) -> CodeInfoOO a -> CodeInfoOO b #

(<$) :: a -> CodeInfoOO b -> CodeInfoOO a #

Monad CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

(>>=) :: CodeInfoOO a -> (a -> CodeInfoOO b) -> CodeInfoOO b #

(>>) :: CodeInfoOO a -> CodeInfoOO b -> CodeInfoOO b #

return :: a -> CodeInfoOO a #

Argument CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

pointerArg :: SValue CodeInfoOO -> SValue CodeInfoOO Source #

AssignStatement CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

(&-=) :: SVariable CodeInfoOO -> SValue CodeInfoOO -> MSStatement CodeInfoOO Source #

(&+=) :: SVariable CodeInfoOO -> SValue CodeInfoOO -> MSStatement CodeInfoOO Source #

(&++) :: SVariable CodeInfoOO -> MSStatement CodeInfoOO Source #

(&--) :: SVariable CodeInfoOO -> MSStatement CodeInfoOO Source #

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

BlockSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Block CodeInfoOO Source #

Methods

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

BodySym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Body CodeInfoOO Source #

Methods

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

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

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 #

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 #

CommentStatement CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

comment :: Comment -> MSStatement CodeInfoOO Source #

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 #

ControlStatement CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

break :: MSStatement CodeInfoOO Source #

continue :: MSStatement CodeInfoOO Source #

returnStmt :: SValue CodeInfoOO -> MSStatement CodeInfoOO Source #

throw :: Label -> MSStatement CodeInfoOO Source #

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

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

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

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

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

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

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

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

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

DeclStatement CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

varDec :: SVariable CodeInfoOO -> CodeInfoOO (Scope CodeInfoOO) -> MSStatement CodeInfoOO Source #

varDecDef :: SVariable CodeInfoOO -> CodeInfoOO (Scope CodeInfoOO) -> SValue CodeInfoOO -> MSStatement CodeInfoOO Source #

listDec :: Integer -> SVariable CodeInfoOO -> CodeInfoOO (Scope CodeInfoOO) -> MSStatement CodeInfoOO Source #

listDecDef :: SVariable CodeInfoOO -> CodeInfoOO (Scope CodeInfoOO) -> [SValue CodeInfoOO] -> MSStatement CodeInfoOO Source #

setDec :: SVariable CodeInfoOO -> CodeInfoOO (Scope CodeInfoOO) -> MSStatement CodeInfoOO Source #

setDecDef :: SVariable CodeInfoOO -> CodeInfoOO (Scope CodeInfoOO) -> SValue CodeInfoOO -> MSStatement CodeInfoOO Source #

arrayDec :: Integer -> SVariable CodeInfoOO -> CodeInfoOO (Scope CodeInfoOO) -> MSStatement CodeInfoOO Source #

arrayDecDef :: SVariable CodeInfoOO -> CodeInfoOO (Scope CodeInfoOO) -> [SValue CodeInfoOO] -> MSStatement CodeInfoOO Source #

constDecDef :: SVariable CodeInfoOO -> CodeInfoOO (Scope CodeInfoOO) -> SValue CodeInfoOO -> MSStatement CodeInfoOO Source #

funcDecDef :: SVariable CodeInfoOO -> CodeInfoOO (Scope CodeInfoOO) -> [SVariable CodeInfoOO] -> MSBody CodeInfoOO -> MSStatement CodeInfoOO Source #

FuncAppStatement CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

inOutCall :: InOutCall CodeInfoOO Source #

extInOutCall :: Library -> InOutCall CodeInfoOO Source #

FunctionSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Function CodeInfoOO Source #

IOStatement CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

print :: SValue CodeInfoOO -> MSStatement CodeInfoOO Source #

printLn :: SValue CodeInfoOO -> MSStatement CodeInfoOO Source #

printStr :: String -> MSStatement CodeInfoOO Source #

printStrLn :: String -> MSStatement CodeInfoOO Source #

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

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

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

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

getInput :: SVariable CodeInfoOO -> MSStatement CodeInfoOO Source #

discardInput :: MSStatement CodeInfoOO Source #

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

discardFileInput :: SValue CodeInfoOO -> MSStatement CodeInfoOO Source #

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

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

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

closeFile :: SValue CodeInfoOO -> MSStatement CodeInfoOO Source #

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

discardFileLine :: SValue CodeInfoOO -> MSStatement CodeInfoOO Source #

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

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 -> MSBlock CodeInfoOO Source #

List CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

intToIndex :: SValue CodeInfoOO -> SValue CodeInfoOO Source #

indexToInt :: SValue CodeInfoOO -> SValue CodeInfoOO Source #

listSize :: SValue CodeInfoOO -> SValue CodeInfoOO Source #

listAdd :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source #

listAppend :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source #

listAccess :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source #

listSet :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source #

indexOf :: SValue CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source #

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 :: VSType CodeInfoOO -> [SValue CodeInfoOO] -> SValue CodeInfoOO Source #

litList :: VSType CodeInfoOO -> [SValue CodeInfoOO] -> SValue CodeInfoOO Source #

litSet :: VSType CodeInfoOO -> [SValue CodeInfoOO] -> SValue CodeInfoOO Source #

MathConstant CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

pi :: SValue CodeInfoOO Source #

MethodSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Method CodeInfoOO Source #

Methods

docMain :: MSBody CodeInfoOO -> SMethod CodeInfoOO Source #

function :: Label -> CodeInfoOO (Visibility CodeInfoOO) -> VSType CodeInfoOO -> [MSParameter CodeInfoOO] -> MSBody CodeInfoOO -> SMethod CodeInfoOO Source #

mainFunction :: MSBody CodeInfoOO -> SMethod CodeInfoOO Source #

docFunc :: String -> [String] -> Maybe String -> SMethod CodeInfoOO -> SMethod CodeInfoOO Source #

inOutFunc :: Label -> CodeInfoOO (Visibility CodeInfoOO) -> InOutFunc CodeInfoOO Source #

docInOutFunc :: Label -> CodeInfoOO (Visibility CodeInfoOO) -> DocInOutFunc CodeInfoOO Source #

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 #

ParameterSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Parameter CodeInfoOO Source #

Methods

param :: SVariable CodeInfoOO -> MSParameter CodeInfoOO Source #

pointerParam :: SVariable CodeInfoOO -> MSParameter CodeInfoOO Source #

ScopeSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Scope CodeInfoOO Source #

Methods

global :: CodeInfoOO (Scope CodeInfoOO) Source #

mainFn :: CodeInfoOO (Scope CodeInfoOO) Source #

local :: CodeInfoOO (Scope CodeInfoOO) Source #

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 #

SharedProg CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

StatementSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Statement CodeInfoOO Source #

Methods

valStmt :: SValue CodeInfoOO -> MSStatement CodeInfoOO Source #

emptyStmt :: MSStatement CodeInfoOO Source #

multi :: [MSStatement CodeInfoOO] -> MSStatement CodeInfoOO Source #

StringStatement CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

stringSplit :: Char -> SVariable CodeInfoOO -> SValue CodeInfoOO -> MSStatement CodeInfoOO Source #

stringListVals :: [SVariable CodeInfoOO] -> SValue CodeInfoOO -> MSStatement CodeInfoOO Source #

stringListLists :: [SVariable CodeInfoOO] -> SValue CodeInfoOO -> MSStatement CodeInfoOO Source #

ThunkAssign CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

thunkAssign :: SVariable CodeInfoOO -> VSThunk CodeInfoOO -> MSStatement CodeInfoOO Source #

ThunkSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Thunk CodeInfoOO Source #

TypeElim CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

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

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

TypeSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Type CodeInfoOO Source #

Methods

bool :: VSType CodeInfoOO Source #

int :: VSType CodeInfoOO Source #

float :: VSType CodeInfoOO Source #

double :: VSType CodeInfoOO Source #

char :: VSType CodeInfoOO Source #

string :: VSType CodeInfoOO Source #

infile :: VSType CodeInfoOO Source #

outfile :: VSType CodeInfoOO Source #

listType :: VSType CodeInfoOO -> VSType CodeInfoOO Source #

setType :: VSType CodeInfoOO -> VSType CodeInfoOO Source #

arrayType :: VSType CodeInfoOO -> VSType CodeInfoOO Source #

listInnerType :: VSType CodeInfoOO -> VSType CodeInfoOO Source #

funcType :: [VSType CodeInfoOO] -> VSType CodeInfoOO -> VSType CodeInfoOO Source #

void :: VSType CodeInfoOO Source #

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 :: [SVariable CodeInfoOO] -> SValue CodeInfoOO -> SValue CodeInfoOO Source #

notNull :: SValue CodeInfoOO -> SValue CodeInfoOO Source #

ValueSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Value CodeInfoOO Source #

Methods

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

VariableElim CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

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

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

VariableSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Variable CodeInfoOO Source #

Methods

var :: Label -> VSType CodeInfoOO -> SVariable CodeInfoOO Source #

constant :: Label -> VSType CodeInfoOO -> SVariable CodeInfoOO Source #

extVar :: Library -> Label -> VSType CodeInfoOO -> SVariable CodeInfoOO Source #

arrayElem :: Integer -> SVariable CodeInfoOO -> SVariable CodeInfoOO Source #

VariableValue CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

valueOf :: SVariable CodeInfoOO -> SValue CodeInfoOO Source #

VectorDecl CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

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

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

VectorExpression CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

vecScale :: SValue CodeInfoOO -> VSThunk CodeInfoOO -> VSThunk CodeInfoOO Source #

vecAdd :: VSThunk CodeInfoOO -> VSThunk CodeInfoOO -> VSThunk CodeInfoOO Source #

vecIndex :: SValue CodeInfoOO -> VSThunk CodeInfoOO -> SValue CodeInfoOO Source #

vecDot :: VSThunk CodeInfoOO -> VSThunk CodeInfoOO -> VSThunk CodeInfoOO Source #

VectorThunk CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

vecThunk :: SVariable CodeInfoOO -> VSThunk CodeInfoOO Source #

VectorType CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

vecType :: VSType CodeInfoOO -> VSType CodeInfoOO Source #

VisibilitySym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Visibility CodeInfoOO Source #

Methods

private :: CodeInfoOO (Visibility CodeInfoOO) Source #

public :: CodeInfoOO (Visibility CodeInfoOO) Source #

ClassSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Class CodeInfoOO Source #

Methods

buildClass :: Maybe Label -> [CSStateVar CodeInfoOO] -> [SMethod CodeInfoOO] -> [SMethod CodeInfoOO] -> SClass CodeInfoOO Source #

extraClass :: Label -> Maybe Label -> [CSStateVar CodeInfoOO] -> [SMethod CodeInfoOO] -> [SMethod CodeInfoOO] -> SClass CodeInfoOO Source #

implementingClass :: Label -> [Label] -> [CSStateVar CodeInfoOO] -> [SMethod CodeInfoOO] -> [SMethod CodeInfoOO] -> SClass CodeInfoOO Source #

docClass :: String -> SClass CodeInfoOO -> SClass CodeInfoOO Source #

FileSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type File CodeInfoOO Source #

Methods

fileDoc :: FSModule CodeInfoOO -> SFile CodeInfoOO Source #

docMod :: String -> [String] -> String -> SFile CodeInfoOO -> SFile CodeInfoOO Source #

GetSet CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

get :: SValue CodeInfoOO -> SVariable CodeInfoOO -> SValue CodeInfoOO Source #

set :: SValue CodeInfoOO -> SVariable CodeInfoOO -> SValue CodeInfoOO -> SValue CodeInfoOO Source #

InternalValueExp CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

objMethodCallMixedArgs' :: Label -> VSType CodeInfoOO -> SValue CodeInfoOO -> [SValue CodeInfoOO] -> NamedArgs CodeInfoOO -> SValue CodeInfoOO Source #

ModuleSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Module CodeInfoOO Source #

Methods

buildModule :: Label -> [Label] -> [SMethod CodeInfoOO] -> [SClass CodeInfoOO] -> FSModule CodeInfoOO Source #

OODeclStatement CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

objDecDef :: SVariable CodeInfoOO -> CodeInfoOO (Scope CodeInfoOO) -> SValue CodeInfoOO -> MSStatement CodeInfoOO Source #

objDecNew :: SVariable CodeInfoOO -> CodeInfoOO (Scope CodeInfoOO) -> [SValue CodeInfoOO] -> MSStatement CodeInfoOO Source #

extObjDecNew :: Library -> SVariable CodeInfoOO -> CodeInfoOO (Scope CodeInfoOO) -> [SValue CodeInfoOO] -> MSStatement CodeInfoOO Source #

OOFuncAppStatement CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

selfInOutCall :: InOutCall CodeInfoOO Source #

OOFunctionSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

func :: Label -> VSType CodeInfoOO -> [SValue CodeInfoOO] -> VSFunction CodeInfoOO Source #

objAccess :: SValue CodeInfoOO -> VSFunction CodeInfoOO -> SValue CodeInfoOO Source #

OOMethodSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

method :: Label -> CodeInfoOO (Visibility CodeInfoOO) -> CodeInfoOO (Permanence CodeInfoOO) -> VSType CodeInfoOO -> [MSParameter CodeInfoOO] -> MSBody CodeInfoOO -> SMethod CodeInfoOO Source #

getMethod :: SVariable CodeInfoOO -> SMethod CodeInfoOO Source #

setMethod :: SVariable CodeInfoOO -> SMethod CodeInfoOO Source #

constructor :: [MSParameter CodeInfoOO] -> Initializers CodeInfoOO -> MSBody CodeInfoOO -> SMethod CodeInfoOO Source #

inOutMethod :: Label -> CodeInfoOO (Visibility CodeInfoOO) -> CodeInfoOO (Permanence CodeInfoOO) -> InOutFunc CodeInfoOO Source #

docInOutMethod :: Label -> CodeInfoOO (Visibility CodeInfoOO) -> CodeInfoOO (Permanence CodeInfoOO) -> DocInOutFunc CodeInfoOO Source #

OOProg CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

OOTypeSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

obj :: ClassName -> VSType CodeInfoOO Source #

OOValueExpression CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

selfFuncAppMixedArgs :: MixedCall CodeInfoOO Source #

newObjMixedArgs :: MixedCtorCall CodeInfoOO Source #

extNewObjMixedArgs :: Library -> MixedCtorCall CodeInfoOO Source #

libNewObjMixedArgs :: Library -> MixedCtorCall CodeInfoOO Source #

OOValueSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

OOVariableSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

staticVar' :: Bool -> Label -> VSType CodeInfoOO -> SVariable CodeInfoOO Source #

self :: SVariable CodeInfoOO Source #

classVar :: VSType CodeInfoOO -> SVariable CodeInfoOO -> SVariable CodeInfoOO Source #

extClassVar :: VSType CodeInfoOO -> SVariable CodeInfoOO -> SVariable CodeInfoOO Source #

objVar :: SVariable CodeInfoOO -> SVariable CodeInfoOO -> SVariable CodeInfoOO Source #

objVarSelf :: SVariable CodeInfoOO -> SVariable CodeInfoOO Source #

OOVariableValue CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

ObserverPattern CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

notifyObservers :: VSFunction CodeInfoOO -> VSType CodeInfoOO -> MSStatement CodeInfoOO Source #

PermanenceSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Permanence CodeInfoOO Source #

Methods

static :: CodeInfoOO (Permanence CodeInfoOO) Source #

dynamic :: CodeInfoOO (Permanence CodeInfoOO) Source #

ProgramSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type Program CodeInfoOO Source #

Methods

prog :: Label -> Label -> [SFile CodeInfoOO] -> GSProgram CodeInfoOO Source #

StateVarSym CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Associated Types

type StateVar CodeInfoOO Source #

Methods

stateVar :: CodeInfoOO (Visibility CodeInfoOO) -> CodeInfoOO (Permanence CodeInfoOO) -> SVariable CodeInfoOO -> CSStateVar CodeInfoOO Source #

stateVarDef :: CodeInfoOO (Visibility CodeInfoOO) -> CodeInfoOO (Permanence CodeInfoOO) -> SVariable CodeInfoOO -> SValue CodeInfoOO -> CSStateVar CodeInfoOO Source #

constVar :: CodeInfoOO (Visibility CodeInfoOO) -> SVariable CodeInfoOO -> SValue CodeInfoOO -> CSStateVar CodeInfoOO Source #

StrategyPattern CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

runStrategy :: Label -> [(Label, MSBody CodeInfoOO)] -> Maybe (SValue CodeInfoOO) -> Maybe (SVariable CodeInfoOO) -> MSBlock CodeInfoOO Source #

Eq a => Eq (CodeInfoOO a) Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

Methods

(==) :: CodeInfoOO a -> CodeInfoOO a -> Bool #

(/=) :: CodeInfoOO a -> CodeInfoOO a -> Bool #

type Block CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

type Block CodeInfoOO = ()
type Body CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

type Body CodeInfoOO = ()
type Function CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

type Function CodeInfoOO = ()
type Method CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

type Method CodeInfoOO = ()
type Parameter CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

type Parameter CodeInfoOO = ()
type Scope CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

type Scope CodeInfoOO = ()
type Statement CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

type Statement CodeInfoOO = ()
type Thunk CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

type Thunk CodeInfoOO = ()
type Type CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

type Type CodeInfoOO = String
type Value CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

type Value CodeInfoOO = ()
type Variable CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

type Variable CodeInfoOO = ()
type Visibility CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

type Visibility CodeInfoOO = VisibilityTag
type Class CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

type Class CodeInfoOO = ()
type File CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

type File CodeInfoOO = ()
type Module CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

type Module CodeInfoOO = ()
type Permanence CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

type Permanence CodeInfoOO = ()
type Program CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

type Program CodeInfoOO = GOOLState
type StateVar CodeInfoOO Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoOO

type StateVar CodeInfoOO = ()