algebraic-graphs-0.7: A library for algebraic graph construction and transformation

# algebraic-graphs-0.7: A library for algebraic graph construction and transformation

Alga is a library for algebraic construction and manipulation of graphs in Haskell. See this paper for the motivation behind the library, the underlying theory and implementation details.

The top-level module Algebra.Graph defines the main data type for algebraic graphs Graph, as well as associated algorithms. For type-safe representation and manipulation of non-empty algebraic graphs, see Algebra.Graph.NonEmpty. Furthermore, algebraic graphs with edge labels are implemented in Algebra.Graph.Labelled.

The library also provides conventional graph data structures, such as Algebra.Graph.AdjacencyMap along with its various flavours:

- adjacency maps specialised to graphs with vertices of type `Int` (Algebra.Graph.AdjacencyIntMap),
- non-empty adjacency maps (Algebra.Graph.NonEmpty.AdjacencyMap),
- adjacency maps for undirected bipartite graphs (Algebra.Graph.Bipartite.AdjacencyMap),
- adjacency maps with edge labels (Algebra.Graph.Labelled.AdjacencyMap),
- acyclic adjacency maps (Algebra.Graph.Acyclic.AdjacencyMap),

A large part of the API of algebraic graphs and adjacency maps is available through the `Foldable`-like type class Algebra.Graph.ToGraph.

The type classes defined in Algebra.Graph.Class and Algebra.Graph.HigherKinded.Class can be used for polymorphic construction and manipulation of graphs.

This is an experimental library and the API is expected to remain unstable until version 1.0.0. Please consider contributing to the on-going discussions on the library API.

Modules

algebraic-graphs-0.7

- Algebra
  Submodules
  - Algebra.Graph
    Submodules
    - Acyclic
      Submodules
      - Algebra.Graph.Acyclic.AdjacencyMap
    - Algebra.Graph.AdjacencyIntMap
      Submodules
      - Algebra.Graph.AdjacencyIntMap.Algorithm
    - Algebra.Graph.AdjacencyMap
      Submodules
      - Algebra.Graph.AdjacencyMap.Algorithm
    - Bipartite
      Submodules
      - Algebra.Graph.Bipartite.AdjacencyMap
        Submodules
        - Algebra.Graph.Bipartite.AdjacencyMap.Algorithm
    - Algebra.Graph.Class
    - Example
      Submodules
      - Algebra.Graph.Example.Todo
    - Algebra.Graph.Export
      Submodules
      - Algebra.Graph.Export.Dot
    - HigherKinded
      Submodules
      - Algebra.Graph.HigherKinded.Class
    - Algebra.Graph.Internal
    - Algebra.Graph.Label
    - Algebra.Graph.Labelled
      Submodules
      - Algebra.Graph.Labelled.AdjacencyMap
      - Example
        Submodules
        - Algebra.Graph.Labelled.Example.Automaton
        - Algebra.Graph.Labelled.Example.Network
    - Algebra.Graph.NonEmpty
      Submodules
      - Algebra.Graph.NonEmpty.AdjacencyMap
    - Algebra.Graph.Relation
      Submodules
      - Algebra.Graph.Relation.Preorder
      - Algebra.Graph.Relation.Reflexive
      - Algebra.Graph.Relation.Symmetric
      - Algebra.Graph.Relation.Transitive
    - Algebra.Graph.ToGraph
    - Algebra.Graph.Undirected
- Data
  Submodules
  - Graph
    Submodules
    - Data.Graph.Typed