Safe Haskell	None
Language	GHC2024

Drasil.Shared.LanguageRenderer.LoggingFor

Description

MVP renderer for logging statements.

Documentation

newtype LoggingFor (r :: Type -> Type) a Source #

Constructors

LC
Fields unLC :: r a

Instances

Instances details

AttachmentSym r attch => AttachmentSym (LoggingFor r :: Type -> Type) (attch :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods classLevel :: LoggingFor r attch Source # instanceLevel :: LoggingFor r attch Source #
OOTypeSym r typ => OOTypeSym (LoggingFor r :: Type -> Type) (typ :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods obj :: ClassName -> VS (LoggingFor r typ) Source #
SelfSym r var => SelfSym (LoggingFor r :: Type -> Type) (var :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods self :: VS (LoggingFor r var) Source #
Argument r val => Argument (LoggingFor r :: Type -> Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods pointerArg :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source #
BooleanExpression r val => BooleanExpression (LoggingFor r :: Type -> Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods (?!) :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # (?&&) :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source # (?\|\|) :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source #
CommandLineArgs r val => CommandLineArgs (LoggingFor r :: Type -> Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods arg :: Integer -> VS (LoggingFor r val) Source # argsList :: VS (LoggingFor r val) Source # argExists :: Integer -> VS (LoggingFor r val) Source #
CommentStatement r stmt => CommentStatement (LoggingFor r :: Type -> Type) (stmt :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods comment :: String -> MS (LoggingFor r stmt) Source #
Comparison r val => Comparison (LoggingFor r :: Type -> Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods (?<) :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source # (?<=) :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source # (?>) :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source # (?>=) :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source # (?==) :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source # (?!=) :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source #
EmptyStatement r stmt => EmptyStatement (LoggingFor r :: Type -> Type) (stmt :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods emptyStmt :: MS (LoggingFor r stmt) Source #
IndexTranslator r val => IndexTranslator (LoggingFor r :: Type -> Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods intToIndex :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # indexToInt :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source #
List r val => List (LoggingFor r :: Type -> Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods listSize :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # listAccess :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source # indexOf :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source #
MathConstant r val => MathConstant (LoggingFor r :: Type -> Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods pi :: VS (LoggingFor r val) Source #
MultiStatement r stmt => MultiStatement (LoggingFor r :: Type -> Type) (stmt :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods multi :: [MS (LoggingFor r stmt)] -> MS (LoggingFor r stmt) Source #
NumericExpression r val => NumericExpression (LoggingFor r :: Type -> Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods (#~) :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # (#/^) :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # (#\|) :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # (#+) :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source # (#-) :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source # (#*) :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source # (#/) :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source # (#%) :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source # (#^) :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source # log :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # ln :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # exp :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # sin :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # cos :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # tan :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # csc :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # sec :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # cot :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # arcsin :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # arccos :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # arctan :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # floor :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # ceil :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source #
Reference r val => Reference (LoggingFor r :: Type -> Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods makeRef :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # maybeDeref :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source #
ScopeSym r scope => ScopeSym (LoggingFor r :: Type -> Type) (scope :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods global :: LoggingFor r scope Source # mainFn :: LoggingFor r scope Source # local :: LoggingFor r scope Source #
Set r val => Set (LoggingFor r :: Type -> Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods contains :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source # setAdd :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source # setRemove :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source # setUnion :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source #
TypeElim r typ => TypeElim (LoggingFor r :: Type -> Type) (typ :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods getCodeType :: LoggingFor r typ -> CodeType Source #
TypeSym r typ => TypeSym (LoggingFor r :: Type -> Type) (typ :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods bool :: VS (LoggingFor r typ) Source # int :: VS (LoggingFor r typ) Source # float :: VS (LoggingFor r typ) Source # double :: VS (LoggingFor r typ) Source # char :: VS (LoggingFor r typ) Source # string :: VS (LoggingFor r typ) Source # infile :: VS (LoggingFor r typ) Source # outfile :: VS (LoggingFor r typ) Source # referenceType :: VS (LoggingFor r typ) -> VS (LoggingFor r typ) Source # listType :: VS (LoggingFor r typ) -> VS (LoggingFor r typ) Source # setType :: VS (LoggingFor r typ) -> VS (LoggingFor r typ) Source # arrayType :: VS (LoggingFor r typ) -> VS (LoggingFor r typ) Source # innerType :: VS (LoggingFor r typ) -> VS (LoggingFor r typ) Source # funcType :: [VS (LoggingFor r typ)] -> VS (LoggingFor r typ) -> VS (LoggingFor r typ) Source # void :: VS (LoggingFor r typ) Source #
VisibilitySym r vis => VisibilitySym (LoggingFor r :: Type -> Type) (vis :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods private :: LoggingFor r vis Source # public :: LoggingFor r vis Source #
FileSym r file mod => FileSym (LoggingFor r :: Type -> Type) (file :: Type) (mod :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods fileDoc :: FS (LoggingFor r mod) -> FS (LoggingFor r file) Source # docMod :: String -> String -> [String] -> String -> FS (LoggingFor r file) -> FS (LoggingFor r file) Source #
GetSet r var val => GetSet (LoggingFor r :: Type -> Type) (var :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods get :: VS (LoggingFor r val) -> VS (LoggingFor r var) -> VS (LoggingFor r val) Source # set :: VS (LoggingFor r val) -> VS (LoggingFor r var) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source #
ProgramSym r prg file => ProgramSym (LoggingFor r :: Type -> Type) (prg :: Type) (file :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods prog :: Label -> Label -> [FS (LoggingFor r file)] -> GSProgram (LoggingFor r) prg Source #
FileSym r file mod => FileSym (LoggingFor r :: Type -> Type) (file :: Type) (mod :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods fileDoc :: FS (LoggingFor r mod) -> FS (LoggingFor r file) Source # docMod :: String -> String -> [String] -> String -> FS (LoggingFor r file) -> FS (LoggingFor r file) Source #
ModuleSym r mod mthd => ModuleSym (LoggingFor r :: Type -> Type) (mod :: Type) (mthd :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods buildModule :: Label -> [Label] -> [MS (LoggingFor r mthd)] -> FS (LoggingFor r mod) Source #
ProgramSym r prg file => ProgramSym (LoggingFor r :: Type -> Type) (prg :: Type) (file :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods prog :: Label -> Label -> [FS (LoggingFor r file)] -> GSProgram (LoggingFor r) prg Source #
Array r var val => Array (LoggingFor r :: Type -> Type) (var :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods arrayElem :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r var) Source # arrayLength :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source # arrayCopy :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source #
BinderSym r binder typ => BinderSym (LoggingFor r :: Type -> Type) (binder :: Type) (typ :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods binder :: Label -> VS (LoggingFor r typ) -> VS (LoggingFor r binder) Source #
BlockSym r block stmt => BlockSym (LoggingFor r :: Type -> Type) (block :: Type) (stmt :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods block :: [MS (LoggingFor r stmt)] -> MS (LoggingFor r block) Source #
BodySym r bod block => BodySym (LoggingFor r :: Type -> Type) (bod :: Type) (block :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods body :: [MS (LoggingFor r block)] -> MS (LoggingFor r bod) Source # addComments :: Label -> MS (LoggingFor r bod) -> MS (LoggingFor r bod) Source #
ListStatement r stmt val => ListStatement (LoggingFor r :: Type -> Type) (stmt :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods listAdd :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # listAppend :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # listSet :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source #
Literal r val typ => Literal (LoggingFor r :: Type -> Type) (val :: Type) (typ :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods litTrue :: VS (LoggingFor r val) Source # litFalse :: VS (LoggingFor r val) Source # litChar :: Char -> VS (LoggingFor r val) Source # litDouble :: Double -> VS (LoggingFor r val) Source # litFloat :: Float -> VS (LoggingFor r val) Source # litInt :: Integer -> VS (LoggingFor r val) Source # litString :: String -> VS (LoggingFor r val) Source # litArray :: VS (LoggingFor r typ) -> [VS (LoggingFor r val)] -> VS (LoggingFor r val) Source # litList :: VS (LoggingFor r typ) -> [VS (LoggingFor r val)] -> VS (LoggingFor r val) Source # litSet :: VS (LoggingFor r typ) -> [VS (LoggingFor r val)] -> VS (LoggingFor r val) Source #
NativeVector lang val typ => NativeVector (LoggingFor lang :: Type -> Type) (val :: Type) (typ :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods vecType :: VS (LoggingFor lang typ) -> VS (LoggingFor lang typ) Source # litVec :: VS (LoggingFor lang typ) -> [VS (LoggingFor lang val)] -> VS (LoggingFor lang val) Source # vecScale :: VS (LoggingFor lang val) -> VS (LoggingFor lang val) -> VS (LoggingFor lang val) Source # vecAdd :: VS (LoggingFor lang val) -> VS (LoggingFor lang val) -> VS (LoggingFor lang val) Source # vecIndex :: VS (LoggingFor lang val) -> VS (LoggingFor lang val) -> VS (LoggingFor lang val) Source # vecDot :: VS (LoggingFor lang val) -> VS (LoggingFor lang val) -> VS (LoggingFor lang val) Source # vecMag :: VS (LoggingFor lang val) -> VS (LoggingFor lang val) Source # vecUnit :: VS (LoggingFor lang val) -> VS (LoggingFor lang val) Source #
ParameterSym r param var => ParameterSym (LoggingFor r :: Type -> Type) (param :: Type) (var :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods param :: VS (LoggingFor r var) -> MS (LoggingFor r param) Source # pointerParam :: VS (LoggingFor r var) -> MS (LoggingFor r param) Source #
PrintConsole r stmt val => PrintConsole (LoggingFor r :: Type -> Type) (stmt :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods print :: VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # printLn :: VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # printStr :: String -> MS (LoggingFor r stmt) Source # printStrLn :: String -> MS (LoggingFor r stmt) Source #
PrintFile r stmt val => PrintFile (LoggingFor r :: Type -> Type) (stmt :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods printFile :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # printFileLn :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # printFileStr :: VS (LoggingFor r val) -> String -> MS (LoggingFor r stmt) Source # printFileStrLn :: VS (LoggingFor r val) -> String -> MS (LoggingFor r stmt) Source #
(MultiStatement r stmt, FileHandling r stmt var val, PrintFile r stmt val, ReadConsole r stmt var, TypeSym r typ, VariableSym r var typ, VariableValue r var val, VariableElim r var typ, Literal r val typ) => ReadConsole (LoggingFor r :: Type -> Type) (stmt :: Type) (var :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods getInput :: VS (LoggingFor r var) -> MS (LoggingFor r stmt) Source # discardInput :: MS (LoggingFor r stmt) Source #
ValueStatement r stmt val => ValueStatement (LoggingFor r :: Type -> Type) (stmt :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods valStmt :: VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source #
ValueSym r val typ => ValueSym (LoggingFor r :: Type -> Type) (val :: Type) (typ :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods valueType :: LoggingFor r val -> LoggingFor r typ Source #
VariableElim r var typ => VariableElim (LoggingFor r :: Type -> Type) (var :: Type) (typ :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods variableName :: LoggingFor r var -> String Source # variableType :: LoggingFor r var -> LoggingFor r typ Source #
VariableSym r var typ => VariableSym (LoggingFor r :: Type -> Type) (var :: Type) (typ :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods var :: Label -> VS (LoggingFor r typ) -> VS (LoggingFor r var) Source # constant :: Label -> VS (LoggingFor r typ) -> VS (LoggingFor r var) Source # extVar :: Library -> Label -> VS (LoggingFor r typ) -> VS (LoggingFor r var) Source #
VariableValue r var val => VariableValue (LoggingFor r :: Type -> Type) (var :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods valueOf :: VS (LoggingFor r var) -> VS (LoggingFor r val) Source #
ClassSym r cls stvr mthd => ClassSym (LoggingFor r :: Type -> Type) (cls :: Type) (stvr :: Type) (mthd :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods buildClass :: Maybe Label -> [CSStateVar (LoggingFor r) stvr] -> [MS (LoggingFor r mthd)] -> [MS (LoggingFor r mthd)] -> CS (LoggingFor r cls) Source # extraClass :: Label -> Maybe Label -> [CSStateVar (LoggingFor r) stvr] -> [MS (LoggingFor r mthd)] -> [MS (LoggingFor r mthd)] -> CS (LoggingFor r cls) Source # implementingClass :: Label -> [Label] -> [CSStateVar (LoggingFor r) stvr] -> [MS (LoggingFor r mthd)] -> [MS (LoggingFor r mthd)] -> CS (LoggingFor r cls) Source # docClass :: String -> CS (LoggingFor r cls) -> CS (LoggingFor r cls) Source #
InternalValueExp r var val typ => InternalValueExp (LoggingFor r :: Type -> Type) (var :: Type) (val :: Type) (typ :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods objMethodCallMixedArgs' :: Label -> VS (LoggingFor r typ) -> VS (LoggingFor r val) -> [VS (LoggingFor r val)] -> NamedArgs (LoggingFor r) var val -> VS (LoggingFor r val) Source # classMethodCallMixedArgs' :: Label -> VS (LoggingFor r typ) -> VS (LoggingFor r typ) -> [VS (LoggingFor r val)] -> NamedArgs (LoggingFor r) var val -> VS (LoggingFor r val) Source #
ModuleSym r mod cls mthd => ModuleSym (LoggingFor r :: Type -> Type) (mod :: Type) (cls :: Type) (mthd :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods buildModule :: Label -> [Label] -> [MS (LoggingFor r mthd)] -> [CS (LoggingFor r cls)] -> FS (LoggingFor r mod) Source #
OOFuncAppStatement r stmt var val => OOFuncAppStatement (LoggingFor r :: Type -> Type) (stmt :: Type) (var :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods selfInOutCall :: InOutCall (LoggingFor r) stmt var val Source #
OOValueExpression r var val typ => OOValueExpression (LoggingFor r :: Type -> Type) (var :: Type) (val :: Type) (typ :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods newObjMixedArgs :: MixedCtorCall (LoggingFor r) var val typ Source # extNewObjMixedArgs :: Library -> MixedCtorCall (LoggingFor r) var val typ Source # libNewObjMixedArgs :: Library -> MixedCtorCall (LoggingFor r) var val typ Source #
OOVariableSym r var val typ => OOVariableSym (LoggingFor r :: Type -> Type) (var :: Type) (val :: Type) (typ :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods classVar :: Label -> VS (LoggingFor r typ) -> VS (LoggingFor r var) Source # classConst :: Label -> VS (LoggingFor r typ) -> VS (LoggingFor r var) Source # classVarAccess :: VS (LoggingFor r typ) -> VS (LoggingFor r var) -> VS (LoggingFor r var) Source # extClassVarAccess :: VS (LoggingFor r typ) -> VS (LoggingFor r var) -> VS (LoggingFor r var) Source # instanceVarAccess :: VS (LoggingFor r val) -> VS (LoggingFor r var) -> VS (LoggingFor r var) Source #
(MultiStatement r stmt, AssignStatement r stmt var val, FileHandling r stmt var val, PrintFile r stmt val, TypeSym r typ, VariableSym r var typ, VariableValue r var val, VariableElim r var typ, Literal r val typ) => AssignStatement (LoggingFor r :: Type -> Type) (stmt :: Type) (var :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods (&-=) :: VS (LoggingFor r var) -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # (&+=) :: VS (LoggingFor r var) -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # (&++) :: VS (LoggingFor r var) -> MS (LoggingFor r stmt) Source # (&--) :: VS (LoggingFor r var) -> MS (LoggingFor r stmt) Source # assign :: VS (LoggingFor r var) -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source #
FileHandling r stmt var val => FileHandling (LoggingFor r :: Type -> Type) (stmt :: Type) (var :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods openFileR :: VS (LoggingFor r var) -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # openFileW :: VS (LoggingFor r var) -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # openFileA :: VS (LoggingFor r var) -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # closeFile :: VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source #
FuncAppStatement r stmt var val => FuncAppStatement (LoggingFor r :: Type -> Type) (stmt :: Type) (var :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods inOutCall :: InOutCall (LoggingFor r) stmt var val Source # extInOutCall :: Library -> InOutCall (LoggingFor r) stmt var val Source #
InternalList r block var val => InternalList (LoggingFor r :: Type -> Type) (block :: Type) (var :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods listSlice' :: Maybe (VS (LoggingFor r val)) -> Maybe (VS (LoggingFor r val)) -> Maybe (VS (LoggingFor r val)) -> VS (LoggingFor r var) -> VS (LoggingFor r val) -> MS (LoggingFor r block) Source #
(MultiStatement r stmt, FileHandling r stmt var val, PrintFile r stmt val, ReadFile r stmt var val, TypeSym r typ, VariableSym r var typ, VariableValue r var val, VariableElim r var typ, Literal r val typ) => ReadFile (LoggingFor r :: Type -> Type) (stmt :: Type) (var :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods getFileInput :: VS (LoggingFor r val) -> VS (LoggingFor r var) -> MS (LoggingFor r stmt) Source # discardFileInput :: VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # getFileInputLine :: VS (LoggingFor r val) -> VS (LoggingFor r var) -> MS (LoggingFor r stmt) Source # discardFileLine :: VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # getFileInputAll :: VS (LoggingFor r val) -> VS (LoggingFor r var) -> MS (LoggingFor r stmt) Source #
(MultiStatement r stmt, StringStatement r stmt var val, FileHandling r stmt var val, PrintFile r stmt val, TypeSym r typ, VariableSym r var typ, VariableValue r var val, VariableElim r var typ, Literal r val typ) => StringStatement (LoggingFor r :: Type -> Type) (stmt :: Type) (var :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods stringSplit :: Char -> VS (LoggingFor r var) -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # stringListVals :: [VS (LoggingFor r var)] -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # stringListLists :: [VS (LoggingFor r var)] -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source #
(DeclStatement (LoggingFor r) bod stmt var scope val, OODeclStatement r stmt var scope val) => OODeclStatement (LoggingFor r :: Type -> Type) (stmt :: Type) (var :: Type) (scope :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods objDecDef :: VS (LoggingFor r var) -> LoggingFor r scope -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # objDecNew :: VS (LoggingFor r var) -> LoggingFor r scope -> [VS (LoggingFor r val)] -> MS (LoggingFor r stmt) Source # extObjDecNew :: Library -> VS (LoggingFor r var) -> LoggingFor r scope -> [VS (LoggingFor r val)] -> MS (LoggingFor r stmt) Source #
StrategyPattern r bod block var val => StrategyPattern (LoggingFor r :: Type -> Type) (bod :: Type) (block :: Type) (var :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods runStrategy :: Label -> [(Label, MS (LoggingFor r bod))] -> Maybe (VS (LoggingFor r val)) -> Maybe (VS (LoggingFor r var)) -> MS (LoggingFor r block) Source #
ControlStatement r bod stmt var val => ControlStatement (LoggingFor r :: Type -> Type) (bod :: Type) (stmt :: Type) (var :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods break :: MS (LoggingFor r stmt) Source # continue :: MS (LoggingFor r stmt) Source # returnStmt :: VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # throw :: Label -> MS (LoggingFor r stmt) Source # ifCond :: [(VS (LoggingFor r val), MS (LoggingFor r bod))] -> MS (LoggingFor r bod) -> MS (LoggingFor r stmt) Source # switch :: VS (LoggingFor r val) -> [(VS (LoggingFor r val), MS (LoggingFor r bod))] -> MS (LoggingFor r bod) -> MS (LoggingFor r stmt) Source # ifExists :: VS (LoggingFor r val) -> MS (LoggingFor r bod) -> MS (LoggingFor r bod) -> MS (LoggingFor r stmt) Source # for :: MS (LoggingFor r stmt) -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) -> MS (LoggingFor r bod) -> MS (LoggingFor r stmt) Source # forRange :: VS (LoggingFor r var) -> VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) -> MS (LoggingFor r bod) -> MS (LoggingFor r stmt) Source # forEach :: VS (LoggingFor r var) -> VS (LoggingFor r val) -> MS (LoggingFor r bod) -> MS (LoggingFor r stmt) Source # while :: VS (LoggingFor r val) -> MS (LoggingFor r bod) -> MS (LoggingFor r stmt) Source # tryCatch :: MS (LoggingFor r bod) -> MS (LoggingFor r bod) -> MS (LoggingFor r stmt) Source # assert :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source #
ValueExpression r var val binder typ => ValueExpression (LoggingFor r :: Type -> Type) (var :: Type) (val :: Type) (binder :: Type) (typ :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods inlineIf :: VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source # funcAppMixedArgs :: MixedCall (LoggingFor r) var val typ Source # extFuncAppMixedArgs :: Library -> MixedCall (LoggingFor r) var val typ Source # libFuncAppMixedArgs :: Library -> MixedCall (LoggingFor r) var val typ Source # lambda :: [VS (LoggingFor r binder)] -> VS (LoggingFor r val) -> VS (LoggingFor r val) Source # notNull :: VS (LoggingFor r val) -> VS (LoggingFor r val) Source #
StateVarSym r stvr attch vis var val => StateVarSym (LoggingFor r :: Type -> Type) (stvr :: Type) (attch :: Type) (vis :: Type) (var :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods stateVar :: LoggingFor r vis -> LoggingFor r attch -> VS (LoggingFor r var) -> CSStateVar (LoggingFor r) stvr Source # stateVarDef :: LoggingFor r vis -> LoggingFor r attch -> VS (LoggingFor r var) -> VS (LoggingFor r val) -> CSStateVar (LoggingFor r) stvr Source # constVar :: LoggingFor r vis -> VS (LoggingFor r var) -> VS (LoggingFor r val) -> CSStateVar (LoggingFor r) stvr Source #
(MultiStatement r stmt, DeclStatement r bod stmt var scope val, FileHandling r stmt var val, PrintFile r stmt val, TypeSym r typ, VariableSym r var typ, VariableValue r var val, VariableElim r var typ, Literal r val typ) => DeclStatement (LoggingFor r :: Type -> Type) (bod :: Type) (stmt :: Type) (var :: Type) (scope :: Type) (val :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods varDec :: VS (LoggingFor r var) -> LoggingFor r scope -> MS (LoggingFor r stmt) Source # varDecDef :: VS (LoggingFor r var) -> LoggingFor r scope -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # listDec :: Integer -> VS (LoggingFor r var) -> LoggingFor r scope -> MS (LoggingFor r stmt) Source # listDecDef :: VS (LoggingFor r var) -> LoggingFor r scope -> [VS (LoggingFor r val)] -> MS (LoggingFor r stmt) Source # setDec :: VS (LoggingFor r var) -> LoggingFor r scope -> MS (LoggingFor r stmt) Source # setDecDef :: VS (LoggingFor r var) -> LoggingFor r scope -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # arrayDec :: Integer -> VS (LoggingFor r val) -> VS (LoggingFor r var) -> LoggingFor r scope -> MS (LoggingFor r stmt) Source # arrayDecDef :: VS (LoggingFor r var) -> LoggingFor r scope -> [VS (LoggingFor r val)] -> MS (LoggingFor r stmt) Source # constDecDef :: VS (LoggingFor r var) -> LoggingFor r scope -> VS (LoggingFor r val) -> MS (LoggingFor r stmt) Source # funcDecDef :: VS (LoggingFor r var) -> LoggingFor r scope -> [VS (LoggingFor r var)] -> MS (LoggingFor r bod) -> MS (LoggingFor r stmt) Source #
MethodSym r mthd vis param bod var typ => MethodSym (LoggingFor r :: Type -> Type) (mthd :: Type) (vis :: Type) (param :: Type) (bod :: Type) (var :: Type) (typ :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods docMain :: MS (LoggingFor r bod) -> MS (LoggingFor r mthd) Source # function :: Label -> LoggingFor r vis -> VS (LoggingFor r typ) -> [MS (LoggingFor r param)] -> MS (LoggingFor r bod) -> MS (LoggingFor r mthd) Source # mainFunction :: MS (LoggingFor r bod) -> MS (LoggingFor r mthd) Source # docFunc :: String -> [String] -> Maybe String -> MS (LoggingFor r mthd) -> MS (LoggingFor r mthd) Source # inOutFunc :: Label -> LoggingFor r vis -> InOutFunc (LoggingFor r) mthd bod var Source # docInOutFunc :: Label -> LoggingFor r vis -> DocInOutFunc (LoggingFor r) mthd bod var Source #
OOMethodSym r mthd attch vis param bod var val typ => OOMethodSym (LoggingFor r :: Type -> Type) (mthd :: Type) (attch :: Type) (vis :: Type) (param :: Type) (bod :: Type) (var :: Type) (val :: Type) (typ :: Type) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods method :: Label -> LoggingFor r vis -> LoggingFor r attch -> VS (LoggingFor r typ) -> [MS (LoggingFor r param)] -> MS (LoggingFor r bod) -> MS (LoggingFor r mthd) Source # getMethod :: VS (LoggingFor r var) -> MS (LoggingFor r mthd) Source # setMethod :: VS (LoggingFor r var) -> MS (LoggingFor r mthd) Source # constructor :: [MS (LoggingFor r param)] -> Initializers (LoggingFor r) var val -> MS (LoggingFor r bod) -> MS (LoggingFor r mthd) Source # inOutMethod :: Label -> LoggingFor r vis -> LoggingFor r attch -> InOutFunc (LoggingFor r) mthd bod var Source # docInOutMethod :: Label -> LoggingFor r vis -> LoggingFor r attch -> DocInOutFunc (LoggingFor r) mthd bod var Source #
Applicative r => Applicative (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods pure :: a -> LoggingFor r a # (<>) :: LoggingFor r (a -> b) -> LoggingFor r a -> LoggingFor r b # liftA2 :: (a -> b -> c) -> LoggingFor r a -> LoggingFor r b -> LoggingFor r c # (>) :: LoggingFor r a -> LoggingFor r b -> LoggingFor r b # (<*) :: LoggingFor r a -> LoggingFor r b -> LoggingFor r a #
Functor r => Functor (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods fmap :: (a -> b) -> LoggingFor r a -> LoggingFor r b # (<$) :: a -> LoggingFor r b -> LoggingFor r a #
Monad r => Monad (LoggingFor r) Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods (>>=) :: LoggingFor r a -> (a -> LoggingFor r b) -> LoggingFor r b # (>>) :: LoggingFor r a -> LoggingFor r b -> LoggingFor r b # return :: a -> LoggingFor r a #
UnRepr r contents => UnRepr (LoggingFor r) contents Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods unRepr :: LoggingFor r contents -> contents Source #
OOFunctionSym r val typ => OOFunctionSym (LoggingFor r) val typ Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods func :: Label -> VS (LoggingFor r typ) -> [VS (LoggingFor r val)] -> VS (LoggingFor r FuncData) Source # objAccess :: VS (LoggingFor r val) -> VS (LoggingFor r FuncData) -> VS (LoggingFor r val) Source #
ObserverPattern r stmt typ => ObserverPattern (LoggingFor r) stmt typ Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods notifyObservers :: VS (LoggingFor r FuncData) -> VS (LoggingFor r typ) -> MS (LoggingFor r stmt) Source #
ProcProg r prg file mod mthd vis param bod block stmt var scope val binder typ => ProcProg (LoggingFor r) prg file mod mthd vis param bod block stmt var scope val binder typ Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor
OOProg r prg file mod cls stvr mthd attch vis param bod block stmt var scope val binder typ => OOProg (LoggingFor r) prg file mod cls stvr mthd attch vis param bod block stmt var scope val binder typ Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor