\begin{code}
module Music.Analysis.MusicXML.Level4 (
module Music.Analysis.MusicXML.Level4,
)where
import Music.Analysis.Base (IntegerNumber)
import Music.Analysis.PF
import qualified Music.Analysis.MusicXML.Level1 as Layer1
import qualified Music.Analysis.MusicXML.Level2 as Layer2
import qualified Music.Analysis.MusicXML.Level3 as Layer3
import Data.Maybe (catMaybes)
import qualified Text.XML.MusicXML as MusicXML
\end{code}
\begin{code}
type Score_Partwise =
(MusicXML.Document_Attributes, (MusicXML.Score_Header, [Part]))
type Part = [Measure]
type Measure = [Music_Data]
data Music_Data =
Music_Data_1 Note
| Music_Data_2 MusicXML.Backup
| Music_Data_3 MusicXML.Forward
| Music_Data_4 MusicXML.Direction
| Music_Data_5 Attributes
| Music_Data_6 MusicXML.Harmony
| Music_Data_7 MusicXML.Figured_Bass
| Music_Data_8 MusicXML.Print
| Music_Data_9 MusicXML.Sound
| Music_Data_10 MusicXML.Barline
| Music_Data_11 MusicXML.Grouping
| Music_Data_12 MusicXML.Link
| Music_Data_13 MusicXML.Bookmark
deriving (Eq, Show)
type Note =
(Note_, Maybe Instrument, Editorial_Voice,
Maybe Type, [Dot], Maybe Accidental,
Maybe Time_Modification, Maybe Stem,
Maybe Notehead, Maybe Staff, [Beam],
[Notations], [Lyric])
data Note_ =
Note_1 (Grace, Full_Note, Maybe (Tie, Maybe Tie))
| Note_2 (Cue, Full_Note, Duration)
| Note_3 (Full_Note, Duration, Maybe (Tie, Maybe Tie))
deriving (Eq, Show)
type Grace = MusicXML.Grace
type Cue = MusicXML.Cue
type Tie = MusicXML.Tie
type Full_Note = (Maybe MusicXML.Chord, Full_Note_)
data Full_Note_ = Full_Note_1 Layer2.Pitch
| Full_Note_2 Unpitched
| Full_Note_3 Rest
deriving (Eq, Show)
type Unpitched = MusicXML.Unpitched
type Rest = MusicXML.Rest
type Duration = IntegerNumber
type Editorial_Voice = MusicXML.Editorial_Voice
type Instrument = MusicXML.Instrument
type Type = Layer1.Type_
type Dot = MusicXML.Dot
type Accidental = Layer1.Accidental_
type Time_Modification = MusicXML.Time_Modification
type Stem = MusicXML.Stem
type Notehead = MusicXML.Notehead
type Beam = MusicXML.Beam
type Staff = IntegerNumber
type Lyric = MusicXML.Lyric
type Notations = MusicXML.Notations
type Attributes = (Editorial, Maybe Divisions, [Key], [Time],
Maybe Staves, Maybe Part_Symbol, Maybe Instruments,
[Clef], [Staff_Details], Maybe Transpose, [Directive],
[Measure_Style])
type Editorial = MusicXML.Editorial
type Divisions = IntegerNumber
type Key = (Key_, [Layer2.Key_Octave])
data Key_ = Key_1 (Maybe MusicXML.Cancel, Layer2.Fifths, Maybe Layer2.Mode)
| Key_2 [(Layer2.Key_Step, Layer2.Key_Alter)]
deriving (Eq, Show)
type Time = Layer3.Time_B
type Staves = MusicXML.Staves
type Part_Symbol = MusicXML.Part_Symbol
type Instruments = MusicXML.Instruments
type Clef = (Layer2.Sign, Maybe Layer2.Line, Maybe Layer2.Clef_Octave_Change)
type Staff_Details = MusicXML.Staff_Details
type Transpose = MusicXML.Transpose
type Directive = MusicXML.Directive
type Measure_Style = MusicXML.Measure_Style
\end{code}
\begin{code}
abst_Score_Partwise :: Score_Partwise -> Layer3.Score_Partwise
abst_Score_Partwise = (id >< (id >< map abst_Part))
abst_Part :: Part -> Layer3.Part
abst_Part = fmap abst_Measure
abst_Measure :: Measure -> Layer3.Measure
abst_Measure = catMaybes . fmap abst_Music_Data
abst_Music_Data :: Music_Data -> Maybe Layer3.Music_Data
abst_Music_Data (Music_Data_1 x) = do
x' <- abst_Note x
return (Layer3.Music_Data_1 x')
abst_Music_Data (Music_Data_2 x) = Just (Layer3.Music_Data_2 x)
abst_Music_Data (Music_Data_3 x) = Just (Layer3.Music_Data_3 x)
abst_Music_Data (Music_Data_4 _) = Nothing
abst_Music_Data (Music_Data_5 x) =
Just (Layer3.Music_Data_5 (abst_Attributes x))
abst_Music_Data (Music_Data_6 _) = Nothing
abst_Music_Data (Music_Data_7 _) = Nothing
abst_Music_Data (Music_Data_8 _) = Nothing
abst_Music_Data (Music_Data_9 _) = Nothing
abst_Music_Data (Music_Data_10 x) = Just (Layer3.Music_Data_10 x)
abst_Music_Data (Music_Data_11 _) = Nothing
abst_Music_Data (Music_Data_12 _) = Nothing
abst_Music_Data (Music_Data_13 _) = Nothing
abst_Note :: Note -> Maybe Layer3.Note
abst_Note =
(\(x1,x2,x3,x4,x5,x6,_,_,_,x10,_,_,_) -> do
x1' <- abst_Note_ x1
return (x1',fmap abst_Instrument x2, abst_Editorial_Voice x3,
fmap abst_Type x4, fmap abst_Dot x5,
fmap abst_Accidental x6, fmap abst_Staff x10))
abst_Note_ :: Note_ -> Maybe Layer3.Note_
abst_Note_ (Note_1 _) = Nothing
abst_Note_ (Note_2 _) = Nothing
abst_Note_ (Note_3 (x1,x2,_)) = do
x1' <- abst_Full_Note x1
return (Layer3.Note_3 (x1', abst_Duration x2))
abst_Full_Note :: Full_Note -> Maybe Layer3.Full_Note
abst_Full_Note (a,b) = do
b' <- abst_Full_Note_ b
return (fmap id a, b')
abst_Full_Note_ :: Full_Note_ -> Maybe Layer3.Full_Note_
abst_Full_Note_ (Full_Note_1 x) = Just (Layer3.Full_Note_1 x)
abst_Full_Note_ (Full_Note_2 _) = Nothing
abst_Full_Note_ (Full_Note_3 _) = Just (Layer3.Full_Note_3 ())
abst_Duration :: Duration -> Layer3.Duration
abst_Duration = id
abst_Editorial_Voice :: Editorial_Voice -> Layer3.Editorial_Voice
abst_Editorial_Voice = id
abst_Instrument :: Instrument -> Layer3.Instrument
abst_Instrument = id
abst_Type :: Type -> Layer3.Type
abst_Type = id
abst_Dot :: Dot -> Layer3.Dot
abst_Dot = id
abst_Accidental :: Accidental -> Layer3.Accidental
abst_Accidental = id
abst_Staff :: Staff -> Layer3.Staff
abst_Staff = id
abst_Editorial :: Editorial -> Layer3.Editorial
abst_Editorial = id
abst_Divisions :: Divisions -> Layer3.Divisions
abst_Divisions = id
abst_Staves :: Staves -> Layer3.Staves
abst_Staves = id
abst_Attributes :: Attributes -> Layer3.Attributes
abst_Attributes (_,x2,x3,x4,x5,_,x7,x8,_,x10,_,_) =
(fmap abst_Divisions x2, fmap abst_Key x3,
fmap abst_Time x4, fmap abst_Staves x5,
fmap abst_Instruments x7, fmap abst_Clef x8,
fmap abst_Transpose x10)
abst_Key :: Key -> Layer3.Key
abst_Key = (abst_Key_ >< fmap id)
abst_Key_ :: Key_ -> Layer3.Key_
abst_Key_ (Key_1 x) = Layer3.Key_1 x
abst_Key_ (Key_2 x) = Layer3.Key_2 x
abst_Time :: Time -> Layer3.Time
abst_Time = id
abst_Part_Symbol :: Part_Symbol -> Layer3.Part_Symbol
abst_Part_Symbol = id
abst_Instruments :: Instruments -> Layer3.Instruments
abst_Instruments = id
abst_Clef :: Clef -> Layer3.Clef
abst_Clef = id
abst_Staff_Details :: Staff_Details -> Layer3.Staff_Details
abst_Staff_Details = id
abst_Transpose :: Transpose -> Layer3.Transpose
abst_Transpose = id
abst_Directive :: Directive -> Layer3.Directive
abst_Directive = id
abst_Measure_Style :: Measure_Style -> Layer3.Measure_Style
abst_Measure_Style = id
\end{code}
\begin{code}
rep_Score_Partwise :: Layer3.Score_Partwise -> Score_Partwise
rep_Score_Partwise = (id >< (id >< map rep_Part))
rep_Part :: Layer3.Part -> Part
rep_Part = fmap rep_Measure
rep_Measure :: Layer3.Measure -> Measure
rep_Measure = fmap rep_Music_Data
rep_Music_Data :: Layer3.Music_Data -> Music_Data
rep_Music_Data (Layer3.Music_Data_1 x) = (Music_Data_1 (rep_Note x))
rep_Music_Data (Layer3.Music_Data_2 x) = (Music_Data_2 x)
rep_Music_Data (Layer3.Music_Data_3 x) = (Music_Data_3 x)
rep_Music_Data (Layer3.Music_Data_5 x) =
(Music_Data_5 (rep_Attributes x))
rep_Music_Data (Layer3.Music_Data_10 x) = (Music_Data_10 x)
rep_Note :: Layer3.Note -> Note
rep_Note (x1,x2,x3,x4,x5,x6,x10) =
(rep_Note_ x1, fmap rep_Instrument x2, rep_Editorial_Voice x3,
fmap rep_Type x4, fmap rep_Dot x5, fmap rep_Accidental x6,
Nothing, Nothing, Nothing, fmap rep_Staff x10, [], [], [])
rep_Note_ :: Layer3.Note_ -> Note_
rep_Note_ (Layer3.Note_3 (x1,x2)) =
(Note_3 (rep_Full_Note x1, rep_Duration x2, Nothing))
rep_Full_Note :: Layer3.Full_Note -> Full_Note
rep_Full_Note (a,b) = (a, rep_Full_Note_ b)
rep_Full_Note_ :: Layer3.Full_Note_ -> Full_Note_
rep_Full_Note_ (Layer3.Full_Note_1 x) = (Full_Note_1 x)
rep_Full_Note_ (Layer3.Full_Note_3 _) = (Full_Note_3 Nothing)
rep_Duration :: Layer3.Duration -> Duration
rep_Duration = id
rep_Editorial_Voice :: Layer3.Editorial_Voice -> Editorial_Voice
rep_Editorial_Voice = id
rep_Instrument :: Layer3.Instrument -> Instrument
rep_Instrument = id
rep_Type :: Layer3.Type -> Type
rep_Type = id
rep_Dot :: Layer3.Dot ->Dot
rep_Dot = id
rep_Accidental :: Layer3.Accidental -> Accidental
rep_Accidental = id
rep_Staff :: Layer3.Staff -> Staff
rep_Staff = id
rep_Editorial :: Layer3.Editorial -> Editorial
rep_Editorial = id
rep_Divisions :: Layer3.Divisions -> Divisions
rep_Divisions = id
rep_Staves :: Layer3.Staves -> Staves
rep_Staves = id
rep_Attributes :: Layer3.Attributes -> Attributes
rep_Attributes (x2,x3,x4,x5,x7,x8,x10) =
((Nothing,Nothing), fmap rep_Divisions x2, fmap rep_Key x3,
fmap rep_Time x4, fmap rep_Staves x5, Nothing,
fmap rep_Instruments x7, fmap rep_Clef x8, [],
fmap rep_Transpose x10, [], [])
rep_Key :: Layer3.Key -> Key
rep_Key = (rep_Key_ >< fmap id)
rep_Key_ :: Layer3.Key_ -> Key_
rep_Key_ (Layer3.Key_1 x) = Key_1 x
rep_Key_ (Layer3.Key_2 x) = Key_2 x
rep_Time :: Layer3.Time -> Time
rep_Time = id
rep_Part_Symbol :: Layer3.Part_Symbol -> Part_Symbol
rep_Part_Symbol = id
rep_Instruments :: Layer3.Instruments -> Instruments
rep_Instruments = id
rep_Clef :: Layer3.Clef -> Clef
rep_Clef = id
rep_Staff_Details :: Layer3.Staff_Details -> Staff_Details
rep_Staff_Details = id
rep_Transpose :: Layer3.Transpose -> Transpose
rep_Transpose = id
rep_Directive :: Layer3.Directive -> Directive
rep_Directive = id
rep_Measure_Style :: Layer3.Measure_Style -> Measure_Style
rep_Measure_Style = id
\end{code}
\begin{code}
map_Score_Partwise :: (Music_Data -> Music_Data) ->
Score_Partwise -> Score_Partwise
map_Score_Partwise f = (id >< (id >< fmap (map_Part f)))
map_Part :: (Music_Data -> Music_Data) -> Part -> Part
map_Part f = fmap (map_Measure f)
map_Measure :: (Music_Data -> Music_Data) -> Measure -> Measure
map_Measure f = fmap (map_Music_Data f)
map_Music_Data :: (Music_Data -> Music_Data) -> Music_Data -> Music_Data
map_Music_Data f = f
\end{code}