Safe Haskell	None
Language	Haskell2010

GOOL.Drasil.CodeInfo

Documentation

newtype CodeInfo a Source #

Constructors

CI
Fields unCI :: a

Instances

Instances details

Monad CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods (>>=) :: CodeInfo a -> (a -> CodeInfo b) -> CodeInfo b # (>>) :: CodeInfo a -> CodeInfo b -> CodeInfo b # return :: a -> CodeInfo a #
Functor CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods fmap :: (a -> b) -> CodeInfo a -> CodeInfo b # (<$) :: a -> CodeInfo b -> CodeInfo a #
Applicative CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods pure :: a -> CodeInfo a # (<>) :: CodeInfo (a -> b) -> CodeInfo a -> CodeInfo b # liftA2 :: (a -> b -> c) -> CodeInfo a -> CodeInfo b -> CodeInfo c # (>) :: CodeInfo a -> CodeInfo b -> CodeInfo b # (<*) :: CodeInfo a -> CodeInfo b -> CodeInfo a #
ModuleSym CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Associated Types type Module CodeInfo Source # Methods buildModule :: Label -> [Label] -> [SMethod CodeInfo] -> [SClass CodeInfo] -> FSModule CodeInfo Source #
ClassSym CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Associated Types type Class CodeInfo Source # Methods buildClass :: Maybe Label -> [CSStateVar CodeInfo] -> [SMethod CodeInfo] -> SClass CodeInfo Source # extraClass :: Label -> Maybe Label -> [CSStateVar CodeInfo] -> [SMethod CodeInfo] -> SClass CodeInfo Source # implementingClass :: Label -> [Label] -> [CSStateVar CodeInfo] -> [SMethod CodeInfo] -> SClass CodeInfo Source # docClass :: String -> SClass CodeInfo -> SClass CodeInfo Source #
StateVarSym CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Associated Types type StateVar CodeInfo Source # Methods stateVar :: CodeInfo (Scope CodeInfo) -> CodeInfo (Permanence CodeInfo) -> SVariable CodeInfo -> CSStateVar CodeInfo Source # stateVarDef :: CodeInfo (Scope CodeInfo) -> CodeInfo (Permanence CodeInfo) -> SVariable CodeInfo -> SValue CodeInfo -> CSStateVar CodeInfo Source # constVar :: CodeInfo (Scope CodeInfo) -> SVariable CodeInfo -> SValue CodeInfo -> CSStateVar CodeInfo Source #
MethodSym CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Associated Types type Method CodeInfo Source # Methods method :: Label -> CodeInfo (Scope CodeInfo) -> CodeInfo (Permanence CodeInfo) -> VSType CodeInfo -> [MSParameter CodeInfo] -> MSBody CodeInfo -> SMethod CodeInfo Source # getMethod :: SVariable CodeInfo -> SMethod CodeInfo Source # setMethod :: SVariable CodeInfo -> SMethod CodeInfo Source # constructor :: [MSParameter CodeInfo] -> Initializers CodeInfo -> MSBody CodeInfo -> SMethod CodeInfo Source # docMain :: MSBody CodeInfo -> SMethod CodeInfo Source # function :: Label -> CodeInfo (Scope CodeInfo) -> VSType CodeInfo -> [MSParameter CodeInfo] -> MSBody CodeInfo -> SMethod CodeInfo Source # mainFunction :: MSBody CodeInfo -> SMethod CodeInfo Source # docFunc :: String -> [String] -> Maybe String -> SMethod CodeInfo -> SMethod CodeInfo Source # inOutMethod :: Label -> CodeInfo (Scope CodeInfo) -> CodeInfo (Permanence CodeInfo) -> InOutFunc CodeInfo Source # docInOutMethod :: Label -> CodeInfo (Scope CodeInfo) -> CodeInfo (Permanence CodeInfo) -> DocInOutFunc CodeInfo Source # inOutFunc :: Label -> CodeInfo (Scope CodeInfo) -> InOutFunc CodeInfo Source # docInOutFunc :: Label -> CodeInfo (Scope CodeInfo) -> DocInOutFunc CodeInfo Source #
ParameterSym CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Associated Types type Parameter CodeInfo Source # Methods param :: SVariable CodeInfo -> MSParameter CodeInfo Source # pointerParam :: SVariable CodeInfo -> MSParameter CodeInfo Source #
ScopeSym CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Associated Types type Scope CodeInfo Source # Methods private :: CodeInfo (Scope CodeInfo) Source # public :: CodeInfo (Scope CodeInfo) Source #
StrategyPattern CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods runStrategy :: Label -> [(Label, MSBody CodeInfo)] -> Maybe (SValue CodeInfo) -> Maybe (SVariable CodeInfo) -> MSBlock CodeInfo Source #
ObserverPattern CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods notifyObservers :: VSFunction CodeInfo -> VSType CodeInfo -> MSStatement CodeInfo Source #
StatePattern CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods checkState :: Label -> [(SValue CodeInfo, MSBody CodeInfo)] -> MSBody CodeInfo -> MSStatement CodeInfo Source #
ControlStatement CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods break :: MSStatement CodeInfo Source # continue :: MSStatement CodeInfo Source # returnStmt :: SValue CodeInfo -> MSStatement CodeInfo Source # throw :: Label -> MSStatement CodeInfo Source # ifCond :: [(SValue CodeInfo, MSBody CodeInfo)] -> MSBody CodeInfo -> MSStatement CodeInfo Source # switch :: SValue CodeInfo -> [(SValue CodeInfo, MSBody CodeInfo)] -> MSBody CodeInfo -> MSStatement CodeInfo Source # ifExists :: SValue CodeInfo -> MSBody CodeInfo -> MSBody CodeInfo -> MSStatement CodeInfo Source # for :: MSStatement CodeInfo -> SValue CodeInfo -> MSStatement CodeInfo -> MSBody CodeInfo -> MSStatement CodeInfo Source # forRange :: SVariable CodeInfo -> SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo -> MSBody CodeInfo -> MSStatement CodeInfo Source # forEach :: SVariable CodeInfo -> SValue CodeInfo -> MSBody CodeInfo -> MSStatement CodeInfo Source # while :: SValue CodeInfo -> MSBody CodeInfo -> MSStatement CodeInfo Source # tryCatch :: MSBody CodeInfo -> MSBody CodeInfo -> MSStatement CodeInfo Source #
CommentStatement CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods comment :: Comment -> MSStatement CodeInfo Source #
FuncAppStatement CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods inOutCall :: InOutCall CodeInfo Source # selfInOutCall :: InOutCall CodeInfo Source # extInOutCall :: Library -> InOutCall CodeInfo Source #
StringStatement CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods stringSplit :: Char -> SVariable CodeInfo -> SValue CodeInfo -> MSStatement CodeInfo Source # stringListVals :: [SVariable CodeInfo] -> SValue CodeInfo -> MSStatement CodeInfo Source # stringListLists :: [SVariable CodeInfo] -> SValue CodeInfo -> MSStatement CodeInfo Source #
IOStatement CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods print :: SValue CodeInfo -> MSStatement CodeInfo Source # printLn :: SValue CodeInfo -> MSStatement CodeInfo Source # printStr :: String -> MSStatement CodeInfo Source # printStrLn :: String -> MSStatement CodeInfo Source # printFile :: SValue CodeInfo -> SValue CodeInfo -> MSStatement CodeInfo Source # printFileLn :: SValue CodeInfo -> SValue CodeInfo -> MSStatement CodeInfo Source # printFileStr :: SValue CodeInfo -> String -> MSStatement CodeInfo Source # printFileStrLn :: SValue CodeInfo -> String -> MSStatement CodeInfo Source # getInput :: SVariable CodeInfo -> MSStatement CodeInfo Source # discardInput :: MSStatement CodeInfo Source # getFileInput :: SValue CodeInfo -> SVariable CodeInfo -> MSStatement CodeInfo Source # discardFileInput :: SValue CodeInfo -> MSStatement CodeInfo Source # openFileR :: SVariable CodeInfo -> SValue CodeInfo -> MSStatement CodeInfo Source # openFileW :: SVariable CodeInfo -> SValue CodeInfo -> MSStatement CodeInfo Source # openFileA :: SVariable CodeInfo -> SValue CodeInfo -> MSStatement CodeInfo Source # closeFile :: SValue CodeInfo -> MSStatement CodeInfo Source # getFileInputLine :: SValue CodeInfo -> SVariable CodeInfo -> MSStatement CodeInfo Source # discardFileLine :: SValue CodeInfo -> MSStatement CodeInfo Source # getFileInputAll :: SValue CodeInfo -> SVariable CodeInfo -> MSStatement CodeInfo Source #
DeclStatement CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods varDec :: SVariable CodeInfo -> MSStatement CodeInfo Source # varDecDef :: SVariable CodeInfo -> SValue CodeInfo -> MSStatement CodeInfo Source # listDec :: Integer -> SVariable CodeInfo -> MSStatement CodeInfo Source # listDecDef :: SVariable CodeInfo -> [SValue CodeInfo] -> MSStatement CodeInfo Source # arrayDec :: Integer -> SVariable CodeInfo -> MSStatement CodeInfo Source # arrayDecDef :: SVariable CodeInfo -> [SValue CodeInfo] -> MSStatement CodeInfo Source # objDecDef :: SVariable CodeInfo -> SValue CodeInfo -> MSStatement CodeInfo Source # objDecNew :: SVariable CodeInfo -> [SValue CodeInfo] -> MSStatement CodeInfo Source # extObjDecNew :: Library -> SVariable CodeInfo -> [SValue CodeInfo] -> MSStatement CodeInfo Source # constDecDef :: SVariable CodeInfo -> SValue CodeInfo -> MSStatement CodeInfo Source # funcDecDef :: SVariable CodeInfo -> [SVariable CodeInfo] -> MSBody CodeInfo -> MSStatement CodeInfo Source #
AssignStatement CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods (&-=) :: SVariable CodeInfo -> SValue CodeInfo -> MSStatement CodeInfo Source # (&+=) :: SVariable CodeInfo -> SValue CodeInfo -> MSStatement CodeInfo Source # (&++) :: SVariable CodeInfo -> MSStatement CodeInfo Source # (&--) :: SVariable CodeInfo -> MSStatement CodeInfo Source # assign :: SVariable CodeInfo -> SValue CodeInfo -> MSStatement CodeInfo Source #
StatementSym CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Associated Types type Statement CodeInfo Source # Methods valStmt :: SValue CodeInfo -> MSStatement CodeInfo Source # multi :: [MSStatement CodeInfo] -> MSStatement CodeInfo Source #
InternalList CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods listSlice' :: Maybe (SValue CodeInfo) -> Maybe (SValue CodeInfo) -> Maybe (SValue CodeInfo) -> SVariable CodeInfo -> SValue CodeInfo -> MSBlock CodeInfo Source #
List CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods listSize :: SValue CodeInfo -> SValue CodeInfo Source # listAdd :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source # listAppend :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source # listAccess :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source # listSet :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source # indexOf :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source #
GetSet CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods get :: SValue CodeInfo -> SVariable CodeInfo -> SValue CodeInfo Source # set :: SValue CodeInfo -> SVariable CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source #
FunctionSym CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Associated Types type Function CodeInfo Source # Methods func :: Label -> VSType CodeInfo -> [SValue CodeInfo] -> VSFunction CodeInfo Source # objAccess :: SValue CodeInfo -> VSFunction CodeInfo -> SValue CodeInfo Source #
InternalValueExp CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods objMethodCallMixedArgs' :: Label -> VSType CodeInfo -> SValue CodeInfo -> [SValue CodeInfo] -> NamedArgs CodeInfo -> SValue CodeInfo Source #
ValueExpression CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods inlineIf :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source # funcAppMixedArgs :: MixedCall CodeInfo Source # selfFuncAppMixedArgs :: MixedCall CodeInfo Source # extFuncAppMixedArgs :: Library -> MixedCall CodeInfo Source # libFuncAppMixedArgs :: Library -> MixedCall CodeInfo Source # newObjMixedArgs :: MixedCtorCall CodeInfo Source # extNewObjMixedArgs :: Library -> MixedCtorCall CodeInfo Source # libNewObjMixedArgs :: Library -> MixedCtorCall CodeInfo Source # lambda :: [SVariable CodeInfo] -> SValue CodeInfo -> SValue CodeInfo Source # notNull :: SValue CodeInfo -> SValue CodeInfo Source #
Comparison CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods (?<) :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source # (?<=) :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source # (?>) :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source # (?>=) :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source # (?==) :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source # (?!=) :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source #
BooleanExpression CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods (?!) :: SValue CodeInfo -> SValue CodeInfo Source # (?&&) :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source # (?\|\|) :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source #
NumericExpression CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods (#~) :: SValue CodeInfo -> SValue CodeInfo Source # (#/^) :: SValue CodeInfo -> SValue CodeInfo Source # (#\|) :: SValue CodeInfo -> SValue CodeInfo Source # (#+) :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source # (#-) :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source # (#*) :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source # (#/) :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source # (#%) :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source # (#^) :: SValue CodeInfo -> SValue CodeInfo -> SValue CodeInfo Source # log :: SValue CodeInfo -> SValue CodeInfo Source # ln :: SValue CodeInfo -> SValue CodeInfo Source # exp :: SValue CodeInfo -> SValue CodeInfo Source # sin :: SValue CodeInfo -> SValue CodeInfo Source # cos :: SValue CodeInfo -> SValue CodeInfo Source # tan :: SValue CodeInfo -> SValue CodeInfo Source # csc :: SValue CodeInfo -> SValue CodeInfo Source # sec :: SValue CodeInfo -> SValue CodeInfo Source # cot :: SValue CodeInfo -> SValue CodeInfo Source # arcsin :: SValue CodeInfo -> SValue CodeInfo Source # arccos :: SValue CodeInfo -> SValue CodeInfo Source # arctan :: SValue CodeInfo -> SValue CodeInfo Source # floor :: SValue CodeInfo -> SValue CodeInfo Source # ceil :: SValue CodeInfo -> SValue CodeInfo Source #
CommandLineArgs CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods arg :: Integer -> SValue CodeInfo Source # argsList :: SValue CodeInfo Source # argExists :: Integer -> SValue CodeInfo Source #
VariableValue CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods valueOf :: SVariable CodeInfo -> SValue CodeInfo Source #
MathConstant CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods pi :: SValue CodeInfo Source #
Literal CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods litTrue :: SValue CodeInfo Source # litFalse :: SValue CodeInfo Source # litChar :: Char -> SValue CodeInfo Source # litDouble :: Double -> SValue CodeInfo Source # litFloat :: Float -> SValue CodeInfo Source # litInt :: Integer -> SValue CodeInfo Source # litString :: String -> SValue CodeInfo Source # litArray :: VSType CodeInfo -> [SValue CodeInfo] -> SValue CodeInfo Source # litList :: VSType CodeInfo -> [SValue CodeInfo] -> SValue CodeInfo Source #
Argument CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods pointerArg :: SValue CodeInfo -> SValue CodeInfo Source #
ValueSym CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Associated Types type Value CodeInfo Source # Methods valueType :: CodeInfo (Value CodeInfo) -> CodeInfo (Type CodeInfo) Source #
VariableElim CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods variableName :: CodeInfo (Variable CodeInfo) -> String Source # variableType :: CodeInfo (Variable CodeInfo) -> CodeInfo (Type CodeInfo) Source #
VariableSym CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Associated Types type Variable CodeInfo Source # Methods var :: Label -> VSType CodeInfo -> SVariable CodeInfo Source # staticVar :: Label -> VSType CodeInfo -> SVariable CodeInfo Source # const :: Label -> VSType CodeInfo -> SVariable CodeInfo Source # extVar :: Library -> Label -> VSType CodeInfo -> SVariable CodeInfo Source # self :: SVariable CodeInfo Source # classVar :: VSType CodeInfo -> SVariable CodeInfo -> SVariable CodeInfo Source # extClassVar :: VSType CodeInfo -> SVariable CodeInfo -> SVariable CodeInfo Source # objVar :: SVariable CodeInfo -> SVariable CodeInfo -> SVariable CodeInfo Source # objVarSelf :: SVariable CodeInfo -> SVariable CodeInfo Source # arrayElem :: Integer -> SVariable CodeInfo -> SVariable CodeInfo Source #
TypeElim CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods getType :: CodeInfo (Type CodeInfo) -> CodeType Source # getTypeString :: CodeInfo (Type CodeInfo) -> String Source #
TypeSym CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Associated Types type Type CodeInfo Source # Methods bool :: VSType CodeInfo Source # int :: VSType CodeInfo Source # float :: VSType CodeInfo Source # double :: VSType CodeInfo Source # char :: VSType CodeInfo Source # string :: VSType CodeInfo Source # infile :: VSType CodeInfo Source # outfile :: VSType CodeInfo Source # listType :: VSType CodeInfo -> VSType CodeInfo Source # arrayType :: VSType CodeInfo -> VSType CodeInfo Source # listInnerType :: VSType CodeInfo -> VSType CodeInfo Source # obj :: ClassName -> VSType CodeInfo Source # funcType :: [VSType CodeInfo] -> VSType CodeInfo -> VSType CodeInfo Source # void :: VSType CodeInfo Source #
BlockSym CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Associated Types type Block CodeInfo Source # Methods block :: [MSStatement CodeInfo] -> MSBlock CodeInfo Source #
BodySym CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Associated Types type Body CodeInfo Source # Methods body :: [MSBlock CodeInfo] -> MSBody CodeInfo Source # addComments :: Label -> MSBody CodeInfo -> MSBody CodeInfo Source #
PermanenceSym CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Associated Types type Permanence CodeInfo Source # Methods static :: CodeInfo (Permanence CodeInfo) Source # dynamic :: CodeInfo (Permanence CodeInfo) Source #
FileSym CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Associated Types type File CodeInfo Source # Methods fileDoc :: FSModule CodeInfo -> SFile CodeInfo Source # docMod :: String -> [String] -> String -> SFile CodeInfo -> SFile CodeInfo Source #
ProgramSym CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo Associated Types type Program CodeInfo Source # Methods prog :: Label -> [SFile CodeInfo] -> GSProgram CodeInfo Source #
OOProg CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo
Eq a => Eq (CodeInfo a) Source #
Instance details Defined in GOOL.Drasil.CodeInfo Methods (==) :: CodeInfo a -> CodeInfo a -> Bool # (/=) :: CodeInfo a -> CodeInfo a -> Bool #
type Module CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo type Module CodeInfo = ()
type Class CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo type Class CodeInfo = ()
type StateVar CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo type StateVar CodeInfo = ()
type Method CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo type Method CodeInfo = ()
type Parameter CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo type Parameter CodeInfo = ()
type Scope CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo type Scope CodeInfo = ScopeTag
type Statement CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo type Statement CodeInfo = ()
type Function CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo type Function CodeInfo = ()
type Value CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo type Value CodeInfo = ()
type Variable CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo type Variable CodeInfo = ()
type Type CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo type Type CodeInfo = String
type Block CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo type Block CodeInfo = ()
type Body CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo type Body CodeInfo = ()
type Permanence CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo type Permanence CodeInfo = ()
type File CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo type File CodeInfo = ()
type Program CodeInfo Source #
Instance details Defined in GOOL.Drasil.CodeInfo type Program CodeInfo = GOOLState