Data.PredSet.Mutable

Documentation

data CachedPred s k a

Constructors

CachedPred

Fields

cachedPredPred :: !(k -> Maybe a)

cachedPredCache :: !(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

Constructors

PredSet

Fields

getPredSet :: HSet s

newtype PredKey s k a

Constructors

PredKey

Fields

getPredKey :: 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)