graphs-0.6.0.1: A simple monadic graph library

Copyright(C) 2011 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Graph.PropertyMap

Description

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

Documentation

data PropertyMap m k v Source

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) Source

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

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