add hetmet_unflatten

[ghc-base.git] / GHC / HetMet / Private.hs

diff --git a/GHC/HetMet/Private.hs b/GHC/HetMet/Private.hs
index c27f78b..a55d282 100644 (file)
--- a/GHC/HetMet/Private.hs
+++ b/GHC/HetMet/Private.hs
@@ -10,7 +10,7 @@
 -- Portability :  portable
 
 module GHC.HetMet.Private (
-  PGArrow,
+  PGArrow (..),
   pga_id,
   pga_comp,
   pga_first,
@@ -27,7 +27,8 @@ module GHC.HetMet.Private (
   pga_applyl,
   pga_applyr,
   pga_curryl,
-  pga_curryr
+  pga_curryr,
+  pga_kappa
 ) where
 import Control.Category ( (>>>) )
 import qualified Control.Category
@@ -72,5 +73,5 @@ pga_curryl    :: forall g x y z . PGArrow g (x,y) z  ->  PGArrow g x (y->z)
 pga_curryl    =  error "not implemented"
 pga_curryr    :: forall g x y z . PGArrow g (x,y) z  ->  PGArrow g y (x->z)
 pga_curryr    =  error "not implemented"
---pga_kappa     :: forall g x y . (g u x -> g u y) -> g x y
---pga_kappa     =  error "not implemented"
+pga_kappa     :: forall g x y . (g () x -> g () y) -> g x y
+pga_kappa     =  error "not implemented"