Service.Types

Documentation

tSolution :: Type a Solution

tUserId :: Type a UserId

tGroupId :: Type a GroupId

tSource :: Type a Source

tLanguage :: Type a (Maybe Language)

tInput :: Type a Input

tInputId :: Type a Id

tAttr :: String -> Type a String

tStudentReport :: Type a StudentReport

tStudentReports :: Type a [StudentReport]

data DiagnosisReply a

DiagnosisReply is a datatype that purely exists as an intermediate between the date types we gather and the XML we show to the user.

Constructors

DiagnosisReply

Fields

• exercise :: Exercise a
• solution :: Solution
• entry :: Entry
• source :: Maybe String
• examinator :: Maybe String

Instances

ToXML (DiagnosisReply a)

Defined in Service.Types

Methods

toXML :: DiagnosisReply a -> XML

listToXML :: [DiagnosisReply a] -> XML

tDiagnosis :: Type a (DiagnosisReply b)

data UserRequest

UserRequest is a datatype that is used only to collect a group of users and a language for the user-model requests.

Constructors

UserRequest

Fields

• ids :: [String]
• lang :: String

tUserRequest :: Type a UserRequest

tUserIdTag :: Type a String