-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Simple cached predicates
--   
--   Simple cached predicates
@package pred-set
@version 0.0.0

module Data.PredSet.Mutable
data CachedPred s k a
CachedPred :: !(k -> Maybe a) -> {-# UNPACK #-} !(HashTable s k a) -> CachedPred s k a
[cachedPredPred] :: CachedPred s k a -> !(k -> Maybe a)
[cachedPredCache] :: CachedPred s k a -> {-# UNPACK #-} !(HashTable s k a)
newCachedPred :: (k -> Maybe a) -> ST s (CachedPred s k a)
query :: (Eq k, Hashable k) => k -> CachedPred s k a -> ST s (Maybe a)
newtype PredSet s k
PredSet :: HSet s -> PredSet s k
[getPredSet] :: PredSet s k -> HSet s
newtype PredKey s k a
PredKey :: HKey (CachedPred s k a) -> PredKey s k a
[getPredKey] :: PredKey s k a -> HKey (CachedPred s k a)
new :: ST s (PredSet s k)
insert :: (Typeable k, Typeable a, Typeable s) => (k -> Maybe a) -> PredSet s k -> ST s (PredKey s k a)
lookup :: (Eq k, Hashable k, Typeable s, Typeable k, Typeable a) => PredKey s k a -> k -> PredSet s k -> ST s (Maybe a)