Portability | portable |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Total transient monadic maps, used to track information about vertices and edges in a graph
Documentation
data PropertyMap m k v Source
PropertyMap | |
|
modifyP :: Monad m => PropertyMap m k v -> k -> (v -> v) -> m (PropertyMap m k v)Source
intPropertyMap :: Monad m => v -> PropertyMap m Int vSource
propertyMap :: (Monad m, Ord k) => v -> PropertyMap m k vSource
liftPropertyMap :: (MonadTrans t, Monad m, Monad (t m)) => PropertyMap m k v -> PropertyMap (t m) k vSource