Primitive IntervalClass Maj Source # | |
|
Primitive IntervalClass Perf Source # | |
|
Primitive IntervalClass Min Source # | |
|
Primitive IntervalClass Aug Source # | |
|
Primitive IntervalClass Dim Source # | |
|
Primitive IntervalSize Unison Source # | |
|
Primitive IntervalSize Second Source # | |
|
Primitive IntervalSize Third Source # | |
|
Primitive IntervalSize Fourth Source # | |
|
Primitive IntervalSize Fifth Source # | |
|
Primitive IntervalSize Sixth Source # | |
|
Primitive IntervalSize Seventh Source # | |
|
Primitive IntervalSize Octave Source # | |
|
Primitive ScaleDegree I Source # | |
|
Primitive ScaleDegree II Source # | |
|
Primitive ScaleDegree III Source # | |
|
Primitive ScaleDegree IV Source # | |
|
Primitive ScaleDegree V Source # | |
|
Primitive ScaleDegree VI Source # | |
|
Primitive ScaleDegree VII Source # | |
|
Primitive Mode MajorMode Source # | |
|
Primitive Mode MinorMode Source # | |
|
Primitive PitchType Silence Source # | |
|
Primitive OctaveNum Oct_1 Source # | |
|
Primitive OctaveNum Oct0 Source # | |
|
Primitive OctaveNum Oct1 Source # | |
|
Primitive OctaveNum Oct2 Source # | |
|
Primitive OctaveNum Oct3 Source # | |
|
Primitive OctaveNum Oct4 Source # | |
|
Primitive OctaveNum Oct5 Source # | |
|
Primitive OctaveNum Oct6 Source # | |
|
Primitive OctaveNum Oct7 Source # | |
|
Primitive OctaveNum Oct8 Source # | |
|
Primitive Accidental Natural Source # | |
|
Primitive Accidental Flat Source # | |
|
Primitive Accidental Sharp Source # | |
|
Primitive PitchClass C Source # | |
|
Primitive PitchClass D Source # | |
|
Primitive PitchClass E Source # | |
|
Primitive PitchClass F Source # | |
|
Primitive PitchClass G Source # | |
|
Primitive PitchClass A Source # | |
|
Primitive PitchClass B Source # | |
|
Primitive Inversion Inv0 Source # | |
|
Primitive Inversion Inv1 Source # | |
|
Primitive Inversion Inv2 Source # | |
|
Primitive Inversion Inv3 Source # | |
|
Primitive TetradType MajSeventh Source # | |
|
Primitive TetradType MajMinSeventh Source # | |
|
Primitive TetradType MinSeventh Source # | |
|
Primitive TetradType HalfDimSeventh Source # | |
|
Primitive TetradType DimSeventh Source # | |
|
Primitive TriadType MajTriad Source # | |
|
Primitive TriadType MinTriad Source # | |
|
Primitive TriadType AugTriad Source # | |
|
Primitive TriadType DimTriad Source # | |
|
Primitive DyadType MinThird Source # | |
|
Primitive DyadType MajThird Source # | |
|
Primitive DyadType PerfFourth Source # | |
|
Primitive DyadType PerfFifth Source # | |
|
Primitive DyadType PerfOct Source # | |
|
IntRep PitchType p => Primitive RootType (PitchRoot p) Source # | |
|
FunRep TriadType Int [Int] c => Primitive TetradType (DoubledT c) Source # | |
|
FunRep DyadType Int [Int] c => Primitive TriadType (DoubledD c) Source # | |
|
(FunRep IntervalClass Int Int ic, IntRep IntervalSize is) => Primitive IntervalType (Interval ic is) Source # | |
|
(IntRep PitchType p, (~) PitchType (RootToPitch (DegreeRoot k deg)) p, Primitive DegreeType deg, Primitive KeyType k) => Primitive RootType (DegreeRoot k deg) Source # | |
|
(IntRep PitchClass pc, IntRep Accidental acc, BoolRep Mode mo) => Primitive KeyType (Key pc acc mo) Source # | |
|
(IntRep ScaleDegree sd, IntRep Accidental acc, IntRep OctaveNum oct) => Primitive DegreeType (Degree sd acc oct) Source # | |
|
(IntRep PitchClass pc, IntRep Accidental acc, IntRep OctaveNum oct) => Primitive PitchType (Pitch pc acc oct) Source # | |
|
IntRep PitchType p => Primitive * (Root (PitchRoot p)) Source # | |
|
(IntRep RootType r, FunRep DyadType Int [Int] t, FunRep Inversion [Int] [Int] i) => Primitive (ChordType 2) (Dyad r t i) Source # | |
|
(IntRep RootType r, FunRep TriadType Int [Int] t, FunRep Inversion [Int] [Int] i) => Primitive (ChordType 3) (Triad r t i) Source # | |
|
(IntRep RootType r, FunRep DyadType Int [Int] dt, FunRep Inversion [Int] [Int] i) => Primitive (ChordType 3) (Triad r (DoubledD dt) i) Source # | |
|
(IntRep RootType r, FunRep TetradType Int [Int] t, FunRep Inversion [Int] [Int] i) => Primitive (ChordType 4) (Tetrad r t i) Source # | |
|
(IntRep RootType r, FunRep TriadType Int [Int] tt, FunRep Inversion [Int] [Int] i) => Primitive (ChordType 4) (Tetrad r (DoubledT tt) i) Source # | |
|
((~) (ChordType 4) ch (DegToChord V DomQ k Inv2 o d), IntListRep (ChordType 4) ch) => Primitive (Dominant k 1) (DomV7 k o d) Source # | |
|
((~) (ChordType 4) ch (DegToChord V MajQ k Inv2 o d), IntListRep (ChordType 4) ch) => Primitive (Dominant k 1) (DomVM k o d) Source # | |
|
((~) (ChordType 4) ch (DegToChord I (KeyToQual k) k Inv0 o d), IntListRep (ChordType 4) ch) => Primitive (Tonic k 1) (TonT k o d) Source # | |
|
IntLListRep (Tonic k l) t => Primitive (Phrase k l) (PhraseI k l t) Source # | |
|
IntLListRep (Cadence k l) c => Primitive (ProgType k l) (CadPhrase k l c) Source # | |
|
((~) (ChordType 4) ch (DegToChord IV (KeyToQual k) k i o d), IntListRep (ChordType 4) ch) => Primitive (Subdominant k 1) (SubIV k i o d) Source # | |
|
((~) (ChordType 4) ch (DegToChord II MinQ k i o d), IntListRep (ChordType 4) ch) => Primitive (Subdominant k 1) (SubIIm k i o d) Source # | |
|
((~) (ChordType 4) ch1 (DegToChord II DomQ k Inv0 o d1), IntListRep (ChordType 4) ch1, (~) (ChordType 4) ch2 (DegToChord V DomQ k Inv2 (NatToOct ((-) (OctToNat o) 1)) d2), IntListRep (ChordType 4) ch2) => Primitive (Dominant k 2) (DomSecD k o d1 d2) Source # | |
|
((~) (ChordType 4) ch (DegToChord VII DimQ k i o d), IntListRep (ChordType 4) ch) => Primitive (Dominant k 1) (DomVii0 k i o d) Source # | |
|
(IntLListRep (Subdominant k dur1) s1, IntLListRep (Subdominant k ((-) l dur1)) s2) => Primitive (Subdominant k l) (SubSS k l dur1 s1 s2) Source # | |
|
(IntLListRep (Dominant k dur1) d1, IntLListRep (Dominant k ((-) l dur1)) d2) => Primitive (Dominant k l) (DomDD k l dur1 d1 d2) Source # | |
|
(IntLListRep (Subdominant k sdur) sd, IntLListRep (Dominant k ((-) l sdur)) d) => Primitive (Dominant k l) (DomSD k l sdur sd d) Source # | |
|
(IntLListRep (Tonic k dur1) t1, IntLListRep (Tonic k ((-) l dur1)) t2) => Primitive (Tonic k l) (TonTT k l dur1 t1 t2) Source # | |
|
(IntLListRep (Subdominant k sdur) sd, IntLListRep (Cadence k ((-) l sdur)) c) => Primitive (Cadence k l) (FullCad k l sdur sd c) Source # | |
|
((~) (ChordType 4) ch1 (DegToChord V DomQ k Inv2 o d1), IntListRep (ChordType 4) ch1, (~) (ChordType 4) ch2 (DegToChord VI q k Inv1 o d2), IntListRep (ChordType 4) ch2) => Primitive (Cadence k 2) (DeceptCad k o q d1 d2) Source # | |
|
((~) (ChordType 4) ch1 (DegToChord VII DimQ k Inv1 (NatToOct ((-) (OctToNat o) 1)) d1), IntListRep (ChordType 4) ch1, (~) (ChordType 4) ch2 (DegToChord I q k Inv0 o d2), IntListRep (ChordType 4) ch2) => Primitive (Cadence k 2) (AuthCadVii k o q d1 d2) Source # | |
|
((~) (ChordType 4) ch1 (DegToChord V DomQ k Inv2 (NatToOct ((-) (OctToNat o) 1)) d1), IntListRep (ChordType 4) ch1, (~) (ChordType 4) ch2 (DegToChord I q k Inv0 o d2), IntListRep (ChordType 4) ch2) => Primitive (Cadence k 2) (AuthCad7 k o q d1 d2) Source # | |
|
((~) (ChordType 4) ch1 (DegToChord V MajQ k Inv1 (NatToOct ((-) (OctToNat o) 1)) d1), IntListRep (ChordType 4) ch1, (~) (ChordType 4) ch2 (DegToChord I q k Inv0 o d2), IntListRep (ChordType 4) ch2) => Primitive (Cadence k 2) (AuthCad k o q d1 d2) Source # | |
|
(IntLListRep (Dominant k l1) d, IntLListRep (Tonic k ((-) l l1)) t) => Primitive (Phrase k l) (PhraseVI k l l1 d t) Source # | |
|
(IntLListRep (Phrase k l) ph, IntLListRep (ProgType k ((-) n l)) pr) => Primitive (ProgType k n) ((:=) k n l ph pr) Source # | |
|
((~) (ChordType 4) ch1 (DegToChord III MinQ k i1 o d1), IntListRep (ChordType 4) ch1, (~) (ChordType 4) ch2 (DegToChord IV MajQ k i2 (NatToOct ((-) (OctToNat o) 1)) d2), IntListRep (ChordType 4) ch2) => Primitive (Subdominant k 2) (SubIIImIVM k i1 o i2 d1 d2) Source # | |
|
((~) (ChordType 4) ch1 (DegToChord I q k Inv2 o d1), IntListRep (ChordType 4) ch1, (~) (ChordType 4) ch2 (DegToChord V DomQ k Inv3 (NatToOct ((-) (OctToNat o) 1)) d2), IntListRep (ChordType 4) ch2, (~) (ChordType 4) ch3 (DegToChord I q k Inv1 o d3), IntListRep (ChordType 4) ch3) => Primitive (Cadence k 3) (AuthCad64 k q o d1 d2 d3) Source # | |
|
(IntLListRep (Tonic k ((-) l2 l1)) t1, IntLListRep (Dominant k l1) d, IntLListRep (Tonic k ((-) l l2)) t2) => Primitive (Phrase k l) (PhraseIVI k l l2 l1 t1 d t2) Source # | |
|