Module

Data.Midi.Instrument

Package
purescript-midi
Repository
newlandsvalley/purescript-midi

#instrumentNames Source

instrumentNames :: List InstrumentName

the set of supported instruments

#gleitzmanName Source

gleitzmanName :: InstrumentName -> String

convert a MIDI instrument name to a Gleitxman string for example ElectricPiano1 -> electric_piano_1

#gleitzmanNames Source

gleitzmanNames :: List String

the set of supported instruments, using the Gleitzman names

#readGleitzman Source

readGleitzman :: String -> Maybe InstrumentName

read a Gleitzman instrument name amd attempt to convert to a MIDI instrument.