Mezzo.Model.Types

Types modeling basic musical constructs at the type level.

Note properties

data PitchClass

The diatonic pitch class of the note.

Constructors

C

D

E

F

G

A

B

Instances

Primitive PitchClass C

Associated Types

type Rep C (a :: C) :: *

Methods

prim :: sing a -> Rep C a

pretty :: sing a -> String

Primitive PitchClass D

Associated Types

type Rep D (a :: D) :: *

Methods

prim :: sing a -> Rep D a

pretty :: sing a -> String

Primitive PitchClass E

Associated Types

type Rep E (a :: E) :: *

Methods

prim :: sing a -> Rep E a

pretty :: sing a -> String

Primitive PitchClass F

Associated Types

type Rep F (a :: F) :: *

Methods

prim :: sing a -> Rep F a

pretty :: sing a -> String

Primitive PitchClass G

Associated Types

type Rep G (a :: G) :: *

Methods

prim :: sing a -> Rep G a

pretty :: sing a -> String

Primitive PitchClass A

Associated Types

type Rep A (a :: A) :: *

Methods

prim :: sing a -> Rep A a

pretty :: sing a -> String

Primitive PitchClass B

Associated Types

type Rep B (a :: B) :: *

Methods

prim :: sing a -> Rep B a

pretty :: sing a -> String

type Rep PitchClass C

type Rep PitchClass C = Int

type Rep PitchClass D

type Rep PitchClass D = Int

type Rep PitchClass E

type Rep PitchClass E = Int

type Rep PitchClass F

type Rep PitchClass F = Int

type Rep PitchClass G

type Rep PitchClass G = Int

type Rep PitchClass A

type Rep PitchClass A = Int

type Rep PitchClass B

type Rep PitchClass B = Int

data Accidental

The accidental applied to a note.

Constructors

Natural

Flat

Sharp

Instances

Primitive Accidental Natural

Associated Types

type Rep Natural (a :: Natural) :: *

Methods

prim :: sing a -> Rep Natural a

pretty :: sing a -> String

Primitive Accidental Flat

Associated Types

type Rep Flat (a :: Flat) :: *

Methods

prim :: sing a -> Rep Flat a

pretty :: sing a -> String

Primitive Accidental Sharp

Associated Types

type Rep Sharp (a :: Sharp) :: *

Methods

prim :: sing a -> Rep Sharp a

pretty :: sing a -> String

type Rep Accidental Natural

type Rep Accidental Natural = Int

type Rep Accidental Flat

type Rep Accidental Flat = Int

type Rep Accidental Sharp

type Rep Accidental Sharp = Int

data OctaveNum

The octave where the note resides (middle C is Oct4).

Constructors

Oct_1

Oct0

Oct1

Oct2

Oct3

Oct4

Oct5

Oct6

Oct7

Oct8

Instances

Primitive OctaveNum Oct_1

Associated Types

type Rep Oct_1 (a :: Oct_1) :: *

Methods

prim :: sing a -> Rep Oct_1 a

pretty :: sing a -> String

Primitive OctaveNum Oct0

Associated Types

type Rep Oct0 (a :: Oct0) :: *

Methods

prim :: sing a -> Rep Oct0 a

pretty :: sing a -> String

Primitive OctaveNum Oct1

Associated Types

type Rep Oct1 (a :: Oct1) :: *

Methods

prim :: sing a -> Rep Oct1 a

pretty :: sing a -> String

Primitive OctaveNum Oct2

Associated Types

type Rep Oct2 (a :: Oct2) :: *

Methods

prim :: sing a -> Rep Oct2 a

pretty :: sing a -> String

Primitive OctaveNum Oct3

Associated Types

type Rep Oct3 (a :: Oct3) :: *

Methods

prim :: sing a -> Rep Oct3 a

pretty :: sing a -> String

Primitive OctaveNum Oct4

Associated Types

type Rep Oct4 (a :: Oct4) :: *

Methods

prim :: sing a -> Rep Oct4 a

pretty :: sing a -> String

Primitive OctaveNum Oct5

Associated Types

type Rep Oct5 (a :: Oct5) :: *

Methods

prim :: sing a -> Rep Oct5 a

pretty :: sing a -> String

Primitive OctaveNum Oct6

Associated Types

type Rep Oct6 (a :: Oct6) :: *

Methods

prim :: sing a -> Rep Oct6 a

pretty :: sing a -> String

Primitive OctaveNum Oct7

Associated Types

type Rep Oct7 (a :: Oct7) :: *

Methods

prim :: sing a -> Rep Oct7 a

pretty :: sing a -> String

Primitive OctaveNum Oct8

Associated Types

type Rep Oct8 (a :: Oct8) :: *

Methods

prim :: sing a -> Rep Oct8 a

pretty :: sing a -> String

type Rep OctaveNum Oct_1

type Rep OctaveNum Oct_1 = Int

type Rep OctaveNum Oct0

type Rep OctaveNum Oct0 = Int

type Rep OctaveNum Oct1

type Rep OctaveNum Oct1 = Int

type Rep OctaveNum Oct2

type Rep OctaveNum Oct2 = Int

type Rep OctaveNum Oct3

type Rep OctaveNum Oct3 = Int

type Rep OctaveNum Oct4

type Rep OctaveNum Oct4 = Int

type Rep OctaveNum Oct5

type Rep OctaveNum Oct5 = Int

type Rep OctaveNum Oct6

type Rep OctaveNum Oct6 = Int

type Rep OctaveNum Oct7

type Rep OctaveNum Oct7 = Int

type Rep OctaveNum Oct8

type Rep OctaveNum Oct8 = Int

type Duration = Nat

The duration of the note (a whole note has duration 32).

Singleton types for note properties

data PC pc where

The singleton type for PitchClass.

Constructors

PC :: Primitive pc => PC pc

data Acc acc where

The singleton type for Accidental.

Constructors

Acc :: Primitive acc => Acc acc

data Oct oct where

The singleton type for Octave.

Constructors

Oct :: Primitive oct => Oct oct

data Dur dur where

The singleton type for Duration.

Constructors

Dur :: Primitive dur => Dur dur

Pitches

data PitchType where

The type of pitches.

Constructors

Pitch :: PitchClass -> Accidental -> OctaveNum -> PitchType

A pitch made up of a pitch class, an accidental and an octave.

Silence :: PitchType

Silence, the pitch of rests.

Instances

Primitive PitchType Silence

Associated Types

type Rep Silence (a :: Silence) :: *

Methods

prim :: sing a -> Rep Silence a

pretty :: sing a -> String

ValidMelConcat l2 0 l1 (None (OptVector PitchType l1)) (None (OptVector PitchType l2))

ValidMelMatrixMotion l2 0 l1 (None (OptVector PitchType l1)) (None (OptVector PitchType l2))

ValidMelConcatStrict l2 0 l1 (None (OptVector PitchType l1)) (None (OptVector PitchType l2))

(ValidHomConcat ((-) n1 1) n2 l ((,) (Partiture ((-) n1 1) l) (Partiture n2 l) vs us), AllSatisfyAll n2 (Voice l) ((:) (Voice l -> Constraint) (ValidHarmDyadsInVectors l v) ([] (Voice l -> Constraint))) us) => ValidHomConcat n1 n2 l ((,) (Vector (Voice l) n1) (Partiture n2 l) ((:--) (Voice l) n1 v vs) us)

ValidHomConcat 0 n2 l ((,) (Vector (OptVector PitchType l) 0) (Partiture n2 l) (None (OptVector PitchType l)) vs)

(ValidHarmConcat ((-) n1 1) n2 l ((,) (Partiture ((-) n1 1) l) (Partiture n2 l) vs us), AllSatisfyAll n2 (Voice l) ((:) (Voice l -> Constraint) (ValidHarmDyadsInVectors l v) ((:) (Voice l -> Constraint) (ValidHarmMotionInVectors l l v) ([] (Voice l -> Constraint)))) us) => ValidHarmConcat n1 n2 l ((,) (Vector (Voice l) n1) (Partiture n2 l) ((:--) (Voice l) n1 v vs) us)

ValidHarmConcat 0 n2 l ((,) (Vector (OptVector PitchType l) 0) (Partiture n2 l) (None (OptVector PitchType l)) vs)

(ValidMelAppend l2 l1 v1 v2, ValidMelConcat l2 ((-) n 1) l1 vs1 vs2) => ValidMelConcat l2 n l1 ((:--) (Voice l1) n v1 vs1) ((:--) (Voice l2) n v2 vs2)

(ValidMelMatrixMotion l2 ((-) n 1) l1 vs1 vs2, AllPairsSatisfy' ((-) n 1) (Voice l2) (Voice l1) (ValidMelPitchVectorMotion l2 l1 (Last PitchType l1 v1) (Head PitchType l2 v2)) vs1 vs2) => ValidMelMatrixMotion l2 n l1 ((:--) (OptVector PitchType l1) n v1 vs1) ((:--) (OptVector PitchType l2) n v2 vs2)

(ValidMelAppendStrict l2 l1 v1 v2, ValidMelConcatStrict l2 ((-) n 1) l1 vs1 vs2) => ValidMelConcatStrict l2 n l1 ((:--) (Voice l1) n v1 vs1) ((:--) (Voice l2) n v2 vs2)

(IntRep PitchClass pc, IntRep Accidental acc, IntRep OctaveNum oct) => Primitive PitchType (Pitch pc acc oct)

Associated Types

type Rep (Pitch pc acc oct) (a :: Pitch pc acc oct) :: *

Methods

prim :: sing a -> Rep (Pitch pc acc oct) a

pretty :: sing a -> String

type Rep PitchType Silence

type Rep PitchType Silence = Int

type Rep PitchType (Pitch pc acc oct)

type Rep PitchType (Pitch pc acc oct) = Int

data Pit p where

The singleton type for pitches.

Constructors

Pit :: Primitive p => Pit p

type family (p :: PitchType) =?= (q :: PitchType) :: Bool where ...

Enharmonic equality of pitches.

Equations

Silence =?= Silence = True

Silence =?= _ = False

_ =?= Silence = False

(Pitch pc acc oct) =?= (Pitch pc acc oct) = True

(Pitch C Flat o1) =?= (Pitch B Natural o2) = o1 .~. OctSucc o2

(Pitch C Natural o1) =?= (Pitch B Sharp o2) = o1 .~. OctSucc o2

(Pitch E Natural oct) =?= (Pitch F Flat oct) = True

(Pitch E Sharp oct) =?= (Pitch F Natural oct) = True

(Pitch F Flat oct) =?= (Pitch E Natural oct) = True

(Pitch F Natural oct) =?= (Pitch E Sharp oct) = True

(Pitch B Natural o1) =?= (Pitch C Flat o2) = OctSucc o1 .~. o2

(Pitch B Sharp o1) =?= (Pitch C Natural o2) = OctSucc o1 .~. o2

(Pitch pc1 Sharp oct) =?= (Pitch pc2 Flat oct) = ClassSucc pc1 .~. pc2

(Pitch pc1 Flat oct) =?= (Pitch pc2 Sharp oct) = pc1 .~. ClassSucc pc2

_ =?= _ = False

type family (p1 :: PitchType) <<=? (p2 :: PitchType) :: Bool where ... infixl 3

Greater than or equal to for pitches.

Equations

p <<=? p = True

(Pitch pc1 acc oct) <<=? (Pitch pc2 acc oct) = ClassToNat pc1 <=? ClassToNat pc2

(Pitch pc acc oct) <<=? (Pitch pc Sharp oct) = True

(Pitch pc Sharp oct) <<=? (Pitch pc acc oct) = False

(Pitch pc Flat oct) <<=? (Pitch pc acc oct) = True

(Pitch pc acc oct) <<=? (Pitch pc Flat oct) = False

(Pitch E Sharp oct) <<=? (Pitch F Flat oct) = False

(Pitch F Flat oct) <<=? (Pitch E Sharp oct) = True

(Pitch B Sharp oct) <<=? (Pitch C Flat oct') = If (NextOct oct oct') False (Pitch B Natural oct <<=? Pitch C Flat oct')

(Pitch C Flat oct) <<=? (Pitch B Sharp oct') = If (NextOct oct' oct) True (Pitch C Natural oct <<=? Pitch B Sharp oct')

(Pitch pc1 acc1 oct) <<=? (Pitch pc2 acc2 oct) = ClassToNat pc1 <=? ClassToNat pc2

(Pitch pc1 acc1 oct1) <<=? (Pitch pc2 acc2 oct2) = OctToNat oct1 <=? OctToNat oct2

p1 <<=? p2 = PitchToNat p1 <=? PitchToNat p2

type family (p1 :: PitchType) <<? (p2 :: PitchType) where ... infixl 3

Greater than for pitches.

Equations

p <<? p = False

p1 <<? p2 = p1 <<=? p2

Harmonic types

data Mode

The mode of a key: major or minor.

Constructors

MajorMode

MinorMode

Instances

Primitive Mode MajorMode

Associated Types

type Rep MajorMode (a :: MajorMode) :: *

Methods

prim :: sing a -> Rep MajorMode a

pretty :: sing a -> String

Primitive Mode MinorMode

Associated Types

type Rep MinorMode (a :: MinorMode) :: *

Methods

prim :: sing a -> Rep MinorMode a

pretty :: sing a -> String

type Rep Mode MajorMode

type Rep Mode MajorMode = Bool

type Rep Mode MinorMode

type Rep Mode MinorMode = Bool

data ScaleDegree

The seven scale degrees.

Constructors

I

II

III

IV

V

VI

VII

Instances

Primitive ScaleDegree I

Associated Types

type Rep I (a :: I) :: *

Methods

prim :: sing a -> Rep I a

pretty :: sing a -> String

Primitive ScaleDegree II

Associated Types

type Rep II (a :: II) :: *

Methods

prim :: sing a -> Rep II a

pretty :: sing a -> String

Primitive ScaleDegree III

Associated Types

type Rep III (a :: III) :: *

Methods

prim :: sing a -> Rep III a

pretty :: sing a -> String

Primitive ScaleDegree IV

Associated Types

type Rep IV (a :: IV) :: *

Methods

prim :: sing a -> Rep IV a

pretty :: sing a -> String

Primitive ScaleDegree V

Associated Types

type Rep V (a :: V) :: *

Methods

prim :: sing a -> Rep V a

pretty :: sing a -> String

Primitive ScaleDegree VI

Associated Types

type Rep VI (a :: VI) :: *

Methods

prim :: sing a -> Rep VI a

pretty :: sing a -> String

Primitive ScaleDegree VII

Associated Types

type Rep VII (a :: VII) :: *

Methods

prim :: sing a -> Rep VII a

pretty :: sing a -> String

type Rep ScaleDegree I

type Rep ScaleDegree I = Int

type Rep ScaleDegree II

type Rep ScaleDegree II = Int

type Rep ScaleDegree III

type Rep ScaleDegree III = Int

type Rep ScaleDegree IV

type Rep ScaleDegree IV = Int

type Rep ScaleDegree V

type Rep ScaleDegree V = Int

type Rep ScaleDegree VI

type Rep ScaleDegree VI = Int

type Rep ScaleDegree VII

type Rep ScaleDegree VII = Int

data DegreeType

Constructors

Degree ScaleDegree Accidental OctaveNum

Instances

(IntRep ScaleDegree sd, IntRep Accidental acc, IntRep OctaveNum oct) => Primitive DegreeType (Degree sd acc oct)

Associated Types

type Rep (Degree sd acc oct) (a :: Degree sd acc oct) :: *

Methods

prim :: sing a -> Rep (Degree sd acc oct) a

pretty :: sing a -> String

type Rep DegreeType (Degree sd acc oct)

type Rep DegreeType (Degree sd acc oct) = Int

data KeyType

The of a scale, chord or piece.

Constructors

Key PitchClass Accidental Mode

Instances

(IntRep PitchClass pc, IntRep Accidental acc, BoolRep Mode mo) => Primitive KeyType (Key pc acc mo)

Associated Types

type Rep (Key pc acc mo) (a :: Key pc acc mo) :: *

Methods

prim :: sing a -> Rep (Key pc acc mo) a

pretty :: sing a -> String

type Rep KeyType (Key pc acc mo)

type Rep KeyType (Key pc acc mo) = [Int]

data RootType where

The root of a chord.

Constructors

PitchRoot :: PitchType -> RootType

A pitch constructs a diatonic root.

DegreeRoot :: KeyType -> DegreeType -> RootType

A key and a scale degree constructs a scalar root.

Instances

IntRep PitchType p => Primitive RootType (PitchRoot p)

Associated Types

type Rep (PitchRoot p) (a :: PitchRoot p) :: *

Methods

prim :: sing a -> Rep (PitchRoot p) a

pretty :: sing a -> String

(IntRep PitchType p, (~) PitchType (RootToPitch (DegreeRoot k deg)) p, Primitive DegreeType deg, Primitive KeyType k) => Primitive RootType (DegreeRoot k deg)

Associated Types

type Rep (DegreeRoot k deg) (a :: DegreeRoot k deg) :: *

Methods

prim :: sing a -> Rep (DegreeRoot k deg) a

pretty :: sing a -> String

type Rep RootType (PitchRoot p)

type Rep RootType (PitchRoot p) = Int

type Rep RootType (DegreeRoot k deg)

type Rep RootType (DegreeRoot k deg) = Int

data Mod m

The singleton type for Mode.

Constructors

Mod

data ScaDeg sd

The singleton type for ScaleDegree

Constructors

ScaDeg

data KeyS k

The singleton type for KeyType.

Constructors

KeyS

data Deg d

Constructors

Deg

data Root r where

The singleton type for Root.

Constructors

Root :: Primitive r => Root r

Instances

IntRep PitchType p => Primitive * (Root (PitchRoot p))

Associated Types

type Rep (Root (PitchRoot p)) (a :: Root (PitchRoot p)) :: *

Methods

prim :: sing a -> Rep (Root (PitchRoot p)) a

pretty :: sing a -> String

type Rep * (Root (PitchRoot p))

type Rep * (Root (PitchRoot p)) = Int

type family RootToPitch (dr :: RootType) :: PitchType where ...

Convert a root to a pitch.

Note: the default octave for scalar roots is Oct2.

Equations

RootToPitch (PitchRoot p) = p

RootToPitch (DegreeRoot (Key pc acc m) (Degree sd dacc oct)) = HalfStepsUpBy (Pitch pc acc oct) (DegreeOffset m sd dacc)

type family PitchToNat (p :: PitchType) :: Nat where ...

Convert a pitch to a natural number (equal to its MIDI code).

Equations

PitchToNat Silence = TypeError (Text "Can't convert a rest to a number.")

PitchToNat (Pitch C Natural Oct_1) = 0

PitchToNat (Pitch C Sharp Oct_1) = 1

PitchToNat (Pitch D Flat Oct_1) = 1

PitchToNat (Pitch C Natural Oct1) = 24

PitchToNat (Pitch C Natural Oct2) = 36

PitchToNat (Pitch C Natural Oct3) = 48

PitchToNat (Pitch C Natural Oct4) = 60

PitchToNat (Pitch C Natural Oct5) = 72

PitchToNat (Pitch C Natural Oct6) = 84

PitchToNat p = 1 + PitchToNat (HalfStepDown p)

type family Sharpen (r :: RootType) :: RootType where ...

Sharpen a root.

Equations

Sharpen r = PitchRoot (HalfStepUp (RootToPitch r))

type family Flatten (r :: RootType) :: RootType where ...

Flatten a root.

Equations

Flatten r = PitchRoot (HalfStepDown (RootToPitch r))

type family Dot (d :: Duration) :: Duration where ...

Form a dotted duration.

Equations

Dot 1 = TypeError (Text "Can't have dotted thirty-seconds.")

Dot n = n + HalfOf n

type family HalfOf (n :: Nat) :: Nat where ...

Halve a type-level natural.

Equations

HalfOf 0 = 0

HalfOf 1 = 0

HalfOf 8 = 4

HalfOf 32 = 16

HalfOf n = 1 + HalfOf (n - 2)

type family FromRoot (r :: RootType) (d :: Nat) :: Partiture 1 d where ...

Create a new partiture with one voice of the given pitch.

Equations

FromRoot r d = (RootToPitch r +*+ d) :-- None

type family FromSilence (d :: Nat) :: Partiture 1 d where ...

Create a new partiture with one voice of silence.

Equations

FromSilence d = (Silence +*+ d) :-- None

type family FromTriplet (d :: Nat) (r1 :: RootType) (r2 :: RootType) (r3 :: RootType) :: Partiture 1 ((d + HalfOf d) + HalfOf d) where ...

Create a new partiture with a triplet of three notes.

Equations

FromTriplet d r1 r2 r3 = (FromRoot r1 d +|+ FromRoot r2 (HalfOf d)) +|+ FromRoot r3 (HalfOf d)

Specialised musical vector types

type Voice l = OptVector PitchType l

A Voice is made up of a sequence of pitch repetitions.

type Partiture n l = Matrix PitchType n l

A Partiture is made up of a fixed number of voices.

Intervals

data IntervalSize

The size of the interval.

Constructors

Unison

Second

Third

Fourth

Fifth

Sixth

Seventh

Octave

Instances

Primitive IntervalSize Unison

Associated Types

type Rep Unison (a :: Unison) :: *

Methods

prim :: sing a -> Rep Unison a

pretty :: sing a -> String

Primitive IntervalSize Second

Associated Types

type Rep Second (a :: Second) :: *

Methods

prim :: sing a -> Rep Second a

pretty :: sing a -> String

Primitive IntervalSize Third

Associated Types

type Rep Third (a :: Third) :: *

Methods

prim :: sing a -> Rep Third a

pretty :: sing a -> String

Primitive IntervalSize Fourth

Associated Types

type Rep Fourth (a :: Fourth) :: *

Methods

prim :: sing a -> Rep Fourth a

pretty :: sing a -> String

Primitive IntervalSize Fifth

Associated Types

type Rep Fifth (a :: Fifth) :: *

Methods

prim :: sing a -> Rep Fifth a

pretty :: sing a -> String

Primitive IntervalSize Sixth

Associated Types

type Rep Sixth (a :: Sixth) :: *

Methods

prim :: sing a -> Rep Sixth a

pretty :: sing a -> String

Primitive IntervalSize Seventh

Associated Types

type Rep Seventh (a :: Seventh) :: *

Methods

prim :: sing a -> Rep Seventh a

pretty :: sing a -> String

Primitive IntervalSize Octave

Associated Types

type Rep Octave (a :: Octave) :: *

Methods

prim :: sing a -> Rep Octave a

pretty :: sing a -> String

type Rep IntervalSize Unison

type Rep IntervalSize Unison = Int

type Rep IntervalSize Second

type Rep IntervalSize Second = Int

type Rep IntervalSize Third

type Rep IntervalSize Third = Int

type Rep IntervalSize Fourth

type Rep IntervalSize Fourth = Int

type Rep IntervalSize Fifth

type Rep IntervalSize Fifth = Int

type Rep IntervalSize Sixth

type Rep IntervalSize Sixth = Int

type Rep IntervalSize Seventh

type Rep IntervalSize Seventh = Int

type Rep IntervalSize Octave

type Rep IntervalSize Octave = Int

data IntervalClass

The class of the interval.

Constructors

Maj

Perf

Min

Aug

Dim

Instances

Primitive IntervalClass Maj

Associated Types

type Rep Maj (a :: Maj) :: *

Methods

prim :: sing a -> Rep Maj a

pretty :: sing a -> String

Primitive IntervalClass Perf

Associated Types

type Rep Perf (a :: Perf) :: *

Methods

prim :: sing a -> Rep Perf a

pretty :: sing a -> String

Primitive IntervalClass Min

Associated Types

type Rep Min (a :: Min) :: *

Methods

prim :: sing a -> Rep Min a

pretty :: sing a -> String

Primitive IntervalClass Aug

Associated Types

type Rep Aug (a :: Aug) :: *

Methods

prim :: sing a -> Rep Aug a

pretty :: sing a -> String

Primitive IntervalClass Dim

Associated Types

type Rep Dim (a :: Dim) :: *

Methods

prim :: sing a -> Rep Dim a

pretty :: sing a -> String

type Rep IntervalClass Maj

type Rep IntervalClass Maj = Int -> Int

type Rep IntervalClass Perf

type Rep IntervalClass Perf = Int -> Int

type Rep IntervalClass Min

type Rep IntervalClass Min = Int -> Int

type Rep IntervalClass Aug

type Rep IntervalClass Aug = Int -> Int

type Rep IntervalClass Dim

type Rep IntervalClass Dim = Int -> Int

data IntervalType where

The type of intervals.

Constructors

Interval :: IntervalClass -> IntervalSize -> IntervalType

An interval smaller than 13 semitones, where musical rules can still be enforced.

Compound :: IntervalType

An interval larger than 13 semitones, which is large enough so that dissonance effects are not significant.

Instances

(FunRep IntervalClass Int Int ic, IntRep IntervalSize is) => Primitive IntervalType (Interval ic is)

Associated Types

type Rep (Interval ic is) (a :: Interval ic is) :: *

Methods

prim :: sing a -> Rep (Interval ic is) a

pretty :: sing a -> String

type Rep IntervalType (Interval ic is)

type Rep IntervalType (Interval ic is) = Int

type family MakeInterval (p1 :: PitchType) (p2 :: PitchType) :: IntervalType where ...

Make an interval from two arbitrary pitches.

Equations

MakeInterval Silence Silence = TypeError (Text "Can't make intervals from rests.")

MakeInterval Silence p2 = TypeError (Text "Can't make intervals from rests.")

MakeInterval p1 Silence = TypeError (Text "Can't make intervals from rests.")

MakeInterval p1 p2 = If (p1 <<=? p2) (MakeIntervalOrd p1 p2) (MakeIntervalOrd p2 p1)

Singleton types for interval properties

data IC ic

The singleton type for IntervalClass.

Constructors

IC

data IS is

The singleton type for IntervalSize.

Constructors

IS

data Intv i

The singleton type for IntervalType.

Constructors

Intv

Operations

type family OctPred (o :: OctaveNum) :: OctaveNum where ...

Decrement an octave.

Equations

OctPred o = DecreaseOctave o 1

type family OctSucc (o :: OctaveNum) :: OctaveNum where ...

Increment an octave.

Equations

OctSucc o = IncreaseOctave o 1

type family HalfStepsUpBy (p :: PitchType) (n :: Nat) :: PitchType where ...

Move a pitch up by the specified number of semitones.

Equations

HalfStepsUpBy p 0 = p

HalfStepsUpBy p n = HalfStepUp (HalfStepsUpBy p (n - 1))

type family HalfStepsDownBy (p :: PitchType) (n :: Nat) :: PitchType where ...

Move a pitch down by the specified number of semitones.

Equations

HalfStepsDownBy p 0 = p

HalfStepsDownBy p n = HalfStepDown (HalfStepsDownBy p (n - 1))

type family RaiseBy (p :: PitchType) (i :: IntervalType) :: PitchType where ...

Raise a pitch by an interval.

Equations

RaiseBy Silence _ = Silence

RaiseBy _ Compound = TypeError (Text "Can't shift by compound interval")

RaiseBy p (Interval Min is) = HalfStepDown (HalfStepsUpBy p (IntervalWidth (Interval Min is) + 1))

RaiseBy p (Interval Dim is) = HalfStepDown (HalfStepsUpBy p (IntervalWidth (Interval Dim is) + 1))

RaiseBy p i = HalfStepsUpBy p (IntervalWidth i)

type family LowerBy (p :: PitchType) (i :: IntervalType) :: PitchType where ...

Lower a pitch by an interval.

Equations

LowerBy Silence _ = Silence

LowerBy _ Compound = TypeError (Text "Can't shift by compound interval")

LowerBy p (Interval Maj is) = HalfStepUp (HalfStepsDownBy p (IntervalWidth (Interval Maj is) + 1))

LowerBy p (Interval Aug is) = HalfStepUp (HalfStepsDownBy p (IntervalWidth (Interval Aug is) + 1))

LowerBy p i = HalfStepsDownBy p (IntervalWidth i)

type family RaiseAllBy (ps :: Voice l) (i :: IntervalType) :: Voice l where ...

Raise all pitches in a voice by an interval.

Equations

RaiseAllBy End _ = End

RaiseAllBy ((p :* d) :- ps) i = (RaiseBy p i :* d) :- RaiseAllBy ps i

type family LowerAllBy (ps :: Voice l) (i :: IntervalType) :: Voice l where ...

Lower all pitches in a voice by an interval.

Equations

LowerAllBy End _ = End

LowerAllBy ((p :* d) :- ps) i = (LowerBy p i :* d) :- LowerAllBy ps i

type family RaiseAllBy' (ps :: Vector PitchType n) (i :: IntervalType) :: Vector PitchType n where ...

Raise multiple pitches by an interval.

Equations

RaiseAllBy' None _ = None

RaiseAllBy' (p :-- ps) i = RaiseBy p i :-- RaiseAllBy' ps i

type family LowerAllBy' (ps :: Vector PitchType n) (i :: IntervalType) :: Vector PitchType n where ...

Lower multiple pitches by an interval.

Equations

LowerAllBy' None _ = None

LowerAllBy' (p :-- ps) i = LowerBy p i :-- LowerAllBy' ps i

type family RaiseByOct (p :: PitchType) :: PitchType where ...

Raise a pitch by an octave.

Equations

RaiseByOct p = RaiseBy p (Interval Perf Octave)

type family LowerByOct (p :: PitchType) :: PitchType where ...

Lower a pitch by an octave.

Equations

LowerByOct p = LowerBy p (Interval Perf Octave)

type family RaiseAllByOct (ps :: Voice l) :: Voice l where ...

Equations

RaiseAllByOct v = RaiseAllBy v (Interval Perf Octave)

type family TransposeUpBy (p :: Partiture n l) (i :: IntervalType) :: Partiture n l where ...

Transpose a partiture up by the given interval.

Equations

TransposeUpBy _ Compound = TypeError (Text "Can't transpose by compound interval.")

TransposeUpBy None i = None

TransposeUpBy (v :-- vs) i = RaiseAllBy v i :-- TransposeUpBy vs i

type family TransposeDownBy (p :: Partiture n l) (i :: IntervalType) :: Partiture n l where ...

Transpose a partiture down by the given interval.

Equations

TransposeDownBy _ Compound = TypeError (Text "Can't transpose by compound interval.")

TransposeDownBy None i = None

TransposeDownBy (v :-- vs) i = LowerAllBy v i :-- TransposeDownBy vs i

Orphan instances

KnownNat n => Primitive Nat n

Associated Types

type Rep n (a :: n) :: *

Methods

prim :: sing a -> Rep n a

pretty :: sing a -> String