The graph-rewriting package
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.
Properties
| Versions | 0.4.8, 0.4.9, 0.5, 0.5.1, 0.5.2, 0.5.3, 0.6.0, 0.7.0, 0.7.1, 0.7.2, 0.7.3, 0.7.4 |
|---|---|
| Dependencies | base (≥4.0 & <4.7), base-unicode-symbols (0.2.*), containers (≥0.3 & <0.5), mtl (≥1.1 & <2.1) |
| License | BSD3 |
| Copyright | (c) 2010, Jan Rochel |
| Author | Jan Rochel |
| Maintainer | jan@rochel.info |
| Stability | beta |
| Category | Graphs |
| Home page | http://rochel.info/#graph-rewriting |
| Upload date | Mon Oct 29 15:19:20 UTC 2012 |
| Uploaded by | JanRochel |
| Build failure | ghc-7.6 (log) |
Modules
- Data
- Data.View
- GraphRewriting
- GraphRewriting.Graph
- GraphRewriting.Graph.Read
- GraphRewriting.Graph.Types
- GraphRewriting.Graph.Write
- GraphRewriting.Graph.Write.Unsafe
- GraphRewriting.Pattern
- GraphRewriting.Pattern.InteractionNet
- GraphRewriting.Rule
- GraphRewriting.Graph
Downloads
- graph-rewriting-0.7.4.tar.gz (Cabal source package)
- package description (included in the package)