{-# 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 = -}