Data.EventList.Relative.TimeMixed

Event lists starting with a time difference and ending with either a data body or a time difference.

Documentation

snocBody :: T time body -> body -> T time body

snocTime :: T time body -> time -> T time body

viewTimeR :: T time body -> (T time body, time)

viewBodyR :: T time body -> Maybe (T time body, body)

switchTimeR :: (T time body -> time -> a) -> T time body -> a

switchBodyR :: a -> (T time body -> body -> a) -> T time body -> a

mapTimeR :: (T time body0 -> T time body1, time -> time) -> T time body0 -> T time body1

mapTimeLast :: (time -> time) -> T time body -> T time body

mapTimeInit :: (T time body0 -> T time body1) -> T time body0 -> T time body1

mapBodyR :: (T time0 body -> T time1 body, body -> body) -> T time0 body -> T time1 body

mapBodyLast :: (body -> body) -> T time body -> T time body

mapBodyInit :: (T time0 body -> T time1 body) -> T time0 body -> T time1 body

appendBodyEnd :: C time => T time body -> T time body -> T time body

This is not a good name, expect a change.

prependBodyEnd :: T time body -> T time body -> T time body

This is not a good name, expect a change.

splitAtTime :: C time => time -> T time body -> (T time body, T time body)

At the division time move all zero time differences to the suffix part, that is we will always split before a group of events.

takeTime :: C time => time -> T time body -> T time body

dropTime :: C time => time -> T time body -> T time body

splitAfterTime :: C time => time -> T time body -> (T time body, T time body)

At the division time move all zero time differences to the prefix part, that is we will always split after a group of events.

takeAfterTime :: C time => time -> T time body -> T time body

dropAfterTime :: C time => time -> T time body -> T time body