data-reify-0.6.1: Reify a recursive data structure into an explicit graph.

Copyright(c) 2009 Andy Gill
LicenseBSD3
MaintainerAndy Gill <andygill@ku.edu>
Stabilityunstable
Portabilityghc
Safe HaskellSafe-Inferred
LanguageHaskell98

Data.Reify.Graph

Description

This is the shared definition of a Graph in Data.Reify.

Synopsis

Documentation

data Graph e Source

Graph is a basic graph structure over nodes of the higher kind e, with a single root. There is an assumption that there is no Unique used in a node which does not have a corresponding entry is the association list. The idea with this structure is that it is trivial to convert into an Array, IntMap, or into a Martin Erwig's Functional Graph, as required.

Constructors

Graph [(Unique, e Unique)] Unique 

Instances

Show (e Int) => Show (Graph e)

If e is s Functor, and e is Show-able, then we can Show a Graph.