Sound.MIDI.Util

Types

data Beats

data TimeSig

data Seconds

data BPS

Reading/writing MIDI files

decodeFile

encodeFileBeats

minResolution

Tempos

readTempo

showTempo

makeTempo

applyTempo

unapplyTempo

applyTempoTrack

unapplyTempoTrack

data TempoMap

makeTempoMap

unmakeTempoMap

tempoMapFromBPS

tempoMapToBPS

applyTempoMap

unapplyTempoMap

Measures and time signatures

readSignature

readSignatureFull

showSignature

showSignatureFull

data MeasureMap

type MeasureBeats

data MeasureMode

measures

makeMeasureMap

unmakeMeasureMap

measureMapFromLengths

measureMapToLengths

measureMapFromTimeSigs

measureMapToTimeSigs

applyMeasureMap

unapplyMeasureMap

measureLengthToTimeSig

Track names

trackName

setTrackName

readTrackName

showTrackName

Misc. track operations

trackSplitZero

trackGlueZero

trackTakeZero

trackDropZero

trackJoin

trackSplit

trackTake

trackDrop

extractFirst