io-classes:io-classes-mtl - stylish-haskell

input-output-hk · Aug 26, 2024 · b7b8623 · b7b8623
1 parent 601938c
commit b7b8623
Show file tree

Hide file tree

Showing 10 changed files with 108 additions and 109 deletions.
diff --git a/io-classes/mtl/Control/Monad/Class/MonadEventlog/Trans.hs b/io-classes/mtl/Control/Monad/Class/MonadEventlog/Trans.hs
@@ -2,17 +2,17 @@
 
 module Control.Monad.Class.MonadEventlog.Trans () where
 
-import           Control.Monad.Cont (ContT)
-import           Control.Monad.Except (ExceptT)
-import qualified Control.Monad.RWS.Lazy as Lazy
-import qualified Control.Monad.RWS.Strict as Strict
-import qualified Control.Monad.State.Lazy as Lazy
-import qualified Control.Monad.State.Strict as Strict
-import           Control.Monad.Trans (lift)
-import qualified Control.Monad.Writer.Lazy as Lazy
-import qualified Control.Monad.Writer.Strict as Strict
-
-import           Control.Monad.Class.MonadEventlog
+import Control.Monad.Cont (ContT)
+import Control.Monad.Except (ExceptT)
+import Control.Monad.RWS.Lazy qualified as Lazy
+import Control.Monad.RWS.Strict qualified as Strict
+import Control.Monad.State.Lazy qualified as Lazy
+import Control.Monad.State.Strict qualified as Strict
+import Control.Monad.Trans (lift)
+import Control.Monad.Writer.Lazy qualified as Lazy
+import Control.Monad.Writer.Strict qualified as Strict
+
+import Control.Monad.Class.MonadEventlog
 
 -- | @since 0.1.0.0
 instance MonadEventlog m => MonadEventlog (ContT r m) where

diff --git a/io-classes/mtl/Control/Monad/Class/MonadST/Trans.hs b/io-classes/mtl/Control/Monad/Class/MonadST/Trans.hs
@@ -2,17 +2,17 @@
 {-# OPTIONS_GHC -Wno-deprecations #-}
 module Control.Monad.Class.MonadST.Trans () where
 
-import           Control.Monad.Cont (ContT)
-import           Control.Monad.Except (ExceptT)
-import qualified Control.Monad.RWS.Lazy as Lazy
-import qualified Control.Monad.RWS.Strict as Strict
-import qualified Control.Monad.State.Lazy as Lazy
-import qualified Control.Monad.State.Strict as Strict
-import           Control.Monad.Trans (lift)
-import qualified Control.Monad.Writer.Lazy as Lazy
-import qualified Control.Monad.Writer.Strict as Strict
+import Control.Monad.Cont (ContT)
+import Control.Monad.Except (ExceptT)
+import Control.Monad.RWS.Lazy qualified as Lazy
+import Control.Monad.RWS.Strict qualified as Strict
+import Control.Monad.State.Lazy qualified as Lazy
+import Control.Monad.State.Strict qualified as Strict
+import Control.Monad.Trans (lift)
+import Control.Monad.Writer.Lazy qualified as Lazy
+import Control.Monad.Writer.Strict qualified as Strict
 
-import           Control.Monad.Class.MonadST
+import Control.Monad.Class.MonadST
 
 
 instance MonadST m => MonadST (ContT r m) where
@@ -41,7 +41,7 @@ instance MonadST m => MonadST (Strict.StateT s m) where
 
 instance (Monoid w, MonadST m) => MonadST (Lazy.WriterT w m) where
   stToIO = lift . stToIO
-  withLiftST f = withLiftST $ \g -> f (lift . g) 
+  withLiftST f = withLiftST $ \g -> f (lift . g)
 
 instance (Monoid w, MonadST m) => MonadST (Strict.WriterT w m) where
   stToIO = lift . stToIO

diff --git a/io-classes/mtl/Control/Monad/Class/MonadSTM/Trans.hs b/io-classes/mtl/Control/Monad/Class/MonadSTM/Trans.hs
@@ -13,25 +13,24 @@
 {-# LANGUAGE UndecidableInstances       #-}
 {-# OPTIONS_GHC -Wno-orphans            #-}
 
-module Control.Monad.Class.MonadSTM.Trans
-  ( ContTSTM (..)) where
-
-import           Control.Monad.Cont (ContT (..))
-import           Control.Monad.Except (ExceptT (..), runExceptT)
-import           Control.Monad.Trans (lift)
-import qualified Control.Monad.RWS.Lazy as Lazy
-import qualified Control.Monad.RWS.Strict as Strict
-import qualified Control.Monad.State.Lazy as Lazy
-import qualified Control.Monad.State.Strict as Strict
-import qualified Control.Monad.Writer.Lazy as Lazy
-import qualified Control.Monad.Writer.Strict as Strict
-
-import qualified Control.Monad.Class.MonadThrow as MonadThrow
-import           Control.Monad.Class.MonadSTM.Internal
-
-import           Data.Array.Base (MArray (..))
-import           Data.Function (on)
-import           Data.Kind (Type)
+module Control.Monad.Class.MonadSTM.Trans (ContTSTM (..)) where
+
+import Control.Monad.Cont (ContT (..))
+import Control.Monad.Except (ExceptT (..), runExceptT)
+import Control.Monad.RWS.Lazy qualified as Lazy
+import Control.Monad.RWS.Strict qualified as Strict
+import Control.Monad.State.Lazy qualified as Lazy
+import Control.Monad.State.Strict qualified as Strict
+import Control.Monad.Trans (lift)
+import Control.Monad.Writer.Lazy qualified as Lazy
+import Control.Monad.Writer.Strict qualified as Strict
+
+import Control.Monad.Class.MonadSTM.Internal
+import Control.Monad.Class.MonadThrow qualified as MonadThrow
+
+import Data.Array.Base (MArray (..))
+import Data.Function (on)
+import Data.Kind (Type)
 
 
 -- | A newtype wrapper for an 'STM' monad for 'ContT'

diff --git a/io-classes/mtl/Control/Monad/Class/MonadSay/Trans.hs b/io-classes/mtl/Control/Monad/Class/MonadSay/Trans.hs
@@ -1,13 +1,13 @@
 {-# OPTIONS_GHC -Wno-orphans #-}
 module Control.Monad.Class.MonadSay.Trans () where
 
-import           Control.Monad.Cont
-import           Control.Monad.Except
-import           Control.Monad.RWS
-import           Control.Monad.State
-import           Control.Monad.Writer
+import Control.Monad.Cont
+import Control.Monad.Except
+import Control.Monad.RWS
+import Control.Monad.State
+import Control.Monad.Writer
 
-import           Control.Monad.Class.MonadSay
+import Control.Monad.Class.MonadSay
 
 -- | @since 0.1.0.0
 instance MonadSay m => MonadSay (ContT r m) where

diff --git a/io-classes/mtl/Control/Monad/Class/MonadThrow/Trans.hs b/io-classes/mtl/Control/Monad/Class/MonadThrow/Trans.hs
@@ -1,18 +1,18 @@
-{-# LANGUAGE CPP             #-}
-{-# LANGUAGE RankNTypes      #-}
+{-# LANGUAGE CPP        #-}
+{-# LANGUAGE RankNTypes #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
 module Control.Monad.Class.MonadThrow.Trans () where
 
-import           Control.Monad.Except (ExceptT (..), runExceptT)
-import qualified Control.Monad.RWS.Lazy as Lazy
-import qualified Control.Monad.RWS.Strict as Strict
-import qualified Control.Monad.State.Lazy as Lazy
-import qualified Control.Monad.State.Strict as Strict
-import           Control.Monad.Trans (lift)
-import qualified Control.Monad.Writer.Lazy as Lazy
-import qualified Control.Monad.Writer.Strict as Strict
- 
-import           Control.Monad.Class.MonadThrow
+import Control.Monad.Except (ExceptT (..), runExceptT)
+import Control.Monad.RWS.Lazy qualified as Lazy
+import Control.Monad.RWS.Strict qualified as Strict
+import Control.Monad.State.Lazy qualified as Lazy
+import Control.Monad.State.Strict qualified as Strict
+import Control.Monad.Trans (lift)
+import Control.Monad.Writer.Lazy qualified as Lazy
+import Control.Monad.Writer.Strict qualified as Strict
+
+import Control.Monad.Class.MonadThrow
 
 --
 -- ExceptT Instances
@@ -82,7 +82,7 @@ instance (Monoid w, MonadCatch m) => MonadCatch (Lazy.WriterT w m) where
         (\(resource, w) e ->
           case e of
             ExitCaseSuccess (b, w') ->
-              g w' <$> Lazy.runWriterT (release resource (ExitCaseSuccess b)) 
+              g w' <$> Lazy.runWriterT (release resource (ExitCaseSuccess b))
             ExitCaseException err ->
               g w  <$> Lazy.runWriterT (release resource (ExitCaseException err))
             ExitCaseAbort ->
@@ -125,7 +125,7 @@ instance (Monoid w, MonadCatch m) => MonadCatch (Strict.WriterT w m) where
         (\(resource, w) e ->
           case e of
             ExitCaseSuccess (b, w') ->
-              g w' <$> Strict.runWriterT (release resource (ExitCaseSuccess b)) 
+              g w' <$> Strict.runWriterT (release resource (ExitCaseSuccess b))
             ExitCaseException err ->
               g w  <$> Strict.runWriterT (release resource (ExitCaseException err))
             ExitCaseAbort ->

diff --git a/io-classes/mtl/Control/Monad/Class/MonadTime/SI/Trans.hs b/io-classes/mtl/Control/Monad/Class/MonadTime/SI/Trans.hs
@@ -2,18 +2,18 @@
 
 module Control.Monad.Class.MonadTime.SI.Trans () where
 
-import           Control.Monad.Cont (ContT)
-import           Control.Monad.Except (ExceptT)
-import qualified Control.Monad.RWS.Lazy as Lazy
-import qualified Control.Monad.RWS.Strict as Strict
-import qualified Control.Monad.State.Lazy as Lazy
-import qualified Control.Monad.State.Strict as Strict
-import           Control.Monad.Trans (lift)
-import qualified Control.Monad.Writer.Lazy as Lazy
-import qualified Control.Monad.Writer.Strict as Strict
-
-import           Control.Monad.Class.MonadTime.Trans ()
-import           Control.Monad.Class.MonadTime.SI
+import Control.Monad.Cont (ContT)
+import Control.Monad.Except (ExceptT)
+import Control.Monad.RWS.Lazy qualified as Lazy
+import Control.Monad.RWS.Strict qualified as Strict
+import Control.Monad.State.Lazy qualified as Lazy
+import Control.Monad.State.Strict qualified as Strict
+import Control.Monad.Trans (lift)
+import Control.Monad.Writer.Lazy qualified as Lazy
+import Control.Monad.Writer.Strict qualified as Strict
+
+import Control.Monad.Class.MonadTime.SI
+import Control.Monad.Class.MonadTime.Trans ()
 
 instance MonadMonotonicTime m => MonadMonotonicTime (ExceptT e m) where
   getMonotonicTime = lift getMonotonicTime

diff --git a/io-classes/mtl/Control/Monad/Class/MonadTime/Trans.hs b/io-classes/mtl/Control/Monad/Class/MonadTime/Trans.hs
@@ -2,17 +2,17 @@
 
 module Control.Monad.Class.MonadTime.Trans () where
 
-import           Control.Monad.Cont (ContT)
-import           Control.Monad.Except (ExceptT)
-import qualified Control.Monad.RWS.Lazy as Lazy
-import qualified Control.Monad.RWS.Strict as Strict
-import qualified Control.Monad.State.Lazy as Lazy
-import qualified Control.Monad.State.Strict as Strict
-import           Control.Monad.Trans (lift)
-import qualified Control.Monad.Writer.Lazy as Lazy
-import qualified Control.Monad.Writer.Strict as Strict
-
-import           Control.Monad.Class.MonadTime
+import Control.Monad.Cont (ContT)
+import Control.Monad.Except (ExceptT)
+import Control.Monad.RWS.Lazy qualified as Lazy
+import Control.Monad.RWS.Strict qualified as Strict
+import Control.Monad.State.Lazy qualified as Lazy
+import Control.Monad.State.Strict qualified as Strict
+import Control.Monad.Trans (lift)
+import Control.Monad.Writer.Lazy qualified as Lazy
+import Control.Monad.Writer.Strict qualified as Strict
+
+import Control.Monad.Class.MonadTime
 
 instance MonadMonotonicTimeNSec m => MonadMonotonicTimeNSec (ExceptT e m) where
   getMonotonicTimeNSec = lift getMonotonicTimeNSec

diff --git a/io-classes/mtl/Control/Monad/Class/MonadTimer/SI/Trans.hs b/io-classes/mtl/Control/Monad/Class/MonadTimer/SI/Trans.hs
@@ -5,19 +5,19 @@
 
 module Control.Monad.Class.MonadTimer.SI.Trans () where
 
-import           Control.Monad.Cont (ContT (..))
-import           Control.Monad.Except (ExceptT (..))
-import           Control.Monad.RWS (RWST (..))
-import           Control.Monad.State (StateT (..))
-import           Control.Monad.Trans (lift)
-import           Control.Monad.Writer (WriterT (..))
+import Control.Monad.Cont (ContT (..))
+import Control.Monad.Except (ExceptT (..))
+import Control.Monad.RWS (RWST (..))
+import Control.Monad.State (StateT (..))
+import Control.Monad.Trans (lift)
+import Control.Monad.Writer (WriterT (..))
 
-import           Control.Monad.Class.MonadTimer.SI
+import Control.Monad.Class.MonadTimer.SI
 
-import           Control.Monad.Class.MonadTime.SI.Trans ()
-import           Control.Monad.Class.MonadTimer.Trans ()
+import Control.Monad.Class.MonadTime.SI.Trans ()
+import Control.Monad.Class.MonadTimer.Trans ()
 
-import           Data.Bifunctor (bimap)
+import Data.Bifunctor (bimap)
 
 
 instance MonadDelay m => MonadDelay (ContT r m) where

diff --git a/io-classes/mtl/Control/Monad/Class/MonadTimer/Trans.hs b/io-classes/mtl/Control/Monad/Class/MonadTimer/Trans.hs
@@ -5,19 +5,19 @@
 
 module Control.Monad.Class.MonadTimer.Trans () where
 
-import           Control.Monad.Cont (ContT (..))
-import           Control.Monad.Except (ExceptT (..))
-import            Control.Monad.Trans (lift)
-import qualified Control.Monad.RWS.Lazy as Lazy
-import qualified Control.Monad.RWS.Strict as Strict
-import qualified Control.Monad.State.Lazy as Lazy
-import qualified Control.Monad.State.Strict as Strict
-import qualified Control.Monad.Writer.Lazy as Lazy
-import qualified Control.Monad.Writer.Strict as Strict
-
-import           Control.Monad.Class.MonadTimer
-
-import           Control.Monad.Class.MonadSTM.Trans ()
+import Control.Monad.Cont (ContT (..))
+import Control.Monad.Except (ExceptT (..))
+import Control.Monad.RWS.Lazy qualified as Lazy
+import Control.Monad.RWS.Strict qualified as Strict
+import Control.Monad.State.Lazy qualified as Lazy
+import Control.Monad.State.Strict qualified as Strict
+import Control.Monad.Trans (lift)
+import Control.Monad.Writer.Lazy qualified as Lazy
+import Control.Monad.Writer.Strict qualified as Strict
+
+import Control.Monad.Class.MonadTimer
+
+import Control.Monad.Class.MonadSTM.Trans ()
 
 instance MonadDelay m => MonadDelay (ContT r m) where
   threadDelay = lift . threadDelay

diff --git a/io-classes/mtl/Control/Monad/Class/Trans.hs b/io-classes/mtl/Control/Monad/Class/Trans.hs
@@ -7,7 +7,7 @@ import Control.Monad.Class.MonadSay.Trans as X ()
 import Control.Monad.Class.MonadST.Trans as X ()
 import Control.Monad.Class.MonadSTM.Trans as X
 import Control.Monad.Class.MonadThrow.Trans as X ()
-import Control.Monad.Class.MonadTime.Trans as X ()
 import Control.Monad.Class.MonadTime.SI.Trans as X ()
-import Control.Monad.Class.MonadTimer.Trans as X ()
+import Control.Monad.Class.MonadTime.Trans as X ()
 import Control.Monad.Class.MonadTimer.SI.Trans as X ()
+import Control.Monad.Class.MonadTimer.Trans as X ()