Time is rational

The sam (start of cycle) for the given time value

Turns a number into a (rational) time value. An alias for toRational.

The end point of the current cycle (and starting point of the next cycle)

The position of a time value relative to the start of its cycle.

An arc of time, with a start time (or onset) and a stop time (or offset)

convex hull union

subArc i j is the timespan that is the intersection of i and j. intersection The definition is a bit fiddly as results might be zero-width, but not at the end of an non-zero-width arc - e.g. (0,1) and (1,2) do not intersect, but (1,1) (1,1) does.

The arc of the whole cycle that the given time value falls within

Shifts an arc to the equivalent one that starts during cycle zero

A list of cycle numbers which are included in the given arc

A list of arcs of the whole cycles which are included in the given arc

Splits the given ArcF into a list of ArcFs, at cycle boundaries.

Like arcCycles, but returns zero-width arcs

Similar to fmap but time is relative to the cycle (i.e. the sam of the start of the arc)

isIn a t is True if t is inside the arc represented by a.

An event is a value that's active during a timespan. If a whole is present, the part should be equal to or fit inside it.

True if an EventF's starts is within given ArcF

Compares two lists of events, attempting to combine fragmented events in the process for a truer compare

Returns a list of events, with any adjacent parts of the same whole combined

Returns True if the two given events are adjacent parts of the same whole

Get the onset of an event's whole

Get the offset of an event's whole

Get the onset of an event's whole

Get the offset of an event's part

Get the timespan of an event's part

an Arc and some named control values

A function that represents events taking place over time

A datatype that's basically a query

Like *, but the wholes come from the left

Like *, but the wholes come from the right

Turns a pattern of patterns into a single pattern. (this is actually join)

1/ For query arc, get the events from the outer pattern pp 2/ Query the inner pattern using the part of the outer 3/ For each inner event, set the whole and part to be the intersection of the outer whole and part, respectively 4 Concatenate all the events together (discarding wholesparts that didn't intersect)

TODO - what if a continuous pattern contains a discrete one, or vice-versa?

Turns a pattern of patterns into a single pattern. Like unwrap, but structure only comes from the inner pattern.

Turns a pattern of patterns into a single pattern. Like unwrap, but structure only comes from the outer pattern.

Like unwrap, but cycles of the inner patterns are compressed to fit the timespan of the outer whole (or the original query if it's a continuous pattern?) TODO - what if a continuous pattern contains a discrete one, or vice-versa?

Splits queries that span cycles. For example `query p (0.5, 1.5)` would be turned into two queries, `(0.5,1)` and `(1,1.5)`, and the results combined. Being able to assume queries don't span cycles often makes transformations easier to specify.

Apply a function to the arcs/timespans (both whole and parts) of the result

Apply a function to the time (both start and end of the timespans of both whole and parts) of the result

Apply a function to the timespan of the query

Apply a function to the time (both start and end) of the query

withEvent f p returns a new Pattern with each event mapped over function f.

withEvent f p returns a new Pattern with f applied to the resulting list of events for each query function f.

withPart f p returns a new Pattern with function f applied to the part.

Apply one of three functions to a Value, depending on its type

Apply one of two functions to a Value, depending on its type (int or float; strings and rationals are ignored)

Shifts a pattern back in time by the given amount, expressed in cycles

Shifts a pattern forward in time by the given amount, expressed in cycles

Remove events from patterns that to not meet the given test

Turns a pattern of Maybe values in to a pattern of values, dropping the events of Nothing.

Mark values in the first pattern which match with at least one value in the second pattern.