Sound.MIDI.Message.Class.Check

Documentation

class C event where

All methods have default implementations that return Nothing. This helps implementing event data types that support only a subset of types of events.

Maybe a better approach is to provide type classes for every type of event and make C a subclass of all of them.

Minimal complete definition

Nothing

Methods

note :: Channel -> event -> Maybe (Velocity, Pitch, Bool)

Warning: This returns note events as they are, that is, a NoteOff p 64 might be encoded as such or as NoteOn p 0 depending on the content of event. For normalized results you may use noteExplicitOff.

program :: Channel -> event -> Maybe Program

anyController :: Channel -> event -> Maybe (Controller, Int)

pitchBend :: Channel -> event -> Maybe Int

channelPressure :: Channel -> event -> Maybe Int

mode :: Channel -> event -> Maybe T

Instances

C T

Defined in Sound.MIDI.Message.Class.Check

Methods

note :: Channel -> T -> Maybe (Velocity, Pitch, Bool)

program :: Channel -> T -> Maybe Program

anyController :: Channel -> T -> Maybe (Controller, Int)

pitchBend :: Channel -> T -> Maybe Int

channelPressure :: Channel -> T -> Maybe Int

mode :: Channel -> T -> Maybe T0

C T

Defined in Sound.MIDI.Message.Class.Check

Methods

note :: Channel -> T -> Maybe (Velocity, Pitch, Bool)

program :: Channel -> T -> Maybe Program

anyController :: Channel -> T -> Maybe (Controller, Int)

pitchBend :: Channel -> T -> Maybe Int

channelPressure :: Channel -> T -> Maybe Int

mode :: Channel -> T -> Maybe T0

C T

Defined in Sound.MIDI.Message.Class.Check

Methods

note :: Channel -> T -> Maybe (Velocity, Pitch, Bool)

program :: Channel -> T -> Maybe Program

anyController :: Channel -> T -> Maybe (Controller, Int)

pitchBend :: Channel -> T -> Maybe Int

channelPressure :: Channel -> T -> Maybe Int

mode :: Channel -> T -> Maybe T0

noteExplicitOff :: C event => Channel -> event -> Maybe (Velocity, Pitch, Bool)

Like note, but converts NoteOn p 0 to NoteOff p 64. See explicitNoteOff.

noteImplicitOff :: C event => Channel -> event -> Maybe (Velocity, Pitch, Bool)

Like note, but converts NoteOff p 64 to NoteOn p 0. See implicitNoteOff.

controller :: C event => Channel -> Controller -> event -> Maybe Int

liftMidi :: (Channel -> T -> Maybe a) -> Channel -> T -> Maybe a

liftFile :: (Channel -> T -> Maybe a) -> Channel -> T -> Maybe a