@hackage / graph-rewriting

Monadic graph rewriting of hypergraphs with ports and multiedges

Latest0.8.0

About

Metadata

  • Last updated , by JanRochel
  • License BSD-3-Clause
  • Categories Mathematics

  • Maintained by: jan@rochel.info

  • Lottery factor: 0

Links

Installation

Readme

This library provides a monadic EDSL to define your own port graph rewrite system in Haskell. Once you have specified the signature of your nodes and a set of rewrite rules, you can apply these rules on a graph to effect a graph transformation. The aim of this library is to make it as convenient as possible to define such a system and experiment with it and is not intended as a backend for high-performance computation.