add skeleton of GArrowTikZ

[coq-hetmet.git] / examples / GArrowTikZ.hs

diff --git a/examples/GArrowTikZ.hs b/examples/GArrowTikZ.hs
new file mode 100644 (file)
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   =
+-}