FComp-1.0: Compose music

Portabilitynon-portable
Stabilityexperimental
Maintainerbash@cs.uu.nl, jpm@cs.ox.ac.uk
Safe HaskellNone

HarmTrace.Models.Simple.Instances

Description

Summary: Adhoc instances for the Simple model

Documentation

data Phrase_P_1451_ Source

Instances

Constructor * Phrase_P_1451_ 

data Phrase_P_151_ Source

Instances

Constructor * Phrase_P_151_ 

data Phrase_P_51_ Source

Instances

Constructor * Phrase_P_51_ 

data Phrase_P_15_ Source

Instances

Constructor * Phrase_P_15_ 

data Phrase_P_1_ Source

Instances

Constructor * Phrase_P_1_ 

type RepPhrase_ mode = :+: (:+: (CEq Phrase_P_1451_ () () (:*: (:*: (Rec (Ton mode)) (Rec (SDom mode))) (:*: (Rec (Dom mode)) (Rec (Ton mode))))) (CEq Phrase_P_151_ () () (:*: (Rec (Ton mode)) (:*: (Rec (Dom mode)) (Rec (Ton mode)))))) (:+: (CEq Phrase_P_51_ () () (:*: (Rec (Dom mode)) (Rec (Ton mode)))) (:+: (CEq Phrase_P_15_ () () (:*: (Rec (Ton mode)) (Rec (Dom mode)))) (CEq Phrase_P_1_ () () (Rec (Ton mode)))))Source

data Ton_T_1_ Source

Instances

Constructor * Ton_T_1_ 

data Ton_Tm_1_ Source

Instances

Constructor * Ton_Tm_1_ 

type RepTon_ mode = :+: (CEq Ton_T_1_ ((,) mode ()) ((,) MajMode ()) (Rec (SD MajMode I MajClass))) (CEq Ton_Tm_1_ ((,) mode ()) ((,) MinMode ()) (Rec (SD MinMode I MinClass)))Source

data Dom_D_2_ Source

Instances

Constructor * Dom_D_2_ 

data Dom_D_1_ Source

Instances

Constructor * Dom_D_1_ 

data Dom_D_3_ Source

Instances

Constructor * Dom_D_3_ 

data Dom_D_4_ Source

Instances

Constructor * Dom_D_4_ 

data Dom_D_5_ Source

Instances

Constructor * Dom_D_5_ 

data Dom_Dm_4_ Source

Instances

Constructor * Dom_Dm_4_ 

type RepDom_ mode = :+: (:+: (CEq Dom_D_2_ () () (Rec (SD mode V DomClass))) (:+: (CEq Dom_D_1_ () () (:*: (Rec (SDom mode)) (Rec (Dom mode)))) (CEq Dom_D_3_ () () (Rec (SD mode V MajClass))))) (:+: (CEq Dom_D_4_ ((,) mode ()) ((,) MajMode ()) (Rec (SD MajMode VII DimClass))) (:+: (CEq Dom_D_5_ () () (:*: (Rec (SD mode II DomClass)) (Rec (SD mode V DomClass)))) (CEq Dom_Dm_4_ ((,) mode ()) ((,) MinMode ()) (Rec (SD MinMode VII DimClass)))))Source

data SDom_S_1_ Source

Instances

Constructor * SDom_S_1_ 

data SDom_S_2_ Source

Instances

Constructor * SDom_S_2_ 

data SDom_S_3_ Source

Instances

Constructor * SDom_S_3_ 

data SDom_Sm_1_ Source

Instances

Constructor * SDom_Sm_1_ 

type RepSDom_ mode = :+: (:+: (CEq SDom_S_1_ ((,) mode ()) ((,) MajMode ()) (Rec (SD MajMode IV MajClass))) (CEq SDom_S_2_ () () (Rec (SD mode II MinClass)))) (:+: (CEq SDom_S_3_ ((,) mode ()) ((,) MajMode ()) (:*: (Rec (SD MajMode III MinClass)) (Rec (SD MajMode IV MajClass)))) (CEq SDom_Sm_1_ ((,) mode ()) ((,) MinMode ()) (Rec (SD MinMode IV MinClass))))Source