examples/GArrowTikZ.hs

   1 {-# OPTIONS_GHC -XModalTypes -XMultiParamTypeClasses -ddump-types -XNoMonoPatBinds  #-}
   2 module GArrowTikZ
   3 where
   4 import Prelude hiding ( id, (.) )
   5
   6 --
   7 -- Render a fully-polymorphic GArrow term as a boxes-and-wires diagram using TikZ
   8 --
   9
  10 {-
  11 instance GArrow GArrowTikZ (,) where
  12   ga_id            =
  13   ga_comp      f g =
  14   ga_second    f   =
  15   ga_cancell   f   =
  16   ga_cancelr   f   =
  17   ga_uncancell f   =
  18   ga_uncancelr f   =
  19   ga_assoc     f   =
  20   ga_unassoc   f   =
  21
  22 instance GArrowDrop GArrowTikZ (,) where
  23   ga_drop      =
  24
  25 instance GArrowCopy GArrowTikZ (,) where
  26   ga_copy      =
  27
  28 instance GArrowSwap GArrowTikZ (,) where
  29   ga_swap      =
  30
  31 instance GArrowLoop GArrowTikZ (,) where
  32   ga_loop      =
  33
  34 instance GArrowLiteral GArrowTikZ (,) where
  35   ga_literal   =
  36 -}