GHC.Data.Graph.Inductive.PatriciaTree

An efficient implementation of Graph using big-endian patricia tree (i.e. Data.IntMap).

This module provides the following specialised functions to gain more performance, using GHC's RULES pragma:

• insNode
• insEdge
• gmap
• nmap
• emap

Code is from Hackage fgl package version 5.7.0.3

Documentation

data Gr a b

Instances

Bifunctor Gr

Defined in GHC.Data.Graph.Inductive.PatriciaTree

Methods

bimap :: (a -> b) -> (c -> d) -> Gr a c -> Gr b d

first :: (a -> b) -> Gr a c -> Gr b c

second :: (b -> c) -> Gr a b -> Gr a c

DynGraph Gr

Defined in GHC.Data.Graph.Inductive.PatriciaTree

Methods

(&) :: Context a b -> Gr a b -> Gr a b

Graph Gr

Defined in GHC.Data.Graph.Inductive.PatriciaTree

Methods

empty :: Gr a b

isEmpty :: Gr a b -> Bool

match :: Node -> Gr a b -> Decomp Gr a b

mkGraph :: [LNode a] -> [LEdge b] -> Gr a b

labNodes :: Gr a b -> [LNode a]

matchAny :: Gr a b -> GDecomp Gr a b

noNodes :: Gr a b -> Int

nodeRange :: Gr a b -> (Node, Node)

labEdges :: Gr a b -> [LEdge b]

Functor (Gr a)

Defined in GHC.Data.Graph.Inductive.PatriciaTree

Methods

fmap :: (a0 -> b) -> Gr a a0 -> Gr a b

(<$) :: a0 -> Gr a b -> Gr a a0

Generic (Gr a b)

Defined in GHC.Data.Graph.Inductive.PatriciaTree

Associated Types

type Rep (Gr a b) :: Type -> Type

Methods

from :: Gr a b -> Rep (Gr a b) x

to :: Rep (Gr a b) x -> Gr a b

(Read a, Read b) => Read (Gr a b)

Defined in GHC.Data.Graph.Inductive.PatriciaTree

Methods

readsPrec :: Int -> ReadS (Gr a b)

readList :: ReadS [Gr a b]

readPrec :: ReadPrec (Gr a b)

readListPrec :: ReadPrec [Gr a b]

(Show a, Show b) => Show (Gr a b)

Defined in GHC.Data.Graph.Inductive.PatriciaTree

Methods

showsPrec :: Int -> Gr a b -> ShowS

show :: Gr a b -> String

showList :: [Gr a b] -> ShowS

(Eq a, Ord b) => Eq (Gr a b)

Defined in GHC.Data.Graph.Inductive.PatriciaTree

Methods

(==) :: Gr a b -> Gr a b -> Bool

(/=) :: Gr a b -> Gr a b -> Bool

type Rep (Gr a b)

Defined in GHC.Data.Graph.Inductive.PatriciaTree

type Rep (Gr a b)

type UGr = Gr () ()