base: MINIMAL pragmas for Arrow/ArrowChoice
authorAustin Seipp <austin@well-typed.com>
Fri, 16 Oct 2015 20:56:18 +0000 (15:56 -0500)
committerAustin Seipp <austin@well-typed.com>
Fri, 16 Oct 2015 20:56:49 +0000 (15:56 -0500)
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

libraries/base/Control/Arrow.hs

index 2e2c470..8a4bc2d 100644 (file)
@@ -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.