Portability | non-portable |
---|---|
Stability | experimental |
Maintainer | bash@cs.uu.nl, jpm@cs.ox.ac.uk |
Safe Haskell | None |
Summary: The jazz model
Documentation
(ParseG (SD MajMode IV MajClass), ParseG (SD MajMode III MinClass), ParseG (Final IV MajClass), ParseG SMinBorrow) => ParseG (SDom MajMode) | |
(ParseG (SD MajMode VII MinClass), ParseG DMinBorrow) => ParseG (Dom MajMode) | |
(ParseG (Final I MajClass), ParseG (Final IV MajClass), ParseG (Final III MinClass), ParseG TMinBorrow) => ParseG (Ton MajMode) |
(ParseG (SD MinMode IV MinClass), ParseG (SD MinMode IIIb MajClass), ParseG (Final IV MinClass), ParseG SMajBorrow, ParseG (SD MinMode IIb MajClass)) => ParseG (SDom MinMode) | |
(ParseG (SD MinMode VIIb MajClass), ParseG DMajBorrow) => ParseG (Dom MinMode) | |
(ParseG (SD MinMode I MinClass), ParseG (Final I MinClass), ParseG (Final IV MinClass), ParseG (Final IIIb MajClass), ParseG TMajBorrow) => ParseG (Ton MinMode) |
T_1 :: Final I MajClass -> Ton MajMode | |
T_2 :: Final I MajClass -> Final IV MajClass -> Final I MajClass -> Ton MajMode | |
T_3_par :: Final III MinClass -> Ton MajMode | |
T_6_bor :: TMinBorrow -> Ton MajMode | |
Tm_1 :: SD MinMode I MinClass -> Ton MinMode | |
Tm_2 :: Final I MinClass -> Final IV MinClass -> Final I MinClass -> Ton MinMode | |
Tm_3_par :: Final IIIb MajClass -> Ton MinMode | |
Tm_6_bor :: TMajBorrow -> Ton MinMode |
Representable (Ton mode0) | |
GTree (Ton mode0) | |
(ParseG (SD MinMode I MinClass), ParseG (Final I MinClass), ParseG (Final IV MinClass), ParseG (Final IIIb MajClass), ParseG TMajBorrow) => ParseG (Ton MinMode) | |
(ParseG (Final I MajClass), ParseG (Final IV MajClass), ParseG (Final III MinClass), ParseG TMinBorrow) => ParseG (Ton MajMode) |
S_1_par :: SD mode II MinClass -> SDom mode | |
S_2_par :: SD mode II DomClass -> Final II MinClass -> SDom mode | |
S_3 :: SD MajMode IV MajClass -> SDom MajMode | |
S_4 :: SD MajMode III MinClass -> Final IV MajClass -> SDom MajMode | |
S_5_bor :: SMinBorrow -> SDom MajMode | |
Sm_3 :: SD MinMode IV MinClass -> SDom MinMode | |
Sm_4 :: SD MinMode IIIb MajClass -> Final IV MinClass -> SDom MinMode | |
Sm_5_bor :: SMajBorrow -> SDom MinMode | |
Sm_6 :: SD MinMode IIb MajClass -> SDom MinMode |
Representable (SDom mode0) | |
GTree (SDom mode0) | |
(ParseG (SD MinMode IV MinClass), ParseG (SD MinMode IIIb MajClass), ParseG (Final IV MinClass), ParseG SMajBorrow, ParseG (SD MinMode IIb MajClass)) => ParseG (SDom MinMode) | |
(ParseG (SD MajMode IV MajClass), ParseG (SD MajMode III MinClass), ParseG (Final IV MajClass), ParseG SMinBorrow) => ParseG (SDom MajMode) |
data TMinBorrow Source
data DMinBorrow Source
data SMinBorrow Source
data TMajBorrow Source
data DMajBorrow Source
data SMajBorrow Source
type TritMinVSub deg clss = Base_Final deg clss T2Source
type FinalDimTrans deg clss = Surface_Chord deg clss T4Source
type Final deg clss = Surface_Chord deg clss T1Source
data Base_SD deg clss n whereSource
Base_SD :: TritMinVSub deg clss -> Base_SD deg clss (Su n) | |
Cons_Vdom :: Base_SD (VDom deg) DomClass n -> Base_SD deg clss n -> Base_SD deg clss (Su n) | |
Cons_Diat :: Base_SD (DiatV deg) MinClass n -> Base_SD deg MinClass n -> Base_SD deg MinClass (Su n) | |
Cons_DiatM :: Base_SD (DiatVM deg) MajClass n -> Base_SD deg MajClass n -> Base_SD deg MajClass (Su n) | |
Cons_DiatM' :: Base_SD (DiatVM deg) MajClass n -> Base_SD deg MinClass n -> Base_SD deg MinClass (Su n) | |
Cons_Vmin :: Base_SD (VMin deg) MinClass n -> Base_SD deg DomClass n -> Base_SD deg DomClass (Su n) |
data Base_Final deg clss n whereSource
Base_Final :: FinalDimTrans deg clss -> Base_Final deg clss (Su n) | |
Final_Tritone :: Base_Final (Tritone deg) DomClass n -> Base_Final deg DomClass (Su n) | |
Final_Dim_V :: Base_Final (IIbDim deg) DimClass n -> Base_Final deg DomClass (Su n) |
(GetDegree (Base_Final (Tritone deg) DomClass n), GetDegree (Base_Final (IIbDim deg) DimClass n), GTree (FinalDimTrans deg clss), GTree (Base_Final (Tritone deg) DomClass n), GTree (Base_Final (IIbDim deg) DimClass n)) => GTree (Base_Final deg clss (Su n)) | |
GTree (Base_Final deg clss Ze) | |
(ParseG (FinalDimTrans deg DomClass), ParseG (FinalDimTrans deg MinClass), ParseG (Base_Final (Tritone deg) DomClass n), ParseG (Base_Final (IIbDim deg) DimClass n)) => ParseG (Base_Final deg DomClass (Su n)) | |
ParseG (FinalDimTrans deg clss) => ParseG (Base_Final deg clss (Su n)) | |
ParseG (Base_Final deg clss Ze) | |
GetDegree (Base_Final deg clss n) | |
GetDegree (Base_Final deg clss Ze) |
data Surface_Chord deg clss n whereSource
Surface_Chord :: ChordToken -> Surface_Chord deg clss (Su n) | |
Dim_Chord_Trns :: Surface_Chord (MinThird deg) DimClass n -> Surface_Chord deg DimClass (Su n) |
(GetDegree (Surface_Chord (MinThird deg) DimClass n), GTree (Surface_Chord (MinThird deg) DimClass n)) => GTree (Surface_Chord deg clss (Su n)) | |
GTree (Surface_Chord deg clss Ze) | |
(ToDegree deg, ToClass clss) => ParseG (Surface_Chord deg clss (Su n)) | |
(ToDegree deg, ParseG (Surface_Chord (MinThird deg) DimClass n)) => ParseG (Surface_Chord deg DimClass (Su n)) | |
ParseG (Surface_Chord deg clss Ze) | |
GetDegree (Surface_Chord (MinThird deg) DimClass n) => GetDegree (Surface_Chord deg clss (Su n)) | |
GetDegree (Surface_Chord deg clss Ze) |
ToClass DomClass | |
(ParseG (FinalDimTrans deg DomClass), ParseG (FinalDimTrans deg MinClass), ParseG (Base_Final (Tritone deg) DomClass n), ParseG (Base_Final (IIbDim deg) DimClass n)) => ParseG (Base_Final deg DomClass (Su n)) | |
(ToDegree (VMin deg), ToDegree (VDom deg), ParseG (Base_SD (VDom deg) DomClass n), ParseG (Base_SD (VMin deg) MinClass n), ParseG (Base_SD deg DomClass n), ParseG (TritMinVSub deg DomClass)) => ParseG (Base_SD deg DomClass (Su n)) |
class ToDegree deg whereSource
toDegree :: deg -> ScaleDegreeSource