Music.Score.Score

Provides the Score type.

Score type

data Score a

Instances

Monad Score

Functor Score

Typeable1 Score

MonadPlus Score

Applicative Score

Foldable Score

Traversable Score

Alternative Score

Enum a => Enum (Score a)

Num a => Num (Score a)

Monoid (Score a)

Semigroup (Score a)

Wrapped (Score a)

VectorSpace (Score a)

IsDynamics a => IsDynamics (Score a)

IsInterval a => IsInterval (Score a)

IsPitch a => IsPitch (Score a)

AdditiveGroup (Score a)

Delayable (Score a)

Stretchable (Score a)

HasOffset (Score a)

HasOnset (Score a)

HasDuration (Score a)

Reversible a => Reversible (Score a)

HasPart a => HasPart (Score a)

HasMeta (Score a)

HasSlide a => HasSlide (Score a)

HasHarmonic a => HasHarmonic (Score a)

HasText a => HasText (Score a)

HasTremolo a => HasTremolo (Score a)

(HasPart' a, HasClef a) => HasClef (Score a)

Rewrapped (Score a) (Score b)

(HasSetPitch a b, Transformable (Pitch a), Transformable (Pitch b)) => HasSetPitch (Score a) (Score b)

notes :: Iso (Score a) (Score b) [Note a] [Note b]

TODO not a real iso, must be lens (meta)

events :: Iso (Score a) (Score b) [(Time, Duration, a)] [(Time, Duration, b)]

TODO not a real iso, must be lens (meta)

mapScore :: (Note a -> b) -> Score a -> Score b

Map with the associated time span.

reifyScore :: Score a -> Score (Note a)

Group each occurence with its associated time span.

Note: This may or may not be what you expect. Each note is not repositioned to start at sunit, so this holds

 fmap extract . reifyScore = id

while

 join . fmap (noteToScore) . reifyScore /= id

mapWithSpan :: (Span -> a -> b) -> Score a -> Score b

Map over the events in a score.

filterWithSpan :: (Span -> a -> Bool) -> Score a -> Score a

Filter the events in a score.

mapFilterWithSpan :: (Span -> a -> Maybe b) -> Score a -> Score b

Efficient combination of mapEvents and filterEvents.

mapEvents :: (Time -> Duration -> a -> b) -> Score a -> Score b

Map over the events in a score.

filterEvents :: (Time -> Duration -> a -> Bool) -> Score a -> Score a

Filter the events in a score.

mapFilterEvents :: (Time -> Duration -> a -> Maybe b) -> Score a -> Score b

Efficient combination of mapEvents and filterEvents.