Music.Time.Track

Track type

data Track a

A Track is a parallel composition of values.

Instances

Alternative Track

Monad Track

Functor Track

Applicative Track

Foldable Track

Traversable Track

Eq a => Eq (Track a)

(Show a, Transformable a) => Show (Track a)

Monoid (Track a)

Semigroup (Track a)

Wrapped (Track a)

Transformable a => Transformable (Track a)

Rewrapped (Track a) (Track b)

HasPitches a b => HasPitches (Track a) (Track b)

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

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

Typeable (* -> *) Track

type SetPitch b (Track a) = Track (SetPitch b a)

type SetDynamic b (Track a) = Track (SetDynamic b a)

type SetArticulation b (Track a) = Track (SetArticulation b a)

type Unwrapped (Track a)

type Pitch (Track a) = Pitch a

type Dynamic (Track a) = Dynamic a

type Articulation (Track a) = Articulation a

Construction

track :: Getter [Placed a] (Track a)

Create a track from a list of notes.

placeds :: Lens (Track a) (Track b) [Placed a] [Placed b]