From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Fri, 8 Apr 2011 04:51:57 +0000 (+0000)
Subject: add ga_inl, ga_inr
X-Git-Url: http://git.megacz.com/?p=ghc-base.git;a=commitdiff_plain;h=7dbb606d7b57cdad87a0ffbdb6ea4a274ebca7c0

add ga_inl, ga_inr
---

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