| Portability | non-portable (TF,GNTD) |
|---|---|
| Stability | experimental |
| Maintainer | hans@hanshoglund.se |
| Safe Haskell | None |
Music.Score.Phrases
Contents
Description
This module provides phrase-wise traversal.
Warning This module is experimental.
- class HasPhrases s t a b | s -> a, t -> b, s b -> t, t a -> s where
- type HasPhrases' s a = HasPhrases s s a a
- phrases :: HasPhrases s t a b => Traversal s t (Phrase a) (Phrase b)
- phrases' :: HasPhrases' s a => Traversal' s (Phrase a)
- type Phrase a = Voice a
- type MVoice a = Voice (Maybe a)
- type PVoice a = [Either Duration (Phrase a)]
- mvoicePVoice :: Lens (MVoice a) (MVoice b) (PVoice a) (PVoice b)
- unsafeMvoicePVoice :: Iso (MVoice a) (MVoice b) (PVoice a) (PVoice b)
- singleMVoice :: Prism (Score a) (Score b) (MVoice a) (MVoice b)
HasPhrases class
class HasPhrases s t a b | s -> a, t -> b, s b -> t, t a -> s whereSource
Classes that provide a phrase traversal.
Instances
| (HasPart' a, Ord (Part a)) => HasPhrases (Score a) (Score b) a b | Traverses all phrases in each voice, using |
| HasPhrases (PVoice a) (PVoice b) a b | |
| HasPhrases (MVoice a) (MVoice b) a b | Traverses all phrases in a voice. |
type HasPhrases' s a = HasPhrases s s a aSource
phrases :: HasPhrases s t a b => Traversal s t (Phrase a) (Phrase b)Source
A generic phrase-traversal.
phrases' :: HasPhrases' s a => Traversal' s (Phrase a)Source
A simple generic phrase-traversal.
Phrase types etc
type MVoice a = Voice (Maybe a)Source
A sequence of phrases or rests, represented as notes or rests.
Each consecutive sequence of non-rest elements is considered to be a phrase.
For a more explicit representation of the phrase structure, see PVoice.
type PVoice a = [Either Duration (Phrase a)]Source
A sequence of phrases or rests, represented with explicit phrase structure.