From ff46afb5b5a682dd9f2e246afb889bb2f1be9f15 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sun, 10 Apr 2011 19:59:38 +0000 Subject: [PATCH] add skeleton of GArrowTikZ --- examples/GArrowTikZ.hs | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 examples/GArrowTikZ.hs 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 = +-} -- 1.7.10.4