Safe Haskell	None
Language	GHC2024

Drasil.GOOL.CodeInfoOO

Documentation

newtype CodeInfoOO a Source #

Constructors

CI
Fields unCI :: a

Instances

Instances details

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 -> VS (CodeInfoOO TypeData) -> SValue CodeInfoOO -> [SValue CodeInfoOO] -> NamedArgs CodeInfoOO -> SValue CodeInfoOO Source # classMethodCallMixedArgs' :: Label -> VS (CodeInfoOO TypeData) -> VS (CodeInfoOO TypeData) -> [SValue CodeInfoOO] -> NamedArgs CodeInfoOO -> SValue CodeInfoOO Source #
OOFunctionSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods func :: Label -> VS (CodeInfoOO TypeData) -> [SValue CodeInfoOO] -> VS (CodeInfoOO FuncData) Source # objAccess :: SValue CodeInfoOO -> VS (CodeInfoOO FuncData) -> SValue CodeInfoOO Source #
OOTypeSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods obj :: ClassName -> VS (CodeInfoOO TypeData) Source #
OOValueExpression CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods 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 classVar :: Label -> VS (CodeInfoOO TypeData) -> SVariable CodeInfoOO Source # classConst :: Label -> VS (CodeInfoOO TypeData) -> SVariable CodeInfoOO Source # classVarAccess :: VS (CodeInfoOO TypeData) -> SVariable CodeInfoOO -> SVariable CodeInfoOO Source # extClassVarAccess :: VS (CodeInfoOO TypeData) -> SVariable CodeInfoOO -> SVariable CodeInfoOO Source # instanceVarAccess :: SValue CodeInfoOO -> SVariable CodeInfoOO -> SVariable CodeInfoOO Source #
OOVariableValue CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO
SelfSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods self :: SVariable CodeInfoOO Source #
Argument CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods pointerArg :: SValue CodeInfoOO -> SValue CodeInfoOO Source #
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 #
BinderSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods binder :: Label -> VS (CodeInfoOO TypeData) -> VSBinder 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 #
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 #
FunctionSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO
IndexTranslator CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods intToIndex :: SValue CodeInfoOO -> SValue CodeInfoOO Source # indexToInt :: SValue CodeInfoOO -> SValue CodeInfoOO Source #
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 #
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 #
MathConstant CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods pi :: SValue 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 Methods param :: SVariable CodeInfoOO -> MS (CodeInfoOO ParamData) Source # pointerParam :: SVariable CodeInfoOO -> MS (CodeInfoOO ParamData) Source #
Reference CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods makeRef :: SValue CodeInfoOO -> SValue CodeInfoOO Source # maybeDeref :: SValue CodeInfoOO -> SValue CodeInfoOO Source #
ScopeSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods global :: CodeInfoOO ScopeData Source # mainFn :: CodeInfoOO ScopeData Source # local :: CodeInfoOO ScopeData 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 #
TypeElim CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods getCodeType :: CodeInfoOO TypeData -> CodeType Source #
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 #
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 #
ValueSym CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods valueType :: CodeInfoOO Value -> CodeInfoOO TypeData Source #
VariableElim CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods variableName :: CodeInfoOO Variable -> String Source # variableType :: CodeInfoOO Variable -> CodeInfoOO TypeData Source #
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 #
VariableValue CodeInfoOO Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods valueOf :: SVariable CodeInfoOO -> SValue CodeInfoOO Source #
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 #
OOFuncAppStatement CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods selfInOutCall :: InOutCall CodeInfoOO () Source #
ObserverPattern CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods notifyObservers :: VS (CodeInfoOO FuncData) -> VS (CodeInfoOO TypeData) -> MS (CodeInfoOO ()) Source #
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 #
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 #
FuncAppStatement CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods inOutCall :: InOutCall CodeInfoOO () Source # extInOutCall :: Library -> InOutCall 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 -> MS (CodeInfoOO ()) Source #
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 #
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 #
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 #
ReadConsole CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods getInput :: SVariable CodeInfoOO -> MS (CodeInfoOO ()) Source # discardInput :: MS (CodeInfoOO ()) Source #
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 #
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 #
UnRepr CodeInfoOO contents Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods unRepr :: CodeInfoOO contents -> contents Source #
ValueStatement CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods valStmt :: SValue CodeInfoOO -> MS (CodeInfoOO ()) Source #
AttachmentSym CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods classLevel :: CodeInfoOO () Source # instanceLevel :: CodeInfoOO () Source #
ModuleSym CodeInfoOO () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods buildModule :: Label -> [Label] -> [MS (CodeInfoOO ())] -> [CS (CodeInfoOO Class)] -> FS (CodeInfoOO ()) Source #
OODeclStatement CodeInfoOO () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods objDecDef :: SVariable CodeInfoOO -> CodeInfoOO ScopeData -> SValue CodeInfoOO -> MS (CodeInfoOO ()) Source # objDecNew :: SVariable CodeInfoOO -> CodeInfoOO ScopeData -> [SValue CodeInfoOO] -> MS (CodeInfoOO ()) Source # extObjDecNew :: Library -> SVariable CodeInfoOO -> CodeInfoOO ScopeData -> [SValue CodeInfoOO] -> MS (CodeInfoOO ()) Source #
StrategyPattern CodeInfoOO () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods runStrategy :: Label -> [(Label, MS (CodeInfoOO ()))] -> Maybe (SValue CodeInfoOO) -> Maybe (SVariable CodeInfoOO) -> MS (CodeInfoOO ()) Source #
CommentStatement CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods comment :: String -> MS (CodeInfoOO ()) Source #
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 #
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 #
EmptyStatement CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods emptyStmt :: MS (CodeInfoOO ()) Source #
MultiStatement CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods multi :: [MS (CodeInfoOO ())] -> MS (CodeInfoOO ()) Source #
VisibilitySym CodeInfoOO () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods private :: CodeInfoOO () Source # public :: CodeInfoOO () Source #
FileSym CodeInfoOO () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods fileDoc :: FS (CodeInfoOO ()) -> FS (CodeInfoOO ()) Source # docMod :: String -> String -> [String] -> String -> FS (CodeInfoOO ()) -> FS (CodeInfoOO ()) Source #
ProgramSym CodeInfoOO GOOLState () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods prog :: Label -> Label -> [FS (CodeInfoOO ())] -> GSProgram CodeInfoOO GOOLState Source #
StateVarSym CodeInfoOO () () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods stateVar :: CodeInfoOO () -> CodeInfoOO () -> SVariable CodeInfoOO -> CSStateVar CodeInfoOO () Source # stateVarDef :: CodeInfoOO () -> CodeInfoOO () -> SVariable CodeInfoOO -> SValue CodeInfoOO -> CSStateVar CodeInfoOO () Source # constVar :: CodeInfoOO () -> SVariable CodeInfoOO -> SValue CodeInfoOO -> CSStateVar CodeInfoOO () Source #
BlockSym CodeInfoOO () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods block :: [MS (CodeInfoOO ())] -> MS (CodeInfoOO ()) Source #
BodySym CodeInfoOO () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods body :: [MS (CodeInfoOO ())] -> MS (CodeInfoOO ()) Source # addComments :: Label -> MS (CodeInfoOO ()) -> MS (CodeInfoOO ()) Source #
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 #
ClassSym CodeInfoOO () () () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods buildClass :: Maybe Label -> [CSStateVar CodeInfoOO ()] -> [MS (CodeInfoOO ())] -> [MS (CodeInfoOO ())] -> CS (CodeInfoOO Class) Source # extraClass :: Label -> Maybe Label -> [CSStateVar CodeInfoOO ()] -> [MS (CodeInfoOO ())] -> [MS (CodeInfoOO ())] -> CS (CodeInfoOO Class) Source # implementingClass :: Label -> [Label] -> [CSStateVar CodeInfoOO ()] -> [MS (CodeInfoOO ())] -> [MS (CodeInfoOO ())] -> CS (CodeInfoOO Class) Source # docClass :: String -> CS (CodeInfoOO Class) -> CS (CodeInfoOO Class) Source #
OOMethodSym CodeInfoOO () () () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods method :: Label -> CodeInfoOO () -> CodeInfoOO () -> VS (CodeInfoOO TypeData) -> [MS (CodeInfoOO ParamData)] -> MS (CodeInfoOO ()) -> MS (CodeInfoOO ()) Source # getMethod :: SVariable CodeInfoOO -> MS (CodeInfoOO ()) Source # setMethod :: SVariable CodeInfoOO -> MS (CodeInfoOO ()) Source # constructor :: [MS (CodeInfoOO ParamData)] -> Initializers CodeInfoOO -> MS (CodeInfoOO ()) -> MS (CodeInfoOO ()) Source # inOutMethod :: Label -> CodeInfoOO () -> CodeInfoOO () -> InOutFunc CodeInfoOO () () Source # docInOutMethod :: Label -> CodeInfoOO () -> CodeInfoOO () -> DocInOutFunc CodeInfoOO () () Source #
OOProg CodeInfoOO () () () () () GOOLState () () () () Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO
Eq a => Eq (CodeInfoOO a) Source #
Instance details Defined in Drasil.GOOL.CodeInfoOO Methods (==) :: CodeInfoOO a -> CodeInfoOO a -> Bool # (/=) :: CodeInfoOO a -> CodeInfoOO a -> Bool #