Music.Score.Articulation

Provides functions for manipulating articulation.

Articulation type functions

type family Articulation s :: *

Articulations type.

type family SetArticulation b s :: *

Articulation type.

type family Accentuation a :: *

type family Separation a :: *

class (Fractional (Accentuation a), Fractional (Separation a), AffineSpace (Accentuation a), AffineSpace (Separation a)) => Articulated a where

Class of types that can be transposed, inverted and so on.

Methods

accentuation :: Lens' a (Accentuation a)

separation :: Lens' a (Separation a)

Instances

(AffineSpace a, AffineSpace b, Fractional a, Fractional b) => Articulated (a, b)

Accessing articulation

class (Transformable (Articulation s), Transformable (Articulation t), ArticulationLensLaws s t) => HasArticulations s t where

Class of types that provide a articulation traversal.

Methods

articulations :: Traversal s t (Articulation s) (Articulation t)

Articulation type.

Instances

(Transformable a, ~ * a (Articulation a), ~ * (SetArticulation Bool a) Bool) => HasArticulations Bool a

(Transformable a, ~ * a (Articulation a), ~ * (SetArticulation Char a) Char) => HasArticulations Char a

(Transformable a, ~ * a (Articulation a), ~ * (SetArticulation Double a) Double) => HasArticulations Double a

(Transformable a, ~ * a (Articulation a), ~ * (SetArticulation Float a) Float) => HasArticulations Float a

(Transformable a, ~ * a (Articulation a), ~ * (SetArticulation Int a) Int) => HasArticulations Int a

(Transformable a, ~ * a (Articulation a), ~ * (SetArticulation Integer a) Integer) => HasArticulations Integer a

(Transformable a, ~ * a (Articulation a), ~ * (SetArticulation Ordering a) Ordering) => HasArticulations Ordering a

(Transformable a, ~ * a (Articulation a), ~ * (SetArticulation () a) ()) => HasArticulations () a

HasArticulations a b => HasArticulations [a] [b]

HasArticulations a b => HasArticulations (Maybe a) (Maybe b)

HasArticulations a b => HasArticulations (Stretched a) (Stretched b)

HasArticulations a b => HasArticulations (Voice a) (Voice b)

HasArticulations a b => HasArticulations (Delayed a) (Delayed b)

HasArticulations a b => HasArticulations (Chord a) (Chord b)

HasArticulations a b => HasArticulations (Track a) (Track b)

HasArticulations a b => HasArticulations (Note a) (Note b)

HasArticulations a b => HasArticulations (Score a) (Score b)

HasArticulations a b => HasArticulations (TieT a) (TieT b)

HasArticulations a b => HasArticulations (SlideT a) (SlideT b)

HasArticulations a b => HasArticulations (TremoloT a) (TremoloT b)

HasArticulations a b => HasArticulations (TextT a) (TextT b)

HasArticulations a b => HasArticulations (HarmonicT a) (HarmonicT b)

HasArticulations a b => HasArticulations (ColorT a) (ColorT b)

HasArticulations a b => HasArticulations (Either c a) (Either c b)

HasArticulations a b => HasArticulations (c, a) (c, b)

HasArticulations a b => HasArticulations (Couple c a) (Couple c b)

HasArticulations a b => HasArticulations (PartT p a) (PartT p b)

(Transformable p, Transformable p') => HasArticulations (ArticulationT p a) (ArticulationT p' a)

class HasArticulations s t => HasArticulation s t where

Class of types that provide a single articulation.

Methods

articulation :: Lens s t (Articulation s) (Articulation t)

Articulation type.

Instances

(Transformable a, ~ * a (Articulation a), ~ * (SetArticulation Bool a) Bool) => HasArticulation Bool a

(Transformable a, ~ * a (Articulation a), ~ * (SetArticulation Char a) Char) => HasArticulation Char a

(Transformable a, ~ * a (Articulation a), ~ * (SetArticulation Double a) Double) => HasArticulation Double a

(Transformable a, ~ * a (Articulation a), ~ * (SetArticulation Float a) Float) => HasArticulation Float a

(Transformable a, ~ * a (Articulation a), ~ * (SetArticulation Int a) Int) => HasArticulation Int a

(Transformable a, ~ * a (Articulation a), ~ * (SetArticulation Integer a) Integer) => HasArticulation Integer a

(Transformable a, ~ * a (Articulation a), ~ * (SetArticulation Ordering a) Ordering) => HasArticulation Ordering a

(Transformable a, ~ * a (Articulation a), ~ * (SetArticulation () a) ()) => HasArticulation () a

HasArticulation a b => HasArticulation (Stretched a) (Stretched b)

HasArticulation a b => HasArticulation (Delayed a) (Delayed b)

HasArticulation a b => HasArticulation (Note a) (Note b)

HasArticulation a b => HasArticulation (TieT a) (TieT b)

HasArticulation a b => HasArticulation (SlideT a) (SlideT b)

HasArticulation a b => HasArticulation (TremoloT a) (TremoloT b)

HasArticulation a b => HasArticulation (TextT a) (TextT b)

HasArticulation a b => HasArticulation (HarmonicT a) (HarmonicT b)

HasArticulation a b => HasArticulation (ColorT a) (ColorT b)

HasArticulation a b => HasArticulation (c, a) (c, b)

HasArticulation a b => HasArticulation (Couple c a) (Couple c b)

HasArticulation a b => HasArticulation (PartT p a) (PartT p b)

(Transformable p, Transformable p') => HasArticulation (ArticulationT p a) (ArticulationT p' a)

type HasArticulations' a = HasArticulations a a

type HasArticulation' a = HasArticulation a a

articulation' :: (HasArticulation s t, s ~ t) => Lens' s (Articulation s)

Articulation type.

articulations' :: (HasArticulations s t, s ~ t) => Traversal' s (Articulation s)

Articulation type.

Manipulating articulation

Accents

accent :: (HasPhrases' s b, HasArticulations' b, Articulation b ~ a, Articulated a) => s -> s

marcato :: (HasPhrases' s b, HasArticulations' b, Articulation b ~ a, Articulated a) => s -> s

accentLast :: (HasPhrases' s b, HasArticulations' b, Articulation b ~ a, Articulated a) => s -> s

marcatoLast :: (HasPhrases' s b, HasArticulations' b, Articulation b ~ a, Articulated a) => s -> s

accentAll :: (HasArticulations' s, Articulation s ~ a, Articulated a) => s -> s

marcatoAll :: (HasArticulations' s, Articulation s ~ a, Articulated a) => s -> s

Phrasing and separation

staccatissimo :: (HasArticulations' s, Articulation s ~ a, Articulated a) => s -> s

staccato :: (HasArticulations' s, Articulation s ~ a, Articulated a) => s -> s

separated :: (HasArticulations' s, Articulation s ~ a, Articulated a) => s -> s

portato :: (HasArticulations' s, Articulation s ~ a, Articulated a) => s -> s

legato :: (HasArticulations' s, Articulation s ~ a, Articulated a) => s -> s

legatissimo :: (HasArticulations' s, Articulation s ~ a, Articulated a) => s -> s

tenuto :: (HasArticulations' s, Articulation s ~ a, Articulated a) => s -> s

spiccato :: (HasArticulations' s, Articulation s ~ a, Articulated a) => s -> s

Articulation transformer

newtype ArticulationT n a

Constructors

ArticulationT

Fields

getArticulationT :: (n, a)

Instances

Typeable2 ArticulationT

HasBackendNote NoteList a => HasBackendNote NoteList (ArticulationT b a)

HasBackendNote Midi a => HasBackendNote Midi (ArticulationT b a)

HasBackendNote SuperCollider a => HasBackendNote SuperCollider (ArticulationT b a)

HasBackendNote Lilypond a => HasBackendNote Lilypond (ArticulationT ArticulationNotation a)

HasBackendNote MusicXml a => HasBackendNote MusicXml (ArticulationT b a)

Monoid n => Monad (ArticulationT n)

Functor (ArticulationT n)

Monoid n => Applicative (ArticulationT n)

Comonad (ArticulationT n)

(Monoid n, Bounded a) => Bounded (ArticulationT n a)

(Monoid n, Enum a) => Enum (ArticulationT n a)

(Eq n, Eq a) => Eq (ArticulationT n a)

(Monoid n, Floating a) => Floating (ArticulationT n a)

(Monoid n, Fractional a) => Fractional (ArticulationT n a)

(Monoid n, Num a) => Num (ArticulationT n a)

(Ord n, Ord a) => Ord (ArticulationT n a)

(Show n, Show a) => Show (ArticulationT n a)

(Monoid n, Monoid a) => Monoid (ArticulationT n a)

(Semigroup n, Semigroup a) => Semigroup (ArticulationT n a)

Wrapped (ArticulationT p a)

Unsafe: Do not use Wrapped instances

(IsPitch a, Monoid n) => IsPitch (ArticulationT n a)

(IsInterval a, Monoid n) => IsInterval (ArticulationT n a)

Augmentable a => Augmentable (ArticulationT n a)

Alterable a => Alterable (ArticulationT n a)

Transformable a => Transformable (ArticulationT n a)

Reversible a => Reversible (ArticulationT p a)

(Tiable n, Tiable a) => Tiable (ArticulationT n a)

Rewrapped (ArticulationT p a) (ArticulationT p' b)

HasPitches a b => HasPitches (ArticulationT p a) (ArticulationT p b)

HasPitch a b => HasPitch (ArticulationT p a) (ArticulationT p b)

HasDynamics a b => HasDynamics (ArticulationT p a) (ArticulationT p b)

HasDynamic a b => HasDynamic (ArticulationT p a) (ArticulationT p b)

(Transformable p, Transformable p') => HasArticulations (ArticulationT p a) (ArticulationT p' a)

(Transformable p, Transformable p') => HasArticulation (ArticulationT p a) (ArticulationT p' a)