From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sun, 10 Apr 2011 19:59:38 +0000 (+0000)
Subject: add skeleton of GArrowTikZ
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=ff46afb5b5a682dd9f2e246afb889bb2f1be9f15;ds=sidebyside

add skeleton of GArrowTikZ
---

diff --git a/examples/GArrowTikZ.hs b/examples/GArrowTikZ.hs
new file mode 100644
index 0000000..1f62969
--- /dev/null
+++ b/examples/GArrowTikZ.hs
@@ -0,0 +1,36 @@
+{-# OPTIONS_GHC -XModalTypes -XMultiParamTypeClasses -ddump-types -XNoMonoPatBinds  #-}
+module GArrowTikZ
+where
+import Prelude hiding ( id, (.) )
+
+--
+-- Render a fully-polymorphic GArrow term as a boxes-and-wires diagram using TikZ
+--
+
+{-
+instance GArrow GArrowTikZ (,) where
+  ga_id            =
+  ga_comp      f g =
+  ga_second    f   =
+  ga_cancell   f   =
+  ga_cancelr   f   =
+  ga_uncancell f   =
+  ga_uncancelr f   =
+  ga_assoc     f   =  
+  ga_unassoc   f   =  
+
+instance GArrowDrop GArrowTikZ (,) where
+  ga_drop      =
+
+instance GArrowCopy GArrowTikZ (,) where
+  ga_copy      =
+
+instance GArrowSwap GArrowTikZ (,) where
+  ga_swap      =
+
+instance GArrowLoop GArrowTikZ (,) where
+  ga_loop      =
+
+instance GArrowLiteral GArrowTikZ (,) where
+  ga_literal   =
+-}