Copyright	(c) Hans Hoglund 2012-2014
License	BSD-style
Maintainer	hans@hanshoglund.se
Stability	experimental
Portability	non-portable (TF,GNTD)
Safe Haskell	None
Language	Haskell2010

Music.Score.Articulation

Contents

Articulation type functions
Accessing articulation
Manipulating articulation
- Accents
- Phrasing and separation
Articulation transformer
Context

Description

Provides functions for manipulating articulation.

Synopsis

Articulation type functions

type family Articulation s :: * Source

Articulations type.

Instances

type Articulation Bool = Bool
type Articulation Char = Char
type Articulation Double = Double
type Articulation Float = Float
type Articulation Int = Int
type Articulation Integer = Integer
type Articulation Ordering = Ordering
type Articulation () = ()
type Articulation ArticulationNotation = ArticulationNotation
type Articulation [a] = Articulation a
type Articulation (Maybe a) = Articulation a
type Articulation (Note a) = Articulation a
type Articulation (Voice a) = Articulation a
type Articulation (Placed a) = Articulation a
type Articulation (Track a) = Articulation a
type Articulation (Event a) = Articulation a
type Articulation (Score a) = Articulation a
type Articulation (TieT a) = Articulation a
type Articulation (SlideT a) = Articulation a
type Articulation (TextT a) = Articulation a
type Articulation (HarmonicT a) = Articulation a
type Articulation (TremoloT a) = Articulation a
type Articulation (ColorT a) = Articulation a
type Articulation (Either c a) = Articulation a
type Articulation (c, a) = Articulation a
type Articulation (Couple c a) = Articulation a
type Articulation (PartT p a) = Articulation a
type Articulation (ArticulationT p a) = p

type family SetArticulation b s :: * Source

Articulation type.

Instances

type SetArticulation a Double = a
type SetArticulation a Float = a
type SetArticulation a Integer = a
type SetArticulation a Int = a
type SetArticulation a Char = a
type SetArticulation a Ordering = a
type SetArticulation a Bool = a
type SetArticulation a () = a
type SetArticulation g (SlideT a) = SlideT (SetArticulation g a)
type SetArticulation g (TieT a) = TieT (SetArticulation g a)
type SetArticulation g (HarmonicT a) = HarmonicT (SetArticulation g a)
type SetArticulation g (TextT a) = TextT (SetArticulation g a)
type SetArticulation b (Score a) = Score (SetArticulation b a)
type SetArticulation b (Track a) = Track (SetArticulation b a)
type SetArticulation b (Voice a) = Voice (SetArticulation b a)
type SetArticulation g (Note a) = Note (SetArticulation g a)
type SetArticulation g (Placed a) = Placed (SetArticulation g a)
type SetArticulation g (Event a) = Event (SetArticulation g a)
type SetArticulation b (Maybe a) = Maybe (SetArticulation b a)
type SetArticulation b [a] = [SetArticulation b a]
type SetArticulation g (TremoloT a) = TremoloT (SetArticulation g a)
type SetArticulation g (ColorT a) = ColorT (SetArticulation g a)
type SetArticulation p' (ArticulationT p a) = ArticulationT p' a
type SetArticulation g (Couple c a) = Couple c (SetArticulation g a)
type SetArticulation b (Either c a) = Either c (SetArticulation b a)
type SetArticulation b (c, a) = (c, SetArticulation b a)
type SetArticulation b (PartT p a) = PartT p (SetArticulation b a)

type family Accentuation a :: * Source

Instances

type Accentuation () = ()
type Accentuation (a, b) = a

type family Separation a :: * Source

Instances

type Separation () = ()
type Separation (a, b) = b

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

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

Methods

accentuation :: Lens' a (Accentuation a) Source

separation :: Lens' a (Separation a) Source

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 Source

Class of types that provide a articulation traversal.

Methods

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

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 (Note a) (Note b)
HasArticulations a b => HasArticulations (Voice a) (Voice b)
HasArticulations a b => HasArticulations (Placed a) (Placed b)
HasArticulations a b => HasArticulations (Track a) (Track b)
HasArticulations a b => HasArticulations (Event a) (Event 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 (TextT a) (TextT b)
HasArticulations a b => HasArticulations (HarmonicT a) (HarmonicT b)
HasArticulations a b => HasArticulations (TremoloT a) (TremoloT 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 Source

Class of types that provide a single articulation.

Methods

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

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 (Note a) (Note b)
HasArticulation a b => HasArticulation (Placed a) (Placed b)
HasArticulation a b => HasArticulation (Event a) (Event b)
HasArticulation a b => HasArticulation (TieT a) (TieT b)
HasArticulation a b => HasArticulation (SlideT a) (SlideT b)
HasArticulation a b => HasArticulation (TextT a) (TextT b)
HasArticulation a b => HasArticulation (HarmonicT a) (HarmonicT b)
HasArticulation a b => HasArticulation (TremoloT a) (TremoloT 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 Source

type HasArticulation' a = HasArticulation a a Source

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

Articulation type.

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

Articulation type.

Manipulating articulation

Accents

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

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

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

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

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

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

Phrasing and separation

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

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

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

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

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

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

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

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

Articulation transformer

newtype ArticulationT n a Source

Constructors

ArticulationT
Fields getArticulationT :: (n, a)

Instances

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)
Wrapped (ArticulationT p a)
(Semigroup n, Semigroup a) => Semigroup (ArticulationT n a)
(IsPitch a, Monoid n) => IsPitch (ArticulationT n a)
(IsInterval a, Monoid n) => IsInterval (ArticulationT n a)
Transformable a => Transformable (ArticulationT n a)
Reversible a => Reversible (ArticulationT p a)
Alterable a => Alterable (ArticulationT n a)
Augmentable a => Augmentable (ArticulationT n a)
(Tiable n, Tiable a) => Tiable (ArticulationT n a)
Typeable (* -> * -> *) ArticulationT
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)
type SetPitch b (ArticulationT p a) = ArticulationT p (SetPitch b a)
type SetDynamic b (ArticulationT p a) = ArticulationT p (SetDynamic b a)
type SetArticulation p' (ArticulationT p a) = ArticulationT p' a
type Unwrapped (ArticulationT p a) = (p, a)
type Pitch (ArticulationT p a) = Pitch a
type Dynamic (ArticulationT p a) = Dynamic a
type Articulation (ArticulationT p a) = p

Context

varticulation :: (HasArticulation a (SetArticulation a1 a), HasArticulation a a, Functor f, (~) * (Articulation (SetArticulation a1 a)) a1) => (Voice (Articulation a) -> f (Voice a1)) -> Voice a -> f (Voice (SetArticulation a1 a)) Source

addArtCon :: (HasPhrases s t a b, HasArticulation' a, HasArticulation a b, Articulation a ~ d, Articulation b ~ Ctxt d) => s -> t Source