graph-rewriting-lambdascope 0.4.9 → 0.4.10
raw patch · 4 files changed
+14/−9 lines, 4 filesdep ~graph-rewriting-gl
Dependency ranges changed: graph-rewriting-gl
Files
- GL.hs +10/−5
- Graph.hs +1/−1
- Resolver.hs +1/−1
- graph-rewriting-lambdascope.cabal +2/−2
GL.hs view
@@ -30,7 +30,7 @@ renderNode node = drawPorts node >> case node of Initiator {} → drawNode "I" Applicator {} → drawNode "@"- Abstractor {} → drawNode "λ"+ Abstractor {} → drawNode ('L' : name node) Constant {} → drawNode (name node) Function {} → drawNode (name node) Eraser {} → drawNode ""@@ -39,14 +39,14 @@ vertex2 (0,0.9) vertex2 (-1,-0.5) vertex2 (1,-0.5)- renderString $ show $ level node+ drawString $ show $ level node Delimiter {} → do- GL.preservingMatrix $ GL.renderPrimitive GL.LineStrip $ do+ GL.renderPrimitive GL.LineStrip $ do vertex2 (-0.8,-0.3) vertex2 (-0.8,0) vertex2 (0.8,0) vertex2 (0.8,-0.3)- renderString $ show $ level node+ drawString $ show $ level node drawPorts ∷ NodeLS -> IO () drawPorts = mapM_ drawPort . relPortPos@@ -62,4 +62,9 @@ drawNode label = do GL.renderPrimitive GL.LineLoop (circle 1 1 20)- renderString label+ drawString label++drawString label = GL.preservingMatrix $ do+ GL.translate $ vector2 (-0.3,-0.3)+ GL.scale 0.007 0.007 (0 ∷ GL.GLdouble)+ GL.renderString GL.MonoRoman label
Graph.hs view
@@ -10,7 +10,7 @@ data NodeLS = Initiator {out ∷ Port} | Applicator {inp, func, arg ∷ Port}- | Abstractor {inp, body, var ∷ Port}+ | Abstractor {inp, body, var ∷ Port, name ∷ String} | Constant {inp ∷ Port, name ∷ String} | Function {inp ∷ Port, out ∷ Port , name ∷ String} | Eraser {inp ∷ Port}
Resolver.hs view
@@ -32,7 +32,7 @@ Λ x e → do b ← newEdge (v, name) ← bindName True x- newNode Abstractor {inp = p, body = b, var = v}+ newNode Abstractor {inp = p, body = b, var = v, name = x} compile (name : env) b e V var → case env of [ ] → newNode Constant {inp = p, name = var} >> return ()
graph-rewriting-lambdascope.cabal view
@@ -1,5 +1,5 @@ Name: graph-rewriting-lambdascope-Version: 0.4.9+Version: 0.4.10 Copyright: (c) 2010, Jan Rochel License: BSD3 License-File: LICENSE@@ -21,7 +21,7 @@ base-unicode-symbols >= 0.2 && < 0.3, graph-rewriting >= 0.4.4 && < 0.6, graph-rewriting-layout >= 0.4.1 && < 0.5,- graph-rewriting-gl >= 0.6.5 && < 0.7,+ graph-rewriting-gl >= 0.6.7 && < 0.7, parsec >= 2.1 && < 2.2, GLUT >= 2.2 && < 2.3, OpenGL >= 2.4 && < 2.5,