Documentation

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

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

(/.) :: time -> T time body -> T time bodySource

(./) :: body -> T time body -> T time bodySource

empty :: T time bodySource

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

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

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

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

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

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

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

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

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

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