Data.EventList.Relative.BodyBody

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

Documentation

data T time body

Instances

Functor (T time)

Foldable (T time)

Traversable (T time)

(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)

concatMapMonoid :: Monoid m => (time -> m) -> (body -> m) -> T time body -> m

traverse :: Applicative m => (time0 -> m time1) -> (body0 -> m body1) -> T time0 body0 -> m (T time1 body1)

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