HarmTrace.Models.Simple.Model

Summary: The Simple model

Documentation

data Proxy t

Constructors

Proxy

data Piece

Constructors

forall mode . Piece [Phrase mode]

Instances

GTree Piece

data Phrase mode where

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

data Ton mode where

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

data Dom mode where

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

data SDom mode where

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

data Surface_Chord deg clss where

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

class ToClass clss where

Methods

toClass :: Proxy clss -> ClassType

Instances

ToClass MajClass

ToClass MinClass

ToClass DomClass

ToClass DimClass

ToClass NoClass

class ToDegree deg where

Methods

toDegree :: Proxy deg -> ScaleDegree

Instances

ToDegree I

ToDegree II

ToDegree III

ToDegree IV

ToDegree V

ToDegree VI

ToDegree VII

ToDegree Imp

allTypes :: [Name]