Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data ExpiringSet element
- empty :: (Eq a, Hashable a) => ExpiringSet a
- singleton :: (Eq a, Hashable a) => UTCTime -> a -> ExpiringSet a
- toList :: ExpiringSet a -> [(UTCTime, a)]
- fromList :: (Eq a, Hashable a) => [(UTCTime, a)] -> ExpiringSet a
- map :: (Eq b, Hashable b) => (a -> b) -> ExpiringSet a -> ExpiringSet b
- null :: ExpiringSet a -> Bool
- insert :: (Hashable element, Eq element) => UTCTime -> element -> ExpiringSet element -> ExpiringSet element
- insertForce :: (Hashable element, Eq element) => UTCTime -> element -> ExpiringSet element -> ExpiringSet element
- delete :: (Hashable element, Eq element) => element -> ExpiringSet element -> ExpiringSet element
- member :: (Eq a, Hashable a) => a -> ExpiringSet a -> Bool
- memberTime :: UTCTime -> ExpiringSet a -> Bool
- size :: ExpiringSet a -> Int
- lookup :: (Eq a, Hashable a) => a -> ExpiringSet a -> Maybe UTCTime
- clean :: (Hashable element, Eq element) => UTCTime -> ExpiringSet element -> ([element], ExpiringSet element)
Documentation
data ExpiringSet element Source #
Set that expiring with time
Instances
Construction
List
toList :: ExpiringSet a -> [(UTCTime, a)] Source #
Transformations
map :: (Eq b, Hashable b) => (a -> b) -> ExpiringSet a -> ExpiringSet b Source #
Basic interface
null :: ExpiringSet a -> Bool Source #
:: (Hashable element, Eq element) | |
=> UTCTime | Expiry time |
-> element | |
-> ExpiringSet element | |
-> ExpiringSet element |
:: (Hashable element, Eq element) | |
=> UTCTime | Expiry time |
-> element | |
-> ExpiringSet element | |
-> ExpiringSet element |
delete :: (Hashable element, Eq element) => element -> ExpiringSet element -> ExpiringSet element Source #
memberTime :: UTCTime -> ExpiringSet a -> Bool Source #
size :: ExpiringSet a -> Int Source #
lookup :: (Eq a, Hashable a) => a -> ExpiringSet a -> Maybe UTCTime Source #
Check whether the set contains the element, and if it does return the element's associated time.
Filter
clean :: (Hashable element, Eq element) => UTCTime -> ExpiringSet element -> ([element], ExpiringSet element) Source #
Clean expiringset