ExpiringContainers.ExpiringMap

Documentation

data ExpiringMap key value

Instances

Foldable (ExpiringMap key)

Methods

fold :: Monoid m => ExpiringMap key m -> m

foldMap :: Monoid m => (a -> m) -> ExpiringMap key a -> m

foldr :: (a -> b -> b) -> b -> ExpiringMap key a -> b

foldr' :: (a -> b -> b) -> b -> ExpiringMap key a -> b

foldl :: (b -> a -> b) -> b -> ExpiringMap key a -> b

foldl' :: (b -> a -> b) -> b -> ExpiringMap key a -> b

foldr1 :: (a -> a -> a) -> ExpiringMap key a -> a

foldl1 :: (a -> a -> a) -> ExpiringMap key a -> a

toList :: ExpiringMap key a -> [a]

null :: ExpiringMap key a -> Bool

length :: ExpiringMap key a -> Int

elem :: Eq a => a -> ExpiringMap key a -> Bool

maximum :: Ord a => ExpiringMap key a -> a

minimum :: Ord a => ExpiringMap key a -> a

sum :: Num a => ExpiringMap key a -> a

product :: Num a => ExpiringMap key a -> a

(Eq a, Hashable a) => IsList (ExpiringMap a b)

Associated Types

type Item (ExpiringMap a b) :: *

Methods

fromList :: [Item (ExpiringMap a b)] -> ExpiringMap a b

fromListN :: Int -> [Item (ExpiringMap a b)] -> ExpiringMap a b

toList :: ExpiringMap a b -> [Item (ExpiringMap a b)]

type Item (ExpiringMap a b)

type Item (ExpiringMap a b) = (UTCTime, a, b)

lookup :: (Eq k, Hashable k) => k -> ExpiringMap k v -> Maybe v

setCurrentTime :: (Eq k, Ord k, Hashable k) => UTCTime -> ExpiringMap k v -> ExpiringMap k v

Construction

empty :: (Eq k, Hashable k) => ExpiringMap k v

singleton :: (Eq k, Hashable k) => UTCTime -> k -> v -> ExpiringMap k v

List

toList :: (Eq k, Hashable k) => ExpiringMap k v -> [(UTCTime, k, v)]

fromList :: (Eq k, Hashable k) => [(UTCTime, k, v)] -> ExpiringMap k v

Transformations

map :: (v1 -> v2) -> ExpiringMap k v1 -> ExpiringMap k v2

mapWithKey :: (k -> v1 -> v2) -> ExpiringMap k v1 -> ExpiringMap k v2

Basic interface

null :: ExpiringMap k v -> Bool

size :: ExpiringMap k v -> Int

member :: (Eq k, Hashable k) => k -> ExpiringMap k v -> Bool

insert

Arguments

:: (Eq k, Ord k, Hashable k)

=> UTCTime

Expiry time

-> k

-> v

-> ExpiringMap k v

-> ExpiringMap k v

delete

Arguments

:: (Eq k, Ord k, Hashable k)

=> UTCTime

Expiry time

-> k

-> ExpiringMap k v

-> ExpiringMap k v