update to use Control.GArrow instead of GHC.HetMet.GArrow

[coq-hetmet.git] / examples / GArrowShow.hs

diff --git a/examples/GArrowShow.hs b/examples/GArrowShow.hs
new file mode 100644 (file)
index 0000000..39695d6
--- /dev/null
+++ b/examples/GArrowShow.hs
@@ -0,0 +1,6 @@
+{-# LANGUAGE FunctionalDependencies, NoMonomorphismRestriction, MultiParamTypeClasses #-}
+module GArrowShow(GArrowShow) where
+import Control.GArrow
+
+class GArrow g (**) u => GArrowShow g (**) u where
+  ga_show :: g x y -> String