Copyright	(c) Henning Thielemann 2007-2010
Maintainer	haskell@henning-thielemann.de
Stability	stable
Portability	Haskell 98
Safe Haskell	Safe-Inferred
Language	Haskell98

Data.EventList.Relative.BodyBody

Description

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

Documentation

data T time body Source #

Instances

Instances details

Functor (T time) Source #
Instance details Defined in Data.EventList.Relative.BodyBodyPrivate Methods fmap :: (a -> b) -> T time a -> T time b (<$) :: a -> T time b -> T time a
Foldable (T time) Source #
Instance details Defined in Data.EventList.Relative.BodyBodyPrivate Methods fold :: Monoid m => T time m -> m foldMap :: Monoid m => (a -> m) -> T time a -> 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) Source #
Instance details Defined in Data.EventList.Relative.BodyBodyPrivate 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)
(Arbitrary time, Arbitrary body) => Arbitrary (T time body) Source #
Instance details Defined in Data.EventList.Relative.BodyBodyPrivate Methods arbitrary :: Gen (T time body) shrink :: T time body -> [T time body]
(Show time, Show body) => Show (T time body) Source #
Instance details Defined in Data.EventList.Relative.BodyBodyPrivate Methods showsPrec :: Int -> T time body -> ShowS show :: T time body -> String showList :: [T time body] -> ShowS
(Eq body, Eq time) => Eq (T time body) Source #
Instance details Defined in Data.EventList.Relative.BodyBodyPrivate Methods (==) :: T time body -> T time body -> Bool (/=) :: T time body -> T time body -> Bool
(Ord body, Ord time) => Ord (T time body) Source #
Instance details Defined in Data.EventList.Relative.BodyBodyPrivate 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

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

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

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