Music.Time.Time

Documentation

Note that you should use .-. and .+^ to convert between time and duration. To refer to time zero (the beginning of the music), use origin.

Time type

type Time = Point Duration

This type represents absolute time in seconds since start. Note that time can be negative, representing events occuring before the start time.

Time forms an affine space with durations as the underlying vector space, that is, we can add a time to a duration to get a new time using .+^, take the difference of two times to get a duration using .-..

Duration type

data Duration

This type represents relative time in seconds.

Instances

Enum Duration

Eq Duration

Fractional Time

Fractional Duration

Num Time

Num Duration

Ord Duration

Real Duration

RealFrac Duration

Show Duration

VectorSpace Duration

AdditiveGroup Duration

Delayable Time

Stretchable Time

Stretchable Duration

HasOnset Time

HasDuration Duration

HasBehavior ((->) Time)

Delayable (Time -> a)

Delayable (Time, a)

Stretchable (Time -> a)

Stretchable (Duration -> a)

Stretchable (Time, a)

Stretchable (Duration, a)

HasOnset (Time, a)

HasDuration (Duration, a)

Delayable (Time, Duration, a)

Stretchable (Time, Duration, a)

HasOffset (Time, Duration, a)

HasOnset (Time, Duration, a)

HasDuration (Time, Duration, a)

Behavior class

class HasBehavior f where

Methods

(?) :: f a -> Time -> a

Instances

HasBehavior Reactive

HasBehavior Behavior

HasBehavior ((->) Time)

Identities

start :: Time

The global start time, which usually means the the beginning of the musical performance.

This is a synonym for origin.

stop :: Time

The global end time, defined as start .+^ unit.

unit :: Duration

The unit duration.

Combinators