summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAustin Seipp <austin@well-typed.com>2015-10-16 15:56:18 -0500
committerAustin Seipp <austin@well-typed.com>2015-10-16 15:56:49 -0500
commit324e0ac650c85ac59c96965b17f2e292dd7e2de2 (patch)
tree36497bb82d487d33981af3ec2faf1c488dc50dc6
parente7c076d014075ae31b569b77c1fa2d47d992c662 (diff)
downloadhaskell-324e0ac650c85ac59c96965b17f2e292dd7e2de2.tar.gz
base: MINIMAL pragmas for Arrow/ArrowChoice
Summary: This was left off in the previous commits. Signed-off-by: Austin Seipp <austin@well-typed.com> Reviewed By: ekmett Differential Revision: https://phabricator.haskell.org/D1332
-rw-r--r--libraries/base/Control/Arrow.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/libraries/base/Control/Arrow.hs b/libraries/base/Control/Arrow.hs
index 2e2c4700a4..8a4bc2d22f 100644
--- a/libraries/base/Control/Arrow.hs
+++ b/libraries/base/Control/Arrow.hs
@@ -86,6 +86,7 @@ infixr 1 ^<<, <<^
-- which may be overridden for efficiency.
class Category a => Arrow a where
+ {-# MINIMAL arr, (first | (***)) #-}
-- | Lift a function to an arrow.
arr :: (b -> c) -> a b c
@@ -215,6 +216,7 @@ instance MonadPlus m => ArrowPlus (Kleisli m) where
-- be overridden for efficiency.
class Arrow a => ArrowChoice a where
+ {-# MINIMAL (left | (+++)) #-}
-- | Feed marked inputs through the argument arrow, passing the
-- rest through unchanged to the output.