Music.Time.Types

Basic types

data Time

data Duration

type LocalDuration

Convert between time and duration

offsetPoints

pointOffsets

toAbsoluteTime

toRelativeTime

toRelativeTimeN

toRelativeTimeN'

Time spans

data Span

Constructing spans

(<->)

(>->)

(<-<)

delta

range

codelta

stretchComponent

delayComponent

fixedDurationSpan

fixedOnsetSpan

Transformations

normalizeSpan

reverseSpan

reflectSpan

Properties

isEmptySpan

isForwardSpan

isBackwardSpan

Points in spans

inside

Partial orders

encloses

properlyEncloses

overlaps

etc.

isBefore

afterOnset

strictlyAfterOnset

beforeOnset

strictlyBeforeOnset

afterOffset

strictlyAfterOffset

beforeOffset

strictlyBeforeOffset

startsWhenStarts

startsWhenStops

stopsWhenStops

stopsWhenStarts

startsBefore

startsLater

stopsAtTheSameTime

stopsBefore

stopsLater

Read/Show

showRange

showDelta

showCodelta