Documentation

data PredSet s k Source

data PredKey s k a Source

new :: ST s (PredSet s k) Source

insert :: (Typeable k, Typeable a, Typeable s) => (k -> Maybe a) -> PredSet s k -> ST s (PredKey s k a) Source

lookup :: (Eq k, Hashable k, Typeable s, Typeable k, Typeable a) => PredKey s k a -> k -> PredSet s k -> ST s (Maybe a) Source