ideas-1.1: Feedback services for intelligent tutoring systems

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

Ideas.Encoding.DecoderXML

Description

Services using XML notation

Documentation

type XMLDecoder a = EncoderState (XMLDecoderState a) XMLSource

data XMLDecoderState a Source

Constructors

XMLDecoderState 

Fields

getExercise :: Exercise a
 
getScript :: Script
 
getStdGen :: StdGen
 
isOpenMath :: Bool
 
decodeTerm :: XML -> Either String a
 

xmlDecoder :: Type a t -> XMLDecoder a tSource