ZMidi.Core.ReadFile

A top down (Parsec style) MIDI file parser.

For valid input, the parser should parse without error (i.e all cases of event types are fully enumerated). Malformed input (syntactically bad events, or truncated data) will cause fatal parse errors.

Read a MIDI file

readMidi :: FilePath -> IO (Either ParseErr MidiFile)

Read a well formed MIDI file.

Auxiallary types

data ParseErr

ParseErr is the position of the error and a message.

Constructors

ParseErr !Pos !ErrMsg

Instances

Eq ParseErr

Show ParseErr

type Pos = Int

Position of the parser in the input stream.

This is exposed by the ReadFile API and may be useful for disassembling a MIDI file that causes a parse failure.

type ErrMsg = String

Error message - alias for String.