Data.EventList.Relative.MixedTime

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

Documentation

consBody :: body -> T time body -> T time body

consTime :: time -> T time body -> T time body

(/.) :: time -> T time body -> T time body infixr 5

(./) :: body -> T time body -> T time body infixr 5

empty :: T time body

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

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

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

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

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

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

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

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

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

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