diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2015-10-08 16:34:17 +0200 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2015-10-08 16:34:17 +0200 |
| commit | e5ae9ca83fada89652ae9989fa66b09a5a578c76 (patch) | |
| tree | 431850660b8bb1472c4ca43c3407c446101bd37d /libraries/base/Control/Arrow.hs | |
| parent | f64f7c36ef9395da1cc7b686aaf1b019204cd0fc (diff) | |
| download | haskell-wip/base-amp-normalisation.tar.gz | |
base: MRP-refactoring of AMP instanceswip/base-amp-normalisation
This refactors (>>)/(*>)/return/pure methods into normalform.
The redundant explicit `return` method definitions are dropped
altogether.
Diffstat (limited to 'libraries/base/Control/Arrow.hs')
| -rw-r--r-- | libraries/base/Control/Arrow.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/libraries/base/Control/Arrow.hs b/libraries/base/Control/Arrow.hs index 9d09544eeb..c9281569f9 100644 --- a/libraries/base/Control/Arrow.hs +++ b/libraries/base/Control/Arrow.hs @@ -314,7 +314,6 @@ instance Arrow a => Applicative (ArrowMonad a) where ArrowMonad f <*> ArrowMonad x = ArrowMonad (f &&& x >>> arr (uncurry id)) instance ArrowApply a => Monad (ArrowMonad a) where - return x = ArrowMonad (arr (\_ -> x)) ArrowMonad m >>= f = ArrowMonad $ m >>> arr (\x -> let ArrowMonad h = f x in (h, ())) >>> app |