Safe Haskell	Safe-Inferred
Language	Haskell2010

Sound.MIDI.Message.Channel.Voice

Description

Channel voice messages

Synopsis

data T
- = NoteOff Pitch Velocity
- | NoteOn Pitch Velocity
- | PolyAftertouch Pitch Pressure
- | ProgramChange Program
- | Control T ControllerValue
- | PitchBend PitchBendRange
- | MonoAftertouch Pressure
get :: C parser => Int -> Int -> Fragile parser T
putWithStatus :: C writer => (Int -> T compress writer) -> T -> T compress writer
type ControllerValue = Value
type PitchBendRange = Int
type Pressure = Int
isNote :: T -> Bool
isNoteOn :: T -> Bool
isNoteOff :: T -> Bool
zeroKey :: Pitch
explicitNoteOff :: T -> T
implicitNoteOff :: T -> T
realFromControllerValue :: (Integral a, Fractional b) => a -> b
bankSelect :: T
modulation :: T
breathControl :: T
footControl :: T
portamentoTime :: T
dataEntry :: T
mainVolume :: T
balance :: T
panorama :: T
expression :: T
generalPurpose1 :: T
generalPurpose2 :: T
generalPurpose3 :: T
generalPurpose4 :: T
vectorX :: T
vectorY :: T
bankSelectMSB :: T
modulationMSB :: T
breathControlMSB :: T
footControlMSB :: T
portamentoTimeMSB :: T
dataEntryMSB :: T
mainVolumeMSB :: T
balanceMSB :: T
panoramaMSB :: T
expressionMSB :: T
generalPurpose1MSB :: T
generalPurpose2MSB :: T
generalPurpose3MSB :: T
generalPurpose4MSB :: T
bankSelectLSB :: T
modulationLSB :: T
breathControlLSB :: T
footControlLSB :: T
portamentoTimeLSB :: T
dataEntryLSB :: T
mainVolumeLSB :: T
balanceLSB :: T
panoramaLSB :: T
expressionLSB :: T
generalPurpose1LSB :: T
generalPurpose2LSB :: T
generalPurpose3LSB :: T
generalPurpose4LSB :: T
sustain :: T
porta :: T
sustenuto :: T
softPedal :: T
hold2 :: T
generalPurpose5 :: T
generalPurpose6 :: T
generalPurpose7 :: T
generalPurpose8 :: T
extDepth :: T
tremoloDepth :: T
chorusDepth :: T
celesteDepth :: T
phaserDepth :: T
dataIncrement :: T
dataDecrement :: T
nonRegisteredParameterLSB :: T
nonRegisteredParameterMSB :: T
registeredParameterLSB :: T
registeredParameterMSB :: T
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
increasePitch :: Int -> Pitch -> Pitch
subtractPitch :: Pitch -> Pitch -> Int
frequencyFromPitch :: Floating a => Pitch -> a
maximumVelocity :: Velocity
normalVelocity :: Velocity
realFromVelocity :: Fractional b => Velocity -> b

Documentation

data T Source #

Constructors

NoteOff Pitch Velocity
NoteOn Pitch Velocity
PolyAftertouch Pitch Pressure
ProgramChange Program
Control T ControllerValue
PitchBend PitchBendRange
MonoAftertouch Pressure

Instances

Instances details

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

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

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

type ControllerValue = Value Source #

type PitchBendRange = Int Source #

type Pressure = Int Source #

isNote :: T -> Bool Source #

isNoteOn :: T -> Bool Source #

NoteOn with zero velocity is considered NoteOff according to MIDI specification.

isNoteOff :: T -> Bool Source #

NoteOn with zero velocity is considered NoteOff according to MIDI specification.

zeroKey :: Pitch Source #

A MIDI problem is that one cannot uniquely map a MIDI key to a frequency. The frequency depends on the instrument. I don't know if the deviations are defined for General MIDI. If this applies one could add transposition information to the use patch map. For now I have chosen a value that leads to the right frequency for some piano sound in my setup.

explicitNoteOff :: T -> T Source #

Convert all NoteOn p 0 to NoteOff p 64. The latter one is easier to process.

implicitNoteOff :: T -> T Source #

Convert all NoteOff p 64 to NoteOn p 0. The latter one can be encoded more efficiently using the running status.

realFromControllerValue :: (Integral a, Fractional b) => a -> b Source #

Map integral MIDI controller value to floating point value. Maximum integral MIDI controller value 127 is mapped to 1. Minimum integral MIDI controller value 0 is mapped to 0.

bankSelect :: T Source #

modulation :: T Source #

breathControl :: T Source #

footControl :: T Source #

portamentoTime :: T Source #

dataEntry :: T Source #

mainVolume :: T Source #

balance :: T Source #

panorama :: T Source #

expression :: T Source #

generalPurpose1 :: T Source #

generalPurpose2 :: T Source #

generalPurpose3 :: T Source #

generalPurpose4 :: T Source #

vectorX :: T Source #

vectorY :: T Source #

bankSelectMSB :: T Source #

modulationMSB :: T Source #

breathControlMSB :: T Source #

footControlMSB :: T Source #

portamentoTimeMSB :: T Source #

dataEntryMSB :: T Source #

mainVolumeMSB :: T Source #

balanceMSB :: T Source #

panoramaMSB :: T Source #

expressionMSB :: T Source #

generalPurpose1MSB :: T Source #

generalPurpose2MSB :: T Source #

generalPurpose3MSB :: T Source #

generalPurpose4MSB :: T Source #

bankSelectLSB :: T Source #

modulationLSB :: T Source #

breathControlLSB :: T Source #

footControlLSB :: T Source #

portamentoTimeLSB :: T Source #

dataEntryLSB :: T Source #

mainVolumeLSB :: T Source #

balanceLSB :: T Source #

panoramaLSB :: T Source #

expressionLSB :: T Source #

generalPurpose1LSB :: T Source #

generalPurpose2LSB :: T Source #

generalPurpose3LSB :: T Source #

generalPurpose4LSB :: T Source #

sustain :: T Source #

porta :: T Source #

sustenuto :: T Source #

softPedal :: T Source #

hold2 :: T Source #

generalPurpose5 :: T Source #

generalPurpose6 :: T Source #

generalPurpose7 :: T Source #

generalPurpose8 :: T Source #

extDepth :: T Source #

tremoloDepth :: T Source #

chorusDepth :: T Source #

celesteDepth :: T Source #

phaserDepth :: T Source #

dataIncrement :: T Source #

dataDecrement :: T Source #

nonRegisteredParameterLSB :: T Source #

nonRegisteredParameterMSB :: T Source #

registeredParameterLSB :: T Source #

registeredParameterMSB :: T 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 #

increasePitch :: Int -> Pitch -> Pitch Source #

subtractPitch :: Pitch -> Pitch -> Int Source #

frequencyFromPitch :: Floating a => Pitch -> a Source #

Convert pitch to frequency according to the default tuning given in MIDI 1.0 Detailed Specification.

maximumVelocity :: Velocity Source #

The velocity of an ordinary key stroke and the maximum possible velocity.

normalVelocity :: Velocity Source #

The velocity of an ordinary key stroke and the maximum possible velocity.

realFromVelocity :: Fractional b => Velocity -> b Source #

MIDI specification says, if velocity is simply mapped to amplitude, then this should be done by an exponential function. Thus we map normalVelocity (64) to 0, maximumVelocity (127) to 1, and minimumVelocity (1) to -1. That is, normally you should write something like amplitude = 2 ** realFromVelocity vel or 3 ** realFromVelocity vel.