|
Data.EventList.Relative.BodyTime | Portability | Haskell 98 | Stability | stable | Maintainer | haskell@henning-thielemann.de |
|
|
|
Description |
Event lists starting with a body and ending with a time difference.
|
|
|
Documentation |
|
|
|
|
|
singleton :: body -> time -> T time body | Source |
|
|
|
|
fromPairList :: [(body, time)] -> T time body | Source |
|
|
toPairList :: T time body -> [(body, time)] | Source |
|
|
getTimes :: T time body -> [time] | Source |
|
|
getBodies :: T time body -> [body] | Source |
|
|
|
|
durationR :: Num time => T time body -> time | Source |
|
|
mapBody :: (body0 -> body1) -> T time body0 -> T time body1 | Source |
|
|
mapTime :: (time0 -> time1) -> T time0 body -> T time1 body | Source |
|
|
concatMapMonoid :: Monoid m => (time -> m) -> (body -> m) -> T time body -> m | Source |
|
|
traverse :: Applicative m => (time0 -> m time1) -> (body0 -> m body1) -> T time0 body0 -> m (T time1 body1) | Source |
|
|
|
|
|
|
|
|
mapM :: Monad m => (time0 -> m time1) -> (body0 -> m body1) -> T time0 body0 -> m (T time1 body1) | Source |
|
|
|
|
mapBodyM :: Monad m => (body0 -> m body1) -> T time body0 -> m (T time body1) | Source |
|
|
mapTimeM :: Monad m => (time0 -> m time1) -> T time0 body -> m (T time1 body) | Source |
|
|
foldr :: (body -> a -> b) -> (time -> b -> a) -> b -> T time body -> b | Source |
|
|
foldrPair :: (body -> time -> a -> a) -> a -> T time body -> a | Source |
|
|
cons :: body -> time -> T time body -> T time body | Source |
|
|
snoc :: T time body -> body -> time -> T time body | Source |
|
|
|
|
|
|
switchL :: c -> (body -> time -> T time body -> c) -> T time body -> c | Source |
|
|
switchR :: c -> (T time body -> body -> time -> c) -> T time body -> c | Source |
|
|
span :: (body -> Bool) -> T time body -> (T time body, T time body) | Source |
|
|
Produced by Haddock version 2.6.0 |