Merge pull request #5040 from IntersectMBO/lehins/update-to-fourmolu-0.17

Update to `fourmolu-0.17.0.0`

Author: lehins

.github/workflows/haskell.yml

@@ -378,7 +378,7 @@ jobs:
 
     - name: Install fourmolu
       run: |
-        FOURMOLU_VERSION="0.16.2.0"
+        FOURMOLU_VERSION="0.17.0.0"
         mkdir -p "$HOME/.local/bin"
         curl -sL "https://github.com/fourmolu/fourmolu/releases/download/v${FOURMOLU_VERSION}/fourmolu-${FOURMOLU_VERSION}-linux-x86_64" -o "$HOME/.local/bin/fourmolu"
         chmod a+x "$HOME/.local/bin/fourmolu"

eras/allegra/impl/src/Cardano/Ledger/Allegra.hs

@@ -8,8 +8,7 @@
 module Cardano.Ledger.Allegra (
   Allegra,
   AllegraEra,
-)
-where
+) where
 
 import Cardano.Ledger.Allegra.Era (AllegraEra)
 import Cardano.Ledger.Allegra.PParams ()

eras/allegra/impl/src/Cardano/Ledger/Allegra/Core.hs

@@ -3,8 +3,7 @@ module Cardano.Ledger.Allegra.Core (
   ValidityInterval (..),
   AllegraEraTxAuxData (..),
   module Cardano.Ledger.Shelley.Core,
-)
-where
+) where
 
 import Cardano.Ledger.Allegra.Scripts (ValidityInterval (..))
 import Cardano.Ledger.Allegra.Tx ()

eras/allegra/impl/src/Cardano/Ledger/Allegra/Rules.hs

@@ -5,8 +5,7 @@
 module Cardano.Ledger.Allegra.Rules (
   module Cardano.Ledger.Allegra.Rules.Utxo,
   module Cardano.Ledger.Allegra.Rules.Utxow,
-)
-where
+) where
 
 import Cardano.Ledger.Allegra.Core (EraRuleEvent)
 import Cardano.Ledger.Allegra.Era (AllegraEra)

eras/allegra/impl/src/Cardano/Ledger/Allegra/Rules/Utxo.hs

@@ -20,8 +20,7 @@ module Cardano.Ledger.Allegra.Rules.Utxo (
   AllegraUtxoPredFailure (..),
   validateOutsideValidityIntervalUTxO,
   shelleyToAllegraUtxoPredFailure,
-)
-where
+) where
 
 import Cardano.Ledger.Address (Addr, RewardAccount)
 import Cardano.Ledger.Allegra.Core

eras/allegra/impl/src/Cardano/Ledger/Allegra/Scripts.hs

@@ -46,8 +46,7 @@ module Cardano.Ledger.Allegra.Scripts (
   decodeVI,
   -- translate,
   translateTimelock,
-)
-where
+) where
 
 import Cardano.Ledger.Allegra.Era (AllegraEra)
 import Cardano.Ledger.BaseTypes (StrictMaybe (SJust, SNothing))
@@ -209,7 +208,9 @@ newtype Timelock era = MkTimelock (MemoBytes (TimelockRaw era))
 
 pattern TimelockConstr :: MemoBytes (TimelockRaw era) -> Timelock era
 pattern TimelockConstr timelockRaw = MkTimelock timelockRaw
+
 {-# COMPLETE TimelockConstr #-}
+
 {-# DEPRECATED TimelockConstr "In favor of more consistently name `MkTimelock`" #-}
 
 instance Era era => MemPack (Timelock era) where
@@ -218,6 +219,7 @@ instance Era era => MemPack (Timelock era) where
   unpackM = MkTimelock <$> unpackMemoBytesM (eraProtVerLow @era)
 
 instance Era era => NoThunks (Timelock era)
+
 instance Era era => EncCBOR (Timelock era)
 
 instance Era era => DecCBOR (Timelock era) where
@@ -292,36 +294,42 @@ pattern RequireTimeStart mslot <- (getTimeStart -> Just mslot)
 
 mkRequireSignatureTimelock :: forall era. Era era => KeyHash 'Witness -> Timelock era
 mkRequireSignatureTimelock = mkMemoizedEra @era . TimelockSignature
+
 getRequireSignatureTimelock :: Timelock era -> Maybe (KeyHash 'Witness)
 getRequireSignatureTimelock (MkTimelock (Memo (TimelockSignature kh) _)) = Just kh
 getRequireSignatureTimelock _ = Nothing
 
 mkRequireAllOfTimelock :: forall era. Era era => StrictSeq (Timelock era) -> Timelock era
 mkRequireAllOfTimelock = mkMemoizedEra @era . TimelockAllOf
+
 getRequireAllOfTimelock :: Timelock era -> Maybe (StrictSeq (Timelock era))
 getRequireAllOfTimelock (MkTimelock (Memo (TimelockAllOf ms) _)) = Just ms
 getRequireAllOfTimelock _ = Nothing
 
 mkRequireAnyOfTimelock :: forall era. Era era => StrictSeq (Timelock era) -> Timelock era
 mkRequireAnyOfTimelock = mkMemoizedEra @era . TimelockAnyOf
+
 getRequireAnyOfTimelock :: Timelock era -> Maybe (StrictSeq (Timelock era))
 getRequireAnyOfTimelock (MkTimelock (Memo (TimelockAnyOf ms) _)) = Just ms
 getRequireAnyOfTimelock _ = Nothing
 
 mkRequireMOfTimelock :: forall era. Era era => Int -> StrictSeq (Timelock era) -> Timelock era
 mkRequireMOfTimelock n = mkMemoizedEra @era . TimelockMOf n
+
 getRequireMOfTimelock :: Timelock era -> Maybe (Int, StrictSeq (Timelock era))
 getRequireMOfTimelock (MkTimelock (Memo (TimelockMOf n ms) _)) = Just (n, ms)
 getRequireMOfTimelock _ = Nothing
 
 mkTimeStartTimelock :: forall era. Era era => SlotNo -> Timelock era
 mkTimeStartTimelock = mkMemoizedEra @era . TimelockTimeStart
+
 getTimeStartTimelock :: Timelock era -> Maybe SlotNo
 getTimeStartTimelock (MkTimelock (Memo (TimelockTimeStart mslot) _)) = Just mslot
 getTimeStartTimelock _ = Nothing
 
 mkTimeExpireTimelock :: forall era. Era era => SlotNo -> Timelock era
 mkTimeExpireTimelock = mkMemoizedEra @era . TimelockTimeExpire
+
 getTimeExpireTimelock :: Timelock era -> Maybe SlotNo
 getTimeExpireTimelock (MkTimelock (Memo (TimelockTimeExpire mslot) _)) = Just mslot
 getTimeExpireTimelock _ = Nothing

eras/allegra/impl/src/Cardano/Ledger/Allegra/State.hs

@@ -2,7 +2,6 @@ module Cardano.Ledger.Allegra.State (
   module Cardano.Ledger.Shelley.State,
 ) where
 
-import Cardano.Ledger.Shelley.State
-
 import Cardano.Ledger.Allegra.State.CertState ()
 import Cardano.Ledger.Allegra.State.Stake ()
+import Cardano.Ledger.Shelley.State

eras/allegra/impl/src/Cardano/Ledger/Allegra/Tx.hs

@@ -8,8 +8,7 @@
 
 module Cardano.Ledger.Allegra.Tx (
   validateTimelock,
-)
-where
+) where
 
 import Cardano.Ledger.Allegra.Era (AllegraEra)
 import Cardano.Ledger.Allegra.PParams ()

eras/allegra/impl/src/Cardano/Ledger/Allegra/TxAuxData.hs

@@ -24,8 +24,7 @@ module Cardano.Ledger.Allegra.TxAuxData (
   metadataAllegraTxAuxDataL,
   AllegraEraTxAuxData (..),
   timelockScriptsAllegraTxAuxDataL,
-)
-where
+) where
 
 import Cardano.Ledger.Allegra.Era (AllegraEra)
 import Cardano.Ledger.Allegra.Scripts (Timelock)

eras/allegra/impl/src/Cardano/Ledger/Allegra/TxBody.hs

@@ -36,8 +36,7 @@ module Cardano.Ledger.Allegra.TxBody (
   AllegraTxBodyRaw (..),
   StrictMaybe (..),
   ValidityInterval (..),
-)
-where
+) where
 
 import Cardano.Ledger.Allegra.Era (AllegraEra)
 import Cardano.Ledger.Allegra.Scripts (ValidityInterval (..))