Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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
- clean :: (Hashable element, Eq element) => UTCTime -> ExpiringSet element -> ([element], ExpiringSet element)
Documentation
data ExpiringSet element Source #
Set that expiring with time
(Eq a, Hashable a) => IsList (ExpiringSet a) Source # | |
Eq element => Eq (ExpiringSet element) Source # | |
Show element => Show (ExpiringSet element) Source # | |
Generic (ExpiringSet element) Source # | |
type Rep (ExpiringSet element) Source # | |
type Item (ExpiringSet a) Source # | |
Construction
empty :: (Eq a, Hashable a) => ExpiringSet a Source #
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 #
Filter
clean :: (Hashable element, Eq element) => UTCTime -> ExpiringSet element -> ([element], ExpiringSet element) Source #
Clean expiringset