ideas-1.3.1: Feedback services for intelligent tutoring systems

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

Ideas.Service.Request

Description

 

Documentation

data Request Source

Constructors

Request 

Fields

serviceId :: Maybe Id
 
exerciseId :: Maybe Id
 
user :: Maybe String
 
source :: Maybe String
 
feedbackScript :: Maybe String
 
cgiBinary :: Maybe String
 
dataformat :: DataFormat
 
encoding :: [Encoding]
 

emptyRequest :: Request Source

data DataFormat Source

Constructors

XML 
JSON 

Instances

data Encoding Source

Constructors

EncHTML 
EncOpenMath 
EncString 
EncCompact 
EncPretty 

Instances

htmlOutput :: Request -> Bool Source

compactOutput :: Request -> Bool Source

useOpenMath :: Request -> Bool Source

useLogging :: Request -> Bool Source

discoverDataFormat :: Monad m => String -> m DataFormat Source

readEncoding :: Monad m => String -> m [Encoding] Source