music-score-1.9.0: Musical score and part representation.

Copyright(c) Hans Hoglund 2012-2014
LicenseBSD-style
Maintainerhans@hanshoglund.se
Stabilityexperimental
Portabilitynon-portable (TF,GNTD)
Safe HaskellNone
LanguageHaskell2010

Music.Score.Articulation

Contents

Description

Provides functions for manipulating articulation.

Synopsis

Articulation type functions

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) 

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

Phrasing and separation

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