Data.EventList.Relative.BodyTime

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

Documentation

data T time body

Instances

(Eq time, Eq body) => Eq (T time body)

(Ord time, Ord body) => Ord (T time body)

(Show time, Show body) => Show (T time body)

(Arbitrary time, Arbitrary body) => Arbitrary (T time body)

mapM :: Monad m => (time0 -> m time1) -> (body0 -> m body1) -> T time0 body0 -> m (T time1 body1)

empty :: T time body