Safe Haskell	Safe-Inferred
Language	Haskell2010

Fadno.Midi

Synopsis

type MidiData = T
type IPitch = Int
type IDur = Int
class MidiNotes a where
- toMidiNotes :: a -> [([IPitch], IDur)]
newtype MidiTempo = MidiTempo Int
newtype MidiChan = MidiChan Int
newtype MidiVelocity = MidiVelocity Int
newtype MidiProgram = MidiProgram Int
newtype MidiTicks = MidiTicks Int
toTicks :: MidiTicks -> Iso' Rational IDur
data MidiEvent
- = Pad IDur
- | Event T
type MidiTrack = Track
writeMidiFile :: FilePath -> MidiData -> IO ()
showMidiFile :: FilePath -> IO ()
midi :: MidiTicks -> [MidiTrack] -> MidiData
makeTrackFull :: MidiNotes notes => MidiTempo -> MidiChan -> MidiProgram -> MidiVelocity -> notes -> MidiTrack
fromBPM :: (Real a, Show a) => a -> MidiTempo
fromInstrument :: Instrument -> MidiProgram
makeTrack :: [MidiEvent] -> MidiTrack
toNoteEvents :: MidiNotes notes => MidiChan -> MidiVelocity -> notes -> [MidiEvent]
voiceEvent :: MidiChan -> T -> MidiEvent
setTempo :: MidiTempo -> MidiEvent
metaEvent :: T -> MidiEvent
midiEvent :: MidiChan -> Body -> MidiEvent
programChange :: MidiChan -> MidiProgram -> MidiEvent
noteEvents :: MidiChan -> MidiVelocity -> ([IPitch], IDur) -> [MidiEvent]
noteEvent :: (Pitch -> Velocity -> T) -> MidiChan -> MidiVelocity -> IPitch -> MidiEvent
noteOn :: MidiChan -> MidiVelocity -> IPitch -> MidiEvent
noteOff :: MidiChan -> MidiVelocity -> IPitch -> MidiEvent
test1 :: IO ()
playMidi :: MidiNotes n => FilePath -> Int -> [(Instrument, n)] -> IO ()

Documentation

type MidiData = T Source #

Serializable midi data.

type IPitch = Int Source #

type IDur = Int Source #

class MidiNotes a where Source #

Convert some note value to midi-ready values.

Methods

toMidiNotes :: a -> [([IPitch], IDur)] Source #

Instances

Instances details

MidiNotes [([IPitch], IDur)] Source #
Instance details Defined in Fadno.Midi Methods toMidiNotes :: [([IPitch], IDur)] -> [([IPitch], IDur)] Source #
(Integral p, Traversable c, Integral d, Traversable t) => MidiNotes (t (Note (c p) d)) Source #
Instance details Defined in Fadno.Midi Methods toMidiNotes :: t (Note (c p) d) -> [([IPitch], IDur)] Source #
(Integral p, Integral d, Traversable t) => MidiNotes (t (Note p d)) Source #
Instance details Defined in Fadno.Midi Methods toMidiNotes :: t (Note p d) -> [([IPitch], IDur)] Source #

newtype MidiTempo Source #

Tempo in microseconds per quarter. See fromBPM.

Constructors

MidiTempo Int

Instances

Instances details

Bounded MidiTempo Source #
Instance details Defined in Fadno.Midi Methods minBound :: MidiTempo maxBound :: MidiTempo
Enum MidiTempo Source #
Instance details Defined in Fadno.Midi Methods succ :: MidiTempo -> MidiTempo pred :: MidiTempo -> MidiTempo toEnum :: Int -> MidiTempo fromEnum :: MidiTempo -> Int enumFrom :: MidiTempo -> [MidiTempo] enumFromThen :: MidiTempo -> MidiTempo -> [MidiTempo] enumFromTo :: MidiTempo -> MidiTempo -> [MidiTempo] enumFromThenTo :: MidiTempo -> MidiTempo -> MidiTempo -> [MidiTempo]
Num MidiTempo Source #
Instance details Defined in Fadno.Midi Methods (+) :: MidiTempo -> MidiTempo -> MidiTempo (-) :: MidiTempo -> MidiTempo -> MidiTempo (*) :: MidiTempo -> MidiTempo -> MidiTempo negate :: MidiTempo -> MidiTempo abs :: MidiTempo -> MidiTempo signum :: MidiTempo -> MidiTempo fromInteger :: Integer -> MidiTempo
Integral MidiTempo Source #
Instance details Defined in Fadno.Midi Methods quot :: MidiTempo -> MidiTempo -> MidiTempo rem :: MidiTempo -> MidiTempo -> MidiTempo div :: MidiTempo -> MidiTempo -> MidiTempo mod :: MidiTempo -> MidiTempo -> MidiTempo quotRem :: MidiTempo -> MidiTempo -> (MidiTempo, MidiTempo) divMod :: MidiTempo -> MidiTempo -> (MidiTempo, MidiTempo) toInteger :: MidiTempo -> Integer
Real MidiTempo Source #
Instance details Defined in Fadno.Midi Methods toRational :: MidiTempo -> Rational
Show MidiTempo Source #
Instance details Defined in Fadno.Midi Methods showsPrec :: Int -> MidiTempo -> ShowS show :: MidiTempo -> String showList :: [MidiTempo] -> ShowS
Eq MidiTempo Source #
Instance details Defined in Fadno.Midi Methods (==) :: MidiTempo -> MidiTempo -> Bool (/=) :: MidiTempo -> MidiTempo -> Bool
Ord MidiTempo Source #
Instance details Defined in Fadno.Midi Methods compare :: MidiTempo -> MidiTempo -> Ordering (<) :: MidiTempo -> MidiTempo -> Bool (<=) :: MidiTempo -> MidiTempo -> Bool (>) :: MidiTempo -> MidiTempo -> Bool (>=) :: MidiTempo -> MidiTempo -> Bool max :: MidiTempo -> MidiTempo -> MidiTempo min :: MidiTempo -> MidiTempo -> MidiTempo

newtype MidiChan Source #

Midi channel, 1-16 presumably.

Constructors

MidiChan Int

Instances

Instances details

Bounded MidiChan Source #
Instance details Defined in Fadno.Midi Methods minBound :: MidiChan maxBound :: MidiChan
Enum MidiChan Source #
Instance details Defined in Fadno.Midi Methods succ :: MidiChan -> MidiChan pred :: MidiChan -> MidiChan toEnum :: Int -> MidiChan fromEnum :: MidiChan -> Int enumFrom :: MidiChan -> [MidiChan] enumFromThen :: MidiChan -> MidiChan -> [MidiChan] enumFromTo :: MidiChan -> MidiChan -> [MidiChan] enumFromThenTo :: MidiChan -> MidiChan -> MidiChan -> [MidiChan]
Num MidiChan Source #
Instance details Defined in Fadno.Midi Methods (+) :: MidiChan -> MidiChan -> MidiChan (-) :: MidiChan -> MidiChan -> MidiChan (*) :: MidiChan -> MidiChan -> MidiChan negate :: MidiChan -> MidiChan abs :: MidiChan -> MidiChan signum :: MidiChan -> MidiChan fromInteger :: Integer -> MidiChan
Integral MidiChan Source #
Instance details Defined in Fadno.Midi Methods quot :: MidiChan -> MidiChan -> MidiChan rem :: MidiChan -> MidiChan -> MidiChan div :: MidiChan -> MidiChan -> MidiChan mod :: MidiChan -> MidiChan -> MidiChan quotRem :: MidiChan -> MidiChan -> (MidiChan, MidiChan) divMod :: MidiChan -> MidiChan -> (MidiChan, MidiChan) toInteger :: MidiChan -> Integer
Real MidiChan Source #
Instance details Defined in Fadno.Midi Methods toRational :: MidiChan -> Rational
Show MidiChan Source #
Instance details Defined in Fadno.Midi Methods showsPrec :: Int -> MidiChan -> ShowS show :: MidiChan -> String showList :: [MidiChan] -> ShowS
Eq MidiChan Source #
Instance details Defined in Fadno.Midi Methods (==) :: MidiChan -> MidiChan -> Bool (/=) :: MidiChan -> MidiChan -> Bool
Ord MidiChan Source #
Instance details Defined in Fadno.Midi Methods compare :: MidiChan -> MidiChan -> Ordering (<) :: MidiChan -> MidiChan -> Bool (<=) :: MidiChan -> MidiChan -> Bool (>) :: MidiChan -> MidiChan -> Bool (>=) :: MidiChan -> MidiChan -> Bool max :: MidiChan -> MidiChan -> MidiChan min :: MidiChan -> MidiChan -> MidiChan

newtype MidiVelocity Source #

note velocity, 0-127

Constructors

MidiVelocity Int

Instances

Instances details

Bounded MidiVelocity Source #
Instance details Defined in Fadno.Midi Methods minBound :: MidiVelocity maxBound :: MidiVelocity
Enum MidiVelocity Source #
Instance details Defined in Fadno.Midi Methods succ :: MidiVelocity -> MidiVelocity pred :: MidiVelocity -> MidiVelocity toEnum :: Int -> MidiVelocity fromEnum :: MidiVelocity -> Int enumFrom :: MidiVelocity -> [MidiVelocity] enumFromThen :: MidiVelocity -> MidiVelocity -> [MidiVelocity] enumFromTo :: MidiVelocity -> MidiVelocity -> [MidiVelocity] enumFromThenTo :: MidiVelocity -> MidiVelocity -> MidiVelocity -> [MidiVelocity]
Num MidiVelocity Source #
Instance details Defined in Fadno.Midi Methods (+) :: MidiVelocity -> MidiVelocity -> MidiVelocity (-) :: MidiVelocity -> MidiVelocity -> MidiVelocity (*) :: MidiVelocity -> MidiVelocity -> MidiVelocity negate :: MidiVelocity -> MidiVelocity abs :: MidiVelocity -> MidiVelocity signum :: MidiVelocity -> MidiVelocity fromInteger :: Integer -> MidiVelocity
Integral MidiVelocity Source #
Instance details Defined in Fadno.Midi Methods quot :: MidiVelocity -> MidiVelocity -> MidiVelocity rem :: MidiVelocity -> MidiVelocity -> MidiVelocity div :: MidiVelocity -> MidiVelocity -> MidiVelocity mod :: MidiVelocity -> MidiVelocity -> MidiVelocity quotRem :: MidiVelocity -> MidiVelocity -> (MidiVelocity, MidiVelocity) divMod :: MidiVelocity -> MidiVelocity -> (MidiVelocity, MidiVelocity) toInteger :: MidiVelocity -> Integer
Real MidiVelocity Source #
Instance details Defined in Fadno.Midi Methods toRational :: MidiVelocity -> Rational
Show MidiVelocity Source #
Instance details Defined in Fadno.Midi Methods showsPrec :: Int -> MidiVelocity -> ShowS show :: MidiVelocity -> String showList :: [MidiVelocity] -> ShowS
Eq MidiVelocity Source #
Instance details Defined in Fadno.Midi Methods (==) :: MidiVelocity -> MidiVelocity -> Bool (/=) :: MidiVelocity -> MidiVelocity -> Bool
Ord MidiVelocity Source #
Instance details Defined in Fadno.Midi Methods compare :: MidiVelocity -> MidiVelocity -> Ordering (<) :: MidiVelocity -> MidiVelocity -> Bool (<=) :: MidiVelocity -> MidiVelocity -> Bool (>) :: MidiVelocity -> MidiVelocity -> Bool (>=) :: MidiVelocity -> MidiVelocity -> Bool max :: MidiVelocity -> MidiVelocity -> MidiVelocity min :: MidiVelocity -> MidiVelocity -> MidiVelocity

newtype MidiProgram Source #

Midi program. See fromInstrument.

Constructors

MidiProgram Int

Instances

Instances details

Bounded MidiProgram Source #
Instance details Defined in Fadno.Midi Methods minBound :: MidiProgram maxBound :: MidiProgram
Enum MidiProgram Source #
Instance details Defined in Fadno.Midi Methods succ :: MidiProgram -> MidiProgram pred :: MidiProgram -> MidiProgram toEnum :: Int -> MidiProgram fromEnum :: MidiProgram -> Int enumFrom :: MidiProgram -> [MidiProgram] enumFromThen :: MidiProgram -> MidiProgram -> [MidiProgram] enumFromTo :: MidiProgram -> MidiProgram -> [MidiProgram] enumFromThenTo :: MidiProgram -> MidiProgram -> MidiProgram -> [MidiProgram]
Num MidiProgram Source #
Instance details Defined in Fadno.Midi Methods (+) :: MidiProgram -> MidiProgram -> MidiProgram (-) :: MidiProgram -> MidiProgram -> MidiProgram (*) :: MidiProgram -> MidiProgram -> MidiProgram negate :: MidiProgram -> MidiProgram abs :: MidiProgram -> MidiProgram signum :: MidiProgram -> MidiProgram fromInteger :: Integer -> MidiProgram
Integral MidiProgram Source #
Instance details Defined in Fadno.Midi Methods quot :: MidiProgram -> MidiProgram -> MidiProgram rem :: MidiProgram -> MidiProgram -> MidiProgram div :: MidiProgram -> MidiProgram -> MidiProgram mod :: MidiProgram -> MidiProgram -> MidiProgram quotRem :: MidiProgram -> MidiProgram -> (MidiProgram, MidiProgram) divMod :: MidiProgram -> MidiProgram -> (MidiProgram, MidiProgram) toInteger :: MidiProgram -> Integer
Real MidiProgram Source #
Instance details Defined in Fadno.Midi Methods toRational :: MidiProgram -> Rational
Show MidiProgram Source #
Instance details Defined in Fadno.Midi Methods showsPrec :: Int -> MidiProgram -> ShowS show :: MidiProgram -> String showList :: [MidiProgram] -> ShowS
Eq MidiProgram Source #
Instance details Defined in Fadno.Midi Methods (==) :: MidiProgram -> MidiProgram -> Bool (/=) :: MidiProgram -> MidiProgram -> Bool
Ord MidiProgram Source #
Instance details Defined in Fadno.Midi Methods compare :: MidiProgram -> MidiProgram -> Ordering (<) :: MidiProgram -> MidiProgram -> Bool (<=) :: MidiProgram -> MidiProgram -> Bool (>) :: MidiProgram -> MidiProgram -> Bool (>=) :: MidiProgram -> MidiProgram -> Bool max :: MidiProgram -> MidiProgram -> MidiProgram min :: MidiProgram -> MidiProgram -> MidiProgram

newtype MidiTicks Source #

Midi ticks per quarter.

Constructors

MidiTicks Int

Instances

Instances details

Bounded MidiTicks Source #
Instance details Defined in Fadno.Midi Methods minBound :: MidiTicks maxBound :: MidiTicks
Enum MidiTicks Source #
Instance details Defined in Fadno.Midi Methods succ :: MidiTicks -> MidiTicks pred :: MidiTicks -> MidiTicks toEnum :: Int -> MidiTicks fromEnum :: MidiTicks -> Int enumFrom :: MidiTicks -> [MidiTicks] enumFromThen :: MidiTicks -> MidiTicks -> [MidiTicks] enumFromTo :: MidiTicks -> MidiTicks -> [MidiTicks] enumFromThenTo :: MidiTicks -> MidiTicks -> MidiTicks -> [MidiTicks]
Num MidiTicks Source #
Instance details Defined in Fadno.Midi Methods (+) :: MidiTicks -> MidiTicks -> MidiTicks (-) :: MidiTicks -> MidiTicks -> MidiTicks (*) :: MidiTicks -> MidiTicks -> MidiTicks negate :: MidiTicks -> MidiTicks abs :: MidiTicks -> MidiTicks signum :: MidiTicks -> MidiTicks fromInteger :: Integer -> MidiTicks
Integral MidiTicks Source #
Instance details Defined in Fadno.Midi Methods quot :: MidiTicks -> MidiTicks -> MidiTicks rem :: MidiTicks -> MidiTicks -> MidiTicks div :: MidiTicks -> MidiTicks -> MidiTicks mod :: MidiTicks -> MidiTicks -> MidiTicks quotRem :: MidiTicks -> MidiTicks -> (MidiTicks, MidiTicks) divMod :: MidiTicks -> MidiTicks -> (MidiTicks, MidiTicks) toInteger :: MidiTicks -> Integer
Real MidiTicks Source #
Instance details Defined in Fadno.Midi Methods toRational :: MidiTicks -> Rational
Show MidiTicks Source #
Instance details Defined in Fadno.Midi Methods showsPrec :: Int -> MidiTicks -> ShowS show :: MidiTicks -> String showList :: [MidiTicks] -> ShowS
Eq MidiTicks Source #
Instance details Defined in Fadno.Midi Methods (==) :: MidiTicks -> MidiTicks -> Bool (/=) :: MidiTicks -> MidiTicks -> Bool
Ord MidiTicks Source #
Instance details Defined in Fadno.Midi Methods compare :: MidiTicks -> MidiTicks -> Ordering (<) :: MidiTicks -> MidiTicks -> Bool (<=) :: MidiTicks -> MidiTicks -> Bool (>) :: MidiTicks -> MidiTicks -> Bool (>=) :: MidiTicks -> MidiTicks -> Bool max :: MidiTicks -> MidiTicks -> MidiTicks min :: MidiTicks -> MidiTicks -> MidiTicks