examples/GArrowShow.hs

   1 {-# LANGUAGE FunctionalDependencies, NoMonomorphismRestriction, MultiParamTypeClasses #-}
   2 module GArrowShow(GArrowShow) where
   3 import Control.GArrow
   4
   5 class GArrow g (**) u => GArrowShow g (**) u where
   6   ga_show :: g x y -> String