Sound.MIDI.Parser.Report

Definition of a datatype that reports on the success of a parser.

Documentation

data T a

This datatype is the result of a parser. First it stores a sequence of warnings. Warnings are for corruptions of the input which can be fixed. After encountering a series of warnings, there is finally an end, either a successful one, with the result as (Right result) or an eventual non-fixable problem indicated by (Left errorMessage).

Constructors

Cons

Fields

warnings :: [UserMessage]

result :: Either UserMessage a

Instances

Eq a => Eq (T a)

Show a => Show (T a)

type UserMessage = String