Recognize.Data.Solution

Documentation

data Solution

An incoming request is parsed to a solution

Constructors

Solution

Fields

• userId :: UserId
• groupId :: GroupId
• language :: Maybe Language
• inputs :: [Input]

Instances

Show Solution

Defined in Recognize.Data.Solution

Methods

showsPrec :: Int -> Solution -> ShowS

show :: Solution -> String

showList :: [Solution] -> ShowS

ToXML Solution

Defined in Recognize.Data.Solution

Methods

toXML :: Solution -> XML

listToXML :: [Solution] -> XML

InXML Solution

Defined in Recognize.Data.Solution

Methods

fromXML :: Monad m => XML -> m Solution

listFromXML :: Monad m => XML -> m [Solution]

type UserId = Maybe String

type GroupId = Maybe String

data Language

Constructors

EN

FR

DE

NL

Instances

Read Language

Defined in Recognize.Data.Solution

Methods

readsPrec :: Int -> ReadS Language

readList :: ReadS [Language]

readPrec :: ReadPrec Language

readListPrec :: ReadPrec [Language]

Show Language

Defined in Recognize.Data.Solution

Methods

showsPrec :: Int -> Language -> ShowS

show :: Language -> String

showList :: [Language] -> ShowS

type Source = Maybe String

data Input

Constructors

Input

Fields

• getInputId :: InputId
• getInput :: [Either MathML String]

Instances

Show Input

Defined in Recognize.Data.Solution

Methods

showsPrec :: Int -> Input -> ShowS

show :: Input -> String

showList :: [Input] -> ShowS

HasId Input

Defined in Recognize.Data.Solution

Methods

getId :: Input -> Id

changeId :: (Id -> Id) -> Input -> Input

ToHTML Input

Defined in Recognize.Data.Solution

Methods

toHTML :: Input -> HTMLBuilder

listToHTML :: [Input] -> HTMLBuilder

ToXML Input

Defined in Recognize.Data.Solution

Methods

toXML :: Input -> XML

listToXML :: [Input] -> XML

InXML Input

Defined in Recognize.Data.Solution

Methods

fromXML :: Monad m => XML -> m Input

listFromXML :: Monad m => XML -> m [Input]

type InputId = Id

inputToString :: [Either MathML String] -> String

defaultSolution :: [Input] -> Solution