Documentation

data Graph Source

type Node = Int Source

type NodeSet = IntSet Source

data Edge Source

empty :: Graph Source

fromEdges :: [Edge] -> Graph Source

fromAdj :: [(Node, [Node])] -> Graph Source

isConsistent :: Graph -> Bool Source

nodes :: Graph -> [Node] Source

edges :: Graph -> [Edge] Source

children :: Graph -> Node -> Vector Node Source

parents :: Graph -> Node -> Vector Node Source

hasEdge :: Node -> Node -> Graph -> Bool Source

edgeCount :: Graph -> Int Source

hull :: Graph -> Node -> NodeSet Source

rhull :: Graph -> Node -> NodeSet Source

hullFold :: Graph -> (b -> Node -> b) -> b -> Node -> b Source

hullFoldM :: Monad m => Graph -> (b -> Node -> m b) -> b -> Node -> m b Source

rhullFold :: Graph -> (b -> Node -> b) -> b -> Node -> b Source

addEdge :: Node -> Node -> Graph -> Graph Source

addEdges :: [Edge] -> Graph -> Graph Source

removeEdge :: Node -> Node -> Graph -> Graph Source

removeEdges :: [Edge] -> Graph -> Graph Source

addNode :: Node -> Graph -> Graph Source

removeNode :: Node -> Graph -> Graph Source

solitaireNodes :: Graph -> [Node] Source

edgesAdj :: AdjList -> [Edge] Source