Music.Time.Onset

This misleadingly named module provide a way to query a value for its duration, onset and offset.

Duration class

class HasDuration a where

Class of types with a duration.

If a type has an instance for both HasOnset and HasDuration, the following laws should hold:

 duration a = offset a .-. onset a

Methods

duration :: a -> Duration

Instances

HasDuration Duration

HasDuration Span

HasDuration a => HasDuration [a]

HasDuration a => HasDuration (Product a)

HasDuration a => HasDuration (NoDelay a)

HasDuration a => HasDuration (NoStretch a)

HasDuration a => HasDuration (NoRev a)

HasDuration (Voice a)

HasDuration (Note a)

HasDuration (Score a)

HasDuration (Rhythm a)

HasDuration (Duration, a)

HasDuration (Time, Duration, a)

stretchTo :: (Stretchable a, HasDuration a) => Duration -> a -> a

Stretch a score to fit into the given duration.

 Duration -> Score a -> Score a

Onset and offset class

class HasOnset a where

Class of types with a position in time.

Onset and offset are logical start and stop time, i.e. the preferred beginning and end of the sound, not o the the time of the attack and damp actions on an instrument,

If a type has an instance for both HasOnset and HasDuration, the following laws should hold:

 duration a = offset a .-- onset a

Methods

onset :: a -> Time

Get the onset of the given value.

Instances

HasOnset Time

HasOnset Span

HasOnset a => HasOnset [a]

HasOnset a => HasOnset (Sum a)

HasOnset a => HasOnset (Set a)

HasOnset a => HasOnset (NoDelay a)

HasOnset a => HasOnset (NoStretch a)

HasOnset a => HasOnset (NoRev a)

HasOnset (Note a)

HasOnset (Track a)

HasOnset (Score a)

HasOnset (Time, a)

HasOnset k => HasOnset (Map k a)

HasOnset (Time, Duration, a)

class HasOffset a where

Methods

offset :: a -> Time

Get the offset of the given value.

Instances

HasOffset Span

HasOffset a => HasOffset [a]

HasOffset a => HasOffset (Set a)

HasOffset a => HasOffset (NoDelay a)

HasOffset a => HasOffset (NoStretch a)

HasOffset a => HasOffset (NoRev a)

HasOffset (Note a)

HasOffset (Score a)

HasOffset k => HasOffset (Map k a)

HasOffset (Time, Duration, a)

startAt :: (HasOnset a, Delayable a) => Time -> a -> a

Move a score so that its onset is at the specific time.

 Time -> Score a -> Score a

stopAt :: (HasOffset a, Delayable a) => Time -> a -> a

Move a score so that its offset is at the specific time.

 Time -> Score a -> Score a

withSameOnset :: (Delayable a, HasOnset a, HasOnset b) => (b -> a) -> b -> a

Transform a score without affecting its onset.

 Time -> Score a -> Score a

withSameOffset :: (Delayable a, HasOffset a, HasOffset b) => (b -> a) -> b -> a

Transform a score without affecting its offset.

 Time -> Score a -> Score a

Utility

Default implementations

durationDefault :: (HasOffset a, HasOnset a) => a -> Duration

Given HasOnset and HasOffset instances, this function implements duration.

onsetDefault :: (HasOffset a, HasDuration a) => a -> Time

Given HasDuration and HasOffset instances, this function implements onset.

offsetDefault :: (HasOnset a, HasDuration a) => a -> Time

Given HasOnset and HasOnset instances, this function implements offset.