Remove redundant Alternative constraint.

IntersectMBO · Nov 29, 2021 · 89018c4 · 89018c4
1 parent c105c49
commit 89018c4
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 11 deletions.
diff --git a/io-classes/src/Control/Monad/Class/MonadAsync.hs b/io-classes/src/Control/Monad/Class/MonadAsync.hs
@@ -205,9 +205,7 @@ newtype Concurrently m a = Concurrently { runConcurrently :: m a }
 instance Functor m => Functor (Concurrently m) where
     fmap f (Concurrently ma) = Concurrently (fmap f ma)
 
-instance ( Applicative m
-         , MonadAsync m
-         ) => Applicative (Concurrently m) where
+instance (MonadAsync m) => Applicative (Concurrently m) where
     pure = Concurrently . pure
 
     Concurrently fn <*> Concurrently as =
@@ -216,8 +214,7 @@ instance ( Applicative m
         `fmap`
         concurrently fn as
 
-instance ( Alternative m
-         , MonadAsync  m
+instance ( MonadAsync  m
          , MonadTimer  m
          ) => Alternative (Concurrently m) where
     empty = Concurrently $ forever (threadDelay 86400)

diff --git a/ouroboros-network/src/Ouroboros/Network/Diffusion/P2P.hs b/ouroboros-network/src/Ouroboros/Network/Diffusion/P2P.hs
@@ -35,7 +35,6 @@ module Ouroboros.Network.Diffusion.P2P
   where
 
 
-import           Control.Applicative (Alternative)
 import qualified Control.Monad.Class.MonadAsync as Async
 import           Control.Monad.Class.MonadAsync (Async, MonadAsync)
 import           Control.Monad.Class.MonadFork
@@ -579,8 +578,7 @@ runM
     :: forall m ntnFd ntnAddr ntnVersion ntnVersionData
                 ntcFd ntcAddr ntcVersion ntcVersionData
                 resolver resolverError.
-       ( Alternative      m
-       , MonadAsync       m
+       ( MonadAsync       m
        , MonadEvaluate    m
        , MonadFork        m
        , MonadLabelledSTM m

diff --git a/ouroboros-network/test/Test/Ouroboros/Network/Diffusion/Node.hs b/ouroboros-network/test/Test/Ouroboros/Network/Diffusion/Node.hs
@@ -28,7 +28,6 @@ module Test.Ouroboros.Network.Diffusion.Node
   , UseLedgerAfter (..)
   ) where
 
-import           Control.Applicative (Alternative)
 import           Control.Monad.Class.MonadAsync
 import           Control.Monad.Class.MonadFork
 import           Control.Monad.Class.MonadST
@@ -126,8 +125,7 @@ data Arguments m = Arguments
 type ResolverException = SomeException
 
 run :: forall s resolver m.
-       ( Alternative      m
-       , MonadAsync       m
+       ( MonadAsync       m
        , MonadEvaluate    m
        , MonadFork        m
        , MonadLabelledSTM m