Music.Time.Types

Basic types

Time points

data Time

toTime

fromTime

Duration

data Duration

toDuration

fromDuration

Convert between time and duration

offsetPoints

toAbsoluteTime

toRelativeTime

toRelativeTimeN

toRelativeTimeN'

Time spans

data Span

Creating spans

(<->)

(>->)

(<-<)

Accessing spans

range

delta

codelta

Properties

isForwardSpan

isBackwardSpan

isEmptySpan

Transformations

reverseSpan

reflectSpan

normalizeSpan

Delay and stretch component

delayComponent

stretchComponent

fixedOnsetSpan

fixedDurationSpan

Points in spans

inside

Partial orders

isProper

isBefore

encloses

properlyEncloses

overlaps

afterOnset

strictlyAfterOnset

beforeOnset

strictlyBeforeOnset

afterOffset

strictlyAfterOffset

beforeOffset

strictlyBeforeOffset

startsWhenStarts

startsWhenStops

stopsWhenStops

stopsWhenStarts

startsBefore

startsLater

stopsAtTheSameTime

stopsBefore

stopsLater

Read/Show

showRange

showDelta

showCodelta