| Copyright | (c) 2010-2012 Universiteit Utrecht, 2012 University of Oxford |
|---|---|
| License | GPL3 |
| Maintainer | bash@cs.uu.nl, jpm@cs.ox.ac.uk |
| Stability | experimental |
| Portability | non-portable |
| Safe Haskell | None |
| Language | Haskell98 |
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 mode) | |
| (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 mode) | |
| GTree (Phrase mode) | |
| (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 mode) | |
| CollectG (Phrase mode) ChordToken | |
| type Rep (Phrase mode0) = RepPhrase_ mode0 |
Constructors
| T_1 :: SD MajMode I MajClass -> Ton MajMode | |
| Tm_1 :: SD MinMode I MinClass -> Ton MinMode |
Instances
| Representable (Ton mode) | |
| GenerateG (SD MajMode I MajClass) => GenerateG (Ton MajMode) | |
| GenerateG (SD MinMode I MinClass) => GenerateG (Ton MinMode) | |
| GTree (Ton mode) | |
| ParseG (SD MajMode I MajClass) => ParseG (Ton MajMode) | |
| ParseG (SD MinMode I MinClass) => ParseG (Ton MinMode) | |
| CollectG (Ton mode) ChordToken | |
| type Rep (Ton mode0) = RepTon_ mode0 |
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 mode) | |
| GenerateG (SD MajMode VII DimClass) => GenerateG (Dom MajMode) | |
| GenerateG (SD MinMode VII DimClass) => GenerateG (Dom MinMode) | |
| GTree (Dom mode) | |
| ParseG (SD MajMode VII DimClass) => ParseG (Dom MajMode) | |
| ParseG (SD MinMode VII DimClass) => ParseG (Dom MinMode) | |
| CollectG (Dom mode) ChordToken | |
| type Rep (Dom mode0) = RepDom_ mode0 |
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 mode) | |
| (GenerateG (SD MajMode IV MajClass), GenerateG (SD MajMode III MinClass)) => GenerateG (SDom MajMode) | |
| GenerateG (SD MinMode IV MinClass) => GenerateG (SDom MinMode) | |
| GTree (SDom mode) | |
| (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 Rep (SDom mode0) = RepSDom_ mode0 |
type SD mode deg clss = Surface_Chord deg clss Source
data Surface_Chord deg clss where Source
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 |