Data.Graph.Unordered

Contents

• Graph datatype
  • Edge types
  • Graph Context
• Graph functions
  • Graph Information
    • Node information
    • Edge information
  • Graph construction
    • Merging
  • Graph deconstruction
    • Matching
  • Manipulation

Description

Synopsis

• data Graph et n nl el
• type DirGraph = Graph DirEdge
• type UndirGraph = Graph UndirEdge
• type ValidGraph et n = (Hashable n, Eq n, EdgeType et)
• newtype Edge = Edge {
  • unEdge :: Word
  }
• data DirEdge n = DE {
  • fromNode :: !n
  • toNode :: !n
  }
• newtype UndirEdge n = UE {
  • ueElem :: [n]
  }
• 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
• data DirAdj n
  • = ToNode n
  • | FromNode n
• newtype Identity a :: * -> * = Identity {
  • runIdentity :: a
  }
• data Context at n nl el = Ctxt {
  • cNode :: !n
  • cLabel :: !nl
  • cAdj :: !(AdjLookup (at n) el)
  }
• type AdjLookup n el = HashMap Edge (n, el)
• class Contextual ctxt where
  • type CNode ctxt :: *
  • type CAType ctxt :: * -> *
  • type CNLabel ctxt :: *
  • type CELabel ctxt :: *
• type ValidContext et n nl el ctxt = (Contextual ctxt, n ~ CNode ctxt, AdjType et ~ CAType ctxt, nl ~ CNLabel ctxt, el ~ CELabel ctxt)
• class Contextual ctxt => FromContext ctxt where
  • fromContext :: Context (CAType ctxt) (CNode ctxt) (CNLabel ctxt) (CELabel ctxt) -> ctxt
• class Contextual ctxt => ToContext ctxt where
  • toContext :: ctxt -> Context (CAType ctxt) (CNode ctxt) (CNLabel ctxt) (CELabel ctxt)
• isEmpty :: Graph et n nl el -> Bool
• order :: Graph et n nl el -> Int
• hasNode :: ValidGraph et n => Graph et n nl el -> n -> Bool
• ninfo :: ValidGraph et n => Graph et n nl el -> n -> Maybe ([Edge], nl)
• nodes :: Graph et n nl el -> [n]
• nodeDetails :: Graph et n nl el -> [(n, ([Edge], nl))]
• lnodes :: Graph et n nl el -> [(n, nl)]
• nlab :: ValidGraph et n => Graph et n nl el -> n -> Maybe nl
• neighbours :: ValidGraph et n => Graph et n nl el -> n -> [n]
• size :: Graph et n nl el -> Int
• hasEdge :: ValidGraph et n => Graph et n nl el -> Edge -> Bool
• einfo :: ValidGraph et n => Graph et n nl el -> Edge -> Maybe (et n, el)
• 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)]
• elab :: ValidGraph et n => Graph et n nl el -> Edge -> Maybe el
• edgePairs :: EdgeType et => Graph et n nl el -> [(n, n)]
• ledgePairs :: EdgeType et => Graph et n nl el -> [(n, n, el)]
• empty :: Graph et n nl el
• mkGraph :: ValidGraph et n => [(n, nl)] -> [(n, n, el)] -> Graph et n nl el
• buildGr :: ValidGraph et n => [Context (AdjType et) n nl el] -> Graph et n nl el
• insNode :: ValidGraph et n => n -> nl -> Graph et n nl el -> Graph et n nl el
• insEdge :: ValidGraph et n => (n, n, el) -> Graph et n nl el -> (Edge, Graph et n nl el)
• type Mergeable et n nl el ctxt = (ValidGraph et n, ToContext ctxt, ValidContext et n nl el ctxt)
• merge :: ValidGraph et n => Context (AdjType et) n nl el -> Graph et n nl el -> Graph et n nl el
• mergeAs :: Mergeable et n nl el ctxt => ctxt -> Graph et n nl el -> Graph et n nl el
• delNode :: ValidGraph et n => n -> Graph et n nl el -> Graph et n nl el
• delEdge :: ValidGraph et n => Edge -> Graph et n nl el -> Graph et n nl el
• delEdgeLabel :: (ValidGraph et n, Eq el) => (n, n, el) -> Graph et n nl el -> Graph et n nl el
• delEdgesBetween :: ValidGraph et n => n -> n -> Graph et n nl el -> Graph et n nl el
• type Matchable et n nl el ctxt = (ValidGraph et n, FromContext ctxt, ValidContext et n nl el ctxt)
• match :: ValidGraph et n => n -> Graph et n nl el -> Maybe (Context (AdjType et) n nl el, Graph et n nl el)
• matchAs :: Matchable et n nl el ctxt => n -> Graph et n nl el -> Maybe (ctxt, Graph et n nl el)
• matchAny :: ValidGraph et n => Graph et n nl el -> Maybe (Context (AdjType et) n nl el, Graph et n nl el)
• matchAnyAs :: Matchable et n nl el ctxt => Graph et n nl el -> Maybe (ctxt, Graph et n nl el)
• nmap :: ValidGraph et n => (nl -> nl') -> Graph et n nl el -> Graph et n nl' el
• nmapFor :: ValidGraph et n => (nl -> nl) -> Graph et n nl el -> n -> Graph et n nl el
• emap :: ValidGraph et n => (el -> el') -> Graph et n nl el -> Graph et n nl el'
• emapFor :: ValidGraph et n => (el -> el) -> Graph et n nl el -> Edge -> Graph et n nl el

Graph datatype

Edge types

Graph Context

Graph functions

Graph Information

Node information

Edge information

Graph construction

Merging

Graph deconstruction

Matching

Manipulation