Apply formatting for new version of fourmolu-0.17.0.0

Author: lehins

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Plutus/Evaluate.hs

@@ -243,8 +243,8 @@ data TransactionScriptFailure era
       -- | Map of pointers which can be resolved together with PlutusScripts and their
       -- respective contexts
       !( Map
-          (PlutusPurpose AsIx era)
-          (PlutusPurpose AsItem era, Maybe (PlutusScript era), ScriptHash)
+           (PlutusPurpose AsIx era)
+           (PlutusPurpose AsItem era, Maybe (PlutusScript era), ScriptHash)
        )
   | -- | Missing datum.
     MissingDatum !DataHash

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Rules/Bbody.hs

@@ -191,11 +191,11 @@ alonzoBbodyTransition ::
 alonzoBbodyTransition =
   judgmentContext
     >>= \( TRC
-            ( BbodyEnv pp account
-              , BbodyState ls b
-              , Block bh txsSeq
-              )
-          ) -> do
+             ( BbodyEnv pp account
+               , BbodyState ls b
+               , Block bh txsSeq
+               )
+           ) -> do
         let txs = txSeqTxns txsSeq
             actualBodySize = bBodySize (pp ^. ppProtocolVersionL) txsSeq
             actualBodyHash = hashTxSeq @era txsSeq

eras/alonzo/impl/testlib/Test/Cardano/Ledger/Alonzo/Imp/UtxowSpec/Invalid.hs

@@ -146,8 +146,8 @@ spec = describe "Invalid transactions" $ do
             let resetTxOutDataHash =
                   bodyTxL . outputsTxBodyL
                     %~ ( \case
-                          h :<| r -> resetDataHash h :<| r
-                          _ -> error "Expected non-empty outputs"
+                           h :<| r -> resetDataHash h :<| r
+                           _ -> error "Expected non-empty outputs"
                        )
 
             txInAt (0 :: Int)

eras/alonzo/test-suite/test/Test/Cardano/Ledger/Alonzo/ChainTrace.hs

@@ -150,21 +150,21 @@ alonzoSpecificProps SourceSignalTarget {source = chainSt, signal = block} =
               )
               ( counterexample "At least one UTxO is consumed" utxoConsumed
                   .&&. ( case (hasPlutus, isValid') of
-                          (NoPlutus, IsValid True) -> totEU === ExUnits 0 0
-                          (NoPlutus, IsValid False) -> counterexample "No Plutus scripts, but isValid == False" False
-                          (HasPlutus, IsValid True) ->
-                            conjoin
-                              [ counterexample "Non trivial execution units" nonTrivialExU
-                              , counterexample "Received the expected plutus scripts" expectedPScripts
-                              , counterexample "Plutus scripts all evaluate to true" allPlutusTrue
-                              ]
-                          (HasPlutus, IsValid False) ->
-                            conjoin
-                              [ counterexample "No new UTxO" noNewUTxO
-                              , counterexample "The collateral amount was added to the fees" collateralInFees
-                              , dp === dp'
-                              , ds === ds'
-                              , counterexample "No failing Plutus scripts" $ not allPlutusTrue
-                              ]
+                           (NoPlutus, IsValid True) -> totEU === ExUnits 0 0
+                           (NoPlutus, IsValid False) -> counterexample "No Plutus scripts, but isValid == False" False
+                           (HasPlutus, IsValid True) ->
+                             conjoin
+                               [ counterexample "Non trivial execution units" nonTrivialExU
+                               , counterexample "Received the expected plutus scripts" expectedPScripts
+                               , counterexample "Plutus scripts all evaluate to true" allPlutusTrue
+                               ]
+                           (HasPlutus, IsValid False) ->
+                             conjoin
+                               [ counterexample "No new UTxO" noNewUTxO
+                               , counterexample "The collateral amount was added to the fees" collateralInFees
+                               , dp === dp'
+                               , ds === ds'
+                               , counterexample "No failing Plutus scripts" $ not allPlutusTrue
+                               ]
                        )
               )

eras/byron/ledger/executable-spec/test/Test/Byron/Spec/Ledger/AbstractSize/Properties.hs

@@ -66,9 +66,9 @@ exampleTypeRepsTx =
           <| typeReps in0
           >< typeReps in1
           >< ( Seq.fromList
-                [ typeOf (undefined :: [TxOut])
-                , typeOf (undefined :: [Wit])
-                ]
+                 [ typeOf (undefined :: [TxOut])
+                 , typeOf (undefined :: [Wit])
+                 ]
              )
 
 --------------------------------------------------------------------------------

eras/byron/ledger/impl/src/Cardano/Chain/Block/Block.hs

@@ -456,7 +456,7 @@ encCBORABoundaryBody :: ABoundaryBody a -> Encoding
 encCBORABoundaryBody _ =
   (encodeListLenIndef <> encodeBreak)
     <> ( encodeListLen 1
-          <> encCBOR (mempty :: Map Word8 LByteString)
+           <> encCBOR (mempty :: Map Word8 LByteString)
        )
 
 -- | For a boundary block, we keep the header, body, and an annotation for

eras/byron/ledger/impl/src/Cardano/Chain/Block/Header.hs

@@ -302,10 +302,10 @@ encCBORHeader es h =
     <> encCBOR (headerPrevHash h)
     <> encCBOR (headerProof h)
     <> ( encodeListLen 4
-          <> encCBOR (fromSlotNumber es $ headerSlot h)
-          <> encCBOR (headerGenesisKey h)
-          <> encCBOR (headerDifficulty h)
-          <> encCBOR (headerSignature h)
+           <> encCBOR (fromSlotNumber es $ headerSlot h)
+           <> encCBOR (headerGenesisKey h)
+           <> encCBOR (headerDifficulty h)
+           <> encCBOR (headerSignature h)
        )
     <> encCBORBlockVersions (headerProtocolVersion h) (headerSoftwareVersion h)
 
@@ -549,22 +549,22 @@ encCBORABoundaryHeader pm hdr =
   encodeListLen 5
     <> encCBOR pm
     <> ( case boundaryPrevHash hdr of
-          Left gh -> encCBOR (genesisHeaderHash gh)
-          Right hh -> encCBOR hh
+           Left gh -> encCBOR (genesisHeaderHash gh)
+           Right hh -> encCBOR hh
        )
     -- Body proof
     -- The body is always an empty slot leader schedule, so we hash that.
     <> encCBOR (serializeCborHash ([] :: [()]))
     -- Consensus data
     <> ( encodeListLen 2
-          -- Epoch
-          <> encCBOR (boundaryEpoch hdr)
-          -- Chain difficulty
-          <> encCBOR (boundaryDifficulty hdr)
+           -- Epoch
+           <> encCBOR (boundaryEpoch hdr)
+           -- Chain difficulty
+           <> encCBOR (boundaryDifficulty hdr)
        )
     -- Extra data
     <> ( encodeListLen 1
-          <> encCBOR genesisTag
+           <> encCBOR genesisTag
        )
   where
     -- Genesis tag to indicate the presence of a genesis hash in a non-zero

eras/byron/ledger/impl/src/Cardano/Chain/Update/Validation/Registration.hs

@@ -443,9 +443,9 @@ registerProposalComponents env rs proposal = do
       unAnnotated protocolMagic
         == ProtocolMagicId 633343913 -- staging
         && ( currentSlot
-              == SlotNumber 969188 -- in epoch 44
-              || currentSlot
-              == SlotNumber 1915231 -- in epoch 88
+               == SlotNumber 969188 -- in epoch 44
+               || currentSlot
+               == SlotNumber 1915231 -- in epoch 88
            )
 
 -- | Validate a protocol update

eras/byron/ledger/impl/testlib/Test/Cardano/Chain/Block/Model.hs

@@ -351,8 +351,8 @@ data ValidationOutput = ValidationOutput
   -- the trace initial environment.
   , result ::
       !( Either
-          ChainValidationError
-          (ChainValidationState, AbstractToConcreteIdMaps)
+           ChainValidationError
+           (ChainValidationState, AbstractToConcreteIdMaps)
        )
   }
 

eras/byron/ledger/impl/testlib/Test/Cardano/Chain/Block/ValidationMode.hs

@@ -81,11 +81,11 @@ ts_prop_updateBlock_Valid =
       sampleTrace <- forAll $ trace @CHAIN () traceLength
       let lastState = Trace.lastState sampleTrace
           chainEnv@( _currentSlot
-                    , abstractInitialUTxO
-                    , _allowedDelegators
-                    , _protocolParamaters
-                    , stableAfter
-                    ) = Trace._traceEnv sampleTrace
+                     , abstractInitialUTxO
+                     , _allowedDelegators
+                     , _protocolParamaters
+                     , stableAfter
+                     ) = Trace._traceEnv sampleTrace
       abstractBlock <-
         forAll
           $ Abstract.sigGenChain