Sound.SC3.Lang.Control.Midi

For a single input controller, key events always arrive in sequence (ie. on->off), ie. for any key on message can allocate an ID and associate it with the key, an off message can retrieve the ID given the key.

Documentation

data Midi_Message a

http://www.midi.org/techspecs/midimessages.php

Constructors

Chanel_Aftertouch a a

Control_Change a a a

Note_On a a a

Note_Off a a a

Polyphic_Key_Pressure a a a

Program_Change a a

Pitch_Bend a a

Unknown [a]

Instances

Eq a => Eq (Midi_Message a)

Show a => Show (Midi_Message a)

data Control_Message a

Control_Change midi messages have, in some cases, commonly defined meanings.

Constructors

All_Notes_Off a

All_Sound_Off a

Balance a a

Bank_Select a a

Breath_Controller a a

Expression_Controller a a

Foot_Controller a a

Local_Control a a

Modulation_Wheel a a

Mono_Mode_On a a

Omni_Mode_Off a

Omni_Mode_On a

Pan a a

Poly_Mode_On a

Portamento_On_Off a a

Portamento_Time a a

Reset_All_Controllers a a

Soft_Pedal_On_Off a a

Sostenuto_On_Off a a

Sustain_On_Off a a

Undefined

Instances

Eq a => Eq (Control_Message a)

Show a => Show (Control_Message a)

control_message :: (Eq a, Num a) => (a, a, a) -> Control_Message a

Control_Change midi messages may, in some cases, have commonly defined meanings.

 control_message (0,123,0) == All_Notes_Off 0

b_join :: Bits a => a -> a -> a

Join two 7-bit values into a 14-bit value.

 map (uncurry b_join) [(0,0),(0,64),(127,127)] == [0,8192,16383]

b_sep :: (Num t, Bits t) => t -> (t, t)

Inverse of b_join.

 map b_sep [0,8192,16383] == [(0,0),(0,64),(127,127)]

parse_b :: Integral n => Message -> [n]

Parse midi-osc midi message.

parse_c :: Integral n => Message -> [n]

Variant of parse_b that give status byte as low and high.

parse_m :: (Bits n, Integral n) => Message -> Midi_Message n

Variant of parse_c that constructs a Midi_Message.

type Node_Id = Int

SC3 node identifiers are integers.

data K a

Map of allocated Node_Ids.

Constructors

K (Map (a, a) Node_Id) Node_Id

type KT = StateT (K Int) IO

StateT of K specialised to Int.

k_init :: Node_Id -> K a

Initialise K with starting Node_Id.

k_alloc :: (Int, Int) -> KT Node_Id

K Node_Id allocator.

k_get :: (Int, Int) -> KT Node_Id

K Node_Id retrieval.

type Midi_Receiver m n = Midi_Message n -> Int -> m ()

The Midi_Receiver is passed a Midi_Message and a Node_Id. For Note_On and Note_Off messages the Node_Id is positive, for all other message it is -1.

midi_act :: Midi_Receiver IO Int -> Message -> StateT (K Int) IO ()

Parse incoming midi messages, do K allocation, and run Midi_Receiver.

start_midi :: (UDP -> Midi_Receiver IO Int) -> IO ()

Run midi system, handles AsyncExceptions.