TOSQUASH stylish

Author: nfrisby

ouroboros-consensus-cardano/test/cardano-test/Test/Consensus/Cardano/MiniProtocol/LocalTxSubmission/Server.hs

@@ -27,8 +27,7 @@ import           Ouroboros.Consensus.MiniProtocol.LocalTxSubmission.Server
                      (TraceLocalTxSubmissionServerEvent,
                      localTxSubmissionServer)
 import           Ouroboros.Consensus.Node.ProtocolInfo
-import           Ouroboros.Consensus.Shelley.Ledger.Mempool
-                     (AlonzoMeasure (..),
+import           Ouroboros.Consensus.Shelley.Ledger.Mempool (AlonzoMeasure (..),
                      ConwayMeasure (..))
 import           Ouroboros.Network.Protocol.LocalTxSubmission.Client
                      (SubmitResult, localTxSubmissionClientPeer)

ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Abstract/CanHardFork.hs

@@ -8,7 +8,6 @@
 
 module Ouroboros.Consensus.HardFork.Combinator.Abstract.CanHardFork (CanHardFork (..)) where
 
-import           NoThunks.Class (NoThunks)
 import           Data.Measure (BoundedMeasure)
 import           Data.SOP.Constraint
 import           Data.SOP.Functors (Product2)
@@ -19,6 +18,7 @@ import qualified Data.SOP.Strict as SOP
 import           Data.SOP.Tails (Tails)
 import qualified Data.SOP.Tails as Tails
 import           Data.Typeable
+import           NoThunks.Class (NoThunks)
 import           Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlock
 import           Ouroboros.Consensus.HardFork.Combinator.InjectTxs
 import           Ouroboros.Consensus.HardFork.Combinator.Protocol.ChainSel

ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Mempool.hs

@@ -47,15 +47,14 @@ import           Ouroboros.Consensus.HardFork.Combinator.Basics
 import           Ouroboros.Consensus.HardFork.Combinator.Info
 import           Ouroboros.Consensus.HardFork.Combinator.InjectTxs
 import           Ouroboros.Consensus.HardFork.Combinator.Ledger (Ticked (..))
+import           Ouroboros.Consensus.HardFork.Combinator.PartialConfig
+                     (WrapPartialLedgerConfig (..))
 import qualified Ouroboros.Consensus.HardFork.Combinator.State as State
 import           Ouroboros.Consensus.Ledger.Abstract
 import           Ouroboros.Consensus.Ledger.SupportsMempool
 import           Ouroboros.Consensus.TypeFamilyWrappers
 import           Ouroboros.Consensus.Util (ShowProxy)
 
-import           Ouroboros.Consensus.HardFork.Combinator.PartialConfig
-                     (WrapPartialLedgerConfig (..))
-
 data HardForkApplyTxErr xs =
     -- | Validation error from one of the eras
     HardForkApplyTxErrFromEra !(OneEraApplyTxErr xs)

ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Mempool/Impl/Common.hs

@@ -69,28 +69,28 @@ data InternalState blk = IS {
       --
       -- See the note on 'MempoolCapacity' about the mempool possibly being
       -- over-capacity.
-      isTxs :: !(TxSeq (TxMeasure blk) (Validated (GenTx blk)))
+      isTxs          :: !(TxSeq (TxMeasure blk) (Validated (GenTx blk)))
 
       -- | The cached IDs of transactions currently in the mempool.
       --
       -- This allows one to more quickly lookup transactions by ID from a
       -- 'MempoolSnapshot' (see 'snapshotHasTx').
       --
       -- This should always be in-sync with the transactions in 'isTxs'.
-    , isTxIds :: !(Set (GenTxId blk))
+    , isTxIds        :: !(Set (GenTxId blk))
 
       -- | The cached ledger state after applying the transactions in the
       -- Mempool against the chain's ledger state. New transactions will be
       -- validated against this ledger.
       --
       -- INVARIANT: 'isLedgerState' is the ledger resulting from applying the
       -- transactions in 'isTxs' against the ledger identified 'isTip' as tip.
-    , isLedgerState :: !(TickedLedgerState blk)
+    , isLedgerState  :: !(TickedLedgerState blk)
 
       -- | The tip of the chain that 'isTxs' was validated against
       --
       -- This comes from the underlying ledger state ('tickedLedgerState')
-    , isTip :: !(ChainHash blk)
+    , isTip          :: !(ChainHash blk)
 
       -- | The most recent 'SlotNo' that 'isTxs' was validated against
       --
@@ -99,7 +99,7 @@ data InternalState blk = IS {
       -- slot, see 'tickLedgerState') and 'isSlotNo' will be set to @succ s@,
       -- which is different from the slot of the original ledger state, which
       -- will remain in 'isTip'.
-    , isSlotNo :: !SlotNo
+    , isSlotNo       :: !SlotNo
 
       -- | The mempool 'TicketNo' counter.
       --
@@ -108,7 +108,7 @@ data InternalState blk = IS {
 
       -- | The capacity of a block according to the ledger state the mempool
       -- was most recently synchronized with.
-    , isCapacity :: !(MempoolCapacity blk)
+    , isCapacity     :: !(MempoolCapacity blk)
     }
   deriving (Generic)
 

ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Mempool/TxSeq.hs

@@ -58,11 +58,11 @@ zeroTicketNo = TicketNo 0
 -- their size.
 --
 data TxTicket sz tx = TxTicket
-  { txTicketTx            :: !tx
+  { txTicketTx   :: !tx
     -- ^ The transaction associated with this ticket.
-  , txTicketNo            :: !TicketNo
+  , txTicketNo   :: !TicketNo
     -- ^ The ticket number.
-  , txTicketSize          :: !sz
+  , txTicketSize :: !sz
     -- ^ The possibly-multi-dimensional size of the transaction ('txTicketTx')
     -- associated with this ticket.
   } deriving (Eq, Show, Generic, NoThunks)
@@ -104,10 +104,10 @@ instance Measure sz => Foldable (TxSeq sz) where
 -- instance.
 --
 data TxSeqMeasure sz = TxSeqMeasure {
-       mCount         :: !Int,
-       mMinTicket     :: !TicketNo,
-       mMaxTicket     :: !TicketNo,
-       mSizeCumu      :: !sz
+       mCount     :: !Int,
+       mMinTicket :: !TicketNo,
+       mMaxTicket :: !TicketNo,
+       mSizeCumu  :: !sz
      }
   deriving Show
 

ouroboros-consensus/test/consensus-test/Test/Consensus/Mempool.hs

@@ -57,8 +57,8 @@ import qualified Ouroboros.Consensus.HardFork.History as HardFork
 import           Ouroboros.Consensus.Ledger.Abstract
 import           Ouroboros.Consensus.Ledger.SupportsMempool
 import           Ouroboros.Consensus.Mempool
-import           Ouroboros.Consensus.Mempool.TxSeq (TxSeq, TxTicket (..),
-                     TicketNo (..))
+import           Ouroboros.Consensus.Mempool.TxSeq (TicketNo (..), TxSeq,
+                     TxTicket (..))
 import qualified Ouroboros.Consensus.Mempool.TxSeq as TxSeq
 import           Ouroboros.Consensus.Mock.Ledger hiding (TxId)
 import           Ouroboros.Consensus.Node.ProtocolInfo (NumCoreNodes (..))