| Portability | non-portable |
|---|---|
| Stability | experimental |
| Maintainer | bash@cs.uu.nl, jpm@cs.ox.ac.uk |
| Safe Haskell | None |
HarmTrace.Models.Simple.Model
Description
Summary: The Simple model
Documentation
Constructors
| P_1451 :: Ton mode -> SDom mode -> Dom mode -> Ton mode -> Phrase mode | |
| P_151 :: Ton mode -> Dom mode -> Ton mode -> Phrase mode | |
| P_51 :: Dom mode -> Ton mode -> Phrase mode | |
| P_15 :: Ton mode -> Dom mode -> Phrase mode | |
| P_1 :: Ton mode -> Phrase mode |
Instances
| Representable (Phrase mode0) | |
| (GenerateG (Ton mode0), GenerateG (SDom mode0), GenerateG (Dom mode0), GenerateG (Ton mode0), GenerateG (Ton mode0), GenerateG (Dom mode0), GenerateG (Ton mode0), GenerateG (Dom mode0), GenerateG (Ton mode0), GenerateG (Ton mode0), GenerateG (Dom mode0), GenerateG (Ton mode0)) => GenerateG (Phrase mode0) | |
| GTree (Phrase mode0) | |
| (ParseG (Ton mode0), ParseG (SDom mode0), ParseG (Dom mode0), ParseG (Ton mode0), ParseG (Ton mode0), ParseG (Dom mode0), ParseG (Ton mode0), ParseG (Dom mode0), ParseG (Ton mode0), ParseG (Ton mode0), ParseG (Dom mode0), ParseG (Ton mode0)) => ParseG (Phrase mode0) | |
| CollectG (Phrase mode) ChordToken |
Constructors
| T_1 :: SD MajMode I MajClass -> Ton MajMode | |
| Tm_1 :: SD MinMode I MinClass -> Ton MinMode |
Instances
| Representable (Ton mode0) | |
| GenerateG (SD MajMode I MajClass) => GenerateG (Ton MajMode) | |
| GenerateG (SD MinMode I MinClass) => GenerateG (Ton MinMode) | |
| GTree (Ton mode0) | |
| ParseG (SD MajMode I MajClass) => ParseG (Ton MajMode) | |
| ParseG (SD MinMode I MinClass) => ParseG (Ton MinMode) | |
| CollectG (Ton mode) ChordToken |
Constructors
| D_2 :: SD mode V DomClass -> Dom mode | |
| D_1 :: SDom mode -> Dom mode -> Dom mode | |
| D_3 :: SD mode V MajClass -> Dom mode | |
| D_4 :: SD MajMode VII DimClass -> Dom MajMode | |
| D_5 :: SD mode II DomClass -> SD mode V DomClass -> Dom mode | |
| Dm_4 :: SD MinMode VII DimClass -> Dom MinMode |
Instances
| Representable (Dom mode0) | |
| GenerateG (SD MajMode VII DimClass) => GenerateG (Dom MajMode) | |
| GenerateG (SD MinMode VII DimClass) => GenerateG (Dom MinMode) | |
| GTree (Dom mode0) | |
| ParseG (SD MajMode VII DimClass) => ParseG (Dom MajMode) | |
| ParseG (SD MinMode VII DimClass) => ParseG (Dom MinMode) | |
| CollectG (Dom mode) ChordToken |
Constructors
| S_1 :: SD MajMode IV MajClass -> SDom MajMode | |
| S_2 :: SD mode II MinClass -> SDom mode | |
| S_3 :: SD MajMode III MinClass -> SD MajMode IV MajClass -> SDom MajMode | |
| Sm_1 :: SD MinMode IV MinClass -> SDom MinMode |
Instances
| Representable (SDom mode0) | |
| (GenerateG (SD MajMode IV MajClass), GenerateG (SD MajMode III MinClass)) => GenerateG (SDom MajMode) | |
| GenerateG (SD MinMode IV MinClass) => GenerateG (SDom MinMode) | |
| GTree (SDom mode0) | |
| (ParseG (SD MajMode IV MajClass), ParseG (SD MajMode III MinClass)) => ParseG (SDom MajMode) | |
| ParseG (SD MinMode IV MinClass) => ParseG (SDom MinMode) | |
| CollectG (SDom mode) ChordToken |
type SD mode deg clss = Surface_Chord deg clssSource
data Surface_Chord deg clss whereSource
Constructors
| Surface_Chord :: ChordToken -> Surface_Chord deg clss |
Instances
| (ToDegree deg, ToClass clss) => GenerateG (Surface_Chord deg clss) | |
| GTree (Surface_Chord deg clss) | |
| (ToDegree deg, ToClass clss) => ParseG (Surface_Chord deg clss) | |
| CollectG (Surface_Chord deg clss) ChordToken |