Data.Graph.EasyGrapher

Documentation

gr :: QuasiQuoter

Quasi quoter for EGGraph

buildGraph :: (DynGraph gr, Ord a) => EGGraph a -> gr a ()

buildGraph converts EGGraph gr into the '(gr a ())'

type EGGraph a = [EGTerm a]

'EGGraph a' is a list of 'EGTerm a'.

data (Eq a, Ord a) => EGTerm a

EGTerm is a vertex & an edge.

Constructors

a :=> a

EGVertex a

Instances

Typeable1 EGTerm

Ord a => Eq (EGTerm a)

(Data a, Ord a) => Data (EGTerm a)

Ord a => Ord (EGTerm a)

(Ord a, Show a) => Show (EGTerm a)

fromGr :: (Graph gr, Ord a) => gr a () -> EGGraph a

fromGr converts 'gr :: (gr a ())' into 'EGGraph a'