Music.Score.Dynamics

Provides functions for manipulating dynamics.

Dynamic type functions

type family Dynamic s :: *

Dynamics type.

type family SetDynamic b s :: *

Dynamic type.

type DynamicLensLaws' s t a b = (Dynamic (SetDynamic a s) ~ a, SetDynamic (Dynamic t) s ~ t, SetDynamic a (SetDynamic b s) ~ SetDynamic a s)

type DynamicLensLaws s t = DynamicLensLaws' s t (Dynamic s) (Dynamic t)

Accessing dynamics

class (Transformable (Dynamic s), Transformable (Dynamic t), DynamicLensLaws s t) => HasDynamics s t where

Class of types that provide a dynamic traversal.

Methods

dynamics :: Traversal s t (Dynamic s) (Dynamic t)

Access all dynamics.

Instances

(Transformable a, ~ * a (Dynamic a), ~ * (SetDynamic Bool a) Bool) => HasDynamics Bool a

(Transformable a, ~ * a (Dynamic a), ~ * (SetDynamic Char a) Char) => HasDynamics Char a

(Transformable a, ~ * a (Dynamic a), ~ * (SetDynamic Double a) Double) => HasDynamics Double a

(Transformable a, ~ * a (Dynamic a), ~ * (SetDynamic Float a) Float) => HasDynamics Float a

(Transformable a, ~ * a (Dynamic a), ~ * (SetDynamic Int a) Int) => HasDynamics Int a

(Transformable a, ~ * a (Dynamic a), ~ * (SetDynamic Integer a) Integer) => HasDynamics Integer a

(Transformable a, ~ * a (Dynamic a), ~ * (SetDynamic Ordering a) Ordering) => HasDynamics Ordering a

(Transformable a, ~ * a (Dynamic a), ~ * (SetDynamic () a) ()) => HasDynamics () a

(Transformable a, Transformable b, ~ * b (Dynamic b), ~ * (SetDynamic (Behavior a) b) (Behavior a)) => HasDynamics (Behavior a) b

HasDynamics a b => HasDynamics [a] [b]

HasDynamics a b => HasDynamics (Maybe a) (Maybe b)

HasDynamics a b => HasDynamics (Stretched a) (Stretched b)

HasDynamics a b => HasDynamics (Voice a) (Voice b)

HasDynamics a b => HasDynamics (Delayed a) (Delayed b)

HasDynamics a b => HasDynamics (Chord a) (Chord b)

HasDynamics a b => HasDynamics (Track a) (Track b)

HasDynamics a b => HasDynamics (Note a) (Note b)

HasDynamics a b => HasDynamics (Score a) (Score b)

HasDynamics a b => HasDynamics (TieT a) (TieT b)

HasDynamics a b => HasDynamics (SlideT a) (SlideT b)

HasDynamics a b => HasDynamics (TremoloT a) (TremoloT b)

HasDynamics a b => HasDynamics (TextT a) (TextT b)

HasDynamics a b => HasDynamics (HarmonicT a) (HarmonicT b)

HasDynamics a b => HasDynamics (ColorT a) (ColorT b)

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

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

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

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

(Transformable p, Transformable p') => HasDynamics (DynamicT p a) (DynamicT p' a)

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

class HasDynamics s t => HasDynamic s t where

Class of types that provide a single dynamic.

Methods

dynamic :: Lens s t (Dynamic s) (Dynamic t)

Access a single dynamic.

Instances

(Transformable a, ~ * a (Dynamic a), ~ * (SetDynamic Bool a) Bool) => HasDynamic Bool a

(Transformable a, ~ * a (Dynamic a), ~ * (SetDynamic Char a) Char) => HasDynamic Char a

(Transformable a, ~ * a (Dynamic a), ~ * (SetDynamic Double a) Double) => HasDynamic Double a

(Transformable a, ~ * a (Dynamic a), ~ * (SetDynamic Float a) Float) => HasDynamic Float a

(Transformable a, ~ * a (Dynamic a), ~ * (SetDynamic Int a) Int) => HasDynamic Int a

(Transformable a, ~ * a (Dynamic a), ~ * (SetDynamic Integer a) Integer) => HasDynamic Integer a

(Transformable a, ~ * a (Dynamic a), ~ * (SetDynamic Ordering a) Ordering) => HasDynamic Ordering a

(Transformable a, ~ * a (Dynamic a), ~ * (SetDynamic () a) ()) => HasDynamic () a

(Transformable a, Transformable b, ~ * b (Dynamic b), ~ * (SetDynamic (Behavior a) b) (Behavior a)) => HasDynamic (Behavior a) b

HasDynamic a b => HasDynamic (Stretched a) (Stretched b)

HasDynamic a b => HasDynamic (Delayed a) (Delayed b)

HasDynamic a b => HasDynamic (Note a) (Note b)

HasDynamic a b => HasDynamic (TieT a) (TieT b)

HasDynamic a b => HasDynamic (SlideT a) (SlideT b)

HasDynamic a b => HasDynamic (TremoloT a) (TremoloT b)

HasDynamic a b => HasDynamic (TextT a) (TextT b)

HasDynamic a b => HasDynamic (HarmonicT a) (HarmonicT b)

HasDynamic a b => HasDynamic (ColorT a) (ColorT b)

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

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

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

(Transformable p, Transformable p') => HasDynamic (DynamicT p a) (DynamicT p' a)

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

type HasDynamics' a = HasDynamics a a

type HasDynamic' a = HasDynamic a a

dynamic' :: (HasDynamic s t, s ~ t) => Lens' s (Dynamic s)

Access a single dynamic.

dynamics' :: (HasDynamics s t, s ~ t) => Traversal' s (Dynamic s)

Access all dynamics.

Manipulating dynamics

type Level a = Diff (Dynamic a)

Associated interval type.

type Attenuable a = (HasDynamics a a, VectorSpace (Level a), AffineSpace (Dynamic a), IsDynamics (Dynamic a))

Class of types that can be transposed.

louder :: Attenuable a => Level a -> a -> a

Transpose up.

softer :: Attenuable a => Level a -> a -> a

Transpose down.

level :: Attenuable a => Dynamic a -> a -> a

Transpose down.

compressor

Arguments

:: Attenuable a

=> Dynamic a

Threshold

-> Scalar (Level a)

Ratio

-> a

-> a

fadeIn :: (HasPosition a, HasDynamics a a, Dynamic a ~ Behavior c, Fractional c) => Duration -> a -> a

Fade in.

fadeOut :: (HasPosition a, HasDynamics a a, Dynamic a ~ Behavior c, Fractional c) => Duration -> a -> a

Fade in.

newtype DynamicT n a

Constructors

DynamicT

Fields

getDynamicT :: (n, a)

Instances

Typeable2 DynamicT

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

HasBackendNote Midi a => HasBackendNote Midi (DynamicT (Sum Double) a)

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

HasBackendNote Lilypond a => HasBackendNote Lilypond (DynamicT DynamicNotation a)

HasBackendNote MusicXml a => HasBackendNote MusicXml (DynamicT DynamicNotation a)

Monoid n => Monad (DynamicT n)

Functor (DynamicT n)

Monoid n => Applicative (DynamicT n)

Comonad (DynamicT n)

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

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

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

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

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

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

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

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

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

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

Wrapped (DynamicT p a)

Unsafe: Do not use Wrapped instances

(IsDynamics n, Monoid a) => IsDynamics (DynamicT n a)

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

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

Augmentable a => Augmentable (DynamicT n a)

Alterable a => Alterable (DynamicT n a)

Transformable a => Transformable (DynamicT n a)

Reversible a => Reversible (DynamicT p a)

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

Rewrapped (DynamicT p a) (DynamicT p' b)

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

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

(Transformable p, Transformable p') => HasDynamics (DynamicT p a) (DynamicT p' a)

(Transformable p, Transformable p') => HasDynamic (DynamicT p a) (DynamicT p' a)

Context

data Ctxt a

Instances

Functor Ctxt

Applicative Ctxt

Wrapped (Ctxt a)

Transformable a => Transformable (Ctxt a)

Rewrapped (Ctxt a) (Ctxt b)

vdynamic :: (HasDynamic a a, HasDynamic a b) => Lens (Voice a) (Voice b) (Voice (Dynamic a)) (Voice (Dynamic b))

View just the dynamices in a voice.

addDynCon :: (HasPhrases s t a b, HasDynamic a a, HasDynamic a b, Dynamic a ~ d, Dynamic b ~ Ctxt d) => s -> t