HCodecs-0.2.2: A library to read, write and manipulate MIDI, WAVE, and SoundFont2 files.

Portability	Portable
Stability	Experimental
Maintainer	George Giorgidze <http://cs.nott.ac.uk/~ggg/>

Codec.Midi

Description

Reading, writing and maniplating of standard MIDI files

Documentation

data Midi Source

Constructors

Midi
Fields fileType :: FileType timeDiv :: TimeDiv tracks :: [Track Ticks]

Instances

Eq Midi
Show Midi
Arbitrary Midi

data FileType Source

Constructors

SingleTrack
MultiTrack
MultiPattern

Instances

Eq FileType
Show FileType
Arbitrary FileType

type Track a = [(a, Message)]Source

data TimeDiv Source

Constructors

TicksPerBeat Int
TicksPerSecond Int Int

Instances

Eq TimeDiv
Show TimeDiv
Arbitrary TimeDiv

data Message Source

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
Show Message
Arbitrary Message

type Ticks = Int Source

type Time = Double Source

type Channel = Int Source

type Key = Int Source

type Velocity = Int Source

type Pressure = Int Source

type Preset = Int Source

type Bank = Int Source

type PitchWheel = Int Source

type Tempo = Int Source

isNoteOff :: Message -> Bool Source

isNoteOn :: Message -> Bool Source

isKeyPressure :: Message -> Bool Source

isControlChange :: Message -> Bool Source

isProgramChange :: Message -> Bool Source

isChannelPressure :: Message -> Bool Source

isPitchWheel :: Message -> Bool Source

isChannelMessage :: Message -> Bool Source

isMetaMessage :: Message -> Bool Source

isSysexMessage :: Message -> Bool Source

isTrackEnd :: Message -> Bool Source

removeTrackEnds :: Track a -> Track aSource

toSingleTrack :: Midi -> Midi Source

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

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

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

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

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

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

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

parseMidi :: Parser Midi Source

buildMidi :: Midi -> Builder Source

parseTrack :: Parser (Track Ticks)Source

buildTrack :: Track Ticks -> Builder Source

parseMessage :: Maybe Message -> Parser Message Source

buildMessage :: Message -> Builder Source