fgl-5.5.0.1: Martin Erwig's Functional Graph Library
Data.Graph.Inductive.Monad.IOArray
Contents
Description
Static IOArray-based Graphs
Synopsis
data SGr a b Source
Constructors
Instances
type GraphRep a b = (Int, Array Node (Context' a b), IOArray Node Bool)Source
type Context' a b = Maybe (Adj b, a, Adj b)Source
type USGr = SGr () ()Source
defaultGraphSize :: IntSource
emptyN :: Int -> IO (SGr a b)Source
removeDel :: IOArray Node Bool -> Adj b -> IO (Adj b)Source
filter list (of successors/predecessors) through a boolean ST array representing deleted marks