graph-rewriting-gl 0.7.6 → 0.7.7

raw patch · 2 files changed

+10/−10 lines, 2 filesdep ~AC-Vectordep ~GLUTdep ~OpenGLPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: AC-Vector, GLUT, OpenGL, base-unicode-symbols, containers, graph-rewriting, graph-rewriting-layout

API changes (from Hackage documentation)

- GraphRewriting.GL.Render: render :: Render a ⇒ a -> IO ()

+ GraphRewriting.GL.Render: render :: Render a => a -> IO ()

- GraphRewriting.GL.UI: run :: (View Position n, Render n', View Position n', View Rotation n', PortSpec n', View [Port] n') ⇒ Int -> (Graph n -> Graph n') -> (Node -> Rewrite n a) -> Graph n -> LabelledTree (Rule n) -> IO ()

+ GraphRewriting.GL.UI: run :: (View Position n, Render n', View Position n', View Rotation n', PortSpec n', View [Port] n') => Int -> (Graph n -> Graph n') -> (Node -> Rewrite n a) -> Graph n -> LabelledTree (Rule n) -> IO ()

- GraphRewriting.GL.UI: showLabelledTree :: Show a ⇒ Int -> a -> (a -> a -> a) -> LabelledTree a -> String

+ GraphRewriting.GL.UI: showLabelledTree :: Show a => Int -> a -> (a -> a -> a) -> LabelledTree a -> String

GraphRewriting/GL/UI.hs view

@@ -5,7 +5,7 @@ --  -- - Right-click on a menu entry to apply the corresponding rule at every applicable position in the graph simultaneously (in no particular order). Redexes that are destroyed (or created) by prior contractions in this process are not reduced, thus if single applications of the rule terminate, so does its simultaneous application. Right-clicking does /not/ select the rule. -- --- - Right-click on a node of the graph to apply the selected rewriting rule at that position. You know before whether it is a applicable, since all redexes in the graph with respect to the selected rule are marked red. Right-clicking on a non-redexs node has no effect. The layouting stops while the right mouse-button is pressed.+-- - Right-click on a node of the graph to apply the selected rewriting rule at that position. You know before whether it is a applicable, since all redexes in the graph with respect to the selected rule are marked red. Right-clicking on a non-redex node has no effect. The layouting stops while the right mouse-button is pressed. --  -- - Drag the background of the canvas to scroll around. --

graph-rewriting-gl.cabal view

@@ -1,5 +1,5 @@ Name:           graph-rewriting-gl-Version:        0.7.6+Version:        0.7.7 Copyright:      (c) 2010, Jan Rochel License:        BSD3 License-File:   LICENSE@@ -17,14 +17,14 @@  Library   Build-Depends:-    base >= 4 && < 4.9,-    base-unicode-symbols >= 0.2 && < 0.3,-    graph-rewriting >= 0.7.8 && < 0.8,-    graph-rewriting-layout >= 0.5.4 && < 0.6,-    GLUT >= 2.2 && < 2.8,-    OpenGL == 3.*,-    containers >= 0.3 && < 0.6,-    AC-Vector >= 2.3 && < 2.4+    base >= 4 && < 5,+    base-unicode-symbols >= 0.2,+    graph-rewriting >= 0.7.8,+    graph-rewriting-layout >= 0.5.4,+    GLUT >= 2.2,+    OpenGL >= 3.0,+    containers >= 0.3,+    AC-Vector >= 2.3   Exposed-Modules:     GraphRewriting.GL.UI     GraphRewriting.GL.Render