Data.Graph.PropertyMap

Total transient monadic maps, used to track information about vertices and edges in a graph

Documentation

data PropertyMap m k v

Constructors

PropertyMap

Fields

getP :: k -> m v

putP :: k -> v -> m (PropertyMap m k v)

modifyP :: Monad m => PropertyMap m k v -> k -> (v -> v) -> m (PropertyMap m k v)

intPropertyMap :: Monad m => v -> PropertyMap m Int v

propertyMap :: (Monad m, Ord k) => v -> PropertyMap m k v

liftPropertyMap :: (MonadTrans t, Monad m, Monad (t m)) => PropertyMap m k v -> PropertyMap (t m) k v