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.

Note - the parser returns a literal result if the input uses Running Status, i.e, - the answer matches the input - where running status uses a NoteOn event with velocity 0 to stand for a NoteOff, the parser likewise returns a Note-On. Use the ZMidi.Core.Canonical to translate the input to canonical form where note-offs are encoded directly with NoteOff.

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.