Music.Time.Placed

Placed type

data Placed a

Placed represents a value with an offset in time.

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

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

Instances

Monad Placed

Functor Placed

Applicative Placed

Foldable Placed

Traversable Placed

Comonad Placed

Eq a => Eq (Placed a)

Ord a => Ord (Placed a)

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

IsString a => IsString (Placed a)

Wrapped (Placed a)

IsDynamics a => IsDynamics (Placed a)

IsPitch a => IsPitch (Placed a)

IsInterval a => IsInterval (Placed a)

Transformable a => Transformable (Placed a)

Rewrapped (Placed a) (Placed b)

HasPitches a b => HasPitches (Placed a) (Placed b)

HasPitch a b => HasPitch (Placed a) (Placed b)

HasDynamics a b => HasDynamics (Placed a) (Placed b)

HasDynamic a b => HasDynamic (Placed a) (Placed b)

HasArticulations a b => HasArticulations (Placed a) (Placed b)

HasArticulation a b => HasArticulation (Placed a) (Placed b)

Typeable (* -> *) Placed

type SetPitch b (Placed a) = Placed (SetPitch b a)

type SetDynamic b (Placed a) = Placed (SetDynamic b a)

type SetArticulation g (Placed a) = Placed (SetArticulation g a)

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

type Pitch (Placed a) = Pitch a

type Dynamic (Placed a) = Dynamic a

type Articulation (Placed a) = Articulation a

Construction

placed :: Iso (Time, a) (Time, b) (Placed a) (Placed b)

placee :: (Transformable a, Transformable b) => Lens (Placed a) (Placed b) a b