Ideas.Encoding.Encoder

Converter type class

class Converter f

getExercise

getQCGen

getScript

getRequest

withExercise

withOpenMath

withJSONTerm

(//)

JSON terms

termToJSON

jsonToTerm

jsonTermView

Options

data Options a

simpleOptions

makeOptions

Encoder datatype

data Encoder a s t

type TypedEncoder a

makeEncoder

encoderFor

exerciseEncoder

(<?>)

encodeTyped

Decoder datatype

data Decoder a s t

type TypedDecoder a s

makeDecoder

decoderFor

split

symbol

setInput