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

Drasil.GOOL.CodeInfoProc

Documentation

newtype CodeInfoProc a Source #

Constructors

CI 

Fields

Instances

Instances details
Applicative CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

pure :: a -> CodeInfoProc a #

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

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

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

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

Functor CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

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

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

Monad CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

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

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

return :: a -> CodeInfoProc a #

Argument CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

pointerArg :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

AssignStatement CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

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

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

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

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

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

BlockSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Block CodeInfoProc Source #

Methods

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

BodySym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Body CodeInfoProc Source #

Methods

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

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

BooleanExpression CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

(?!) :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

(?&&) :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

(?||) :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

CommandLineArgs CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

arg :: Integer -> SValue CodeInfoProc Source #

argsList :: SValue CodeInfoProc Source #

argExists :: Integer -> SValue CodeInfoProc Source #

CommentStatement CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

comment :: Comment -> MSStatement CodeInfoProc Source #

Comparison CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

(?<) :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

(?<=) :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

(?>) :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

(?>=) :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

(?==) :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

(?!=) :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

ControlStatement CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

break :: MSStatement CodeInfoProc Source #

continue :: MSStatement CodeInfoProc Source #

returnStmt :: SValue CodeInfoProc -> MSStatement CodeInfoProc Source #

throw :: Label -> MSStatement CodeInfoProc Source #

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

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

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

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

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

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

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

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

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

DeclStatement CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

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

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

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

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

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

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

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

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

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

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

FuncAppStatement CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

inOutCall :: InOutCall CodeInfoProc Source #

extInOutCall :: Library -> InOutCall CodeInfoProc Source #

FunctionSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Function CodeInfoProc Source #

IOStatement CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

print :: SValue CodeInfoProc -> MSStatement CodeInfoProc Source #

printLn :: SValue CodeInfoProc -> MSStatement CodeInfoProc Source #

printStr :: String -> MSStatement CodeInfoProc Source #

printStrLn :: String -> MSStatement CodeInfoProc Source #

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

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

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

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

getInput :: SVariable CodeInfoProc -> MSStatement CodeInfoProc Source #

discardInput :: MSStatement CodeInfoProc Source #

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

discardFileInput :: SValue CodeInfoProc -> MSStatement CodeInfoProc Source #

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

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

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

closeFile :: SValue CodeInfoProc -> MSStatement CodeInfoProc Source #

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

discardFileLine :: SValue CodeInfoProc -> MSStatement CodeInfoProc Source #

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

InternalList CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

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

List CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

intToIndex :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

indexToInt :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

listSize :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

listAdd :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

listAppend :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

listAccess :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

listSet :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

indexOf :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

Literal CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

litTrue :: SValue CodeInfoProc Source #

litFalse :: SValue CodeInfoProc Source #

litChar :: Char -> SValue CodeInfoProc Source #

litDouble :: Double -> SValue CodeInfoProc Source #

litFloat :: Float -> SValue CodeInfoProc Source #

litInt :: Integer -> SValue CodeInfoProc Source #

litString :: String -> SValue CodeInfoProc Source #

litArray :: VSType CodeInfoProc -> [SValue CodeInfoProc] -> SValue CodeInfoProc Source #

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

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

MathConstant CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

pi :: SValue CodeInfoProc Source #

MethodSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Method CodeInfoProc Source #

Methods

docMain :: MSBody CodeInfoProc -> SMethod CodeInfoProc Source #

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

mainFunction :: MSBody CodeInfoProc -> SMethod CodeInfoProc Source #

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

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

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

NumericExpression CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

(#~) :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

(#/^) :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

(#|) :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

(#+) :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

(#-) :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

(#*) :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

(#/) :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

(#%) :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

(#^) :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

log :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

ln :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

exp :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

sin :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

cos :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

tan :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

csc :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

sec :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

cot :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

arcsin :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

arccos :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

arctan :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

floor :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

ceil :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

ParameterSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Parameter CodeInfoProc Source #

Methods

param :: SVariable CodeInfoProc -> MSParameter CodeInfoProc Source #

pointerParam :: SVariable CodeInfoProc -> MSParameter CodeInfoProc Source #

ScopeSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Scope CodeInfoProc Source #

Methods

global :: CodeInfoProc (Scope CodeInfoProc) Source #

mainFn :: CodeInfoProc (Scope CodeInfoProc) Source #

local :: CodeInfoProc (Scope CodeInfoProc) Source #

Set CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

contains :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

setAdd :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

setRemove :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

setUnion :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

SharedProg CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

StatementSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Statement CodeInfoProc Source #

Methods

valStmt :: SValue CodeInfoProc -> MSStatement CodeInfoProc Source #

emptyStmt :: MSStatement CodeInfoProc Source #

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

StringStatement CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

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

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

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

ThunkAssign CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

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

ThunkSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Thunk CodeInfoProc Source #

TypeElim CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

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

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

TypeSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Type CodeInfoProc Source #

Methods

bool :: VSType CodeInfoProc Source #

int :: VSType CodeInfoProc Source #

float :: VSType CodeInfoProc Source #

double :: VSType CodeInfoProc Source #

char :: VSType CodeInfoProc Source #

string :: VSType CodeInfoProc Source #

infile :: VSType CodeInfoProc Source #

outfile :: VSType CodeInfoProc Source #

listType :: VSType CodeInfoProc -> VSType CodeInfoProc Source #

setType :: VSType CodeInfoProc -> VSType CodeInfoProc Source #

arrayType :: VSType CodeInfoProc -> VSType CodeInfoProc Source #

listInnerType :: VSType CodeInfoProc -> VSType CodeInfoProc Source #

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

void :: VSType CodeInfoProc Source #

ValueExpression CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

inlineIf :: SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

funcAppMixedArgs :: MixedCall CodeInfoProc Source #

extFuncAppMixedArgs :: Library -> MixedCall CodeInfoProc Source #

libFuncAppMixedArgs :: Library -> MixedCall CodeInfoProc Source #

lambda :: [SVariable CodeInfoProc] -> SValue CodeInfoProc -> SValue CodeInfoProc Source #

notNull :: SValue CodeInfoProc -> SValue CodeInfoProc Source #

ValueSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Value CodeInfoProc Source #

Methods

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

VariableElim CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

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

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

VariableSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Variable CodeInfoProc Source #

Methods

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

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

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

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

VariableValue CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

valueOf :: SVariable CodeInfoProc -> SValue CodeInfoProc Source #

VectorDecl CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

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

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

VectorExpression CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

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

vecAdd :: VSThunk CodeInfoProc -> VSThunk CodeInfoProc -> VSThunk CodeInfoProc Source #

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

vecDot :: VSThunk CodeInfoProc -> VSThunk CodeInfoProc -> VSThunk CodeInfoProc Source #

VectorThunk CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

vecThunk :: SVariable CodeInfoProc -> VSThunk CodeInfoProc Source #

VectorType CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Methods

vecType :: VSType CodeInfoProc -> VSType CodeInfoProc Source #

VisibilitySym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Visibility CodeInfoProc Source #

Methods

private :: CodeInfoProc (Visibility CodeInfoProc) Source #

public :: CodeInfoProc (Visibility CodeInfoProc) Source #

FileSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type File CodeInfoProc Source #

Methods

fileDoc :: FSModule CodeInfoProc -> SFile CodeInfoProc Source #

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

ModuleSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Module CodeInfoProc Source #

Methods

buildModule :: Label -> [Label] -> [SMethod CodeInfoProc] -> FSModule CodeInfoProc Source #

ProcProg CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

ProgramSym CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

Associated Types

type Program CodeInfoProc Source #

Methods

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

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

Defined in Drasil.GOOL.CodeInfoProc

Methods

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

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

type Block CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

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

Defined in Drasil.GOOL.CodeInfoProc

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

Defined in Drasil.GOOL.CodeInfoProc

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

Defined in Drasil.GOOL.CodeInfoProc

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

Defined in Drasil.GOOL.CodeInfoProc

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

Defined in Drasil.GOOL.CodeInfoProc

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

Defined in Drasil.GOOL.CodeInfoProc

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

Defined in Drasil.GOOL.CodeInfoProc

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

Defined in Drasil.GOOL.CodeInfoProc

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

Defined in Drasil.GOOL.CodeInfoProc

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

Defined in Drasil.GOOL.CodeInfoProc

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

Defined in Drasil.GOOL.CodeInfoProc

type Visibility CodeInfoProc = VisibilityTag
type File CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

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

Defined in Drasil.GOOL.CodeInfoProc

type Module CodeInfoProc = ()
type Program CodeInfoProc Source # 
Instance details

Defined in Drasil.GOOL.CodeInfoProc

type Program CodeInfoProc = GOOLState