formatting

Author: fraser-iohk

ouroboros-consensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/Node.hs

@@ -996,7 +996,8 @@ protocolInfoCardano paramsCardano
             merge (This1 x) = x
             merge (That1 y) = y
 
-    let mkHardForkBlockForgings :: m (NonEmptyOptNP (BlockForging m) (CardanoEras c)) -> MkBlockForging m (CardanoBlock c)
+    let mkHardForkBlockForgings ::
+          m (NonEmptyOptNP (BlockForging m) (CardanoEras c)) -> MkBlockForging m (CardanoBlock c)
         mkHardForkBlockForgings mbfs = MkBlockForging $ do
           bfs <- mbfs
           mkBlockForging $ hardForkBlockForging (const "Cardano") (hmap (MkBlockForging . pure) bfs)

ouroboros-consensus-cardano/src/unstable-cardano-tools/Cardano/Api/Protocol/Types.hs

@@ -22,7 +22,7 @@ module Cardano.Api.Protocol.Types
 import Cardano.Chain.Slotting (EpochSlots)
 import qualified Control.Tracer as Tracer
 import Data.Bifunctor (bimap)
-import Ouroboros.Consensus.Block.Forging (MkBlockForging(..))
+import Ouroboros.Consensus.Block.Forging (MkBlockForging (..))
 import Ouroboros.Consensus.Byron.ByronHFC (ByronBlockHFC)
 import Ouroboros.Consensus.Cardano
 import Ouroboros.Consensus.Cardano.Block

ouroboros-consensus-cardano/src/unstable-cardano-tools/Cardano/Tools/DBSynthesizer/Run.hs

@@ -162,27 +162,31 @@ synthesize genTxs DBSynthesizerConfig{confOptions, confShelleyGenesis, confDbDir
           $ ChainDB.defaultArgs
 
     mbfs <- mkForgers nullTracer
-    allocatedForgers <- traverse (\mbf -> allocate registry (const (BlockForging.mkBlockForging mbf)) BlockForging.finalize) mbfs
+    allocatedForgers <-
+      traverse
+        (\mbf -> allocate registry (const (BlockForging.mkBlockForging mbf)) BlockForging.finalize)
+        mbfs
     let forgers = snd <$> allocatedForgers
     let fCount = length forgers
     putStrLn $ "--> forger count: " ++ show fCount
-    r <- if fCount > 0
-      then do
-        putStrLn $ "--> opening ChainDB on file system with mode: " ++ show synthOpenMode
-        preOpenChainDB synthOpenMode confDbDir
-        let dbTracer = nullTracer
-        ChainDB.withDB (ChainDB.updateTracer dbTracer dbArgs) $ \chainDB -> do
-          slotNo <- do
-            tip <- atomically (ChainDB.getTipPoint chainDB)
-            pure $ case pointSlot tip of
-              Origin -> 0
-              At s -> succ s
+    r <-
+      if fCount > 0
+        then do
+          putStrLn $ "--> opening ChainDB on file system with mode: " ++ show synthOpenMode
+          preOpenChainDB synthOpenMode confDbDir
+          let dbTracer = nullTracer
+          ChainDB.withDB (ChainDB.updateTracer dbTracer dbArgs) $ \chainDB -> do
+            slotNo <- do
+              tip <- atomically (ChainDB.getTipPoint chainDB)
+              pure $ case pointSlot tip of
+                Origin -> 0
+                At s -> succ s
 
-          putStrLn $ "--> starting at: " ++ show slotNo
-          runForge epochSize slotNo synthLimit chainDB forgers pInfoConfig $ genTxs pInfoConfig
-      else do
-        putStrLn "--> no forgers found; leaving possibly existing ChainDB untouched"
-        pure $ ForgeResult 0
+            putStrLn $ "--> starting at: " ++ show slotNo
+            runForge epochSize slotNo synthLimit chainDB forgers pInfoConfig $ genTxs pInfoConfig
+        else do
+          putStrLn "--> no forgers found; leaving possibly existing ChainDB untouched"
+          pure $ ForgeResult 0
     mapM_ (release . fst) allocatedForgers $> r
  where
   DBSynthesizerOptions

ouroboros-consensus-cardano/test/byron-test/Test/ThreadNet/DualByron.hs

@@ -154,10 +154,11 @@ setupTestOutput setup@SetupDualByron{..} =
     testConfigB
     TestConfigMB
       { nodeInfo = \coreNodeId -> do
-          let (pInfo, bfs) = protocolInfoDualByron
-                setupGenesis
-                (setupParams setup)
-                [coreNodeId]
+          let (pInfo, bfs) =
+                protocolInfoDualByron
+                  setupGenesis
+                  (setupParams setup)
+                  [coreNodeId]
           plainTestNodeInitialization pInfo (fmap (fmap (MkBlockForging . pure)) bfs)
       , mkRekeyM = Nothing -- TODO
       }

ouroboros-consensus-diffusion/src/unstable-diffusion-testlib/Test/ThreadNet/Network.hs

@@ -1099,7 +1099,9 @@ runThreadNetwork
 
       mkBlockForgings <- mkBlockForging
       let mkBlockForgings' =
-            map (\(MkBlockForging bfM) -> MkBlockForging $ fmap (\bf -> bf{forgeBlock = customForgeBlock bf}) bfM) mkBlockForgings
+            map
+              (\(MkBlockForging bfM) -> MkBlockForging $ fmap (\bf -> bf{forgeBlock = customForgeBlock bf}) bfM)
+              mkBlockForgings
       setBlockForging nodeKernel mkBlockForgings'
 
       let mempool = getMempool nodeKernel

ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/Block/Forging.hs

@@ -156,8 +156,8 @@ data BlockForging m blk = BlockForging
 -- HotKeys, that *MUST* be finalized when the 'BlockForging' is no longer in
 -- use. Users of this code must call the 'finalize' function on the returned 'BlockForging' at least once after terminating otherwise allocated resources
 -- may leak.
-newtype MkBlockForging m blk =
-  MkBlockForging { mkBlockForging :: m (BlockForging m blk) }
+newtype MkBlockForging m blk
+  = MkBlockForging {mkBlockForging :: m (BlockForging m blk)}
 
 data ShouldForge blk
   = -- | Before check whether we are a leader in this slot, we tried to update

ouroboros-consensus/src/ouroboros-consensus/Ouroboros/Consensus/HardFork/Combinator/Embed/Binary.hs

@@ -3,8 +3,8 @@
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE ScopedTypeVariables #-}
-{-# LANGUAGE TypeOperators #-}
 {-# LANGUAGE TypeFamilies #-}
+{-# LANGUAGE TypeOperators #-}
 
 module Ouroboros.Consensus.HardFork.Combinator.Embed.Binary (protocolInfoBinary) where
 

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

@@ -87,14 +87,15 @@ hardForkBlockForging ::
   MkBlockForging m (HardForkBlock xs)
 hardForkBlockForging labelF mkBlockForgings = MkBlockForging $ do
   blockForgings <- htraverse' mkBlockForging mkBlockForgings
-  pure BlockForging
-    { forgeLabel = labelF blockForgings
-    , canBeLeader = hardForkCanBeLeader blockForgings
-    , updateForgeState = hardForkUpdateForgeState blockForgings
-    , checkCanForge = hardForkCheckCanForge blockForgings
-    , forgeBlock = hardForkForgeBlock blockForgings
-    , finalize = hardForkFinalize blockForgings
-    }
+  pure
+    BlockForging
+      { forgeLabel = labelF blockForgings
+      , canBeLeader = hardForkCanBeLeader blockForgings
+      , updateForgeState = hardForkUpdateForgeState blockForgings
+      , checkCanForge = hardForkCheckCanForge blockForgings
+      , forgeBlock = hardForkForgeBlock blockForgings
+      , finalize = hardForkFinalize blockForgings
+      }
 
 hardForkCanBeLeader ::
   CanHardFork xs =>