Copyright | (c) Henning Thielemann 2007-2010 |
---|---|
Maintainer | haskell@henning-thielemann.de |
Stability | stable |
Portability | Haskell 98 |
Safe Haskell | Safe-Inferred |
Language | Haskell98 |
Event lists starting with a body and ending with a time difference.
Documentation
Instances
Foldable (T time) Source # | |
Defined in Data.EventList.Relative.BodyTimePrivate 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 # elem :: Eq a => a -> T time a -> Bool # maximum :: Ord a => T time a -> a # minimum :: Ord a => T time a -> a # | |
Traversable (T time) Source # | |
Functor (T time) Source # | |
(Arbitrary time, Arbitrary body) => Arbitrary (T time body) Source # | |
Monoid (T time body) Source # | |
Semigroup (T time body) Source # | |
(Show time, Show body) => Show (T time body) Source # | |
(Eq body, Eq time) => Eq (T time body) Source # | |
(Ord body, Ord time) => Ord (T time body) Source # | |
Defined in Data.EventList.Relative.BodyTimePrivate |
fromPairList :: [(body, time)] -> T time body Source #
toPairList :: T time body -> [(body, time)] Source #
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 #
traverse_ :: Applicative m => (time -> m ()) -> (body -> m ()) -> T time body -> m () Source #
traverseBody :: Applicative m => (body0 -> m body1) -> T time body0 -> m (T time body1) Source #
traverseTime :: Applicative m => (time0 -> m time1) -> T time0 body -> m (T time1 body) Source #