Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
- type Time = Rational
- type Arc = (Time, Time)
- type Event a = (Arc, a)
- sam :: Time -> Time
- nextSam :: Time -> Time
- cyclePos :: Time -> Time
- isIn :: Arc -> Time -> Bool
- arcCycles :: Arc -> [Arc]
- subArc :: Arc -> Arc -> Maybe Arc
- mapArc :: (Time -> Time) -> Arc -> Arc
- mirrorArc :: Arc -> Arc
- eventStart :: Event a -> Time
- midPoint :: Arc -> Time
Documentation
Time is represented by a rational number. Each natural number represents both the start of the next rhythmic cycle, and the end of the previous one. Rational numbers are used so that subdivisions of each cycle can be accurately represented.
type Arc = (Time, Time) Source
(s,e) :: Arc
represents a time interval with a start and end value.
{ t : s <= t && t < e }
The starting point of the current cycle. A cycle occurs from each
natural number to the next, so this is equivalent to floor
.
nextSam :: Time -> Time Source
The end point of the current cycle (and starting point of the next cycle)
mapArc :: (Time -> Time) -> Arc -> Arc Source
Map the given function over both the start and end Time
values
of the given Arc
.
mirrorArc :: Arc -> Arc Source
Returns the `mirror image' of an Arc
, used by Sound.Tidal.Pattern.rev
.
eventStart :: Event a -> Time Source
The start time of the given Event