fgl-5.4.1.1: Martin Erwig's Functional Graph LibraryContentsIndex
Data.Graph.Inductive.Monad.IOArray
Contents
Graph Representation
Utilities
Description
Static IOArray-based Graphs
Synopsis
data SGr a b = SGr (GraphRep a b)
type GraphRep a b = (Int, Array Node (Context' a b), IOArray Node Bool)
type Context' a b = Maybe (Adj b, a, Adj b)
type USGr = SGr () ()
defaultGraphSize :: Int
emptyN :: Int -> IO (SGr a b)
removeDel :: IOArray Node Bool -> Adj b -> IO (Adj b)
Graph Representation
data SGr a b
Constructors
SGr (GraphRep a b)
show/hide Instances
GraphM IO SGr
(Show a, Show b) => Show (IO (SGr a b))
(Show a, Show b) => Show (SGr a b)
type GraphRep a b = (Int, Array Node (Context' a b), IOArray Node Bool)
type Context' a b = Maybe (Adj b, a, Adj b)
type USGr = SGr () ()
defaultGraphSize :: Int
emptyN :: Int -> IO (SGr a b)
Utilities
removeDel :: IOArray Node Bool -> Adj b -> IO (Adj b)
filter list (of successors/predecessors) through a boolean ST array representing deleted marks
Produced by Haddock version 0.8