Sound.MIDI

Encoding

encodeMidi

encodeMidi'

encodeMidi1

encodeMidi1'

Decoding

decodeMidi

decodeMidi1

partitionRealtime

Parser and Serializer

midiParser

midiSerializer

Re-exports