ideas-1.2: Feedback services for intelligent tutoring systems

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

Ideas.Encoding.EncoderXML

Description

Services using XML notation

Documentation

type XMLEncoder a t = EncoderState (XMLEncoderState a) t XMLBuilderSource

data XMLEncoderState a Source

Constructors

XMLEncoderState 

Fields

getExercise :: Exercise a
 
isOpenMath :: Bool
 
encodeTerm :: a -> XMLBuilder
 

xmlEncoder :: XMLEncoder a (TypedValue (Type a))Source

encodeState :: XMLEncoder a (State a)Source