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

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 #
Show T Source #
Instance details Defined in Sound.MIDI.Message.Channel Methods showsPrec :: Int -> T -> ShowS # show :: T -> String # showList :: [T] -> ShowS #
Arbitrary T Source #
Instance details Defined in Sound.MIDI.Message.Channel Methods arbitrary :: Gen T # shrink :: T -> [T] #
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 #
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.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 #

data Body Source #

Constructors

Voice T
Mode T

Instances

Instances details

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 #
Show Body Source #
Instance details Defined in Sound.MIDI.Message.Channel Methods showsPrec :: Int -> Body -> ShowS # show :: Body -> String # showList :: [Body] -> ShowS #

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

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] #
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 #
Show Channel Source #
Instance details Defined in Sound.MIDI.Parser.Status Methods showsPrec :: Int -> Channel -> ShowS # show :: Channel -> String # showList :: [Channel] -> ShowS #
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 #
Arbitrary Channel Source #
Instance details Defined in Sound.MIDI.Parser.Status Methods arbitrary :: Gen Channel # shrink :: Channel -> [Channel] #

fromChannel :: Channel -> Int Source #

toChannel :: Int -> Channel Source #

data Pitch Source #

Instances

Instances details

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] #
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 #
Show Pitch Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods showsPrec :: Int -> Pitch -> ShowS # show :: Pitch -> String # showList :: [Pitch] -> ShowS #
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 #
Arbitrary Pitch Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods arbitrary :: Gen Pitch # shrink :: 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

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 #
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 #
Show Velocity Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods showsPrec :: Int -> Velocity -> ShowS # show :: Velocity -> String # showList :: [Velocity] -> ShowS #
Arbitrary Velocity Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods arbitrary :: Gen Velocity # shrink :: 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

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] #
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 #
Show Program Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods showsPrec :: Int -> Program -> ShowS # show :: Program -> String # showList :: [Program] -> ShowS #
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 #
Arbitrary Program Source #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods arbitrary :: Gen Program # shrink :: 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

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] #
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 #
Show Controller Source #
Instance details Defined in Sound.MIDI.ControllerPrivate Methods showsPrec :: Int -> Controller -> ShowS # show :: Controller -> String # showList :: [Controller] -> ShowS #
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 #
Arbitrary Controller Source #
Instance details Defined in Sound.MIDI.ControllerPrivate Methods arbitrary :: Gen Controller # shrink :: 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