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