Music.Time.Delayed

Delayed type

data Delayed a

Delayed represents a value with an offset in time.

A delayed value has a known position, but no duration.

Placing a value inside Delayed does not make it invariant under stretch, as the offset of a delayed value may be stretched with respect to the origin. However, in contrast to a note the duration is not stretched.

Instances

Monad Delayed

Functor Delayed

Applicative Delayed

Foldable Delayed

Traversable Delayed

Eq a => Eq (Delayed a)

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

IsString a => IsString (Delayed a)

Wrapped (Delayed a)

IsDynamics a => IsDynamics (Delayed a)

IsPitch a => IsPitch (Delayed a)

IsInterval a => IsInterval (Delayed a)

Transformable (Delayed a)

HasDuration (Delayed a)

HasPosition (Delayed a)

Splittable a => Splittable (Delayed a)

Reversible (Delayed a)

Rewrapped (Delayed a) (Delayed b)

HasPitches a b => HasPitches (Delayed a) (Delayed b)

HasPitch a b => HasPitch (Delayed a) (Delayed b)

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

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

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

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

Typeable (* -> *) Delayed

type SetPitch b (Delayed a) = Delayed (SetPitch b a)

type SetDynamic b (Delayed a) = Delayed (SetDynamic b a)

type SetArticulation g (Delayed a) = Delayed (SetArticulation g a)

type Unwrapped (Delayed a) = (Time, a)

type Pitch (Delayed a) = Pitch a

type Dynamic (Delayed a) = Dynamic a

type Articulation (Delayed a) = Articulation a

Construction

delayed :: Iso (Time, a) (Time, b) (Delayed a) (Delayed b)

View a delayed value as a pair of a the original value and a delay time.

delayedValue :: (Transformable a, Transformable b) => Lens (Delayed a) (Delayed b) a b

View a delayed value as a pair of the original value and the transformation (and vice versa).