Safe Haskell	None
Language	Haskell2010

Data.Graph.Haggle.LabelAdapter

Contents

Types
Mutable Graph API
Immutable Graph API

Synopsis

data LabeledMGraph g nl el m
data LabeledGraph g nl el
newLabeledGraph :: (MGraph g, PrimMonad m, MonadRef m) => m (g m) -> m (LabeledMGraph g nl el m)
newSizedLabeledGraph :: (MGraph g, PrimMonad m, MonadRef m) => (Int -> Int -> m (g m)) -> Int -> Int -> m (LabeledMGraph g nl el m)
mapEdgeLabel :: LabeledGraph g nl el -> (el -> el') -> LabeledGraph g nl el'
mapVertexLabel :: LabeledGraph g nl el -> (nl -> nl') -> LabeledGraph g nl' el
fromLabeledEdgeList :: (Ord nl, MGraph g, MAddVertex g, MAddEdge g) => (forall s. ST s (g (ST s))) -> [(nl, nl, el)] -> (LabeledGraph (ImmutableGraph g) nl el, VertexMap nl)

Types

data LabeledMGraph g nl el m Source #

An adapter adding support for both vertex and edge labels for mutable graphs.

Instances

Instances details

MBidirectional g => MBidirectional (LabeledMGraph g nl el) Source #
Instance details Defined in Data.Graph.Haggle.Internal.Adapter Methods getPredecessors :: (PrimMonad m, MonadRef m) => LabeledMGraph g nl el m -> Vertex -> m [Vertex] Source # getInEdges :: (PrimMonad m, MonadRef m) => LabeledMGraph g nl el m -> Vertex -> m [Edge] Source #
MAddVertex g => MLabeledVertex (LabeledMGraph g nl el) Source #
Instance details Defined in Data.Graph.Haggle.Internal.Adapter Associated Types type MVertexLabel (LabeledMGraph g nl el) Source # Methods getVertexLabel :: (PrimMonad m, MonadRef m) => LabeledMGraph g nl el m -> Vertex -> m (Maybe (MVertexLabel (LabeledMGraph g nl el))) Source # addLabeledVertex :: (PrimMonad m, MonadRef m) => LabeledMGraph g nl el m -> MVertexLabel (LabeledMGraph g nl el) -> m Vertex Source # getLabeledVertices :: (PrimMonad m, MonadRef m) => LabeledMGraph g nl el m -> m [(Vertex, MVertexLabel (LabeledMGraph g nl el))] Source #
MAddEdge g => MLabeledEdge (LabeledMGraph g nl el) Source #
Instance details Defined in Data.Graph.Haggle.Internal.Adapter Associated Types type MEdgeLabel (LabeledMGraph g nl el) Source # Methods getEdgeLabel :: (PrimMonad m, MonadRef m) => LabeledMGraph g nl el m -> Edge -> m (Maybe (MEdgeLabel (LabeledMGraph g nl el))) Source # unsafeGetEdgeLabel :: (PrimMonad m, MonadRef m) => LabeledMGraph g nl el m -> Edge -> m (MEdgeLabel (LabeledMGraph g nl el)) Source # addLabeledEdge :: (PrimMonad m, MonadRef m) => LabeledMGraph g nl el m -> Vertex -> Vertex -> MEdgeLabel (LabeledMGraph g nl el) -> m (Maybe Edge) Source #
MGraph g => MGraph (LabeledMGraph g nl el) Source #
Instance details Defined in Data.Graph.Haggle.Internal.Adapter Associated Types type ImmutableGraph (LabeledMGraph g nl el) Source # Methods getVertices :: (PrimMonad m, MonadRef m) => LabeledMGraph g nl el m -> m [Vertex] Source # getSuccessors :: (PrimMonad m, MonadRef m) => LabeledMGraph g nl el m -> Vertex -> m [Vertex] Source # getOutEdges :: (PrimMonad m, MonadRef m) => LabeledMGraph g nl el m -> Vertex -> m [Edge] Source # countVertices :: (PrimMonad m, MonadRef m) => LabeledMGraph g nl el m -> m Int Source # countEdges :: (PrimMonad m, MonadRef m) => LabeledMGraph g nl el m -> m Int Source # checkEdgeExists :: (PrimMonad m, MonadRef m) => LabeledMGraph g nl el m -> Vertex -> Vertex -> m Bool Source # freeze :: (PrimMonad m, MonadRef m) => LabeledMGraph g nl el m -> m (ImmutableGraph (LabeledMGraph g nl el)) Source #
type MVertexLabel (LabeledMGraph g nl el) Source #
Instance details Defined in Data.Graph.Haggle.Internal.Adapter type MVertexLabel (LabeledMGraph g nl el) = nl
type MEdgeLabel (LabeledMGraph g nl el) Source #
Instance details Defined in Data.Graph.Haggle.Internal.Adapter type MEdgeLabel (LabeledMGraph g nl el) = el
type ImmutableGraph (LabeledMGraph g nl el) Source #
Instance details Defined in Data.Graph.Haggle.Internal.Adapter type ImmutableGraph (LabeledMGraph g nl el) = LabeledGraph (ImmutableGraph g) nl el

data LabeledGraph g nl el Source #

An adapter adding support for both vertex and edge labels for immutable graphs.

Instances

Instances details

(NFData g, NFData nl, NFData el) => NFData (LabeledGraph g nl el) Source #
Instance details Defined in Data.Graph.Haggle.Internal.Adapter Methods rnf :: LabeledGraph g nl el -> () #
Graph g => HasVertexLabel (LabeledGraph g nl el) Source #
Instance details Defined in Data.Graph.Haggle.Internal.Adapter Associated Types type VertexLabel (LabeledGraph g nl el) Source # Methods vertexLabel :: LabeledGraph g nl el -> Vertex -> Maybe (VertexLabel (LabeledGraph g nl el)) Source # labeledVertices :: LabeledGraph g nl el -> [(Vertex, VertexLabel (LabeledGraph g nl el))] Source #
Bidirectional g => BidirectionalEdgeLabel (LabeledGraph g nl el) Source #
Instance details Defined in Data.Graph.Haggle.Internal.Adapter Methods labeledInEdges :: LabeledGraph g nl el -> Vertex -> [(Edge, EdgeLabel (LabeledGraph g nl el))] Source #
Graph g => HasEdgeLabel (LabeledGraph g nl el) Source #
Instance details Defined in Data.Graph.Haggle.Internal.Adapter Associated Types type EdgeLabel (LabeledGraph g nl el) Source # Methods edgeLabel :: LabeledGraph g nl el -> Edge -> Maybe (EdgeLabel (LabeledGraph g nl el)) Source # labeledEdges :: LabeledGraph g nl el -> [(Edge, EdgeLabel (LabeledGraph g nl el))] Source # labeledOutEdges :: LabeledGraph g nl el -> Vertex -> [(Edge, EdgeLabel (LabeledGraph g nl el))] Source #
Bidirectional g => Bidirectional (LabeledGraph g nl el) Source #
Instance details Defined in Data.Graph.Haggle.Internal.Adapter Methods predecessors :: LabeledGraph g nl el -> Vertex -> [Vertex] Source # inEdges :: LabeledGraph g nl el -> Vertex -> [Edge] Source #
Thawable g => Thawable (LabeledGraph g nl el) Source #
Instance details Defined in Data.Graph.Haggle.Internal.Adapter Associated Types type MutableGraph (LabeledGraph g nl el) :: (Type -> Type) -> Type Source # Methods thaw :: (PrimMonad m, MonadRef m) => LabeledGraph g nl el -> m (MutableGraph (LabeledGraph g nl el) m) Source #
Graph g => Graph (LabeledGraph g nl el) Source #
Instance details Defined in Data.Graph.Haggle.Internal.Adapter Methods vertices :: LabeledGraph g nl el -> [Vertex] Source # edges :: LabeledGraph g nl el -> [Edge] Source # successors :: LabeledGraph g nl el -> Vertex -> [Vertex] Source # outEdges :: LabeledGraph g nl el -> Vertex -> [Edge] Source # maxVertexId :: LabeledGraph g nl el -> Int Source # isEmpty :: LabeledGraph g nl el -> Bool Source # edgesBetween :: LabeledGraph g nl el -> Vertex -> Vertex -> [Edge] Source #
type VertexLabel (LabeledGraph g nl el) Source #
Instance details Defined in Data.Graph.Haggle.Internal.Adapter type VertexLabel (LabeledGraph g nl el) = nl
type EdgeLabel (LabeledGraph g nl el) Source #
Instance details Defined in Data.Graph.Haggle.Internal.Adapter type EdgeLabel (LabeledGraph g nl el) = el
type MutableGraph (LabeledGraph g nl el) Source #
Instance details Defined in Data.Graph.Haggle.Internal.Adapter type MutableGraph (LabeledGraph g nl el) = LabeledMGraph (MutableGraph g) nl el

Mutable Graph API

newLabeledGraph :: (MGraph g, PrimMonad m, MonadRef m) => m (g m) -> m (LabeledMGraph g nl el m) Source #

newSizedLabeledGraph :: (MGraph g, PrimMonad m, MonadRef m) => (Int -> Int -> m (g m)) -> Int -> Int -> m (LabeledMGraph g nl el m) Source #

Immutable Graph API

mapEdgeLabel :: LabeledGraph g nl el -> (el -> el') -> LabeledGraph g nl el' Source #

mapVertexLabel :: LabeledGraph g nl el -> (nl -> nl') -> LabeledGraph g nl' el Source #

fromLabeledEdgeList :: (Ord nl, MGraph g, MAddVertex g, MAddEdge g) => (forall s. ST s (g (ST s))) -> [(nl, nl, el)] -> (LabeledGraph (ImmutableGraph g) nl el, VertexMap nl) Source #

Construct a graph from a labeled list of edges. The node endpoint values are used as vertex labels, and the last element of the triple is used as an edge label.