Copyright	Christoph Finkensiep 2021
License	BSD
Maintainer	chfin@chfin.de
Stability	experimental
Safe Haskell	Safe-Inferred
Language	Haskell2010
Extensions	MonoLocalBinds TypeFamilies TypeSynonymInstances FlexibleInstances KindSignatures GeneralizedNewtypeDeriving ExplicitNamespaces

Musicology.Pitch.Midi

Contents

Interval types
Pitch types
Orphan instances

Description

This module defines pitch and interval types for enharmonic/chromatic pitch, (as used in MIDI). Midi intervals are just Ints.

Synopsis

Interval types

type MidiInterval = Int Source #

newtype MidiIC Source #

Constructors

MidiIC Int

Instances

Instances details

Num MidiIC Source #
Instance details Defined in Musicology.MidiNumInstances Methods (+) :: MidiIC -> MidiIC -> MidiIC # (-) :: MidiIC -> MidiIC -> MidiIC # (*) :: MidiIC -> MidiIC -> MidiIC # negate :: MidiIC -> MidiIC # abs :: MidiIC -> MidiIC # signum :: MidiIC -> MidiIC # fromInteger :: Integer -> MidiIC #
Show MidiIC Source #
Instance details Defined in Musicology.Pitch.Midi Methods showsPrec :: Int -> MidiIC -> ShowS # show :: MidiIC -> String # showList :: [MidiIC] -> ShowS #
Show MidiPC Source #
Instance details Defined in Musicology.Pitch.Midi Methods showsPrec :: Int -> MidiPC -> ShowS # show :: MidiPC -> String # showList :: [MidiPC] -> ShowS #
NFData MidiIC Source #
Instance details Defined in Musicology.Pitch.Midi Methods rnf :: MidiIC -> () #
Eq MidiIC Source #
Instance details Defined in Musicology.Pitch.Midi Methods (==) :: MidiIC -> MidiIC -> Bool # (/=) :: MidiIC -> MidiIC -> Bool #
Ord MidiIC Source #
Instance details Defined in Musicology.Pitch.Midi Methods compare :: MidiIC -> MidiIC -> Ordering # (<) :: MidiIC -> MidiIC -> Bool # (<=) :: MidiIC -> MidiIC -> Bool # (>) :: MidiIC -> MidiIC -> Bool # (>=) :: MidiIC -> MidiIC -> Bool # max :: MidiIC -> MidiIC -> MidiIC # min :: MidiIC -> MidiIC -> MidiIC #
Hashable MidiIC Source #
Instance details Defined in Musicology.Pitch.Midi Methods hashWithSalt :: Int -> MidiIC -> Int # hash :: MidiIC -> Int #
Chromatic MidiIC Source #
Instance details Defined in Musicology.Pitch.Midi Methods chromaticSemitone :: MidiIC Source #
Diatonic MidiIC Source #
Instance details Defined in Musicology.Pitch.Midi Methods isStep :: MidiIC -> Bool Source #
Interval MidiIC Source #
Instance details Defined in Musicology.Pitch.Midi Associated Types type ICOf MidiIC Source # Methods ic :: MidiIC -> ICOf MidiIC Source # octave :: MidiIC Source # direction :: MidiIC -> Ordering Source # iabs :: MidiIC -> MidiIC Source #
IntervalClass MidiIC Source #
Instance details Defined in Musicology.Pitch.Midi Associated Types type IOf MidiIC Source # Methods emb :: MidiIC -> IOf MidiIC Source #
Notation MidiIC Source #
Instance details Defined in Musicology.Pitch.Midi Methods showNotation :: MidiIC -> String Source # showNotationT :: MidiIC -> Text Source # parseNotation :: ReadP MidiIC Source # readNotation :: String -> Maybe MidiIC Source # readNotationT :: Text -> Maybe MidiIC Source #
Notation MidiPC Source #
Instance details Defined in Musicology.Pitch.Midi Methods showNotation :: MidiPC -> String Source # showNotationT :: MidiPC -> Text Source # parseNotation :: ReadP MidiPC Source # readNotation :: String -> Maybe MidiPC Source # readNotationT :: Text -> Maybe MidiPC Source #
ToMidi MidiIC Source #
Instance details Defined in Musicology.Pitch.Midi Methods toMidi :: MidiIC -> Int Source #
ToMidi MidiPC Source #
Instance details Defined in Musicology.Pitch.Midi Methods toMidi :: MidiPC -> Int Source #
AdditiveGroup MidiIC Source #
Instance details Defined in Musicology.Pitch.Midi Methods zeroV :: MidiIC # (^+^) :: MidiIC -> MidiIC -> MidiIC # negateV :: MidiIC -> MidiIC # (^-^) :: MidiIC -> MidiIC -> MidiIC #
VectorSpace MidiIC Source #
Instance details Defined in Musicology.Pitch.Midi Associated Types type Scalar MidiIC # Methods (*^) :: Scalar MidiIC -> MidiIC -> MidiIC #
Num (Pitch MidiIC) Source #
Instance details Defined in Musicology.MidiNumInstances Methods (+) :: Pitch MidiIC -> Pitch MidiIC -> Pitch MidiIC # (-) :: Pitch MidiIC -> Pitch MidiIC -> Pitch MidiIC # (*) :: Pitch MidiIC -> Pitch MidiIC -> Pitch MidiIC # negate :: Pitch MidiIC -> Pitch MidiIC # abs :: Pitch MidiIC -> Pitch MidiIC # signum :: Pitch MidiIC -> Pitch MidiIC # fromInteger :: Integer -> Pitch MidiIC #
type ICOf MidiIC Source #
Instance details Defined in Musicology.Pitch.Midi type ICOf MidiIC = MidiIC
type IOf MidiIC Source #
Instance details Defined in Musicology.Pitch.Midi type IOf MidiIC = MidiInterval
type Scalar MidiIC Source #
Instance details Defined in Musicology.Pitch.Midi type Scalar MidiIC = Int

mic :: Int -> MidiIC Source #

Pitch types

type MidiPitch = Pitch MidiInterval Source #

type MidiPC = Pitch MidiIC Source #

midip :: Int -> MidiPitch Source #

midipc :: Int -> MidiPC Source #

Orphan instances

Show MidiPitch Source #
Instance details Methods showsPrec :: Int -> MidiPitch -> ShowS # show :: MidiPitch -> String # showList :: [MidiPitch] -> ShowS #
Chromatic Int Source #
Instance details Methods chromaticSemitone :: Int Source #
Diatonic Int Source #
Instance details Methods isStep :: Int -> Bool Source #
Interval Int Source #
Instance details Associated Types type ICOf Int Source # Methods ic :: Int -> ICOf Int Source # octave :: Int Source # direction :: Int -> Ordering Source # iabs :: Int -> Int Source #
Notation MidiInterval Source #
Instance details Methods showNotation :: MidiInterval -> String Source # showNotationT :: MidiInterval -> Text Source # parseNotation :: ReadP MidiInterval Source # readNotation :: String -> Maybe MidiInterval Source # readNotationT :: Text -> Maybe MidiInterval Source #
Notation MidiPitch Source #
Instance details Methods showNotation :: MidiPitch -> String Source # showNotationT :: MidiPitch -> Text Source # parseNotation :: ReadP MidiPitch Source # readNotation :: String -> Maybe MidiPitch Source # readNotationT :: Text -> Maybe MidiPitch Source #
ToMidi MidiInterval Source #
Instance details Methods toMidi :: MidiInterval -> Int Source #
ToMidi MidiPitch Source #
Instance details Methods toMidi :: MidiPitch -> Int Source #