Portability | Haskell 98 |
---|---|

Stability | stable |

Maintainer | haskell@henning-thielemann.de |

Safe Haskell | Safe-Inferred |

Event lists starting with a body and ending with a time difference.

- 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
- prependBodyEnd :: T time body -> T time body -> T time body
- splitAtTime :: C time => time -> T time body -> (T time body, T time body)
- takeTime :: C time => time -> T time body -> T time body
- dropTime :: C time => time -> T time body -> T time body

# Documentation

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

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

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

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

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

This is not a good name, expect a change.

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

This is not a good name, expect a change.