Documentation

data PredSet s k #

data PredKey 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) #