Copyright | (c) Dima Szamozvancev |
---|---|
License | MIT |
Maintainer | ds709@cam.ac.uk |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Literals for pitches, notes, durations, etc.
- _c :: PC C
- _d :: PC D
- _e :: PC E
- _f :: PC F
- _g :: PC G
- _a :: PC A
- _b :: PC B
- _na :: Acc Natural
- _fl :: Acc Flat
- _sh :: Acc Sharp
- _o_1 :: Oct Oct_1
- _o0 :: Oct Oct0
- _o1 :: Oct Oct1
- _o2 :: Oct Oct2
- _o3 :: Oct Oct3
- _o4 :: Oct Oct4
- _o5 :: Oct Oct5
- _o6 :: Oct Oct6
- _o7 :: Oct Oct7
- _o8 :: Oct Oct8
- tc :: forall n r s. (Primitive n, IntListRep r, ValidChord s r ThirtySecond) => ChorT s (r :: ChordType n) ThirtySecond
- tr :: forall s. ValidRest s ThirtySecond => RestT s ThirtySecond
- tn :: forall r s. (ValidNote s r ThirtySecond, IntRep r) => RootT s r ThirtySecond
- _th :: Dur ThirtySecond
- sc' :: forall n r s. (Primitive n, IntListRep r, ValidChord s r (Dot Sixteenth)) => ChorT s (r :: ChordType n) (Dot Sixteenth)
- sc :: forall n r s. (Primitive n, IntListRep r, ValidChord s r Sixteenth) => ChorT s (r :: ChordType n) Sixteenth
- sr' :: forall s. ValidRest s (Dot Sixteenth) => RestT s (Dot Sixteenth)
- sr :: forall s. ValidRest s Sixteenth => RestT s Sixteenth
- sn' :: forall r s. (ValidNote s r (Dot Sixteenth), IntRep r) => RootT s r (Dot Sixteenth)
- sn :: forall r s. (ValidNote s r Sixteenth, IntRep r) => RootT s r Sixteenth
- _si' :: Dur (Dot Sixteenth)
- _si :: Dur Sixteenth
- ec' :: forall n r s. (Primitive n, IntListRep r, ValidChord s r (Dot Eighth)) => ChorT s (r :: ChordType n) (Dot Eighth)
- ec :: forall n r s. (Primitive n, IntListRep r, ValidChord s r Eighth) => ChorT s (r :: ChordType n) Eighth
- er' :: forall s. ValidRest s (Dot Eighth) => RestT s (Dot Eighth)
- er :: forall s. ValidRest s Eighth => RestT s Eighth
- en' :: forall r s. (ValidNote s r (Dot Eighth), IntRep r) => RootT s r (Dot Eighth)
- en :: forall r s. (ValidNote s r Eighth, IntRep r) => RootT s r Eighth
- _ei' :: Dur (Dot Eighth)
- _ei :: Dur Eighth
- qc' :: forall n r s. (Primitive n, IntListRep r, ValidChord s r (Dot Quarter)) => ChorT s (r :: ChordType n) (Dot Quarter)
- qc :: forall n r s. (Primitive n, IntListRep r, ValidChord s r Quarter) => ChorT s (r :: ChordType n) Quarter
- qr' :: forall s. ValidRest s (Dot Quarter) => RestT s (Dot Quarter)
- qr :: forall s. ValidRest s Quarter => RestT s Quarter
- qn' :: forall r s. (ValidNote s r (Dot Quarter), IntRep r) => RootT s r (Dot Quarter)
- qn :: forall r s. (ValidNote s r Quarter, IntRep r) => RootT s r Quarter
- _qu' :: Dur (Dot Quarter)
- _qu :: Dur Quarter
- hc' :: forall n r s. (Primitive n, IntListRep r, ValidChord s r (Dot Half)) => ChorT s (r :: ChordType n) (Dot Half)
- hc :: forall n r s. (Primitive n, IntListRep r, ValidChord s r Half) => ChorT s (r :: ChordType n) Half
- hr' :: forall s. ValidRest s (Dot Half) => RestT s (Dot Half)
- hr :: forall s. ValidRest s Half => RestT s Half
- hn' :: forall r s. (ValidNote s r (Dot Half), IntRep r) => RootT s r (Dot Half)
- hn :: forall r s. (ValidNote s r Half, IntRep r) => RootT s r Half
- _ha' :: Dur (Dot Half)
- _ha :: Dur Half
- wc' :: forall n r s. (Primitive n, IntListRep r, ValidChord s r (Dot Whole)) => ChorT s (r :: ChordType n) (Dot Whole)
- wc :: forall n r s. (Primitive n, IntListRep r, ValidChord s r Whole) => ChorT s (r :: ChordType n) Whole
- wr' :: forall s. ValidRest s (Dot Whole) => RestT s (Dot Whole)
- wr :: forall s. ValidRest s Whole => RestT s Whole
- wn' :: forall r s. (ValidNote s r (Dot Whole), IntRep r) => RootT s r (Dot Whole)
- wn :: forall r s. (ValidNote s r Whole, IntRep r) => RootT s r Whole
- _wh' :: Dur (Dot Whole)
- _wh :: Dur Whole
- pitch :: Primitive (Pitch pc acc oct) => PC pc -> Acc acc -> Oct oct -> Pit (Pitch pc acc oct)
- silence :: Pit Silence
- _cn_5 :: Pit (Pitch C Natural Oct_1)
- _cn_4 :: Pit (Pitch C Natural Oct0)
- _cn_3 :: Pit (Pitch C Natural Oct1)
- _cn__ :: Pit (Pitch C Natural Oct2)
- _cn_ :: Pit (Pitch C Natural Oct3)
- _cn :: Pit (Pitch C Natural Oct4)
- _cn' :: Pit (Pitch C Natural Oct5)
- _cn'' :: Pit (Pitch C Natural Oct6)
- _cn'3 :: Pit (Pitch C Natural Oct7)
- _cn'4 :: Pit (Pitch C Natural Oct8)
- _cf_5 :: Pit (Pitch C Flat Oct_1)
- _cf_4 :: Pit (Pitch C Flat Oct0)
- _cf_3 :: Pit (Pitch C Flat Oct1)
- _cf__ :: Pit (Pitch C Flat Oct2)
- _cf_ :: Pit (Pitch C Flat Oct3)
- _cf :: Pit (Pitch C Flat Oct4)
- _cf' :: Pit (Pitch C Flat Oct5)
- _cf'' :: Pit (Pitch C Flat Oct6)
- _cf'3 :: Pit (Pitch C Flat Oct7)
- _cf'4 :: Pit (Pitch C Flat Oct8)
- _cs_5 :: Pit (Pitch C Sharp Oct_1)
- _cs_4 :: Pit (Pitch C Sharp Oct0)
- _cs_3 :: Pit (Pitch C Sharp Oct1)
- _cs__ :: Pit (Pitch C Sharp Oct2)
- _cs_ :: Pit (Pitch C Sharp Oct3)
- _cs :: Pit (Pitch C Sharp Oct4)
- _cs' :: Pit (Pitch C Sharp Oct5)
- _cs'' :: Pit (Pitch C Sharp Oct6)
- _cs'3 :: Pit (Pitch C Sharp Oct7)
- _cs'4 :: Pit (Pitch C Sharp Oct8)
- _dn_5 :: Pit (Pitch D Natural Oct_1)
- _dn_4 :: Pit (Pitch D Natural Oct0)
- _dn_3 :: Pit (Pitch D Natural Oct1)
- _dn__ :: Pit (Pitch D Natural Oct2)
- _dn_ :: Pit (Pitch D Natural Oct3)
- _dn :: Pit (Pitch D Natural Oct4)
- _dn' :: Pit (Pitch D Natural Oct5)
- _dn'' :: Pit (Pitch D Natural Oct6)
- _dn'3 :: Pit (Pitch D Natural Oct7)
- _dn'4 :: Pit (Pitch D Natural Oct8)
- _df_5 :: Pit (Pitch D Flat Oct_1)
- _df_4 :: Pit (Pitch D Flat Oct0)
- _df_3 :: Pit (Pitch D Flat Oct1)
- _df__ :: Pit (Pitch D Flat Oct2)
- _df_ :: Pit (Pitch D Flat Oct3)
- _df :: Pit (Pitch D Flat Oct4)
- _df' :: Pit (Pitch D Flat Oct5)
- _df'' :: Pit (Pitch D Flat Oct6)
- _df'3 :: Pit (Pitch D Flat Oct7)
- _df'4 :: Pit (Pitch D Flat Oct8)
- _ds_5 :: Pit (Pitch D Sharp Oct_1)
- _ds_4 :: Pit (Pitch D Sharp Oct0)
- _ds_3 :: Pit (Pitch D Sharp Oct1)
- _ds__ :: Pit (Pitch D Sharp Oct2)
- _ds_ :: Pit (Pitch D Sharp Oct3)
- _ds :: Pit (Pitch D Sharp Oct4)
- _ds' :: Pit (Pitch D Sharp Oct5)
- _ds'' :: Pit (Pitch D Sharp Oct6)
- _ds'3 :: Pit (Pitch D Sharp Oct7)
- _ds'4 :: Pit (Pitch D Sharp Oct8)
- _en_5 :: Pit (Pitch E Natural Oct_1)
- _en_4 :: Pit (Pitch E Natural Oct0)
- _en_3 :: Pit (Pitch E Natural Oct1)
- _en__ :: Pit (Pitch E Natural Oct2)
- _en_ :: Pit (Pitch E Natural Oct3)
- _en :: Pit (Pitch E Natural Oct4)
- _en' :: Pit (Pitch E Natural Oct5)
- _en'' :: Pit (Pitch E Natural Oct6)
- _en'3 :: Pit (Pitch E Natural Oct7)
- _en'4 :: Pit (Pitch E Natural Oct8)
- _ef_5 :: Pit (Pitch E Flat Oct_1)
- _ef_4 :: Pit (Pitch E Flat Oct0)
- _ef_3 :: Pit (Pitch E Flat Oct1)
- _ef__ :: Pit (Pitch E Flat Oct2)
- _ef_ :: Pit (Pitch E Flat Oct3)
- _ef :: Pit (Pitch E Flat Oct4)
- _ef' :: Pit (Pitch E Flat Oct5)
- _ef'' :: Pit (Pitch E Flat Oct6)
- _ef'3 :: Pit (Pitch E Flat Oct7)
- _ef'4 :: Pit (Pitch E Flat Oct8)
- _es_5 :: Pit (Pitch E Sharp Oct_1)
- _es_4 :: Pit (Pitch E Sharp Oct0)
- _es_3 :: Pit (Pitch E Sharp Oct1)
- _es__ :: Pit (Pitch E Sharp Oct2)
- _es_ :: Pit (Pitch E Sharp Oct3)
- _es :: Pit (Pitch E Sharp Oct4)
- _es' :: Pit (Pitch E Sharp Oct5)
- _es'' :: Pit (Pitch E Sharp Oct6)
- _es'3 :: Pit (Pitch E Sharp Oct7)
- _es'4 :: Pit (Pitch E Sharp Oct8)
- _fn_5 :: Pit (Pitch F Natural Oct_1)
- _fn_4 :: Pit (Pitch F Natural Oct0)
- _fn_3 :: Pit (Pitch F Natural Oct1)
- _fn__ :: Pit (Pitch F Natural Oct2)
- _fn_ :: Pit (Pitch F Natural Oct3)
- _fn :: Pit (Pitch F Natural Oct4)
- _fn' :: Pit (Pitch F Natural Oct5)
- _fn'' :: Pit (Pitch F Natural Oct6)
- _fn'3 :: Pit (Pitch F Natural Oct7)
- _fn'4 :: Pit (Pitch F Natural Oct8)
- _ff_5 :: Pit (Pitch F Flat Oct_1)
- _ff_4 :: Pit (Pitch F Flat Oct0)
- _ff_3 :: Pit (Pitch F Flat Oct1)
- _ff__ :: Pit (Pitch F Flat Oct2)
- _ff_ :: Pit (Pitch F Flat Oct3)
- _ff :: Pit (Pitch F Flat Oct4)
- _ff' :: Pit (Pitch F Flat Oct5)
- _ff'' :: Pit (Pitch F Flat Oct6)
- _ff'3 :: Pit (Pitch F Flat Oct7)
- _ff'4 :: Pit (Pitch F Flat Oct8)
- _fs_5 :: Pit (Pitch F Sharp Oct_1)
- _fs_4 :: Pit (Pitch F Sharp Oct0)
- _fs_3 :: Pit (Pitch F Sharp Oct1)
- _fs__ :: Pit (Pitch F Sharp Oct2)
- _fs_ :: Pit (Pitch F Sharp Oct3)
- _fs :: Pit (Pitch F Sharp Oct4)
- _fs' :: Pit (Pitch F Sharp Oct5)
- _fs'' :: Pit (Pitch F Sharp Oct6)
- _fs'3 :: Pit (Pitch F Sharp Oct7)
- _fs'4 :: Pit (Pitch F Sharp Oct8)
- _gn_5 :: Pit (Pitch G Natural Oct_1)
- _gn_4 :: Pit (Pitch G Natural Oct0)
- _gn_3 :: Pit (Pitch G Natural Oct1)
- _gn__ :: Pit (Pitch G Natural Oct2)
- _gn_ :: Pit (Pitch G Natural Oct3)
- _gn :: Pit (Pitch G Natural Oct4)
- _gn' :: Pit (Pitch G Natural Oct5)
- _gn'' :: Pit (Pitch G Natural Oct6)
- _gn'3 :: Pit (Pitch G Natural Oct7)
- _gn'4 :: Pit (Pitch G Natural Oct8)
- _gf_5 :: Pit (Pitch G Flat Oct_1)
- _gf_4 :: Pit (Pitch G Flat Oct0)
- _gf_3 :: Pit (Pitch G Flat Oct1)
- _gf__ :: Pit (Pitch G Flat Oct2)
- _gf_ :: Pit (Pitch G Flat Oct3)
- _gf :: Pit (Pitch G Flat Oct4)
- _gf' :: Pit (Pitch G Flat Oct5)
- _gf'' :: Pit (Pitch G Flat Oct6)
- _gf'3 :: Pit (Pitch G Flat Oct7)
- _gf'4 :: Pit (Pitch G Flat Oct8)
- _gs_5 :: Pit (Pitch G Sharp Oct_1)
- _gs_4 :: Pit (Pitch G Sharp Oct0)
- _gs_3 :: Pit (Pitch G Sharp Oct1)
- _gs__ :: Pit (Pitch G Sharp Oct2)
- _gs_ :: Pit (Pitch G Sharp Oct3)
- _gs :: Pit (Pitch G Sharp Oct4)
- _gs' :: Pit (Pitch G Sharp Oct5)
- _gs'' :: Pit (Pitch G Sharp Oct6)
- _gs'3 :: Pit (Pitch G Sharp Oct7)
- _gs'4 :: Pit (Pitch G Sharp Oct8)
- _an_5 :: Pit (Pitch A Natural Oct_1)
- _an_4 :: Pit (Pitch A Natural Oct0)
- _an_3 :: Pit (Pitch A Natural Oct1)
- _an__ :: Pit (Pitch A Natural Oct2)
- _an_ :: Pit (Pitch A Natural Oct3)
- _an :: Pit (Pitch A Natural Oct4)
- _an' :: Pit (Pitch A Natural Oct5)
- _an'' :: Pit (Pitch A Natural Oct6)
- _an'3 :: Pit (Pitch A Natural Oct7)
- _an'4 :: Pit (Pitch A Natural Oct8)
- _af_5 :: Pit (Pitch A Flat Oct_1)
- _af_4 :: Pit (Pitch A Flat Oct0)
- _af_3 :: Pit (Pitch A Flat Oct1)
- _af__ :: Pit (Pitch A Flat Oct2)
- _af_ :: Pit (Pitch A Flat Oct3)
- _af :: Pit (Pitch A Flat Oct4)
- _af' :: Pit (Pitch A Flat Oct5)
- _af'' :: Pit (Pitch A Flat Oct6)
- _af'3 :: Pit (Pitch A Flat Oct7)
- _af'4 :: Pit (Pitch A Flat Oct8)
- _as_5 :: Pit (Pitch A Sharp Oct_1)
- _as_4 :: Pit (Pitch A Sharp Oct0)
- _as_3 :: Pit (Pitch A Sharp Oct1)
- _as__ :: Pit (Pitch A Sharp Oct2)
- _as_ :: Pit (Pitch A Sharp Oct3)
- _as :: Pit (Pitch A Sharp Oct4)
- _as' :: Pit (Pitch A Sharp Oct5)
- _as'' :: Pit (Pitch A Sharp Oct6)
- _as'3 :: Pit (Pitch A Sharp Oct7)
- _as'4 :: Pit (Pitch A Sharp Oct8)
- _bn_5 :: Pit (Pitch B Natural Oct_1)
- _bn_4 :: Pit (Pitch B Natural Oct0)
- _bn_3 :: Pit (Pitch B Natural Oct1)
- _bn__ :: Pit (Pitch B Natural Oct2)
- _bn_ :: Pit (Pitch B Natural Oct3)
- _bn :: Pit (Pitch B Natural Oct4)
- _bn' :: Pit (Pitch B Natural Oct5)
- _bn'' :: Pit (Pitch B Natural Oct6)
- _bn'3 :: Pit (Pitch B Natural Oct7)
- _bn'4 :: Pit (Pitch B Natural Oct8)
- _bf_5 :: Pit (Pitch B Flat Oct_1)
- _bf_4 :: Pit (Pitch B Flat Oct0)
- _bf_3 :: Pit (Pitch B Flat Oct1)
- _bf__ :: Pit (Pitch B Flat Oct2)
- _bf_ :: Pit (Pitch B Flat Oct3)
- _bf :: Pit (Pitch B Flat Oct4)
- _bf' :: Pit (Pitch B Flat Oct5)
- _bf'' :: Pit (Pitch B Flat Oct6)
- _bf'3 :: Pit (Pitch B Flat Oct7)
- _bf'4 :: Pit (Pitch B Flat Oct8)
- _bs_5 :: Pit (Pitch B Sharp Oct_1)
- _bs_4 :: Pit (Pitch B Sharp Oct0)
- _bs_3 :: Pit (Pitch B Sharp Oct1)
- _bs__ :: Pit (Pitch B Sharp Oct2)
- _bs_ :: Pit (Pitch B Sharp Oct3)
- _bs :: Pit (Pitch B Sharp Oct4)
- _bs' :: Pit (Pitch B Sharp Oct5)
- _bs'' :: Pit (Pitch B Sharp Oct6)
- _bs'3 :: Pit (Pitch B Sharp Oct7)
- _bs'4 :: Pit (Pitch B Sharp Oct8)
- c_5 :: RootS (PitchRoot (Pitch C Natural Oct_1))
- c_4 :: RootS (PitchRoot (Pitch C Natural Oct0))
- c_3 :: RootS (PitchRoot (Pitch C Natural Oct1))
- c__ :: RootS (PitchRoot (Pitch C Natural Oct2))
- c_ :: RootS (PitchRoot (Pitch C Natural Oct3))
- c :: RootS (PitchRoot (Pitch C Natural Oct4))
- c' :: RootS (PitchRoot (Pitch C Natural Oct5))
- c'' :: RootS (PitchRoot (Pitch C Natural Oct6))
- c'3 :: RootS (PitchRoot (Pitch C Natural Oct7))
- c'4 :: RootS (PitchRoot (Pitch C Natural Oct8))
- cf_5 :: RootS (PitchRoot (Pitch C Flat Oct_1))
- cf_4 :: RootS (PitchRoot (Pitch C Flat Oct0))
- cf_3 :: RootS (PitchRoot (Pitch C Flat Oct1))
- cf__ :: RootS (PitchRoot (Pitch C Flat Oct2))
- cf_ :: RootS (PitchRoot (Pitch C Flat Oct3))
- cf :: RootS (PitchRoot (Pitch C Flat Oct4))
- cf' :: RootS (PitchRoot (Pitch C Flat Oct5))
- cf'' :: RootS (PitchRoot (Pitch C Flat Oct6))
- cf'3 :: RootS (PitchRoot (Pitch C Flat Oct7))
- cf'4 :: RootS (PitchRoot (Pitch C Flat Oct8))
- cs_5 :: RootS (PitchRoot (Pitch C Sharp Oct_1))
- cs_4 :: RootS (PitchRoot (Pitch C Sharp Oct0))
- cs_3 :: RootS (PitchRoot (Pitch C Sharp Oct1))
- cs__ :: RootS (PitchRoot (Pitch C Sharp Oct2))
- cs_ :: RootS (PitchRoot (Pitch C Sharp Oct3))
- cs :: RootS (PitchRoot (Pitch C Sharp Oct4))
- cs' :: RootS (PitchRoot (Pitch C Sharp Oct5))
- cs'' :: RootS (PitchRoot (Pitch C Sharp Oct6))
- cs'3 :: RootS (PitchRoot (Pitch C Sharp Oct7))
- cs'4 :: RootS (PitchRoot (Pitch C Sharp Oct8))
- d_5 :: RootS (PitchRoot (Pitch D Natural Oct_1))
- d_4 :: RootS (PitchRoot (Pitch D Natural Oct0))
- d_3 :: RootS (PitchRoot (Pitch D Natural Oct1))
- d__ :: RootS (PitchRoot (Pitch D Natural Oct2))
- d_ :: RootS (PitchRoot (Pitch D Natural Oct3))
- d :: RootS (PitchRoot (Pitch D Natural Oct4))
- d' :: RootS (PitchRoot (Pitch D Natural Oct5))
- d'' :: RootS (PitchRoot (Pitch D Natural Oct6))
- d'3 :: RootS (PitchRoot (Pitch D Natural Oct7))
- d'4 :: RootS (PitchRoot (Pitch D Natural Oct8))
- df_5 :: RootS (PitchRoot (Pitch D Flat Oct_1))
- df_4 :: RootS (PitchRoot (Pitch D Flat Oct0))
- df_3 :: RootS (PitchRoot (Pitch D Flat Oct1))
- df__ :: RootS (PitchRoot (Pitch D Flat Oct2))
- df_ :: RootS (PitchRoot (Pitch D Flat Oct3))
- df :: RootS (PitchRoot (Pitch D Flat Oct4))
- df' :: RootS (PitchRoot (Pitch D Flat Oct5))
- df'' :: RootS (PitchRoot (Pitch D Flat Oct6))
- df'3 :: RootS (PitchRoot (Pitch D Flat Oct7))
- df'4 :: RootS (PitchRoot (Pitch D Flat Oct8))
- ds_5 :: RootS (PitchRoot (Pitch D Sharp Oct_1))
- ds_4 :: RootS (PitchRoot (Pitch D Sharp Oct0))
- ds_3 :: RootS (PitchRoot (Pitch D Sharp Oct1))
- ds__ :: RootS (PitchRoot (Pitch D Sharp Oct2))
- ds_ :: RootS (PitchRoot (Pitch D Sharp Oct3))
- ds :: RootS (PitchRoot (Pitch D Sharp Oct4))
- ds' :: RootS (PitchRoot (Pitch D Sharp Oct5))
- ds'' :: RootS (PitchRoot (Pitch D Sharp Oct6))
- ds'3 :: RootS (PitchRoot (Pitch D Sharp Oct7))
- ds'4 :: RootS (PitchRoot (Pitch D Sharp Oct8))
- e_5 :: RootS (PitchRoot (Pitch E Natural Oct_1))
- e_4 :: RootS (PitchRoot (Pitch E Natural Oct0))
- e_3 :: RootS (PitchRoot (Pitch E Natural Oct1))
- e__ :: RootS (PitchRoot (Pitch E Natural Oct2))
- e_ :: RootS (PitchRoot (Pitch E Natural Oct3))
- e :: RootS (PitchRoot (Pitch E Natural Oct4))
- e' :: RootS (PitchRoot (Pitch E Natural Oct5))
- e'' :: RootS (PitchRoot (Pitch E Natural Oct6))
- e'3 :: RootS (PitchRoot (Pitch E Natural Oct7))
- e'4 :: RootS (PitchRoot (Pitch E Natural Oct8))
- ef_5 :: RootS (PitchRoot (Pitch E Flat Oct_1))
- ef_4 :: RootS (PitchRoot (Pitch E Flat Oct0))
- ef_3 :: RootS (PitchRoot (Pitch E Flat Oct1))
- ef__ :: RootS (PitchRoot (Pitch E Flat Oct2))
- ef_ :: RootS (PitchRoot (Pitch E Flat Oct3))
- ef :: RootS (PitchRoot (Pitch E Flat Oct4))
- ef' :: RootS (PitchRoot (Pitch E Flat Oct5))
- ef'' :: RootS (PitchRoot (Pitch E Flat Oct6))
- ef'3 :: RootS (PitchRoot (Pitch E Flat Oct7))
- ef'4 :: RootS (PitchRoot (Pitch E Flat Oct8))
- es_5 :: RootS (PitchRoot (Pitch E Sharp Oct_1))
- es_4 :: RootS (PitchRoot (Pitch E Sharp Oct0))
- es_3 :: RootS (PitchRoot (Pitch E Sharp Oct1))
- es__ :: RootS (PitchRoot (Pitch E Sharp Oct2))
- es_ :: RootS (PitchRoot (Pitch E Sharp Oct3))
- es :: RootS (PitchRoot (Pitch E Sharp Oct4))
- es' :: RootS (PitchRoot (Pitch E Sharp Oct5))
- es'' :: RootS (PitchRoot (Pitch E Sharp Oct6))
- es'3 :: RootS (PitchRoot (Pitch E Sharp Oct7))
- es'4 :: RootS (PitchRoot (Pitch E Sharp Oct8))
- f_5 :: RootS (PitchRoot (Pitch F Natural Oct_1))
- f_4 :: RootS (PitchRoot (Pitch F Natural Oct0))
- f_3 :: RootS (PitchRoot (Pitch F Natural Oct1))
- f__ :: RootS (PitchRoot (Pitch F Natural Oct2))
- f_ :: RootS (PitchRoot (Pitch F Natural Oct3))
- f :: RootS (PitchRoot (Pitch F Natural Oct4))
- f' :: RootS (PitchRoot (Pitch F Natural Oct5))
- f'' :: RootS (PitchRoot (Pitch F Natural Oct6))
- f'3 :: RootS (PitchRoot (Pitch F Natural Oct7))
- f'4 :: RootS (PitchRoot (Pitch F Natural Oct8))
- ff_5 :: RootS (PitchRoot (Pitch F Flat Oct_1))
- ff_4 :: RootS (PitchRoot (Pitch F Flat Oct0))
- ff_3 :: RootS (PitchRoot (Pitch F Flat Oct1))
- ff__ :: RootS (PitchRoot (Pitch F Flat Oct2))
- ff_ :: RootS (PitchRoot (Pitch F Flat Oct3))
- ff :: RootS (PitchRoot (Pitch F Flat Oct4))
- ff' :: RootS (PitchRoot (Pitch F Flat Oct5))
- ff'' :: RootS (PitchRoot (Pitch F Flat Oct6))
- ff'3 :: RootS (PitchRoot (Pitch F Flat Oct7))
- ff'4 :: RootS (PitchRoot (Pitch F Flat Oct8))
- fs_5 :: RootS (PitchRoot (Pitch F Sharp Oct_1))
- fs_4 :: RootS (PitchRoot (Pitch F Sharp Oct0))
- fs_3 :: RootS (PitchRoot (Pitch F Sharp Oct1))
- fs__ :: RootS (PitchRoot (Pitch F Sharp Oct2))
- fs_ :: RootS (PitchRoot (Pitch F Sharp Oct3))
- fs :: RootS (PitchRoot (Pitch F Sharp Oct4))
- fs' :: RootS (PitchRoot (Pitch F Sharp Oct5))
- fs'' :: RootS (PitchRoot (Pitch F Sharp Oct6))
- fs'3 :: RootS (PitchRoot (Pitch F Sharp Oct7))
- fs'4 :: RootS (PitchRoot (Pitch F Sharp Oct8))
- g_5 :: RootS (PitchRoot (Pitch G Natural Oct_1))
- g_4 :: RootS (PitchRoot (Pitch G Natural Oct0))
- g_3 :: RootS (PitchRoot (Pitch G Natural Oct1))
- g__ :: RootS (PitchRoot (Pitch G Natural Oct2))
- g_ :: RootS (PitchRoot (Pitch G Natural Oct3))
- g :: RootS (PitchRoot (Pitch G Natural Oct4))
- g' :: RootS (PitchRoot (Pitch G Natural Oct5))
- g'' :: RootS (PitchRoot (Pitch G Natural Oct6))
- g'3 :: RootS (PitchRoot (Pitch G Natural Oct7))
- g'4 :: RootS (PitchRoot (Pitch G Natural Oct8))
- gf_5 :: RootS (PitchRoot (Pitch G Flat Oct_1))
- gf_4 :: RootS (PitchRoot (Pitch G Flat Oct0))
- gf_3 :: RootS (PitchRoot (Pitch G Flat Oct1))
- gf__ :: RootS (PitchRoot (Pitch G Flat Oct2))
- gf_ :: RootS (PitchRoot (Pitch G Flat Oct3))
- gf :: RootS (PitchRoot (Pitch G Flat Oct4))
- gf' :: RootS (PitchRoot (Pitch G Flat Oct5))
- gf'' :: RootS (PitchRoot (Pitch G Flat Oct6))
- gf'3 :: RootS (PitchRoot (Pitch G Flat Oct7))
- gf'4 :: RootS (PitchRoot (Pitch G Flat Oct8))
- gs_5 :: RootS (PitchRoot (Pitch G Sharp Oct_1))
- gs_4 :: RootS (PitchRoot (Pitch G Sharp Oct0))
- gs_3 :: RootS (PitchRoot (Pitch G Sharp Oct1))
- gs__ :: RootS (PitchRoot (Pitch G Sharp Oct2))
- gs_ :: RootS (PitchRoot (Pitch G Sharp Oct3))
- gs :: RootS (PitchRoot (Pitch G Sharp Oct4))
- gs' :: RootS (PitchRoot (Pitch G Sharp Oct5))
- gs'' :: RootS (PitchRoot (Pitch G Sharp Oct6))
- gs'3 :: RootS (PitchRoot (Pitch G Sharp Oct7))
- gs'4 :: RootS (PitchRoot (Pitch G Sharp Oct8))
- a_5 :: RootS (PitchRoot (Pitch A Natural Oct_1))
- a_4 :: RootS (PitchRoot (Pitch A Natural Oct0))
- a_3 :: RootS (PitchRoot (Pitch A Natural Oct1))
- a__ :: RootS (PitchRoot (Pitch A Natural Oct2))
- a_ :: RootS (PitchRoot (Pitch A Natural Oct3))
- a :: RootS (PitchRoot (Pitch A Natural Oct4))
- a' :: RootS (PitchRoot (Pitch A Natural Oct5))
- a'' :: RootS (PitchRoot (Pitch A Natural Oct6))
- a'3 :: RootS (PitchRoot (Pitch A Natural Oct7))
- a'4 :: RootS (PitchRoot (Pitch A Natural Oct8))
- af_5 :: RootS (PitchRoot (Pitch A Flat Oct_1))
- af_4 :: RootS (PitchRoot (Pitch A Flat Oct0))
- af_3 :: RootS (PitchRoot (Pitch A Flat Oct1))
- af__ :: RootS (PitchRoot (Pitch A Flat Oct2))
- af_ :: RootS (PitchRoot (Pitch A Flat Oct3))
- af :: RootS (PitchRoot (Pitch A Flat Oct4))
- af' :: RootS (PitchRoot (Pitch A Flat Oct5))
- af'' :: RootS (PitchRoot (Pitch A Flat Oct6))
- af'3 :: RootS (PitchRoot (Pitch A Flat Oct7))
- af'4 :: RootS (PitchRoot (Pitch A Flat Oct8))
- as_5 :: RootS (PitchRoot (Pitch A Sharp Oct_1))
- as_4 :: RootS (PitchRoot (Pitch A Sharp Oct0))
- as_3 :: RootS (PitchRoot (Pitch A Sharp Oct1))
- as__ :: RootS (PitchRoot (Pitch A Sharp Oct2))
- as_ :: RootS (PitchRoot (Pitch A Sharp Oct3))
- as :: RootS (PitchRoot (Pitch A Sharp Oct4))
- as' :: RootS (PitchRoot (Pitch A Sharp Oct5))
- as'' :: RootS (PitchRoot (Pitch A Sharp Oct6))
- as'3 :: RootS (PitchRoot (Pitch A Sharp Oct7))
- as'4 :: RootS (PitchRoot (Pitch A Sharp Oct8))
- b_5 :: RootS (PitchRoot (Pitch B Natural Oct_1))
- b_4 :: RootS (PitchRoot (Pitch B Natural Oct0))
- b_3 :: RootS (PitchRoot (Pitch B Natural Oct1))
- b__ :: RootS (PitchRoot (Pitch B Natural Oct2))
- b_ :: RootS (PitchRoot (Pitch B Natural Oct3))
- b :: RootS (PitchRoot (Pitch B Natural Oct4))
- b' :: RootS (PitchRoot (Pitch B Natural Oct5))
- b'' :: RootS (PitchRoot (Pitch B Natural Oct6))
- b'3 :: RootS (PitchRoot (Pitch B Natural Oct7))
- b'4 :: RootS (PitchRoot (Pitch B Natural Oct8))
- bf_5 :: RootS (PitchRoot (Pitch B Flat Oct_1))
- bf_4 :: RootS (PitchRoot (Pitch B Flat Oct0))
- bf_3 :: RootS (PitchRoot (Pitch B Flat Oct1))
- bf__ :: RootS (PitchRoot (Pitch B Flat Oct2))
- bf_ :: RootS (PitchRoot (Pitch B Flat Oct3))
- bf :: RootS (PitchRoot (Pitch B Flat Oct4))
- bf' :: RootS (PitchRoot (Pitch B Flat Oct5))
- bf'' :: RootS (PitchRoot (Pitch B Flat Oct6))
- bf'3 :: RootS (PitchRoot (Pitch B Flat Oct7))
- bf'4 :: RootS (PitchRoot (Pitch B Flat Oct8))
- bs_5 :: RootS (PitchRoot (Pitch B Sharp Oct_1))
- bs_4 :: RootS (PitchRoot (Pitch B Sharp Oct0))
- bs_3 :: RootS (PitchRoot (Pitch B Sharp Oct1))
- bs__ :: RootS (PitchRoot (Pitch B Sharp Oct2))
- bs_ :: RootS (PitchRoot (Pitch B Sharp Oct3))
- bs :: RootS (PitchRoot (Pitch B Sharp Oct4))
- bs' :: RootS (PitchRoot (Pitch B Sharp Oct5))
- bs'' :: RootS (PitchRoot (Pitch B Sharp Oct6))
- bs'3 :: RootS (PitchRoot (Pitch B Sharp Oct7))
- bs'4 :: RootS (PitchRoot (Pitch B Sharp Oct8))
- r :: RestS
- sharp :: RootM r (Sharpen r)
- flat :: RootM r (Flatten r)
- rootP :: IntRep p => Pit p -> Root (PitchRoot p)
- rootS :: Primitive (DegreeRoot k d) => KeyS k -> Deg d -> Root (DegreeRoot k d)
- noteP :: (Primitive d, IntRep p, ValidNote s (PitchRoot p) d) => Pit p -> Dur d -> Music s (FromRoot (PitchRoot p) d)
- noteS :: (Primitive d, IntRep (DegreeRoot k sd), ValidNote (Sig :: Signature t k r) (DegreeRoot k sd) d) => KeyS k -> Deg sd -> Dur d -> Music (Sig :: Signature t k r) (FromRoot (DegreeRoot k sd) d)
- rest :: (Primitive d, ValidRest s d) => Dur d -> Music s (FromSilence d)
Atomic literals
Pitch class literals
Accidental literals
Octave literals
Duration literals and terminators
tc :: forall n r s. (Primitive n, IntListRep r, ValidChord s r ThirtySecond) => ChorT s (r :: ChordType n) ThirtySecond Source #
tr :: forall s. ValidRest s ThirtySecond => RestT s ThirtySecond Source #
tn :: forall r s. (ValidNote s r ThirtySecond, IntRep r) => RootT s r ThirtySecond Source #
_th :: Dur ThirtySecond Source #
sc' :: forall n r s. (Primitive n, IntListRep r, ValidChord s r (Dot Sixteenth)) => ChorT s (r :: ChordType n) (Dot Sixteenth) Source #
sc :: forall n r s. (Primitive n, IntListRep r, ValidChord s r Sixteenth) => ChorT s (r :: ChordType n) Sixteenth Source #
ec' :: forall n r s. (Primitive n, IntListRep r, ValidChord s r (Dot Eighth)) => ChorT s (r :: ChordType n) (Dot Eighth) Source #
ec :: forall n r s. (Primitive n, IntListRep r, ValidChord s r Eighth) => ChorT s (r :: ChordType n) Eighth Source #
qc' :: forall n r s. (Primitive n, IntListRep r, ValidChord s r (Dot Quarter)) => ChorT s (r :: ChordType n) (Dot Quarter) Source #
qc :: forall n r s. (Primitive n, IntListRep r, ValidChord s r Quarter) => ChorT s (r :: ChordType n) Quarter Source #
hc' :: forall n r s. (Primitive n, IntListRep r, ValidChord s r (Dot Half)) => ChorT s (r :: ChordType n) (Dot Half) Source #
hc :: forall n r s. (Primitive n, IntListRep r, ValidChord s r Half) => ChorT s (r :: ChordType n) Half Source #
wc' :: forall n r s. (Primitive n, IntListRep r, ValidChord s r (Dot Whole)) => ChorT s (r :: ChordType n) (Dot Whole) Source #
wc :: forall n r s. (Primitive n, IntListRep r, ValidChord s r Whole) => ChorT s (r :: ChordType n) Whole Source #
Pitches
Constructor
pitch :: Primitive (Pitch pc acc oct) => PC pc -> Acc acc -> Oct oct -> Pit (Pitch pc acc oct) Source #
Create a new pitch with the given class, accidental and octave.
Concrete literals
Pitch specifiers (admitting continuations)
Notes
Constructors
rootS :: Primitive (DegreeRoot k d) => KeyS k -> Deg d -> Root (DegreeRoot k d) Source #
Create a new root from a key and a scale degree.
noteP :: (Primitive d, IntRep p, ValidNote s (PitchRoot p) d) => Pit p -> Dur d -> Music s (FromRoot (PitchRoot p) d) Source #
Create a new note from a root and duration.