examples/DemoMain.hs

   1 import Control.Category
   2 import GArrowTikZ
   3 import GHC.HetMet.Private
   4 import GHC.HetMet.GArrow
   5 import Demo
   6
   7 {-
   8 demo' ::
   9          (Int -> PGArrow g (GArrowUnit g) (GArrowTensor g (GArrowUnit g) Int) ) ->
  10          (       PGArrow g (GArrowTensor g (GArrowTensor g Int Int) (GArrowUnit g)) Int) ->
  11          (PGArrow g (GArrowUnit g) (GArrowTensor g (GArrowUnit g) Int) )
  12 demo' = demo
  13 -}
  14
  15 main = tikz $ \const merge -> demo const merge