Documentation

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

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

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

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

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

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

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