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

Musicology.Pitch.Spelled

Contents

Interval Types
Pitch Types
Common Accessors
Concrete Intervals
Concrete pitches

Description

This module defines pitch and interval types for spelled pitch, i.e. Western notation.

Synopsis

data SInterval = SInterval {
- siFifths :: Int
- siOctaves :: Int
}
spelled :: Int -> Int -> SInterval
spelledDiaChrom :: Int -> Int -> SInterval
newtype SIC = SIC {
- sFifth :: Int
}
sic :: Int -> SIC
type SPitch = Pitch SInterval
type SPC = Pitch SIC
spelledp :: Int -> Int -> SPitch
spc :: Int -> SPC
class Spelled i where
- fifths :: i -> Int
- octaves :: i -> Int
- internalOctaves :: i -> Int
- degree :: i -> Int
- generic :: i -> Int
- diasteps :: i -> Int
- alteration :: i -> Int
letter :: Spelled i => i -> Char
second :: ImperfectInterval SInterval
third :: ImperfectInterval SInterval
fourth :: SInterval
tritone :: SInterval
fifth :: SInterval
sixth :: ImperfectInterval SInterval
seventh :: ImperfectInterval SInterval
second' :: ImperfectInterval SIC
third' :: ImperfectInterval SIC
fourth' :: SIC
tritone' :: SIC
fifth' :: SIC
sixth' :: ImperfectInterval SIC
seventh' :: ImperfectInterval SIC
newtype Accidental = Acc Int
flt :: Accidental
nat :: Accidental
shp :: Accidental
c :: Accidental -> Int -> SPitch
d :: Accidental -> Int -> SPitch
e :: Accidental -> Int -> SPitch
f :: Accidental -> Int -> SPitch
g :: Accidental -> Int -> SPitch
a :: Accidental -> Int -> SPitch
b :: Accidental -> Int -> SPitch
c' :: Accidental -> SPC
d' :: Accidental -> SPC
e' :: Accidental -> SPC
f' :: Accidental -> SPC
g' :: Accidental -> SPC
a' :: Accidental -> SPC
b' :: Accidental -> SPC

Interval Types

data SInterval Source #

Constructors

SInterval
Fields siFifths :: Int siOctaves :: Int

Instances

Instances details

FromJSON SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled Methods parseJSON :: Value -> Parser SInterval # parseJSONList :: Value -> Parser [SInterval] #
ToJSON SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled Methods toJSON :: SInterval -> Value # toEncoding :: SInterval -> Encoding # toJSONList :: [SInterval] -> Value # toEncodingList :: [SInterval] -> Encoding #
Generic SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled Associated Types type Rep SInterval :: Type -> Type # Methods from :: SInterval -> Rep SInterval x # to :: Rep SInterval x -> SInterval #
Show SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled Methods showsPrec :: Int -> SInterval -> ShowS # show :: SInterval -> String # showList :: [SInterval] -> ShowS #
Show SPitch Source #
Instance details Defined in Musicology.Pitch.Spelled Methods showsPrec :: Int -> SPitch -> ShowS # show :: SPitch -> String # showList :: [SPitch] -> ShowS #
NFData SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled Methods rnf :: SInterval -> () #
Eq SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled Methods (==) :: SInterval -> SInterval -> Bool # (/=) :: SInterval -> SInterval -> Bool #
Ord SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled Methods compare :: SInterval -> SInterval -> Ordering # (<) :: SInterval -> SInterval -> Bool # (<=) :: SInterval -> SInterval -> Bool # (>) :: SInterval -> SInterval -> Bool # (>=) :: SInterval -> SInterval -> Bool # max :: SInterval -> SInterval -> SInterval # min :: SInterval -> SInterval -> SInterval #
Hashable SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled Methods hashWithSalt :: Int -> SInterval -> Int # hash :: SInterval -> Int #
Chromatic SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled Methods chromaticSemitone :: SInterval Source #
Diatonic SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled Methods isStep :: SInterval -> Bool Source #
Interval SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled Associated Types type ICOf SInterval Source # Methods ic :: SInterval -> ICOf SInterval Source # octave :: SInterval Source # direction :: SInterval -> Ordering Source # iabs :: SInterval -> SInterval Source #
Notation SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled Methods showNotation :: SInterval -> String Source # showNotationT :: SInterval -> Text Source # parseNotation :: ReadP SInterval Source # readNotation :: String -> Maybe SInterval Source # readNotationT :: Text -> Maybe SInterval Source #
Notation SPitch Source #
Instance details Defined in Musicology.Pitch.Spelled Methods showNotation :: SPitch -> String Source # showNotationT :: SPitch -> Text Source # parseNotation :: ReadP SPitch Source # readNotation :: String -> Maybe SPitch Source # readNotationT :: Text -> Maybe SPitch Source #
ToMidi SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled Methods toMidi :: SInterval -> Int Source #
ToMidi SPitch Source #
Instance details Defined in Musicology.Pitch.Spelled Methods toMidi :: SPitch -> Int Source #
Spelled SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled Methods fifths :: SInterval -> Int Source # octaves :: SInterval -> Int Source # internalOctaves :: SInterval -> Int Source # degree :: SInterval -> Int Source # generic :: SInterval -> Int Source # diasteps :: SInterval -> Int Source # alteration :: SInterval -> Int Source #
AdditiveGroup SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled Methods zeroV :: SInterval # (^+^) :: SInterval -> SInterval -> SInterval # negateV :: SInterval -> SInterval # (^-^) :: SInterval -> SInterval -> SInterval #
VectorSpace SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled Associated Types type Scalar SInterval # Methods (*^) :: Scalar SInterval -> SInterval -> SInterval #
type Rep SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled type Rep SInterval = D1 ('MetaData "SInterval" "Musicology.Pitch.Spelled" "musicology-pitch-0.1.0.0-2ecZDh3I239EsXSbHoAISx" 'False) (C1 ('MetaCons "SInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "siFifths") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "siOctaves") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))
type ICOf SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled type ICOf SInterval = SIC
type Scalar SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled type Scalar SInterval = Int

spelled :: Int -> Int -> SInterval Source #

spelledDiaChrom :: Int -> Int -> SInterval Source #

newtype SIC Source #

Constructors

SIC
Fields sFifth :: Int

Instances

Instances details

FromJSON SIC Source #
Instance details Defined in Musicology.Pitch.Spelled Methods parseJSON :: Value -> Parser SIC # parseJSONList :: Value -> Parser [SIC] #
ToJSON SIC Source #
Instance details Defined in Musicology.Pitch.Spelled Methods toJSON :: SIC -> Value # toEncoding :: SIC -> Encoding # toJSONList :: [SIC] -> Value # toEncodingList :: [SIC] -> Encoding #
Generic SIC Source #
Instance details Defined in Musicology.Pitch.Spelled Associated Types type Rep SIC :: Type -> Type # Methods from :: SIC -> Rep SIC x # to :: Rep SIC x -> SIC #
Show SIC Source #
Instance details Defined in Musicology.Pitch.Spelled Methods showsPrec :: Int -> SIC -> ShowS # show :: SIC -> String # showList :: [SIC] -> ShowS #
Show SPC Source #
Instance details Defined in Musicology.Pitch.Spelled Methods showsPrec :: Int -> SPC -> ShowS # show :: SPC -> String # showList :: [SPC] -> ShowS #
NFData SIC Source #
Instance details Defined in Musicology.Pitch.Spelled Methods rnf :: SIC -> () #
Eq SIC Source #
Instance details Defined in Musicology.Pitch.Spelled Methods (==) :: SIC -> SIC -> Bool # (/=) :: SIC -> SIC -> Bool #
Ord SIC Source #
Instance details Defined in Musicology.Pitch.Spelled Methods compare :: SIC -> SIC -> Ordering # (<) :: SIC -> SIC -> Bool # (<=) :: SIC -> SIC -> Bool # (>) :: SIC -> SIC -> Bool # (>=) :: SIC -> SIC -> Bool # max :: SIC -> SIC -> SIC # min :: SIC -> SIC -> SIC #
Hashable SIC Source #
Instance details Defined in Musicology.Pitch.Spelled Methods hashWithSalt :: Int -> SIC -> Int # hash :: SIC -> Int #
Chromatic SIC Source #
Instance details Defined in Musicology.Pitch.Spelled Methods chromaticSemitone :: SIC Source #
Diatonic SIC Source #
Instance details Defined in Musicology.Pitch.Spelled Methods isStep :: SIC -> Bool Source #
Interval SIC Source #
Instance details Defined in Musicology.Pitch.Spelled Associated Types type ICOf SIC Source # Methods ic :: SIC -> ICOf SIC Source # octave :: SIC Source # direction :: SIC -> Ordering Source # iabs :: SIC -> SIC Source #
IntervalClass SIC Source #
Instance details Defined in Musicology.Pitch.Spelled Associated Types type IOf SIC Source # Methods emb :: SIC -> IOf SIC Source #
Notation SIC Source #
Instance details Defined in Musicology.Pitch.Spelled Methods showNotation :: SIC -> String Source # showNotationT :: SIC -> Text Source # parseNotation :: ReadP SIC Source # readNotation :: String -> Maybe SIC Source # readNotationT :: Text -> Maybe SIC Source #
Notation SPC Source #
Instance details Defined in Musicology.Pitch.Spelled Methods showNotation :: SPC -> String Source # showNotationT :: SPC -> Text Source # parseNotation :: ReadP SPC Source # readNotation :: String -> Maybe SPC Source # readNotationT :: Text -> Maybe SPC Source #
ToMidi SIC Source #
Instance details Defined in Musicology.Pitch.Spelled Methods toMidi :: SIC -> Int Source #
ToMidi SPC Source #
Instance details Defined in Musicology.Pitch.Spelled Methods toMidi :: SPC -> Int Source #
Spelled SIC Source #
Instance details Defined in Musicology.Pitch.Spelled Methods fifths :: SIC -> Int Source # octaves :: SIC -> Int Source # internalOctaves :: SIC -> Int Source # degree :: SIC -> Int Source # generic :: SIC -> Int Source # diasteps :: SIC -> Int Source # alteration :: SIC -> Int Source #
AdditiveGroup SIC Source #
Instance details Defined in Musicology.Pitch.Spelled Methods zeroV :: SIC # (^+^) :: SIC -> SIC -> SIC # negateV :: SIC -> SIC # (^-^) :: SIC -> SIC -> SIC #
VectorSpace SIC Source #
Instance details Defined in Musicology.Pitch.Spelled Associated Types type Scalar SIC # Methods (*^) :: Scalar SIC -> SIC -> SIC #
type Rep SIC Source #
Instance details Defined in Musicology.Pitch.Spelled type Rep SIC = D1 ('MetaData "SIC" "Musicology.Pitch.Spelled" "musicology-pitch-0.1.0.0-2ecZDh3I239EsXSbHoAISx" 'True) (C1 ('MetaCons "SIC" 'PrefixI 'True) (S1 ('MetaSel ('Just "sFifth") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))
type ICOf SIC Source #
Instance details Defined in Musicology.Pitch.Spelled type ICOf SIC = SIC
type IOf SIC Source #
Instance details Defined in Musicology.Pitch.Spelled type IOf SIC = SInterval
type Scalar SIC Source #
Instance details Defined in Musicology.Pitch.Spelled type Scalar SIC = Int

sic :: Int -> SIC Source #

Pitch Types

type SPitch = Pitch SInterval Source #

type SPC = Pitch SIC Source #

spelledp :: Int -> Int -> SPitch Source #

spc :: Int -> SPC Source #

Common Accessors

class Spelled i where Source #

Methods

fifths :: i -> Int Source #

octaves :: i -> Int Source #

internalOctaves :: i -> Int Source #

degree :: i -> Int Source #

generic :: i -> Int Source #

diasteps :: i -> Int Source #

alteration :: i -> Int Source #

Instances

Instances details

Spelled SIC Source #
Instance details Defined in Musicology.Pitch.Spelled Methods fifths :: SIC -> Int Source # octaves :: SIC -> Int Source # internalOctaves :: SIC -> Int Source # degree :: SIC -> Int Source # generic :: SIC -> Int Source # diasteps :: SIC -> Int Source # alteration :: SIC -> Int Source #
Spelled SInterval Source #
Instance details Defined in Musicology.Pitch.Spelled Methods fifths :: SInterval -> Int Source # octaves :: SInterval -> Int Source # internalOctaves :: SInterval -> Int Source # degree :: SInterval -> Int Source # generic :: SInterval -> Int Source # diasteps :: SInterval -> Int Source # alteration :: SInterval -> Int Source #
(Spelled i, Interval i, Spelled (ICOf i)) => Spelled (Pitch i) Source #
Instance details Defined in Musicology.Pitch.Spelled Methods fifths :: Pitch i -> Int Source # octaves :: Pitch i -> Int Source # internalOctaves :: Pitch i -> Int Source # degree :: Pitch i -> Int Source # generic :: Pitch i -> Int Source # diasteps :: Pitch i -> Int Source # alteration :: Pitch i -> Int Source #

letter :: Spelled i => i -> Char Source #

Concrete Intervals

Concrete intervals come in two variants, one for intervals (e.g. fifth) and one for interval classes (fifth'). Imperfect intervals have a ImperfectInterval type and must be used with major or minor (e.g. minor third). All (fully applied) intervals can be used with aug, dim and down