projects
/
ghc-base.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove unused imports from base
[ghc-base.git]
/
Control
/
Arrow.hs
diff --git
a/Control/Arrow.hs
b/Control/Arrow.hs
index
3fa7e1e
..
f3c1de2
100644
(file)
--- a/
Control/Arrow.hs
+++ b/
Control/Arrow.hs
@@
-39,7
+39,6
@@
module Control.Arrow (
) where
import Prelude hiding (id,(.))
) where
import Prelude hiding (id,(.))
-import qualified Prelude
import Control.Monad
import Control.Monad.Fix
import Control.Monad
import Control.Monad.Fix
@@
-94,8
+93,6
@@
class Category a => Arrow a where
f &&& g = arr (\b -> (b,b)) >>> f *** g
{-# RULES
f &&& g = arr (\b -> (b,b)) >>> f *** g
{-# RULES
-"identity"
- arr id = id
"compose/arr" forall f g .
(arr f) . (arr g) = arr (f . g)
"first/arr" forall f .
"compose/arr" forall f g .
(arr f) . (arr g) = arr (f . g)
"first/arr" forall f .
@@
-217,9
+214,9
@@
class Arrow a => ArrowChoice a where
"fanin/arr" forall f g .
arr f ||| arr g = arr (f ||| g)
"compose/left" forall f g .
"fanin/arr" forall f g .
arr f ||| arr g = arr (f ||| g)
"compose/left" forall f g .
- left f >>> left g = left (f >>> g)
+ left f . left g = left (f . g)
"compose/right" forall f g .
"compose/right" forall f g .
- right f >>> right g = right (f >>> g)
+ right f . right g = right (f . g)
#-}
instance ArrowChoice (->) where
#-}
instance ArrowChoice (->) where