1 {-# OPTIONS_GHC -XModalTypes -XMultiParamTypeClasses -ddump-types -XNoMonoPatBinds #-}
4 import Prelude hiding ( id, (.) )
7 -- Render a fully-polymorphic GArrow term as a boxes-and-wires diagram using TikZ
11 instance GArrow GArrowTikZ (,) where
22 instance GArrowDrop GArrowTikZ (,) where
25 instance GArrowCopy GArrowTikZ (,) where
28 instance GArrowSwap GArrowTikZ (,) where
31 instance GArrowLoop GArrowTikZ (,) where
34 instance GArrowLiteral GArrowTikZ (,) where