From 7dbb606d7b57cdad87a0ffbdb6ea4a274ebca7c0 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Fri, 8 Apr 2011 04:51:57 +0000 Subject: [PATCH] add ga_inl, ga_inr --- GHC/HetMet/GArrow.hs | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/GHC/HetMet/GArrow.hs b/GHC/HetMet/GArrow.hs index 26bec09..c53e2f8 100644 --- a/GHC/HetMet/GArrow.hs +++ b/GHC/HetMet/GArrow.hs @@ -21,7 +21,7 @@ module GHC.HetMet.GArrow ( GArrowConstant(..), GArrowLiteral(..), -- should be implemented, but never invoked, by user code - GArrowSum(..), + GArrowSum(..), ga_inl, ga_inr, GArrowProd(..), GArrowReify(..), @@ -85,10 +85,9 @@ class (GArrow g (**) u, GArrowSum g (**) u (<+>) v where ga_merge :: g (x<+>x) x ga_never :: g v x - - - +ga_inl = ga_uncancelr >>> ga_second ga_never +ga_inr = ga_uncancell >>> ga_first ga_never ------------------------------------------------------------------------ -- Loop -- 1.7.10.4