Data.EventList.Relative.BodyBody

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

Documentation

data T time body

Instances

Functor (T time)

Methods

fmap :: (a -> b) -> T time a -> T time b

(<$) :: a -> T time b -> T time a

Foldable (T time)

Methods

fold :: Monoid m => T time m -> m

foldMap :: Monoid m => (a -> m) -> T time a -> m

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

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

foldl :: (b -> a -> b) -> b -> T time a -> b

foldl' :: (b -> a -> b) -> b -> T time a -> b

foldr1 :: (a -> a -> a) -> T time a -> a

foldl1 :: (a -> a -> a) -> T time a -> a

toList :: T time a -> [a]

null :: T time a -> Bool

length :: T time a -> Int

elem :: Eq a => a -> T time a -> Bool

maximum :: Ord a => T time a -> a

minimum :: Ord a => T time a -> a

sum :: Num a => T time a -> a

product :: Num a => T time a -> a

Traversable (T time)

Methods

traverse :: Applicative f => (a -> f b) -> T time a -> f (T time b)

sequenceA :: Applicative f => T time (f a) -> f (T time a)

mapM :: Monad m => (a -> m b) -> T time a -> m (T time b)

sequence :: Monad m => T time (m a) -> m (T time a)

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

Methods

(==) :: T time body -> T time body -> Bool

(/=) :: T time body -> T time body -> Bool

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

Methods

compare :: T time body -> T time body -> Ordering

(<) :: T time body -> T time body -> Bool

(<=) :: T time body -> T time body -> Bool

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

(>=) :: T time body -> T time body -> Bool

max :: T time body -> T time body -> T time body

min :: T time body -> T time body -> T time body

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

Methods

showsPrec :: Int -> T time body -> ShowS

show :: T time body -> String

showList :: [T time body] -> ShowS

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

Methods

arbitrary :: Gen (T time body)

shrink :: T time body -> [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)