Graph

module Data.Graph
containers Data.Graph
A version of the graph algorithms described in: Lazy Depth-First Search and Linear Graph Algorithms in Haskell, by David King and John Launchbury.
module Data.Graph.Inductive.Graph
fgl Data.Graph.Inductive.Graph
Static and Dynamic Inductive Graphs
module Data.Graph.Inductive.Graphviz
fgl Data.Graph.Inductive.Graphviz
Simple graphviz output.
class Graph gr
fgl Data.Graph.Inductive.Graph
Minimum implementation: empty, isEmpty, match, mkGraph, labNodes
type Graph = Table [Vertex]
containers Data.Graph
Adjacency list representation of a graph, mapping each vertex to its list of successors.
package 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. Version 0.7.0
package graph-rewriting-cl
package
Currently the following combinators are supported: S K I B C S B C' W Version 0.2.2
package graph-rewriting-gl
package
Once a graph rewriting system has been specified using the graph-rewriting library this package can be used to create an application that allows to experiment with this system by interactively applying the rewrite rules. The usage of the interface is the same for all applications. In the center you will see the graph. It might be moving around which is due the force-directed layouting. On the top-left corner you will find a menu with the individual rewriting rules of the rewriting system. The controls are described in the GraphRewriting.GL.UI module. Version 0.7
package graph-rewriting-lambdascope
package
Lambdascope is an optimal implementation of the »²-calculus described in the paper "Lambdascope - Another optimal implementation of the lambda-calculus" by Vincent van Oostrom, Kees-Jan van de Looij, and Marijn Zwitserlood. Call "lambdascope" with one of the files from the "examples" directory as an argument. For usage of the GUI see GraphRewriting.GL.UI. Use the "--lmo" flag for leftmost outermost evalution Version 0.5
package graph-rewriting-layout
package
Defines basic methods for force-directed node displacement that can be combined into an incremental graph-drawing procedure. See graph-rewriting-ski package for an example. Version 0.5.1
package graph-rewriting-ski
package
This package serves as an example for how to use the graph-rewriting, graph-rewriting-layout, and graph-rewriting-gl packages to create a graph rewriting system with an interactive, graphical front-end. The SKI combinator calculus is implemented once as an interaction net with combinators that accumulate their arguments, and once in a more direct manner. The sources (of the interaction net implementation) are well documented and serve as a tutorial for implementing your own rewrite system. Start reading in INet/Graph.hs. To run the program run either the "ski-inet" or the "ski-direct" with one of the files from the "examples" directory as an argument. For usage of the GUI see GraphRewriting.GL.UI. Version 0.5.7
package graph-rewriting-strategies
package
Defines a mechanism to add evaluation strategies to graph rewriting systems. Currently only leftmost-outermost reduction is implemented. Version 0.2
package graph-rewriting-trs
package
Given a set of term rewriting rules and an initial term with this tool you can interactively evaluate the corresponding term graph. The employed rule set has to be defined in one or more files. In the examples-directory a few rewriting systems are already supplied. To see how it works invoke the with the SKI-combinator rules and an initial term as arguments: trs examples/ski.trs "SK(S(KIS)K)I". On how to interact with the application see the GraphRewriting.GL.UI module of the graph-rewriting-gl package. Version 0.1.3
package graph-serialize
package
Serialization of data structures with references. Version 0.1.5
package graph-utils
package
Simple Wrapper for generating Graph provided by Data.Graph.Inductive. It also contains PageRank calculator. Version 0.3.7
package graph-wrapper
package
package Graphalyze
package
A library to use graph theory to analyse the relationships inherent in discrete data. Version 0.13.0.0
graphDff :: GraphM m gr => [Node] -> m (gr a b) -> m [Tree Node]
fgl Data.Graph.Inductive.Query.Monad
graphDff' :: GraphM m gr => m (gr a b) -> m [Tree Node]
fgl Data.Graph.Inductive.Query.Monad
graphFilter :: GraphM m gr => (Context a b -> Bool) -> m (gr a b) -> m [Context a b]
fgl Data.Graph.Inductive.Query.Monad

Show more results