drasil-gool-0.1.1.0: A framework for code and document generation for scientific software - GOOL SubPackage
Safe HaskellSafe-Inferred
LanguageHaskell2010

Drasil.Shared.LanguageRenderer.LoggingFor

Description

MVP renderer for logging statements.

Documentation

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

Constructors

LC 

Fields

Instances

Instances details
Applicative lang => Applicative (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Methods

pure :: a -> LoggingFor lang a #

(<*>) :: LoggingFor lang (a -> b) -> LoggingFor lang a -> LoggingFor lang b #

liftA2 :: (a -> b -> c) -> LoggingFor lang a -> LoggingFor lang b -> LoggingFor lang c #

(*>) :: LoggingFor lang a -> LoggingFor lang b -> LoggingFor lang b #

(<*) :: LoggingFor lang a -> LoggingFor lang b -> LoggingFor lang a #

Functor lang => Functor (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Methods

fmap :: (a -> b) -> LoggingFor lang a -> LoggingFor lang b #

(<$) :: a -> LoggingFor lang b -> LoggingFor lang a #

Monad lang => Monad (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Methods

(>>=) :: LoggingFor lang a -> (a -> LoggingFor lang b) -> LoggingFor lang b #

(>>) :: LoggingFor lang a -> LoggingFor lang b -> LoggingFor lang b #

return :: a -> LoggingFor lang a #

AttachmentSym lang => AttachmentSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Associated Types

type Attachment (LoggingFor lang) Source #

ClassSym lang => ClassSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Associated Types

type Class (LoggingFor lang) Source #

FileSym lang => FileSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Associated Types

type File (LoggingFor lang) Source #

Methods

fileDoc :: FSModule (LoggingFor lang) -> SFile (LoggingFor lang) Source #

docMod :: String -> String -> [String] -> String -> SFile (LoggingFor lang) -> SFile (LoggingFor lang) Source #

GetSet lang => GetSet (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Methods

get :: SValue (LoggingFor lang) -> SVariable (LoggingFor lang) -> SValue (LoggingFor lang) Source #

set :: SValue (LoggingFor lang) -> SVariable (LoggingFor lang) -> SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

InternalValueExp lang => InternalValueExp (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

ModuleSym lang => ModuleSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Associated Types

type Module (LoggingFor lang) Source #

Methods

buildModule :: Label -> [Label] -> [SMethod (LoggingFor lang)] -> [SClass (LoggingFor lang)] -> FSModule (LoggingFor lang) Source #

(DeclStatement (LoggingFor lang), OODeclStatement lang) => OODeclStatement (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

OOFuncAppStatement lang => OOFuncAppStatement (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

OOFunctionSym lang => OOFunctionSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

OOMethodSym lang => OOMethodSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

OOProg lang => OOProg (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

OOTypeSym lang => OOTypeSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Methods

obj :: ClassName -> VSType (LoggingFor lang) Source #

OOValueExpression lang => OOValueExpression (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

OOValueSym lang => OOValueSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

OOVariableSym lang => OOVariableSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

OOVariableValue lang => OOVariableValue (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

ObserverPattern lang => ObserverPattern (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

ProgramSym lang => ProgramSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Associated Types

type Program (LoggingFor lang) Source #

Methods

prog :: Label -> Label -> [SFile (LoggingFor lang)] -> GSProgram (LoggingFor lang) Source #

SelfSym lang => SelfSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Methods

self :: SVariable (LoggingFor lang) Source #

StateVarSym lang => StateVarSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Associated Types

type StateVar (LoggingFor lang) Source #

StrategyPattern lang => StrategyPattern (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Methods

runStrategy :: Label -> [(Label, MSBody (LoggingFor lang))] -> Maybe (SValue (LoggingFor lang)) -> Maybe (SVariable (LoggingFor lang)) -> MSBlock (LoggingFor lang) Source #

FileSym lang => FileSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Associated Types

type File (LoggingFor lang) Source #

Methods

fileDoc :: FSModule (LoggingFor lang) -> SFile (LoggingFor lang) Source #

docMod :: String -> String -> [String] -> String -> SFile (LoggingFor lang) -> SFile (LoggingFor lang) Source #

ModuleSym lang => ModuleSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Associated Types

type Module (LoggingFor lang) Source #

Methods

buildModule :: Label -> [Label] -> [SMethod (LoggingFor lang)] -> FSModule (LoggingFor lang) Source #

ProcProg lang => ProcProg (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

ProgramSym lang => ProgramSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Associated Types

type Program (LoggingFor lang) Source #

Methods

prog :: Label -> Label -> [SFile (LoggingFor lang)] -> GSProgram (LoggingFor lang) Source #

Argument lang => Argument (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Methods

pointerArg :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

Array lang => Array (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

SharedProg lang => AssignStatement (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

BinderSym lang => BinderSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Methods

binder :: Label -> VSType (LoggingFor lang) -> VSBinder (LoggingFor lang) Source #

BlockSym lang => BlockSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Associated Types

type Block (LoggingFor lang) Source #

Methods

block :: [MSStatement (LoggingFor lang)] -> MSBlock (LoggingFor lang) Source #

BodySym lang => BodySym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Associated Types

type Body (LoggingFor lang) Source #

BooleanExpression lang => BooleanExpression (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Methods

(?!) :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

(?&&) :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

(?||) :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

CommandLineArgs lang => CommandLineArgs (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

CommentStatement lang => CommentStatement (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Comparison lang => Comparison (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

ControlStatement lang => ControlStatement (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

SharedProg lang => DeclStatement (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

FuncAppStatement lang => FuncAppStatement (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

FunctionSym lang => FunctionSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Associated Types

type Function (LoggingFor lang) Source #

SharedProg lang => IOStatement (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Methods

print :: SValue (LoggingFor lang) -> MSStatement (LoggingFor lang) Source #

printLn :: SValue (LoggingFor lang) -> MSStatement (LoggingFor lang) Source #

printStr :: String -> MSStatement (LoggingFor lang) Source #

printStrLn :: String -> MSStatement (LoggingFor lang) Source #

printFile :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) -> MSStatement (LoggingFor lang) Source #

printFileLn :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) -> MSStatement (LoggingFor lang) Source #

printFileStr :: SValue (LoggingFor lang) -> String -> MSStatement (LoggingFor lang) Source #

printFileStrLn :: SValue (LoggingFor lang) -> String -> MSStatement (LoggingFor lang) Source #

getInput :: SVariable (LoggingFor lang) -> MSStatement (LoggingFor lang) Source #

discardInput :: MSStatement (LoggingFor lang) Source #

getFileInput :: SValue (LoggingFor lang) -> SVariable (LoggingFor lang) -> MSStatement (LoggingFor lang) Source #

discardFileInput :: SValue (LoggingFor lang) -> MSStatement (LoggingFor lang) Source #

openFileR :: SVariable (LoggingFor lang) -> SValue (LoggingFor lang) -> MSStatement (LoggingFor lang) Source #

openFileW :: SVariable (LoggingFor lang) -> SValue (LoggingFor lang) -> MSStatement (LoggingFor lang) Source #

openFileA :: SVariable (LoggingFor lang) -> SValue (LoggingFor lang) -> MSStatement (LoggingFor lang) Source #

closeFile :: SValue (LoggingFor lang) -> MSStatement (LoggingFor lang) Source #

getFileInputLine :: SValue (LoggingFor lang) -> SVariable (LoggingFor lang) -> MSStatement (LoggingFor lang) Source #

discardFileLine :: SValue (LoggingFor lang) -> MSStatement (LoggingFor lang) Source #

getFileInputAll :: SValue (LoggingFor lang) -> SVariable (LoggingFor lang) -> MSStatement (LoggingFor lang) Source #

IndexTranslator lang => IndexTranslator (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

InternalList lang => InternalList (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Methods

listSlice' :: Maybe (SValue (LoggingFor lang)) -> Maybe (SValue (LoggingFor lang)) -> Maybe (SValue (LoggingFor lang)) -> SVariable (LoggingFor lang) -> SValue (LoggingFor lang) -> MSBlock (LoggingFor lang) Source #

List lang => List (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Literal lang => Literal (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

MathConstant lang => MathConstant (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Methods

pi :: SValue (LoggingFor lang) Source #

MethodSym lang => MethodSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Associated Types

type Method (LoggingFor lang) Source #

NumericExpression lang => NumericExpression (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Methods

(#~) :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

(#/^) :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

(#|) :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

(#+) :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

(#-) :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

(#*) :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

(#/) :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

(#%) :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

(#^) :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

log :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

ln :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

exp :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

sin :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

cos :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

tan :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

csc :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

sec :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

cot :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

arcsin :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

arccos :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

arctan :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

floor :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

ceil :: SValue (LoggingFor lang) -> SValue (LoggingFor lang) Source #

ParameterSym lang => ParameterSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Associated Types

type Parameter (LoggingFor lang) Source #

Reference lang => Reference (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

ScopeSym lang => ScopeSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Set lang => Set (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

SharedProg lang => SharedProg (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

StatementSym lang => StatementSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Associated Types

type Statement (LoggingFor lang) Source #

SharedProg lang => StringStatement (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

TypeSym lang => TypeSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

ValueExpression lang => ValueExpression (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

ValueSym lang => ValueSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Associated Types

type Value (LoggingFor lang) Source #

VariableElim lang => VariableElim (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

VariableSym lang => VariableSym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Associated Types

type Variable (LoggingFor lang) Source #

VariableValue lang => VariableValue (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Methods

valueOf :: SVariable (LoggingFor lang) -> SValue (LoggingFor lang) Source #

VisibilitySym lang => VisibilitySym (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Associated Types

type Visibility (LoggingFor lang) Source #

UnRepr lang contents => UnRepr (LoggingFor lang) contents Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

Methods

unRepr :: LoggingFor lang contents -> contents Source #

type Attachment (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

type Attachment (LoggingFor lang) = Attachment lang
type Class (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

type Class (LoggingFor lang) = Class lang
type File (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

type File (LoggingFor lang) = File lang
type Module (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

type Module (LoggingFor lang) = Module lang
type Program (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

type Program (LoggingFor lang) = Program lang
type StateVar (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

type StateVar (LoggingFor lang) = StateVar lang
type File (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

type File (LoggingFor lang) = File lang
type Module (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

type Module (LoggingFor lang) = Module lang
type Program (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

type Program (LoggingFor lang) = Program lang
type Block (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

type Block (LoggingFor lang) = Block lang
type Body (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

type Body (LoggingFor lang) = Body lang
type Function (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

type Function (LoggingFor lang) = Function lang
type Method (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

type Method (LoggingFor lang) = Method lang
type Parameter (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

type Parameter (LoggingFor lang) = Parameter lang
type Statement (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

type Statement (LoggingFor lang) = Statement lang
type Value (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

type Value (LoggingFor lang) = Value lang
type Variable (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

type Variable (LoggingFor lang) = Variable lang
type Visibility (LoggingFor lang) Source # 
Instance details

Defined in Drasil.Shared.LanguageRenderer.LoggingFor

type Visibility (LoggingFor lang) = Visibility lang