Codec.Midi

Reading, writing and maniplating of standard MIDI files

Documentation

data Midi

Constructors

Midi

Fields

• fileType :: FileType
• timeDiv :: TimeDiv
• tracks :: [Track Ticks]

Instances

Eq Midi

Defined in Codec.Midi

Methods

(==) :: Midi -> Midi -> Bool

(/=) :: Midi -> Midi -> Bool

Show Midi

Defined in Codec.Midi

Methods

showsPrec :: Int -> Midi -> ShowS

show :: Midi -> String

showList :: [Midi] -> ShowS

Arbitrary Midi

Defined in Codec.Midi

Methods

arbitrary :: Gen Midi

shrink :: Midi -> [Midi]

data FileType

Constructors

SingleTrack

MultiTrack

MultiPattern

Instances

Eq FileType

Defined in Codec.Midi

Methods

(==) :: FileType -> FileType -> Bool

(/=) :: FileType -> FileType -> Bool

Show FileType

Defined in Codec.Midi

Methods

showsPrec :: Int -> FileType -> ShowS

show :: FileType -> String

showList :: [FileType] -> ShowS

Arbitrary FileType

Defined in Codec.Midi

Methods

arbitrary :: Gen FileType

shrink :: FileType -> [FileType]

type Track a = [(a, Message)]

data TimeDiv

Constructors

TicksPerBeat Int

TicksPerSecond Int Int

Instances

Eq TimeDiv

Defined in Codec.Midi

Methods

(==) :: TimeDiv -> TimeDiv -> Bool

(/=) :: TimeDiv -> TimeDiv -> Bool

Show TimeDiv

Defined in Codec.Midi

Methods

showsPrec :: Int -> TimeDiv -> ShowS

show :: TimeDiv -> String

showList :: [TimeDiv] -> ShowS

Arbitrary TimeDiv

Defined in Codec.Midi

Methods

arbitrary :: Gen TimeDiv

shrink :: TimeDiv -> [TimeDiv]

data Message

Constructors

NoteOff

Fields

• channel :: !Channel
• key :: !Key
• velocity :: !Velocity

NoteOn

Fields

• channel :: !Channel
• key :: !Key
• velocity :: !Velocity

KeyPressure

Fields

• channel :: !Channel
• key :: !Key
• pressure :: !Pressure

ControlChange

Fields

• channel :: !Channel
• controllerNumber :: !Int
• controllerValue :: !Int

ProgramChange

Fields

• channel :: !Channel
• preset :: !Preset

ChannelPressure

Fields

• channel :: !Channel
• pressure :: !Pressure

PitchWheel

Fields

• channel :: !Channel
• pitchWheel :: !PitchWheel

SequenceNumber !Int

Text !String

Copyright !String

TrackName !String

InstrumentName !String

Lyrics !String

Marker !String

CuePoint !String

ChannelPrefix !Channel

ProgramName !String

DeviceName !String

TrackEnd

TempoChange !Tempo

SMPTEOffset !Int !Int !Int !Int !Int

TimeSignature !Int !Int !Int !Int

KeySignature !Int !Int

Reserved !Int !ByteString

Sysex !Int !ByteString

Instances

Eq Message

Defined in Codec.Midi

Methods

(==) :: Message -> Message -> Bool

(/=) :: Message -> Message -> Bool

Show Message

Defined in Codec.Midi

Methods

showsPrec :: Int -> Message -> ShowS

show :: Message -> String

showList :: [Message] -> ShowS

Arbitrary Message

Defined in Codec.Midi

Methods

arbitrary :: Gen Message

shrink :: Message -> [Message]

type Ticks = Int

type Time = Double

type Channel = Int

type Key = Int

type Velocity = Int

type Pressure = Int

type Preset = Int

type Bank = Int

type PitchWheel = Int

type Tempo = Int

isNoteOff :: Message -> Bool

isNoteOn :: Message -> Bool

isKeyPressure :: Message -> Bool

isControlChange :: Message -> Bool

isProgramChange :: Message -> Bool

isChannelPressure :: Message -> Bool

isPitchWheel :: Message -> Bool

isChannelMessage :: Message -> Bool

isMetaMessage :: Message -> Bool

isSysexMessage :: Message -> Bool

isTrackEnd :: Message -> Bool

removeTrackEnds :: Track a -> Track a

toSingleTrack :: Midi -> Midi

merge :: (Num a, Ord a) => Track a -> Track a -> Track a

fromAbsTime :: Num a => Track a -> Track a

toAbsTime :: Num a => Track a -> Track a

toRealTime :: TimeDiv -> Track Ticks -> Track Time

fromRealTime :: TimeDiv -> Track Time -> Track Ticks

importFile :: FilePath -> IO (Either String Midi)

exportFile :: FilePath -> Midi -> IO ()

parseMidi :: Parser Midi

buildMidi :: Midi -> Builder

parseTrack :: Parser (Track Ticks)

buildTrack :: Track Ticks -> Builder

parseMessage :: Maybe Message -> Parser Message

buildMessage :: Message -> Builder