fgl-5.4.2.3: Martin Erwig's Functional Graph Library

Data.Graph.Inductive.Monad.IOArray

Contents

Description

Static IOArray-based Graphs

Synopsis

Graph Representation

data SGr a b

Constructors

SGr (GraphRep a b) 

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