Safe Haskell	Safe
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 #

Constructors

Cons
Fields messageChannel :: Channel messageBody :: Body

Instances

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

data Body #

Constructors

Voice T
Mode T

Instances

Eq Body #
Instance details Defined in Sound.MIDI.Message.Channel Methods (==) :: Body -> Body -> Bool # (/=) :: Body -> Body -> Bool #
Ord Body #
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 #
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 #

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 #

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 #

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

data Channel #

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

Instances

Bounded Channel #
Instance details Defined in Sound.MIDI.Parser.Status Methods minBound :: Channel # maxBound :: Channel #
Enum Channel #
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 #
Instance details Defined in Sound.MIDI.Parser.Status Methods (==) :: Channel -> Channel -> Bool # (/=) :: Channel -> Channel -> Bool #
Ord Channel #
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 #
Instance details Defined in Sound.MIDI.Parser.Status Methods showsPrec :: Int -> Channel -> ShowS # show :: Channel -> String # showList :: [Channel] -> ShowS #
Ix Channel #
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 #
Instance details Defined in Sound.MIDI.Parser.Status Methods arbitrary :: Gen Channel # shrink :: Channel -> [Channel] #

fromChannel :: Channel -> Int #

toChannel :: Int -> Channel #

data Pitch #

Instances

Bounded Pitch #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods minBound :: Pitch # maxBound :: Pitch #
Enum Pitch #
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 #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods (==) :: Pitch -> Pitch -> Bool # (/=) :: Pitch -> Pitch -> Bool #
Ord Pitch #
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 #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods showsPrec :: Int -> Pitch -> ShowS # show :: Pitch -> String # showList :: [Pitch] -> ShowS #
Ix Pitch #
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 #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods arbitrary :: Gen Pitch # shrink :: Pitch -> [Pitch] #
Random Pitch #
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] # randomRIO :: (Pitch, Pitch) -> IO Pitch # randomIO :: IO Pitch #

fromPitch :: Pitch -> Int #

toPitch :: Int -> Pitch #

data Velocity #

Instances

Bounded Velocity #	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 #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods (==) :: Velocity -> Velocity -> Bool # (/=) :: Velocity -> Velocity -> Bool #
Ord Velocity #
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 #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods showsPrec :: Int -> Velocity -> ShowS # show :: Velocity -> String # showList :: [Velocity] -> ShowS #
Arbitrary Velocity #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods arbitrary :: Gen Velocity # shrink :: Velocity -> [Velocity] #
Random Velocity #
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] # randomRIO :: (Velocity, Velocity) -> IO Velocity # randomIO :: IO Velocity #

fromVelocity :: Velocity -> Int #

toVelocity :: Int -> Velocity #

data Program #

Instances

Bounded Program #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods minBound :: Program # maxBound :: Program #
Enum Program #
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 #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods (==) :: Program -> Program -> Bool # (/=) :: Program -> Program -> Bool #
Ord Program #
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 #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods showsPrec :: Int -> Program -> ShowS # show :: Program -> String # showList :: [Program] -> ShowS #
Ix Program #
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 #
Instance details Defined in Sound.MIDI.Message.Channel.Voice Methods arbitrary :: Gen Program # shrink :: Program -> [Program] #
Random Program #
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] # randomRIO :: (Program, Program) -> IO Program # randomIO :: IO Program #

fromProgram :: Program -> Int #

toProgram :: Int -> Program #

data Controller #

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

Bounded Controller #
Instance details Defined in Sound.MIDI.ControllerPrivate Methods minBound :: Controller # maxBound :: Controller #
Enum Controller #
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 #
Instance details Defined in Sound.MIDI.ControllerPrivate Methods (==) :: Controller -> Controller -> Bool # (/=) :: Controller -> Controller -> Bool #
Ord Controller #
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 #
Instance details Defined in Sound.MIDI.ControllerPrivate Methods showsPrec :: Int -> Controller -> ShowS # show :: Controller -> String # showList :: [Controller] -> ShowS #
Ix Controller #
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 #
Instance details Defined in Sound.MIDI.ControllerPrivate Methods arbitrary :: Gen Controller # shrink :: Controller -> [Controller] #
Random Controller #
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] # randomRIO :: (Controller, Controller) -> IO Controller # randomIO :: IO Controller #

fromController :: Controller -> Int #

toController :: Int -> Controller #

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

for internal use