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

Show a => Show (T a)

Defined in Sound.MIDI.Parser.Report

Methods

showsPrec :: Int -> T a -> ShowS

show :: T a -> String

showList :: [T a] -> ShowS

Eq a => Eq (T a)

Defined in Sound.MIDI.Parser.Report

Methods

(==) :: T a -> T a -> Bool

(/=) :: T a -> T a -> Bool

type UserMessage = String