Sound.MIDI.Util

Types

data Beats

data Seconds

data BPS

Reading/writing MIDI files

decodeFile

encodeFileBeats

minResolution

Tempos

readTempo

showTempo

makeTempo

applyTempo

unapplyTempo

applyTempoTrack

unapplyTempoTrack

data TempoMap

makeTempoMap

applyTempoMap

unapplyTempoMap

Measures and time signatures

readSignature

showSignature

data MeasureMap

type MeasureBeats

data MeasureMode

measures

makeMeasureMap

applyMeasureMap

unapplyMeasureMap

Track names

trackName

setTrackName

readTrackName

showTrackName

Misc. track operations

trackSplitZero

trackGlueZero

trackTakeZero

trackDropZero

trackJoin

trackSplit

trackTake

trackDrop

extractFirst