Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Data.Graph.Inductive.Monad
Description
Monadic Graphs
Synopsis
- class MonadFail m => GraphM m gr where
- emptyM :: m (gr a b)
- isEmptyM :: m (gr a b) -> m Bool
- matchM :: Node -> m (gr a b) -> m (Decomp gr a b)
- mkGraphM :: [LNode a] -> [LEdge b] -> m (gr a b)
- labNodesM :: m (gr a b) -> m [LNode a]
- matchAnyM :: m (gr a b) -> m (GDecomp gr a b)
- noNodesM :: m (gr a b) -> m Int
- nodeRangeM :: m (gr a b) -> m (Node, Node)
- labEdgesM :: m (gr a b) -> m [LEdge b]
- ufoldM :: GraphM m gr => (Context a b -> c -> c) -> c -> m (gr a b) -> m c
- nodesM :: GraphM m gr => m (gr a b) -> m [Node]
- edgesM :: GraphM m gr => m (gr a b) -> m [Edge]
- newNodesM :: GraphM m gr => Int -> m (gr a b) -> m [Node]
- delNodeM :: GraphM m gr => Node -> m (gr a b) -> m (gr a b)
- delNodesM :: GraphM m gr => [Node] -> m (gr a b) -> m (gr a b)
- mkUGraphM :: GraphM m gr => [Node] -> [Edge] -> m (gr () ())
- contextM :: GraphM m gr => m (gr a b) -> Node -> m (Context a b)
- labM :: GraphM m gr => m (gr a b) -> Node -> m (Maybe a)
Classes
class MonadFail m => GraphM m gr where #
Methods
isEmptyM :: m (gr a b) -> m Bool #
matchM :: Node -> m (gr a b) -> m (Decomp gr a b) #
mkGraphM :: [LNode a] -> [LEdge b] -> m (gr a b) #
labNodesM :: m (gr a b) -> m [LNode a] #
matchAnyM :: m (gr a b) -> m (GDecomp gr a b) #
noNodesM :: m (gr a b) -> m Int #
nodeRangeM :: m (gr a b) -> m (Node, Node) #
Instances
GraphM IO SGr # | |
Defined in Data.Graph.Inductive.Monad.IOArray Methods isEmptyM :: IO (SGr a b) -> IO Bool # matchM :: Node -> IO (SGr a b) -> IO (Decomp SGr a b) # mkGraphM :: [LNode a] -> [LEdge b] -> IO (SGr a b) # labNodesM :: IO (SGr a b) -> IO [LNode a] # matchAnyM :: IO (SGr a b) -> IO (GDecomp SGr a b) # noNodesM :: IO (SGr a b) -> IO Int # | |
GraphM (ST s) (SGr s) # | |
Defined in Data.Graph.Inductive.Monad.STArray Methods isEmptyM :: ST s (SGr s a b) -> ST s Bool # matchM :: Node -> ST s (SGr s a b) -> ST s (Decomp (SGr s) a b) # mkGraphM :: [LNode a] -> [LEdge b] -> ST s (SGr s a b) # labNodesM :: ST s (SGr s a b) -> ST s [LNode a] # matchAnyM :: ST s (SGr s a b) -> ST s (GDecomp (SGr s) a b) # noNodesM :: ST s (SGr s a b) -> ST s Int # |