Ideas.Encoding.Request

Documentation

data Request

Constructors

Request

Fields

• serviceId :: Maybe Id
• exerciseId :: Maybe Id
• source :: Maybe String
• feedbackScript :: Maybe String
• requestInfo :: Maybe String
• cgiBinary :: Maybe String
• logSchema :: Maybe Schema
• randomSeed :: Maybe Int
• dataformat :: Maybe DataFormat
• encoding :: [Encoding]

Instances

Monoid Request

Methods

mempty :: Request

mappend :: Request -> Request -> Request

mconcat :: [Request] -> Request

data Schema

Constructors

V1

V2

NoLogging

Instances

Eq Schema

Methods

(==) :: Schema -> Schema -> Bool

(/=) :: Schema -> Schema -> Bool

Show Schema

Methods

showsPrec :: Int -> Schema -> ShowS

show :: Schema -> String

showList :: [Schema] -> ShowS

getSchema :: Request -> Schema

readSchema :: Monad m => String -> m Schema

data DataFormat

Constructors

XML

JSON

Instances

Show DataFormat

Methods

showsPrec :: Int -> DataFormat -> ShowS

show :: DataFormat -> String

showList :: [DataFormat] -> ShowS

data Encoding

Constructors

EncHTML

EncOpenMath

EncString

EncCompact

EncPretty

EncJSON

Instances

Eq Encoding

Methods

(==) :: Encoding -> Encoding -> Bool

(/=) :: Encoding -> Encoding -> Bool

Show Encoding

Methods

showsPrec :: Int -> Encoding -> ShowS

show :: Encoding -> String

showList :: [Encoding] -> ShowS

htmlOutput :: Request -> Bool

compactOutput :: Request -> Bool

useOpenMath :: Request -> Bool

useJSONTerm :: Request -> Bool

useLogging :: Request -> Bool

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

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