Data.EventList.Relative.BodyTime

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

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 time, Eq body) => Eq (T time body)

Methods

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

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

(Ord time, Ord body) => 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

Semigroup (T time body)

Methods

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

sconcat :: NonEmpty (T time body) -> T time body

stimes :: Integral b => b -> T time body -> T time body

Monoid (T time body)

Methods

mempty :: T time body

mappend :: T time body -> T time body -> T time body

mconcat :: [T time body] -> T time body

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

Methods

arbitrary :: Gen (T time body)

shrink :: T time body -> [T time body]

empty :: T time body

singleton :: body -> time -> T time body

null :: T time body -> Bool

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

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

getTimes :: T time body -> [time]

getBodies :: T time body -> [body]

duration :: Num time => T time body -> time

durationR :: Num time => T time body -> time

mapBody :: (body0 -> body1) -> T time body0 -> T time body1

mapTime :: (time0 -> time1) -> T time0 body -> T time1 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)

traverse_ :: Applicative m => (time -> m ()) -> (body -> m ()) -> T time body -> m ()

traverseBody :: Applicative m => (body0 -> m body1) -> T time body0 -> m (T time body1)

traverseTime :: Applicative m => (time0 -> m time1) -> T time0 body -> m (T time1 body)

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

mapM_ :: Monad m => (time -> m ()) -> (body -> m ()) -> T time body -> m ()

mapBodyM :: Monad m => (body0 -> m body1) -> T time body0 -> m (T time body1)

mapTimeM :: Monad m => (time0 -> m time1) -> T time0 body -> m (T time1 body)

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)