Copyright	Christoph Finkensiep 2021
License	BSD
Maintainer	chfin@chfin.de
Stability	experimental
Safe Haskell	None
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] #

omittedField :: Maybe SInterval #

ToJSON SInterval Source #

Instance details

Defined in Musicology.Pitch.Spelled

Methods

toJSON :: SInterval -> Value #

toEncoding :: SInterval -> Encoding #

toJSONList :: [SInterval] -> Value #

toEncodingList :: [SInterval] -> Encoding #

omitField :: SInterval -> Bool #

NFData SInterval Source #

Instance details

Defined in Musicology.Pitch.Spelled

Methods

rnf :: SInterval -> () #

Generic SInterval Source #

Instance details

Defined in Musicology.Pitch.Spelled

Associated Types

type Rep SInterval

Instance details

Defined in Musicology.Pitch.Spelled

type Rep SInterval = D1 ('MetaData "SInterval" "Musicology.Pitch.Spelled" "musicology-pitch-0.1.0.0-AWyhJh1VBCIHvf7CUlHHBh" 'False) (C1 ('MetaCons "SInterval" 'PrefixI 'True) (S1 ('MetaSel ('Just "siFifths") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "siOctaves") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

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 #

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
Instance details Defined in Musicology.Pitch.Spelled type ICOf SInterval = SIC

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
Instance details Defined in Musicology.Pitch.Spelled type Scalar SInterval = Int

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-AWyhJh1VBCIHvf7CUlHHBh" '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] #

omittedField :: Maybe SIC #

ToJSON SIC Source #

Instance details

Defined in Musicology.Pitch.Spelled

Methods

toJSON :: SIC -> Value #

toEncoding :: SIC -> Encoding #

toJSONList :: [SIC] -> Value #

toEncodingList :: [SIC] -> Encoding #

omitField :: SIC -> Bool #

NFData SIC Source #

Instance details

Defined in Musicology.Pitch.Spelled

Methods

rnf :: SIC -> () #

Generic SIC Source #

Instance details

Defined in Musicology.Pitch.Spelled

Associated Types

type Rep SIC
Instance details Defined in Musicology.Pitch.Spelled type Rep SIC = D1 ('MetaData "SIC" "Musicology.Pitch.Spelled" "musicology-pitch-0.1.0.0-AWyhJh1VBCIHvf7CUlHHBh" 'True) (C1 ('MetaCons "SIC" 'PrefixI 'True) (S1 ('MetaSel ('Just "sFifth") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

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 #

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
Instance details Defined in Musicology.Pitch.Spelled type ICOf SIC = SIC

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
Instance details Defined in Musicology.Pitch.Spelled type IOf SIC = SInterval

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
Instance details Defined in Musicology.Pitch.Spelled type Scalar SIC = Int

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-AWyhJh1VBCIHvf7CUlHHBh" '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