Safe Haskell	Safe-Inferred

Midi.Synth

Contents

analyze
compute
msgs
util
pretty

Description

Simulate a MIDI synth and turn low level MIDI msgs back into a medium level form. This is a bit like "unperform".

Synopsis

initial_pitches :: [Note] -> [(Int, Pitch.NoteNumber)]
nonconstant_pitches :: [Note] -> [Note]
initial_pitch :: Note -> Pitch.NoteNumber
round_cents :: Pitch.NoteNumber -> Pitch.NoteNumber
data State = State {
- state_pb_range :: !(Map MState.Addr PbRange)
- state_channel :: !MState.State
- state_active :: !(Map MState.Addr [SoundingNote])
- state_notes :: ![Note]
- state_warns :: ![(Midi.WriteMessage, Text)]
}
empty_state :: State
type PbRange = (Pitch.NoteNumber, Pitch.NoteNumber)
get_pb_range :: MState.Addr -> State -> PbRange
type SoundingNote = NoteT (Maybe RealTime.RealTime)
type Note = NoteT RealTime.RealTime
data NoteT end = Note {
- note_start :: RealTime.RealTime
- note_end :: end
- note_key :: Midi.Key
- note_vel :: Midi.Velocity
- note_pitch :: Pitch.NoteNumber
- note_pitches :: [(RealTime.RealTime, Pitch.NoteNumber)]
- note_controls :: ControlMap
- note_addr :: MState.Addr
}
type ControlMap = Map MState.Control [(RealTime.RealTime, Midi.ControlValue)]
type SynthM a = Reader.ReaderT Midi.WriteMessage (State.StateT State Identity) a
modify :: (State -> State) -> SynthM ()
run :: State -> [Midi.WriteMessage] -> State
postproc :: State -> State
run_msg :: Midi.WriteMessage -> SynthM ()
update_channel_state :: Midi.WriteMessage -> State -> State
normalize_msg :: Midi.ChannelMessage -> Midi.ChannelMessage
deactivate :: RealTime.RealTime -> State -> State
deactivate_time :: RealTime.RealTime
note_on :: MState.Addr -> RealTime.RealTime -> Midi.Key -> Midi.Velocity -> SynthM ()
make_note :: PbRange -> MState.Channel -> MState.Addr -> RealTime.RealTime -> Midi.Key -> Midi.Velocity -> SoundingNote
note_off :: MState.Addr -> RealTime.RealTime -> Midi.Key -> SynthM ()
key_sounding :: Midi.Key -> SoundingNote -> Bool
control :: MState.Addr -> RealTime.RealTime -> MState.Control -> Midi.ControlValue -> SynthM ()
pitch_bend :: MState.Addr -> RealTime.RealTime -> Midi.PitchBendValue -> SynthM ()
convert_pitch :: PbRange -> Midi.Key -> Midi.PitchBendValue -> Pitch.NoteNumber
modify_notes :: MState.Addr -> ([SoundingNote] -> [SoundingNote]) -> SynthM ()
warn :: Text -> SynthM ()
pretty_state :: State -> Text
pretty_controls :: ControlMap -> Text
pretty_warn :: (Midi.WriteMessage, Text) -> Text

analyze

initial_pitches :: [Note] -> [(Int, Pitch.NoteNumber)] Source #

nonconstant_pitches :: [Note] -> [Note] Source #

initial_pitch :: Note -> Pitch.NoteNumber Source #

round_cents :: Pitch.NoteNumber -> Pitch.NoteNumber Source #

compute

data State Source #

Constructors

State
Fields state_pb_range :: !(Map MState.Addr PbRange) state_channel :: !MState.State state_active :: !(Map MState.Addr [SoundingNote]) Notes still sounding. This retains notes for `deactivate_time` after their note-off to capture controls during the decay. state_notes :: ![Note] state_warns :: ![(Midi.WriteMessage, Text)]

Instances

Instances details

Show State Source #
Instance details Defined in Midi.Synth Methods showsPrec :: Int -> State -> ShowS # show :: State -> String # showList :: [State] -> ShowS #

empty_state :: State Source #

type PbRange = (Pitch.NoteNumber, Pitch.NoteNumber) Source #

(down, up)

get_pb_range :: MState.Addr -> State -> PbRange Source #

type SoundingNote = NoteT (Maybe RealTime.RealTime) Source #

SoundingNotes may still be open.

type Note = NoteT RealTime.RealTime Source #

data NoteT end Source #

Constructors

Note
Fields note_start :: RealTime.RealTime note_end :: end note_key :: Midi.Key note_vel :: Midi.Velocity note_pitch :: Pitch.NoteNumber note_pitches :: [(RealTime.RealTime, Pitch.NoteNumber)] note_controls :: ControlMap note_addr :: MState.Addr

Instances

Instances details

Show end => Show (NoteT end) Source #
Instance details Defined in Midi.Synth Methods showsPrec :: Int -> NoteT end -> ShowS # show :: NoteT end -> String # showList :: [NoteT end] -> ShowS #
Eq end => Eq (NoteT end) Source #
Instance details Defined in Midi.Synth Methods (==) :: NoteT end -> NoteT end -> Bool # (/=) :: NoteT end -> NoteT end -> Bool #
Pretty end => Pretty (NoteT end) Source #
Instance details Defined in Midi.Synth Methods pretty :: NoteT end -> Text Source # format :: NoteT end -> Doc Source # formatList :: [NoteT end] -> Doc Source #

type ControlMap = Map MState.Control [(RealTime.RealTime, Midi.ControlValue)] Source #

type SynthM a = Reader.ReaderT Midi.WriteMessage (State.StateT State Identity) a Source #

Keep the current msg for warn.

modify :: (State -> State) -> SynthM () Source #

run :: State -> [Midi.WriteMessage] -> State Source #

postproc :: State -> State Source #

run_msg :: Midi.WriteMessage -> SynthM () Source #

update_channel_state :: Midi.WriteMessage -> State -> State Source #

normalize_msg :: Midi.ChannelMessage -> Midi.ChannelMessage Source #

deactivate :: RealTime.RealTime -> State -> State Source #

After notes have had a note-off time for a certain amount of time, move them from state_active to state_notes. The certain amount of time should be the note's decay time, but since I don't really know that, just pick an arbitrary constant.

deactivate_time :: RealTime.RealTime Source #