From 3b0388b14ee1be2edad548649388bca4ab8c31f0 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Mon, 29 Aug 2011 16:57:58 -0700 Subject: [PATCH] GArrowFullyEnriched: clean up imports and context --- GHC/HetMet/GArrowFullyEnriched.hs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/GHC/HetMet/GArrowFullyEnriched.hs b/GHC/HetMet/GArrowFullyEnriched.hs index 113dfcd..bf7df6b 100644 --- a/GHC/HetMet/GArrowFullyEnriched.hs +++ b/GHC/HetMet/GArrowFullyEnriched.hs @@ -56,12 +56,11 @@ module GHC.HetMet.GArrowFullyEnriched ( -- $extradoc1 ) where -import Control.Category ( (>>>) ) import Control.Category import GHC.HetMet.GArrow import Prelude hiding ((.), id) -data (GArrowSwap g (**) u, GArrowCopy g (**) u, GArrowDrop g (**) u) => Polynomial g (**) u t x y +data GArrow g (**) u => Polynomial g (**) u t x y = L (g (t**x) y) -- uses t, wants it as the left arg | R (g (x**t) y) -- uses t, wants it as the right arg | B (g (t**x) y) (g (x**t) y) -- uses t, doesn't care which arg -- 1.7.10.4