Ideas.Service.Request

Documentation

data Request

Constructors

Request

Fields

service :: String

exerciseId :: Maybe Id

source :: Maybe String

dataformat :: DataFormat

encoding :: [Encoding]

data DataFormat

Constructors

XML

JSON

Instances

Show DataFormat

data Encoding

Constructors

EncHTML

EncOpenMath

EncString

EncCompact

EncPretty

Instances

Eq Encoding

Show Encoding

htmlOutput :: Request -> Bool

compactOutput :: Request -> Bool

compactOutputDefault :: Bool -> Request -> Bool

useOpenMath :: Request -> Bool

useLogging :: Request -> Bool

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

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