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)

empty :: T time body

fromPairList :: [(body, time)] -> T time body

toPairList :: T time body -> [(body, time)]

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

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

foldr :: (body -> a -> b) -> (time -> b -> a) -> b -> T time body -> b

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

cons :: body -> time -> T time body -> T time body

snoc :: T time body -> body -> time -> T time body

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

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

switchL :: c -> (body -> time -> T time body -> c) -> T time body -> c

switchR :: c -> (T time body -> body -> time -> c) -> T time body -> c

span :: (body -> Bool) -> T time body -> (T time body, T time body)