Data.Graph.Haggle.EdgeLabelAdapter

This adapter adds edge labels (but not vertex labels) to graphs.

It only supports addLabeledEdge, not addEdge. See LabeledGraph for more details.

Documentation

data EdgeLabeledMGraph g el s

Instances

MBidirectional g => MBidirectional (EdgeLabeledMGraph g el)

Defined in Data.Graph.Haggle.EdgeLabelAdapter

Methods

getPredecessors :: (PrimMonad m, MonadRef m) => EdgeLabeledMGraph g el m -> Vertex -> m [Vertex]

getInEdges :: (PrimMonad m, MonadRef m) => EdgeLabeledMGraph g el m -> Vertex -> m [Edge]

MAddEdge g => MLabeledEdge (EdgeLabeledMGraph g el)

Defined in Data.Graph.Haggle.EdgeLabelAdapter

Associated Types

type MEdgeLabel (EdgeLabeledMGraph g el) :: Type

Methods

getEdgeLabel :: (PrimMonad m, MonadRef m) => EdgeLabeledMGraph g el m -> Edge -> m (Maybe (MEdgeLabel (EdgeLabeledMGraph g el)))

unsafeGetEdgeLabel :: (PrimMonad m, MonadRef m) => EdgeLabeledMGraph g el m -> Edge -> m (MEdgeLabel (EdgeLabeledMGraph g el))

addLabeledEdge :: (PrimMonad m, MonadRef m) => EdgeLabeledMGraph g el m -> Vertex -> Vertex -> MEdgeLabel (EdgeLabeledMGraph g el) -> m (Maybe Edge)

MAddVertex g => MAddVertex (EdgeLabeledMGraph g el)

Defined in Data.Graph.Haggle.EdgeLabelAdapter

Methods

addVertex :: (PrimMonad m, MonadRef m) => EdgeLabeledMGraph g el m -> m Vertex

MGraph g => MGraph (EdgeLabeledMGraph g el)

Defined in Data.Graph.Haggle.EdgeLabelAdapter

Associated Types

type ImmutableGraph (EdgeLabeledMGraph g el) :: Type

Methods

getVertices :: (PrimMonad m, MonadRef m) => EdgeLabeledMGraph g el m -> m [Vertex]

getSuccessors :: (PrimMonad m, MonadRef m) => EdgeLabeledMGraph g el m -> Vertex -> m [Vertex]

getOutEdges :: (PrimMonad m, MonadRef m) => EdgeLabeledMGraph g el m -> Vertex -> m [Edge]

countVertices :: (PrimMonad m, MonadRef m) => EdgeLabeledMGraph g el m -> m Int

countEdges :: (PrimMonad m, MonadRef m) => EdgeLabeledMGraph g el m -> m Int

checkEdgeExists :: (PrimMonad m, MonadRef m) => EdgeLabeledMGraph g el m -> Vertex -> Vertex -> m Bool

freeze :: (PrimMonad m, MonadRef m) => EdgeLabeledMGraph g el m -> m (ImmutableGraph (EdgeLabeledMGraph g el))

type MEdgeLabel (EdgeLabeledMGraph g el)

Defined in Data.Graph.Haggle.EdgeLabelAdapter

type MEdgeLabel (EdgeLabeledMGraph g el) = el

type ImmutableGraph (EdgeLabeledMGraph g el)

Defined in Data.Graph.Haggle.EdgeLabelAdapter

type ImmutableGraph (EdgeLabeledMGraph g el) = EdgeLabeledGraph (ImmutableGraph g) el

data EdgeLabeledGraph g el

Instances

(NFData g, NFData el) => NFData (EdgeLabeledGraph g el)

Defined in Data.Graph.Haggle.EdgeLabelAdapter

Methods

rnf :: EdgeLabeledGraph g el -> ()

Bidirectional g => BidirectionalEdgeLabel (EdgeLabeledGraph g el)

Defined in Data.Graph.Haggle.EdgeLabelAdapter

Methods

labeledInEdges :: EdgeLabeledGraph g el -> Vertex -> [(Edge, EdgeLabel (EdgeLabeledGraph g el))]

Graph g => HasEdgeLabel (EdgeLabeledGraph g el)

Defined in Data.Graph.Haggle.EdgeLabelAdapter

Associated Types

type EdgeLabel (EdgeLabeledGraph g el) :: Type

Methods

edgeLabel :: EdgeLabeledGraph g el -> Edge -> Maybe (EdgeLabel (EdgeLabeledGraph g el))

labeledEdges :: EdgeLabeledGraph g el -> [(Edge, EdgeLabel (EdgeLabeledGraph g el))]

labeledOutEdges :: EdgeLabeledGraph g el -> Vertex -> [(Edge, EdgeLabel (EdgeLabeledGraph g el))]

Bidirectional g => Bidirectional (EdgeLabeledGraph g el)

Defined in Data.Graph.Haggle.EdgeLabelAdapter

Methods

predecessors :: EdgeLabeledGraph g el -> Vertex -> [Vertex]

inEdges :: EdgeLabeledGraph g el -> Vertex -> [Edge]

Thawable g => Thawable (EdgeLabeledGraph g el)

Defined in Data.Graph.Haggle.EdgeLabelAdapter

Associated Types

type MutableGraph (EdgeLabeledGraph g el) :: (Type -> Type) -> Type

Methods

thaw :: (PrimMonad m, MonadRef m) => EdgeLabeledGraph g el -> m (MutableGraph (EdgeLabeledGraph g el) m)

Graph g => Graph (EdgeLabeledGraph g el)

Defined in Data.Graph.Haggle.EdgeLabelAdapter

Methods

vertices :: EdgeLabeledGraph g el -> [Vertex]

edges :: EdgeLabeledGraph g el -> [Edge]

successors :: EdgeLabeledGraph g el -> Vertex -> [Vertex]

outEdges :: EdgeLabeledGraph g el -> Vertex -> [Edge]

maxVertexId :: EdgeLabeledGraph g el -> Int

isEmpty :: EdgeLabeledGraph g el -> Bool

edgesBetween :: EdgeLabeledGraph g el -> Vertex -> Vertex -> [Edge]

type EdgeLabel (EdgeLabeledGraph g el)

Defined in Data.Graph.Haggle.EdgeLabelAdapter

type EdgeLabel (EdgeLabeledGraph g el) = el

type MutableGraph (EdgeLabeledGraph g el)

Defined in Data.Graph.Haggle.EdgeLabelAdapter

type MutableGraph (EdgeLabeledGraph g el) = EdgeLabeledMGraph (MutableGraph g) el

newEdgeLabeledGraph :: (MGraph g, PrimMonad m, MonadRef m) => m (g m) -> m (EdgeLabeledMGraph g nl m)

newSizedEdgeLabeledGraph :: (MGraph g, PrimMonad m, MonadRef m) => (Int -> Int -> m (g m)) -> Int -> Int -> m (EdgeLabeledMGraph g el m)

mapEdgeLabel :: EdgeLabeledGraph g el -> (el -> el') -> EdgeLabeledGraph g el'