Data.Graph.Unordered.Internal

Description

Synopsis

• data Graph et n nl el = Gr {
  • nodeMap :: !(NodeMap n nl)
  • edgeMap :: !(EdgeMap et n el)
  • nextEdge :: !Edge
  }
• type NodeMap n nl = HashMap n (Adj, nl)
• type EdgeMap et n el = HashMap Edge (et n, el)
• newtype Edge = Edge {
  • unEdge :: Word
  }
• type Set n = HashMap n ()
• mkSet :: (Eq n, Hashable n) => [n] -> Set n
• type Adj = HashMap Edge Int
• adjCount :: Eq n => n -> n -> Int
• type ValidGraph et n = (Hashable n, Eq n, EdgeType et)
• mkGraph :: ValidGraph et n => [(n, nl)] -> [(n, n, el)] -> Graph et n nl el
• class (Functor et, NodeFrom (AdjType et)) => EdgeType et where
  • type AdjType et :: * -> *
  • mkEdge :: n -> n -> et n
  • otherN :: Eq n => n -> et n -> AdjType et n
  • toEdge :: n -> AdjType et n -> et n
  • edgeNodes :: et n -> [n]
  • edgeTriple :: (et n, el) -> (n, n, el)
• class NodeFrom at where
  • getNode :: at n -> n
• nodeDetails :: Graph et n nl el -> [(n, ([Edge], nl))]
• lnodes :: Graph et n nl el -> [(n, nl)]
• edges :: Graph et n nl el -> [Edge]
• edgeDetails :: Graph et n nl el -> [(Edge, (et n, el))]
• ledges :: Graph et n nl el -> [(Edge, el)]
• edgePairs :: EdgeType et => Graph et n nl el -> [(n, n)]
• ledgePairs :: EdgeType et => Graph et n nl el -> [(n, n, el)]
• degNM :: (Eq n, Hashable n) => NodeMap n nl -> n -> Int
• withNodeMap :: (NodeMap n nl -> NodeMap n nl') -> Graph et n nl el -> Graph et n nl' el
• withEdgeMap :: (EdgeMap et n el -> EdgeMap et n el') -> Graph et n nl el -> Graph et n nl el'

Documentation