ideas-1.8: Feedback services for intelligent tutoring systems

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellNone
LanguageHaskell98

Ideas.Encoding.Logging

Description

Facilities to create a log database

Synopsis

Documentation

data Record Source #

The Record datatype is based on the Ideas Request Logging Schema version 2.

Instances
Show Record Source # 
Instance details

Defined in Ideas.Encoding.Logging

addRequest :: Request -> Record -> Record Source #

Add record information from the Request datatype

addState :: State a -> Record -> Record Source #

Add record information from the state (userid, sessionid, taskid)

data LogRef Source #

Instances
Semigroup LogRef Source # 
Instance details

Defined in Ideas.Encoding.Logging

Monoid LogRef Source # 
Instance details

Defined in Ideas.Encoding.Logging

logRecordWith :: IConnection c => LogRef -> c -> IO () Source #

selectFrom :: FilePath -> String -> [String] -> ([String] -> IO a) -> IO [a] Source #