Safe Haskell	Safe-Inferred
Language	Haskell2010

Drasil.GOOL.CodeInfoOO

Documentation

newtype CodeInfoOO a Source #

Constructors

CI
Fields unCI :: a

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 = ()