HarmTrace.Models.Pop.Model

Documentation

data MajMode

Instances

(ParseG (SD MajMode IV MajClass), ParseG (SD MajMode III MinClass), ParseG (Final IV MajClass), ParseG (Final II MinClass), ParseG (SD MajMode VI MinClass), ParseG SMinBorrow) => ParseG (SDom MajMode)

(ParseG (SD MajMode VII MinClass), ParseG DMinBorrow) => ParseG (Dom MajMode)

(ParseG (Final I MajClass), ParseG TMinBorrow) => ParseG (Ton MajMode)

data MinMode

Instances

(ParseG (SD MinMode IV MinClass), ParseG (SD MinMode IIIb MajClass), ParseG (Final IV MinClass), ParseG (Final II MinClass), ParseG (SD MinMode VIb MajClass), 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 TMajBorrow) => ParseG (Ton MinMode)

data Piece

Constructors

forall mode . Piece [Phrase mode]

Instances

GTree Piece

data Phrase mode where

Constructors

PT :: Ton mode -> Phrase mode

PD :: Dom mode -> Phrase mode

Instances

Representable (Phrase mode0)

GTree (Phrase mode0)

(ParseG (Ton mode0), ParseG (Dom mode0)) => ParseG (Phrase mode0)

data Ton mode where

Constructors

T_0 :: SDom mode -> Ton mode -> Ton mode

T_1 :: Final I MajClass -> Ton MajMode

T_4_bls :: Final I DomClass -> Ton mode

T_6_bor :: TMinBorrow -> Ton MajMode

Tm_1 :: SD MinMode I MinClass -> Ton MinMode

Tm_6_bor :: TMajBorrow -> Ton MinMode

Instances

Representable (Ton mode0)

GTree (Ton mode0)

(ParseG (SD MinMode I MinClass), ParseG TMajBorrow) => ParseG (Ton MinMode)

(ParseG (Final I MajClass), ParseG TMinBorrow) => ParseG (Ton MajMode)

data Dom mode where

Constructors

D_1 :: SDom mode -> Dom mode -> Dom mode

D_2 :: SD mode V DomClass -> Dom mode

D_3 :: SD mode V MajClass -> Dom mode

D_4 :: SD MajMode VII MinClass -> Dom MajMode

D_8_bor :: DMinBorrow -> Dom MajMode

Dm_4 :: SD MinMode VIIb MajClass -> Dom MinMode

Dm_8_bor :: DMajBorrow -> Dom MinMode

Instances

Representable (Dom mode0)

GTree (Dom mode0)

(ParseG (SD MinMode VIIb MajClass), ParseG DMajBorrow) => ParseG (Dom MinMode)

(ParseG (SD MajMode VII MinClass), ParseG DMinBorrow) => ParseG (Dom MajMode)

data SDom mode where

Constructors

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_3_bls :: Final IV DomClass -> SDom mode

S_4 :: SD MajMode III MinClass -> Final IV MajClass -> SDom MajMode

S_7 :: SD MajMode III MinClass -> Final II MinClass -> SDom MajMode

S_5_par :: SD MajMode VI MinClass -> SDom MajMode

S_9_bor :: SMinBorrow -> SDom MajMode

Sm_3 :: SD MinMode IV MinClass -> SDom MinMode

Sm_4 :: SD MinMode IIIb MajClass -> Final IV MinClass -> SDom MinMode

Sm_7 :: SD MinMode IIIb MajClass -> Final II MinClass -> SDom MinMode

Sm_5_par :: SD MinMode VIb MajClass -> SDom MinMode

Sm_9_bor :: SMajBorrow -> SDom MinMode

Sm_6 :: SD MinMode IIb MajClass -> SDom MinMode

Instances

Representable (SDom mode0)

GTree (SDom mode0)

(ParseG (SD MinMode IV MinClass), ParseG (SD MinMode IIIb MajClass), ParseG (Final IV MinClass), ParseG (Final II MinClass), ParseG (SD MinMode VIb MajClass), 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 (Final II MinClass), ParseG (SD MajMode VI MinClass), ParseG SMinBorrow) => ParseG (SDom MajMode)

data TMinBorrow

Constructors

Tm_21_bor (SD MinMode I MinClass)

Instances

Representable TMinBorrow

GTree TMinBorrow

ParseG (SD MinMode I MinClass) => ParseG TMinBorrow

data DMinBorrow

Constructors

Dm_24_bor (SD MinMode VIIb MajClass)

Instances

Representable DMinBorrow

GTree DMinBorrow

ParseG (SD MinMode VIIb MajClass) => ParseG DMinBorrow

data SMinBorrow

Constructors

Sm_20_bor (SD MinMode IV MinClass)

Sm_22_bor (SD MinMode IIb MajClass)

Instances

Representable SMinBorrow

GTree SMinBorrow

(ParseG (SD MinMode IV MinClass), ParseG (SD MinMode IIb MajClass)) => ParseG SMinBorrow

data TMajBorrow

Constructors

T_21_bor (SD MajMode I MajClass)

Instances

Representable TMajBorrow

GTree TMajBorrow

ParseG (SD MajMode I MajClass) => ParseG TMajBorrow

data DMajBorrow

Constructors

D_24_bor (SD MajMode VII MinClass)

Instances

Representable DMajBorrow

GTree DMajBorrow

ParseG (SD MajMode VII MinClass) => ParseG DMajBorrow

data SMajBorrow

Constructors

S_20_bor (SD MajMode IV MajClass)

Instances

Representable SMajBorrow

GTree SMajBorrow

ParseG (SD MajMode IV MajClass) => ParseG SMajBorrow

type SD mode deg clss = Base_SD deg clss T4

type TritMinVSub deg clss = Base_Final deg clss T2

type FinalDimTrans deg clss = Surface_Chord deg clss T4

type Final deg clss = Surface_Chord deg clss T1

data Base_SD deg clss n where

Constructors

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)

Instances

(GTree (Base_SD (VDom deg) DomClass n), GTree (Base_SD (DiatV deg) MinClass n), GTree (Base_SD (DiatVM deg) MajClass n), GTree (Base_SD (VMin deg) MinClass n), GTree (Base_SD deg clss n), GTree (Base_Final deg clss n)) => GTree (Base_SD deg clss (Su n))

GTree (Base_SD deg clss Ze)

(ToDegree (VDom deg), ParseG (Base_SD (VDom deg) DomClass n), ParseG (Base_SD deg DimClass n), ParseG (TritMinVSub deg DimClass)) => ParseG (Base_SD deg DimClass (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))

(ToDegree (DiatVM deg), ToDegree (VDom deg), ParseG (Base_SD (VDom deg) DomClass n), ParseG (Base_SD (DiatVM deg) MajClass n), ParseG (Base_SD deg MajClass n), ParseG (TritMinVSub deg MajClass)) => ParseG (Base_SD deg MajClass (Su n))

(ToDegree (DiatV deg), ToDegree (VDom deg), ParseG (Base_SD (VDom deg) DomClass n), ParseG (Base_SD (DiatV deg) MinClass n), ParseG (Base_SD (DiatVM deg) MajClass n), ParseG (Base_SD deg MinClass n), ParseG (TritMinVSub deg MinClass)) => ParseG (Base_SD deg MinClass (Su n))

ParseG (Base_SD deg clss Ze)

GetDegree (Base_SD deg clss n)

data Base_Final deg clss n where

Constructors

Base_Final :: FinalDimTrans deg clss -> Base_Final deg clss (Su n)

Instances

(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 where

Constructors

Surface_Chord :: ChordToken -> Surface_Chord deg clss (Su n)

Instances

(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))

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)

data MajClass

Instances

ToClass MajClass

(ToDegree (DiatVM deg), ToDegree (VDom deg), ParseG (Base_SD (VDom deg) DomClass n), ParseG (Base_SD (DiatVM deg) MajClass n), ParseG (Base_SD deg MajClass n), ParseG (TritMinVSub deg MajClass)) => ParseG (Base_SD deg MajClass (Su n))

data MinClass

Instances

ToClass MinClass

(ToDegree (DiatV deg), ToDegree (VDom deg), ParseG (Base_SD (VDom deg) DomClass n), ParseG (Base_SD (DiatV deg) MinClass n), ParseG (Base_SD (DiatVM deg) MajClass n), ParseG (Base_SD deg MinClass n), ParseG (TritMinVSub deg MinClass)) => ParseG (Base_SD deg MinClass (Su n))

data DomClass

Instances

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))

data DimClass

Instances

ToClass DimClass

(ToDegree (VDom deg), ParseG (Base_SD (VDom deg) DomClass n), ParseG (Base_SD deg DimClass n), ParseG (TritMinVSub deg DimClass)) => ParseG (Base_SD deg DimClass (Su n))

data I

Instances

ToDegree I

data Ib

Instances

ToDegree Ib

data Is

data II

Instances

ToDegree II

data IIb

Instances

ToDegree IIb

data IIs

Instances

ToDegree IIs

data III

Instances

ToDegree III

data IIIb

Instances

ToDegree IIIb

data IIIs

Instances

ToDegree IIIs

data IV

Instances

ToDegree IV

data IVb

Instances

ToDegree IVb

data IVs

Instances

ToDegree IVs

data V

Instances

ToDegree V

data Vb

Instances

ToDegree Vb

data Vs

Instances

ToDegree Vs

data VI

Instances

ToDegree VI

data VIb

Instances

ToDegree VIb

data VIs

Instances

ToDegree VIs

data VII

Instances

ToDegree VII

data VIIb

Instances

ToDegree VIIb

data VIIs

Instances

ToDegree VIIs

data Imp

Instances

ToDegree Imp

ToClass Imp

class ToClass clss where

Methods

toClass :: clss -> ClassType

Instances

ToClass Imp

ToClass DimClass

ToClass DomClass

ToClass MinClass

ToClass MajClass

class ToDegree deg where

Methods

toDegree :: deg -> ScaleDegree

Instances

ToDegree Imp

ToDegree VIIs

ToDegree VIIb

ToDegree VII

ToDegree VIs

ToDegree VIb

ToDegree VI

ToDegree Vs

ToDegree Vb

ToDegree V

ToDegree IVs

ToDegree IVb

ToDegree IV

ToDegree IIIs

ToDegree IIIb

ToDegree III

ToDegree IIs

ToDegree IIb

ToDegree II

ToDegree Ib

ToDegree I

type family DiatV deg :: *

type family DiatVM deg :: *

type family VDom deg :: *

type family VMin deg :: *

type family Tritone deg :: *

type family IIbDim deg :: *

type family MinThird deg :: *

allTypes :: [Name]