graph-rewriting-ski 0.6.7 → 0.6.8
raw patch · 6 files changed
+26/−28 lines, 6 filesdep ~GLUTdep ~OpenGLdep ~base
Dependency ranges changed: GLUT, OpenGL, base, base-unicode-symbols, graph-rewriting, graph-rewriting-gl, graph-rewriting-layout, parsec
Files
- Direct/GL.hs +0/−2
- Direct/Main.hs +1/−0
- Direct/Rules.hs +0/−1
- INet/GL.hs +0/−2
- INet/Main.hs +1/−1
- graph-rewriting-ski.cabal +24/−22
Direct/GL.hs view
@@ -19,8 +19,6 @@ Root {} → [sd s] where n = Vector2 0 1- w = Vector2 (-1) 0- e = Vector2 1 0 s = Vector2 0 (-1) sw = Vector2 (-1) (-1) se = Vector2 1 (-1)
Direct/Main.hs view
@@ -1,3 +1,4 @@+{-# LANGUAGE UnicodeSyntax, FlexibleInstances, FlexibleContexts #-} module Main where import GraphRewriting.GL.Render
Direct/Rules.hs view
@@ -5,7 +5,6 @@ import Data.Monoid.Unicode import Direct.Graph import GraphRewriting-import Control.Applicative -- <chunk: rules>
INet/GL.hs view
@@ -24,8 +24,6 @@ S2 {} → [sd n, sd (sw*0.7), sd (se*0.7)] where -- points of compass n = Vector2 0 1- w = Vector2 (-1) 0- e = Vector2 1 0 s = Vector2 0 (-1) sw = Vector2 (-1) (-1) se = Vector2 1 (-1)
INet/Main.hs view
@@ -1,4 +1,4 @@-{-# LANGUAGE UnicodeSyntax, FlexibleInstances #-}+{-# LANGUAGE UnicodeSyntax, FlexibleInstances, FlexibleContexts #-} -- Given the graph signature in INet/Graph.hs, the rewrite rules in INet/Rules.hs and the layouting information and rendering code in INet/GL.hs we can tie it together to obtain an interactive, graphical application to see our rewriting system in action. module Main where
graph-rewriting-ski.cabal view
@@ -1,54 +1,56 @@ Name: graph-rewriting-ski-Version: 0.6.7+Version: 0.6.8 Copyright: (c) 2010, Jan Rochel License: BSD3 License-File: LICENSE Author: Jan Rochel Maintainer: jan@rochel.info-Homepage: http://rochel.info/#graph-rewriting-Stability: beta+Homepage: https://github.com/jrochel/graph-rewriting+Bug-Reports: https://github.com/jrochel/graph-rewriting/issues Build-Type: Simple-Synopsis: Two evalutors of the SKI combinator calculus as interactive graph rewrite systems+Synopsis: Two interactive evalutors of the SKI combinator calculus Description: 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 with rules that consume all the arguments at once. 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". Category: Compilers/Interpreters, Application-Cabal-Version: >= 1.6+Cabal-Version: >= 1.10 Data-Files: examples/*.ski examples/combinator_birds/*.ski Extra-Source-Files: AUTHORS Executable ski-inet+ Default-Language: Haskell2010 Main-Is: INet/Main.hs GHC-Options: -fno-warn-duplicate-exports -fwarn-unused-binds -fwarn-unused-imports -fwarn-unused-do-bind -fwarn-wrong-do-bind -fwarn-unrecognised-pragmas -fno-warn-tabs Other-Modules: Common.GL INet.GL INet.Graph INet.Rules Common.Term- Extensions:- UnicodeSyntax+ Default-Extensions: UnicodeSyntax+ Other-Extensions: FlexibleInstances FlexibleContexts MultiParamTypeClasses Build-Depends:- base >= 4.3 && < 4.10,+ base >= 4.3 && < 5, base-unicode-symbols >= 0.2 && < 0.3,- graph-rewriting >= 0.7.6,- graph-rewriting-layout >= 0.5.4,- graph-rewriting-gl >= 0.7.6,+ graph-rewriting >= 0.7.6 && < 0.9,+ graph-rewriting-layout >= 0.5.4 && < 0.6,+ graph-rewriting-gl >= 0.7.6 && < 0.8, parsec >= 3.1.0 && < 3.2,- GLUT >= 2.4 && < 2.8,- OpenGL >= 3.0 && < 3.1+ GLUT >= 2.4 && < 3,+ OpenGL >= 3.0 && < 4 Executable ski-direct+ Default-Language: Haskell2010 Main-Is: Direct/Main.hs GHC-Options: -fno-warn-duplicate-exports -fwarn-unused-binds -fwarn-unused-imports -fwarn-unused-do-bind -fwarn-wrong-do-bind -fwarn-unrecognised-pragmas -fno-warn-tabs -fno-warn-tabs Other-Modules: Common.GL Direct.GL Direct.Graph Direct.Rules Common.Term- Extensions:- UnicodeSyntax+ Default-Extensions: UnicodeSyntax+ Other-Extensions: FlexibleInstances FlexibleContexts MultiParamTypeClasses Build-Depends: base >= 4.3 && < 5,- base-unicode-symbols >= 0.2,- graph-rewriting >= 0.7,- graph-rewriting-layout >= 0.5,- graph-rewriting-gl >= 0.6.9,- parsec >= 3.1.0,- GLUT >= 2.4,- OpenGL >= 3.0+ base-unicode-symbols >= 0.2 && < 0.3,+ graph-rewriting >= 0.7.6 && < 0.9,+ graph-rewriting-layout >= 0.5.4 && < 0.6,+ graph-rewriting-gl >= 0.7.6 && < 0.8,+ parsec >= 3.1.0 && < 3.2,+ GLUT >= 2.4 && < 3,+ OpenGL >= 3.0 && < 4