module HarmTrace.Models.Models where
import HarmTrace.Models.Jazz.Model as J hiding (PD, PT)
import HarmTrace.Models.Pop.Model as P hiding (PD, PT)
import HarmTrace.HAnTree.ToHAnTree
data Grammar :: * -> * where
Jazz :: Grammar J.Piece
Pop :: Grammar P.Piece
data GrammarEx where
GrammarEx :: (GTree g) => Grammar g -> GrammarEx
instance Show GrammarEx where
show (GrammarEx Jazz) = "JazzGrammar"
show (GrammarEx Pop ) = "PopGrammar"
instance Eq GrammarEx where
(GrammarEx Jazz) == (GrammarEx Jazz) = True
(GrammarEx Pop ) == (GrammarEx Pop ) = True
_ == _ = False