Safe Haskell	Safe-Inferred
Language	Haskell2010

Sound.MIDI.Message.Channel

Description

Channel messages

Synopsis

data T = Cons {
- messageChannel :: Channel
- messageBody :: Body
}
data Body
- = Voice T
- | Mode T
get :: C parser => Int -> Channel -> Int -> Fragile parser T
getWithStatus :: C parser => Int -> Fragile (T parser) T
put :: C writer => T -> writer
putWithStatus :: (Compression compress, C writer) => T -> T compress writer
data Channel
fromChannel :: Channel -> Int
toChannel :: Int -> Channel
data Pitch
fromPitch :: Pitch -> Int
toPitch :: Int -> Pitch
data Velocity
fromVelocity :: Velocity -> Int
toVelocity :: Int -> Velocity
data Program
fromProgram :: Program -> Int
toProgram :: Int -> Program
data Controller
fromController :: Controller -> Int
toController :: Int -> Controller
decodeStatus :: Int -> (Int, Channel)

Documentation

data T Source #

Constructors

Cons
Fields messageChannel :: Channel messageBody :: Body

Instances

Instances details

Arbitrary T Source #
Instance details Defined in Sound.MIDI.Message.Channel Methods arbitrary :: Gen T # shrink :: T -> [T] #
Show T Source #
Instance details Defined in Sound.MIDI.Message.Channel Methods showsPrec :: Int -> T -> ShowS # show :: T -> String # showList :: [T] -> ShowS #
Eq T Source #
Instance details Defined in Sound.MIDI.Message.Channel Methods (==) :: T -> T -> Bool # (/=) :: T -> T -> Bool #
Ord T Source #
Instance details Defined in Sound.MIDI.Message.Channel Methods compare :: T -> T -> Ordering # (<) :: T -> T -> Bool # (<=) :: T -> T -> Bool # (>) :: T -> T -> Bool # (>=) :: T -> T -> Bool # max :: T -> T -> T # min :: T -> T -> T #
C T Source #
Instance details Defined in Sound.MIDI.Message.Class.Check Methods note :: Channel -> T -> Maybe (Velocity, Pitch, Bool) Source # program :: Channel -> T -> Maybe Program Source # anyController :: Channel -> T -> Maybe (Controller, Int) Source # pitchBend :: Channel -> T -> Maybe Int Source # channelPressure :: Channel -> T -> Maybe Int Source # mode :: Channel -> T -> Maybe T0 Source #
C T Source #
Instance details Defined in Sound.MIDI.Message.Class.Construct Methods note :: Channel -> (Velocity, Pitch, Bool) -> T Source # program :: Channel -> Program -> T Source # anyController :: Channel -> (Controller, Int) -> T Source # pitchBend :: Channel -> Int -> T Source # channelPressure :: Channel -> Int -> T Source # mode :: Channel -> T0 -> T Source #
C T Source #
Instance details Defined in Sound.MIDI.Message.Class.Query Methods note :: T -> Maybe (Channel, (Velocity, Pitch, Bool)) Source # program :: T -> Maybe (Channel, Program) Source # anyController :: T -> Maybe (Channel, (Controller, Int)) Source # pitchBend :: T -> Maybe (Channel, Int) Source # channelPressure :: T -> Maybe (Channel, Int) Source # mode :: T -> Maybe (Channel, T0) Source #

data Body Source #

Constructors

Voice T
Mode T

Instances

Instances details

Show Body Source #
Instance details Defined in Sound.MIDI.Message.Channel Methods showsPrec :: Int -> Body -> ShowS # show :: Body -> String # showList :: [Body] -> ShowS #
Eq Body Source #
Instance details Defined in Sound.MIDI.Message.Channel Methods (==) :: Body -> Body -> Bool # (/=) :: Body -> Body -> Bool #
Ord Body Source #
Instance details Defined in Sound.MIDI.Message.Channel Methods compare :: Body -> Body -> Ordering # (<) :: Body -> Body -> Bool # (<=) :: Body -> Body -> Bool # (>) :: Body -> Body -> Bool # (>=) :: Body -> Body -> Bool # max :: Body -> Body -> Body # min :: Body -> Body -> Body #

get :: C parser => Int -> Channel -> Int -> Fragile parser T Source #

Parse a MIDI Channel message. Note that since getting the first byte is a little complex (there are issues with running status), the code, channel and first data byte must be determined by the caller.

getWithStatus :: C parser => Int -> Fragile (T parser) T Source #

Parse an event. Note that in the case of a regular MIDI Event, the tag is the status, and we read the first byte of data before we call get. In the case of a MIDIEvent with running status, we find out the status from the parser (it's been nice enough to keep track of it for us), and the tag that we've already gotten is the first byte of data.

put :: C writer => T -> writer Source #

putWithStatus :: (Compression compress, C writer) => T -> T compress writer Source #

data Channel Source #

This definition should be in Message.Channel, but this results in a cyclic import.

Instances

Instances details

Arbitrary Channel Source #
Instance details Defined in Sound.MIDI.Parser.Status Methods arbitrary :: Gen Channel # shrink :: Channel -> [Channel] #
Bounded Channel Source #
Instance details Defined in Sound.MIDI.Parser.Status Methods minBound :: Channel # maxBound :: Channel #
Enum Channel Source #
Instance details Defined in Sound.MIDI.Parser.Status Methods succ :: Channel -> Channel # pred :: Channel -> Channel # toEnum :: Int -> Channel # fromEnum :: Channel -> Int # enumFrom :: Channel -> [Channel] # enumFromThen :: Channel -> Channel -> [Channel] # enumFromTo :: Channel -> Channel -> [Channel] # enumFromThenTo :: Channel -> Channel -> Channel -> [Channel] #
Ix Channel Source #
Instance details Defined in Sound.MIDI.Parser.Status Methods range :: (Channel, Channel) -> [Channel] # index :: (Channel, Channel) -> Channel -> Int # unsafeIndex :: (Channel, Channel) -> Channel -> Int # inRange :: (Channel, Channel) -> Channel -> Bool # rangeSize :: (Channel, Channel) -> Int # unsafeRangeSize :: (Channel, Channel) -> Int #
Show Channel Source #
Instance details Defined in Sound.MIDI.Parser.Status Methods showsPrec :: Int -> Channel -> ShowS # show :: Channel -> String # showList :: [Channel] -> ShowS #
Eq Channel Source #
Instance details Defined in Sound.MIDI.Parser.Status Methods (==) :: Channel -> Channel -> Bool # (/=) :: Channel -> Channel -> Bool #
Ord Channel Source #
Instance details Defined in Sound.MIDI.Parser.Status Methods compare :: Channel -> Channel -> Ordering # (<) :: Channel -> Channel -> Bool # (<=) :: Channel -> Channel -> Bool # (>) :: Channel -> Channel -> Bool # (>=) :: Channel -> Channel -> Bool # max :: Channel -> Channel -> Channel # min :: Channel -> Channel -> Channel #

fromChannel :: Channel -> Int Source #

toChannel :: Int -> Channel Source #

data Pitch Source #

Instances

Instances details

Arbitrary Pitch Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods arbitrary :: Gen Pitch # shrink :: Pitch -> [Pitch] #
Bounded Pitch Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods minBound :: Pitch # maxBound :: Pitch #
Enum Pitch Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods succ :: Pitch -> Pitch # pred :: Pitch -> Pitch # toEnum :: Int -> Pitch # fromEnum :: Pitch -> Int # enumFrom :: Pitch -> [Pitch] # enumFromThen :: Pitch -> Pitch -> [Pitch] # enumFromTo :: Pitch -> Pitch -> [Pitch] # enumFromThenTo :: Pitch -> Pitch -> Pitch -> [Pitch] #
Ix Pitch Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods range :: (Pitch, Pitch) -> [Pitch] # index :: (Pitch, Pitch) -> Pitch -> Int # unsafeIndex :: (Pitch, Pitch) -> Pitch -> Int # inRange :: (Pitch, Pitch) -> Pitch -> Bool # rangeSize :: (Pitch, Pitch) -> Int # unsafeRangeSize :: (Pitch, Pitch) -> Int #
Show Pitch Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods showsPrec :: Int -> Pitch -> ShowS # show :: Pitch -> String # showList :: [Pitch] -> ShowS #
Eq Pitch Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods (==) :: Pitch -> Pitch -> Bool # (/=) :: Pitch -> Pitch -> Bool #
Ord Pitch Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods compare :: Pitch -> Pitch -> Ordering # (<) :: Pitch -> Pitch -> Bool # (<=) :: Pitch -> Pitch -> Bool # (>) :: Pitch -> Pitch -> Bool # (>=) :: Pitch -> Pitch -> Bool # max :: Pitch -> Pitch -> Pitch # min :: Pitch -> Pitch -> Pitch #
Random Pitch Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods randomR :: RandomGen g => (Pitch, Pitch) -> g -> (Pitch, g) # random :: RandomGen g => g -> (Pitch, g) # randomRs :: RandomGen g => (Pitch, Pitch) -> g -> [Pitch] # randoms :: RandomGen g => g -> [Pitch] #

fromPitch :: Pitch -> Int Source #

toPitch :: Int -> Pitch Source #

data Velocity Source #

Instances

Instances details

Arbitrary Velocity Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods arbitrary :: Gen Velocity # shrink :: Velocity -> [Velocity] #
Bounded Velocity Source #	ToDo: We have defined minBound = Velocity 0, but strictly spoken the minimum Velocity is 1, since Velocity zero means NoteOff. One can at least think of NoteOff with (Velocity 0), but I have never seen that.
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods minBound :: Velocity # maxBound :: Velocity #
Show Velocity Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods showsPrec :: Int -> Velocity -> ShowS # show :: Velocity -> String # showList :: [Velocity] -> ShowS #
Eq Velocity Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods (==) :: Velocity -> Velocity -> Bool # (/=) :: Velocity -> Velocity -> Bool #
Ord Velocity Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods compare :: Velocity -> Velocity -> Ordering # (<) :: Velocity -> Velocity -> Bool # (<=) :: Velocity -> Velocity -> Bool # (>) :: Velocity -> Velocity -> Bool # (>=) :: Velocity -> Velocity -> Bool # max :: Velocity -> Velocity -> Velocity # min :: Velocity -> Velocity -> Velocity #
Random Velocity Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods randomR :: RandomGen g => (Velocity, Velocity) -> g -> (Velocity, g) # random :: RandomGen g => g -> (Velocity, g) # randomRs :: RandomGen g => (Velocity, Velocity) -> g -> [Velocity] # randoms :: RandomGen g => g -> [Velocity] #

fromVelocity :: Velocity -> Int Source #

toVelocity :: Int -> Velocity Source #

data Program Source #

Instances

Instances details

Arbitrary Program Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods arbitrary :: Gen Program # shrink :: Program -> [Program] #
Bounded Program Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods minBound :: Program # maxBound :: Program #
Enum Program Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods succ :: Program -> Program # pred :: Program -> Program # toEnum :: Int -> Program # fromEnum :: Program -> Int # enumFrom :: Program -> [Program] # enumFromThen :: Program -> Program -> [Program] # enumFromTo :: Program -> Program -> [Program] # enumFromThenTo :: Program -> Program -> Program -> [Program] #
Ix Program Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods range :: (Program, Program) -> [Program] # index :: (Program, Program) -> Program -> Int # unsafeIndex :: (Program, Program) -> Program -> Int # inRange :: (Program, Program) -> Program -> Bool # rangeSize :: (Program, Program) -> Int # unsafeRangeSize :: (Program, Program) -> Int #
Show Program Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods showsPrec :: Int -> Program -> ShowS # show :: Program -> String # showList :: [Program] -> ShowS #
Eq Program Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods (==) :: Program -> Program -> Bool # (/=) :: Program -> Program -> Bool #
Ord Program Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods compare :: Program -> Program -> Ordering # (<) :: Program -> Program -> Bool # (<=) :: Program -> Program -> Bool # (>) :: Program -> Program -> Bool # (>=) :: Program -> Program -> Bool # max :: Program -> Program -> Program # min :: Program -> Program -> Program #
Random Program Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods randomR :: RandomGen g => (Program, Program) -> g -> (Program, g) # random :: RandomGen g => g -> (Program, g) # randomRs :: RandomGen g => (Program, Program) -> g -> [Program] # randoms :: RandomGen g => g -> [Program] #

fromProgram :: Program -> Int Source #

toProgram :: Int -> Program Source #

data Controller Source #

We do not define Controller as enumeration with many constructors, because some controllers have multiple names and some are undefined. It is also more efficient this way. Thus you cannot use case for processing controller types, but you can use lookup instead.

maybe (putStrLn "unsupported controller") putStrLn $
lookup ctrl $
   (portamento, "portamento") :
   (modulation, "modulation") :
   []

Instances

Instances details

Arbitrary Controller Source #
Instance details Defined in Sound.MIDI.ControllerPrivate Methods arbitrary :: Gen Controller # shrink :: Controller -> [Controller] #
Bounded Controller Source #
Instance details Defined in Sound.MIDI.ControllerPrivate Methods minBound :: Controller # maxBound :: Controller #
Enum Controller Source #
Instance details Defined in Sound.MIDI.ControllerPrivate Methods succ :: Controller -> Controller # pred :: Controller -> Controller # toEnum :: Int -> Controller # fromEnum :: Controller -> Int # enumFrom :: Controller -> [Controller] # enumFromThen :: Controller -> Controller -> [Controller] # enumFromTo :: Controller -> Controller -> [Controller] # enumFromThenTo :: Controller -> Controller -> Controller -> [Controller] #
Ix Controller Source #
Instance details Defined in Sound.MIDI.ControllerPrivate Methods range :: (Controller, Controller) -> [Controller] # index :: (Controller, Controller) -> Controller -> Int # unsafeIndex :: (Controller, Controller) -> Controller -> Int # inRange :: (Controller, Controller) -> Controller -> Bool # rangeSize :: (Controller, Controller) -> Int # unsafeRangeSize :: (Controller, Controller) -> Int #
Show Controller Source #
Instance details Defined in Sound.MIDI.ControllerPrivate Methods showsPrec :: Int -> Controller -> ShowS # show :: Controller -> String # showList :: [Controller] -> ShowS #
Eq Controller Source #
Instance details Defined in Sound.MIDI.ControllerPrivate Methods (==) :: Controller -> Controller -> Bool # (/=) :: Controller -> Controller -> Bool #
Ord Controller Source #
Instance details Defined in Sound.MIDI.ControllerPrivate Methods compare :: Controller -> Controller -> Ordering # (<) :: Controller -> Controller -> Bool # (<=) :: Controller -> Controller -> Bool # (>) :: Controller -> Controller -> Bool # (>=) :: Controller -> Controller -> Bool # max :: Controller -> Controller -> Controller # min :: Controller -> Controller -> Controller #
Random Controller Source #
Instance details Defined in Sound.MIDI.ControllerPrivate Methods randomR :: RandomGen g => (Controller, Controller) -> g -> (Controller, g) # random :: RandomGen g => g -> (Controller, g) # randomRs :: RandomGen g => (Controller, Controller) -> g -> [Controller] # randoms :: RandomGen g => g -> [Controller] #

fromController :: Controller -> Int Source #

toController :: Int -> Controller Source #

decodeStatus :: Int -> (Int, Channel) Source #

for internal use