Safe Haskell	Safe-Inferred
Language	Haskell2010

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

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 #
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 #
InternalList r => InternalList (LoggingFor r) 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 #
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 #
AttachmentSym r att => AttachmentSym (LoggingFor r) att Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods classLevel :: LoggingFor r att Source # instanceLevel :: LoggingFor r att Source #
(DeclStatement (LoggingFor r) smt, OODeclStatement r smt) => OODeclStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods objDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # objDecNew :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> [SValue (LoggingFor r)] -> MS (LoggingFor r smt) Source # extObjDecNew :: Library -> SVariable (LoggingFor r) -> LoggingFor r ScopeData -> [SValue (LoggingFor r)] -> MS (LoggingFor r smt) Source #
OOFuncAppStatement r smt => OOFuncAppStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods selfInOutCall :: InOutCall (LoggingFor r) smt Source #
(OOStatement r smt, VariableElim r) => OOStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor
ObserverPattern r smt => ObserverPattern (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods notifyObservers :: VS (LoggingFor r FuncData) -> VS (LoggingFor r TypeData) -> MS (LoggingFor r smt) Source #
StrategyPattern r smt => StrategyPattern (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods runStrategy :: Label -> [(Label, MS (LoggingFor r Body))] -> Maybe (SValue (LoggingFor r)) -> Maybe (SVariable (LoggingFor r)) -> MS (LoggingFor r Block) Source #
(AssignStatement r smt, IOStatement r smt, VariableValue r, VariableElim r, Literal r) => AssignStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods (&-=) :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # (&+=) :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # (&++) :: SVariable (LoggingFor r) -> MS (LoggingFor r smt) Source # (&--) :: SVariable (LoggingFor r) -> MS (LoggingFor r smt) Source # assign :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source #
BlockSym r smt => BlockSym (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods block :: [MS (LoggingFor r smt)] -> MS (LoggingFor r Block) Source #
BodySym r smt => BodySym (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods body :: [MS (LoggingFor r Block)] -> MS (LoggingFor r Body) Source # addComments :: Label -> MS (LoggingFor r Body) -> MS (LoggingFor r Body) Source #
CommentStatement r smt => CommentStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods comment :: String -> MS (LoggingFor r smt) Source #
ControlStatement r smt => ControlStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods break :: MS (LoggingFor r smt) Source # continue :: MS (LoggingFor r smt) Source # returnStmt :: SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # throw :: Label -> MS (LoggingFor r smt) Source # ifCond :: [(SValue (LoggingFor r), MS (LoggingFor r Body))] -> MS (LoggingFor r Body) -> MS (LoggingFor r smt) Source # switch :: SValue (LoggingFor r) -> [(SValue (LoggingFor r), MS (LoggingFor r Body))] -> MS (LoggingFor r Body) -> MS (LoggingFor r smt) Source # ifExists :: SValue (LoggingFor r) -> MS (LoggingFor r Body) -> MS (LoggingFor r Body) -> MS (LoggingFor r smt) Source # for :: MS (LoggingFor r smt) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) -> MS (LoggingFor r Body) -> MS (LoggingFor r smt) Source # forRange :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r Body) -> MS (LoggingFor r smt) Source # forEach :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r Body) -> MS (LoggingFor r smt) Source # while :: SValue (LoggingFor r) -> MS (LoggingFor r Body) -> MS (LoggingFor r smt) Source # tryCatch :: MS (LoggingFor r Body) -> MS (LoggingFor r Body) -> MS (LoggingFor r smt) Source # assert :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source #
(DeclStatement r smt, IOStatement r smt, VariableValue r, VariableElim r, Literal r) => DeclStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods varDec :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> MS (LoggingFor r smt) Source # varDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # listDec :: Integer -> SVariable (LoggingFor r) -> LoggingFor r ScopeData -> MS (LoggingFor r smt) Source # listDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> [SValue (LoggingFor r)] -> MS (LoggingFor r smt) Source # setDec :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> MS (LoggingFor r smt) Source # setDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # arrayDec :: Integer -> SValue (LoggingFor r) -> SVariable (LoggingFor r) -> LoggingFor r ScopeData -> MS (LoggingFor r smt) Source # arrayDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> [SValue (LoggingFor r)] -> MS (LoggingFor r smt) Source # constDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # funcDecDef :: SVariable (LoggingFor r) -> LoggingFor r ScopeData -> [SVariable (LoggingFor r)] -> MS (LoggingFor r Body) -> MS (LoggingFor r smt) Source #
FuncAppStatement r smt => FuncAppStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods inOutCall :: InOutCall (LoggingFor r) smt Source # extInOutCall :: Library -> InOutCall (LoggingFor r) smt Source #
(IOStatement r smt, VariableValue r, VariableElim r, Literal r) => IOStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods print :: SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # printLn :: SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # printStr :: String -> MS (LoggingFor r smt) Source # printStrLn :: String -> MS (LoggingFor r smt) Source # printFile :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # printFileLn :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # printFileStr :: SValue (LoggingFor r) -> String -> MS (LoggingFor r smt) Source # printFileStrLn :: SValue (LoggingFor r) -> String -> MS (LoggingFor r smt) Source # getInput :: SVariable (LoggingFor r) -> MS (LoggingFor r smt) Source # discardInput :: MS (LoggingFor r smt) Source # getFileInput :: SValue (LoggingFor r) -> SVariable (LoggingFor r) -> MS (LoggingFor r smt) Source # discardFileInput :: SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # openFileR :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # openFileW :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # openFileA :: SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # closeFile :: SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # getFileInputLine :: SValue (LoggingFor r) -> SVariable (LoggingFor r) -> MS (LoggingFor r smt) Source # discardFileLine :: SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # getFileInputAll :: SValue (LoggingFor r) -> SVariable (LoggingFor r) -> MS (LoggingFor r smt) Source #
List r smt => List (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods listSize :: SValue (LoggingFor r) -> SValue (LoggingFor r) Source # listAdd :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # listAppend :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # listAccess :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source # listSet :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # indexOf :: SValue (LoggingFor r) -> SValue (LoggingFor r) -> SValue (LoggingFor r) Source #
(SharedStatement r smt, VariableElim r) => SharedStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor
StatementSym r smt => StatementSym (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods valStmt :: SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # emptyStmt :: MS (LoggingFor r smt) Source # multi :: [MS (LoggingFor r smt)] -> MS (LoggingFor r smt) Source #
(StringStatement r smt, IOStatement r smt, VariableValue r, VariableElim r, Literal r) => StringStatement (LoggingFor r) smt Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods stringSplit :: Char -> SVariable (LoggingFor r) -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # stringListVals :: [SVariable (LoggingFor r)] -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source # stringListLists :: [SVariable (LoggingFor r)] -> SValue (LoggingFor r) -> MS (LoggingFor r smt) Source #
UnRepr r contents => UnRepr (LoggingFor r) contents Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods unRepr :: LoggingFor r contents -> contents Source #
VisibilitySym r vis => VisibilitySym (LoggingFor r) vis Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods private :: LoggingFor r vis Source # public :: LoggingFor r vis Source #
StateVarSym r vis svr att => StateVarSym (LoggingFor r) vis svr att Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods stateVar :: LoggingFor r vis -> LoggingFor r att -> SVariable (LoggingFor r) -> CSStateVar (LoggingFor r) svr Source # stateVarDef :: LoggingFor r vis -> LoggingFor r att -> SVariable (LoggingFor r) -> SValue (LoggingFor r) -> CSStateVar (LoggingFor r) svr Source # constVar :: LoggingFor r vis -> SVariable (LoggingFor r) -> SValue (LoggingFor r) -> CSStateVar (LoggingFor r) svr Source #
FileSym r vis smt md => FileSym (LoggingFor r) vis smt md Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods fileDoc :: FS (LoggingFor r Module) -> FS (LoggingFor r File) Source # docMod :: String -> String -> [String] -> String -> FS (LoggingFor r File) -> FS (LoggingFor r File) Source #
ModuleSym r vis smt md => ModuleSym (LoggingFor r) vis smt md Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods buildModule :: Label -> [Label] -> [MS (LoggingFor r md)] -> FS (LoggingFor r Module) Source #
MethodSym r vis smt md => MethodSym (LoggingFor r) vis smt md Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods docMain :: MS (LoggingFor r Body) -> MS (LoggingFor r md) Source # function :: Label -> LoggingFor r vis -> VS (LoggingFor r TypeData) -> [MS (LoggingFor r ParamData)] -> MS (LoggingFor r Body) -> MS (LoggingFor r md) Source # mainFunction :: MS (LoggingFor r Body) -> MS (LoggingFor r md) Source # docFunc :: String -> [String] -> Maybe String -> MS (LoggingFor r md) -> MS (LoggingFor r md) Source # inOutFunc :: Label -> LoggingFor r vis -> InOutFunc (LoggingFor r) md Source # docInOutFunc :: Label -> LoggingFor r vis -> DocInOutFunc (LoggingFor r) md Source #
SharedProg r vis smt md => SharedProg (LoggingFor r) vis smt md Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor
OOMethodSym r vis smt md att => OOMethodSym (LoggingFor r) vis smt md att Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods method :: Label -> LoggingFor r vis -> LoggingFor r att -> VS (LoggingFor r TypeData) -> [MS (LoggingFor r ParamData)] -> MS (LoggingFor r Body) -> MS (LoggingFor r md) Source # getMethod :: SVariable (LoggingFor r) -> MS (LoggingFor r md) Source # setMethod :: SVariable (LoggingFor r) -> MS (LoggingFor r md) Source # constructor :: [MS (LoggingFor r ParamData)] -> Initializers (LoggingFor r) -> MS (LoggingFor r Body) -> MS (LoggingFor r md) Source # inOutMethod :: Label -> LoggingFor r vis -> LoggingFor r att -> InOutFunc (LoggingFor r) md Source # docInOutMethod :: Label -> LoggingFor r vis -> LoggingFor r att -> DocInOutFunc (LoggingFor r) md Source #
ProcProg r vis smt md prg => ProcProg (LoggingFor r) vis smt md prg Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor
ProgramSym r vis smt md prg => ProgramSym (LoggingFor r) vis smt md prg Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods prog :: Label -> Label -> [FS (LoggingFor r File)] -> GSProgram (LoggingFor r) prg Source #
ClassSym r vis smt md svr att => ClassSym (LoggingFor r) vis smt md svr att Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods buildClass :: Maybe Label -> [CSStateVar (LoggingFor r) svr] -> [MS (LoggingFor r md)] -> [MS (LoggingFor r md)] -> CS (LoggingFor r Class) Source # extraClass :: Label -> Maybe Label -> [CSStateVar (LoggingFor r) svr] -> [MS (LoggingFor r md)] -> [MS (LoggingFor r md)] -> CS (LoggingFor r Class) Source # implementingClass :: Label -> [Label] -> [CSStateVar (LoggingFor r) svr] -> [MS (LoggingFor r md)] -> [MS (LoggingFor r md)] -> CS (LoggingFor r Class) Source # docClass :: String -> CS (LoggingFor r Class) -> CS (LoggingFor r Class) Source #
FileSym r vis smt md svr att => FileSym (LoggingFor r) vis smt md svr att Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods fileDoc :: FS (LoggingFor r Module) -> FS (LoggingFor r File) Source # docMod :: String -> String -> [String] -> String -> FS (LoggingFor r File) -> FS (LoggingFor r File) Source #
ModuleSym r vis smt md svr att => ModuleSym (LoggingFor r) vis smt md svr att Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods buildModule :: Label -> [Label] -> [MS (LoggingFor r md)] -> [CS (LoggingFor r Class)] -> FS (LoggingFor r Module) Source #
OOProg r vis smt md svr att prg => OOProg (LoggingFor r) vis smt md svr att prg Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor
ProgramSym r vis smt md svr att prg => ProgramSym (LoggingFor r) vis smt md svr att prg Source #
Instance details Defined in Drasil.Shared.LanguageRenderer.LoggingFor Methods prog :: Label -> Label -> [FS (LoggingFor r File)] -> GSProgram (LoggingFor r) prg Source #