projects
/
ghc-base.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Arrow.hs: fix loopl/loopr transposition
[ghc-base.git]
/
GHC
/
HetMet
/
Arrow.hs
diff --git
a/GHC/HetMet/Arrow.hs
b/GHC/HetMet/Arrow.hs
index
b79943a
..
f40ed5b
100644
(file)
--- a/
GHC/HetMet/Arrow.hs
+++ b/
GHC/HetMet/Arrow.hs
@@
-48,16
+48,14
@@
instance Arrow a => GArrowReify a (,) () x y x y where
ga_reify = arr
instance ArrowLoop a => GArrowLoop a (,) () where
ga_reify = arr
instance ArrowLoop a => GArrowLoop a (,) () where
- ga_loopl = loop
- ga_loopr f = loop (ga_swap >>> f >>> ga_swap)
+ ga_loopr = loop
+ ga_loopl f = loop (ga_swap >>> f >>> ga_swap)
instance ArrowApply a => GArrowApply a (,) () a where
ga_applyl = ga_swap >>> app
ga_applyr = app
instance ArrowApply a => GArrowApply a (,) () a where
ga_applyl = ga_swap >>> app
ga_applyr = app
-instance Arrow a => GArrowProd a (,) () (,) () where
- ga_prod_drop = arr (\x -> ())
- ga_prod_copy = arr (\x -> (x,x))
+instance Arrow a => GArrowProd a (,) () where
-- The uninhabited type
data Void
-- The uninhabited type
data Void
@@
-90,7
+88,7
@@
instance ArrowChoice a => GArrow a Either Void where
eitherUnAssoc (Right (Left y)) = Left (Right y)
eitherUnAssoc (Right (Right z)) = Right z
eitherUnAssoc (Right (Left y)) = Left (Right y)
eitherUnAssoc (Right (Right z)) = Right z
-instance ArrowChoice a => GArrowSum a (,) () Void Either where
+instance ArrowChoice a => GArrowSum a Either Void where
ga_never = arr voidImpossible
ga_merge = arr merge
where
ga_never = arr voidImpossible
ga_merge = arr merge
where