FComp-1.0.2: Compose music

Copyright(c) 2010-2012 Universiteit Utrecht, 2012 University of Oxford
LicenseGPL3
Maintainerbash@cs.uu.nl, jpm@cs.ox.ac.uk
Stabilityexperimental
Portabilitynon-portable
Safe HaskellNone
LanguageHaskell98

HarmTrace.Models.Simple.Instances

Description

Summary: Adhoc instances for the Simple model

Documentation

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

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

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