X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=examples%2FGArrowTikZ.hs;fp=examples%2FGArrowTikZ.hs;h=1f629690079201bf2756d8d3b6b66af5380ad8ea;hp=0000000000000000000000000000000000000000;hb=ff46afb5b5a682dd9f2e246afb889bb2f1be9f15;hpb=6c949de6b044bda942fd0553e3eb9c0386a94e44

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   =
+-}