Apply changes of fourmolu and other formatters

Essentialy ran 'treefmt' on the project
cardano-scaling · Nov 6, 2023 · 35aab4c · 35aab4c
1 parent 33c80ee
commit 35aab4c
Show file tree

Hide file tree

Showing 203 changed files with 2,912 additions and 2,665 deletions.
diff --git a/hydra-cardano-api/src/Cardano/Api/UTxO.hs b/hydra-cardano-api/src/Cardano/Api/UTxO.hs
@@ -9,14 +9,14 @@
 module Cardano.Api.UTxO where
 
 import Cardano.Api hiding (UTxO, toLedgerUTxO)
-import qualified Cardano.Api
+import Cardano.Api qualified
 import Data.Coerce (coerce)
-import qualified Data.List as List
+import Data.List qualified as List
 import Data.Map (Map)
-import qualified Data.Map as Map
+import Data.Map qualified as Map
 import Data.Set (Set)
 import Data.Text (Text)
-import qualified Data.Text as T
+import Data.Text qualified as T
 import Prelude
 
 type Era = BabbageEra

diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api.hs b/hydra-cardano-api/src/Hydra/Cardano/Api.hs
@@ -148,14 +148,14 @@ import Hydra.Cardano.Api.Value as Extras
 import Hydra.Cardano.Api.VerificationKey ()
 import Hydra.Cardano.Api.Witness as Extras
 
-import qualified Cardano.Api
-import qualified Cardano.Api.Shelley
-import qualified Cardano.Ledger.Alonzo.TxAuxData as Ledger
-import qualified Cardano.Ledger.Alonzo.TxWits as Ledger
-import qualified Cardano.Ledger.Core as Ledger
-import qualified Cardano.Ledger.Keys as Ledger
-import qualified Cardano.Ledger.Keys.Bootstrap as Ledger
-import qualified Cardano.Ledger.Keys.WitVKey as Ledger
+import Cardano.Api qualified
+import Cardano.Api.Shelley qualified
+import Cardano.Ledger.Alonzo.TxAuxData qualified as Ledger
+import Cardano.Ledger.Alonzo.TxWits qualified as Ledger
+import Cardano.Ledger.Core qualified as Ledger
+import Cardano.Ledger.Keys qualified as Ledger
+import Cardano.Ledger.Keys.Bootstrap qualified as Ledger
+import Cardano.Ledger.Keys.WitVKey qualified as Ledger
 import Data.ByteString.Short (ShortByteString)
 import Prelude
 

diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/Address.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/Address.hs
@@ -6,8 +6,8 @@ import Hydra.Cardano.Api.Prelude
 
 import Cardano.Api.Byron (Address (..))
 import Cardano.Binary (unsafeDeserialize')
-import qualified Cardano.Chain.Common as Ledger
-import qualified Data.ByteString as BS
+import Cardano.Chain.Common qualified as Ledger
+import Data.ByteString qualified as BS
 import Test.QuickCheck (frequency, oneof, vector)
 
 -- * Orphans

diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/AddressInEra.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/AddressInEra.hs
@@ -3,19 +3,19 @@ module Hydra.Cardano.Api.AddressInEra where
 import Hydra.Cardano.Api.Prelude
 
 import Cardano.Api.Byron (Address (..))
-import qualified Cardano.Ledger.Address as Ledger
-import qualified Cardano.Ledger.BaseTypes as Ledger
-import qualified Cardano.Ledger.Credential as Ledger
-import qualified Cardano.Ledger.Hashes as Ledger
-import qualified Cardano.Ledger.Keys as Ledger
+import Cardano.Ledger.Address qualified as Ledger
+import Cardano.Ledger.BaseTypes qualified as Ledger
+import Cardano.Ledger.Credential qualified as Ledger
+import Cardano.Ledger.Hashes qualified as Ledger
+import Cardano.Ledger.Keys qualified as Ledger
 import Hydra.Cardano.Api.Network (Network)
 import PlutusLedgerApi.V2 (
   Address (..),
   Credential (..),
   StakingCredential (StakingHash, StakingPtr),
   fromBuiltin,
  )
-import qualified PlutusLedgerApi.V2 as Plutus
+import PlutusLedgerApi.V2 qualified as Plutus
 
 -- * Extras
 

diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/BlockHeader.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/BlockHeader.hs
@@ -4,7 +4,7 @@ module Hydra.Cardano.Api.BlockHeader where
 
 import Hydra.Cardano.Api.Prelude
 
-import qualified Data.ByteString as BS
+import Data.ByteString qualified as BS
 import Test.QuickCheck (vectorOf)
 
 unsafeBlockHeaderHashFromBytes :: HasCallStack => ByteString -> Hash BlockHeader

diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/ExecutionUnits.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/ExecutionUnits.hs
@@ -2,7 +2,7 @@ module Hydra.Cardano.Api.ExecutionUnits where
 
 import Hydra.Cardano.Api.Prelude
 
-import qualified Cardano.Ledger.Alonzo.Scripts as Ledger
+import Cardano.Ledger.Alonzo.Scripts qualified as Ledger
 
 -- * Type Conversions
 

diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/Hash.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/Hash.hs
@@ -2,12 +2,12 @@ module Hydra.Cardano.Api.Hash where
 
 import Hydra.Cardano.Api.Prelude
 
-import qualified Cardano.Ledger.Alonzo.TxInfo as Ledger
-import qualified Cardano.Ledger.Keys as Ledger
+import Cardano.Ledger.Alonzo.TxInfo qualified as Ledger
+import Cardano.Ledger.Keys qualified as Ledger
 import Cardano.Ledger.SafeHash (unsafeMakeSafeHash)
-import qualified Cardano.Ledger.Shelley.Scripts as Ledger
-import qualified Data.ByteString as BS
-import qualified PlutusLedgerApi.V2 as Plutus
+import Cardano.Ledger.Shelley.Scripts qualified as Ledger
+import Data.ByteString qualified as BS
+import PlutusLedgerApi.V2 qualified as Plutus
 
 -- | Convert a cardano-api 'Hash' into a plutus 'PubKeyHash'
 toPlutusKeyHash :: Hash PaymentKey -> Plutus.PubKeyHash

diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/KeyWitness.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/KeyWitness.hs
@@ -2,18 +2,18 @@ module Hydra.Cardano.Api.KeyWitness where
 
 import Hydra.Cardano.Api.Prelude
 
-import qualified Cardano.Ledger.Alonzo.TxWits as Ledger
-import qualified Cardano.Ledger.Era as Ledger
-import qualified Cardano.Ledger.Keys as Ledger
-import qualified Cardano.Ledger.Shelley.API as Ledger
-import qualified Data.Set as Set
+import Cardano.Ledger.Alonzo.TxWits qualified as Ledger
+import Cardano.Ledger.Era qualified as Ledger
+import Cardano.Ledger.Keys qualified as Ledger
+import Cardano.Ledger.Shelley.API qualified as Ledger
+import Data.Set qualified as Set
 
 -- * Extras
 
 -- | Construct a 'KeyWitness' from a transaction id and credentials.
 signWith ::
   forall era.
-  (IsShelleyBasedEra era) =>
+  IsShelleyBasedEra era =>
   TxId ->
   SigningKey PaymentKey ->
   KeyWitness era

diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/Lovelace.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/Lovelace.hs
@@ -2,7 +2,7 @@ module Hydra.Cardano.Api.Lovelace where
 
 import Hydra.Cardano.Api.Prelude
 
-import qualified Cardano.Ledger.Coin as Ledger
+import Cardano.Ledger.Coin qualified as Ledger
 
 -- * Extras
 

diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/Network.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/Network.hs
@@ -3,7 +3,7 @@ module Hydra.Cardano.Api.Network (
   networkIdToNetwork,
 ) where
 
-import qualified Cardano.Api as Api
+import Cardano.Api qualified as Api
 import Cardano.Ledger.BaseTypes (Network (..))
 
 networkIdToNetwork :: Api.NetworkId -> Network

diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/PlutusScript.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/PlutusScript.hs
@@ -4,10 +4,10 @@ module Hydra.Cardano.Api.PlutusScript where
 
 import Hydra.Cardano.Api.Prelude
 
-import qualified Cardano.Ledger.Alonzo.Language as Ledger
-import qualified Cardano.Ledger.Alonzo.Scripts as Ledger
-import qualified Data.ByteString.Short as SBS
-import qualified PlutusLedgerApi.Common as Plutus
+import Cardano.Ledger.Alonzo.Language qualified as Ledger
+import Cardano.Ledger.Alonzo.Scripts qualified as Ledger
+import Data.ByteString.Short qualified as SBS
+import PlutusLedgerApi.Common qualified as Plutus
 import Test.QuickCheck (listOf)
 
 -- * Type Conversions
@@ -26,7 +26,7 @@ fromLedgerScript = \case
 -- | Convert a cardano-api 'PlutusScript' into a cardano-ledger 'Script'.
 toLedgerScript ::
   forall lang.
-  (IsPlutusScriptLanguage lang) =>
+  IsPlutusScriptLanguage lang =>
   PlutusScript lang ->
   Ledger.AlonzoScript (ShelleyLedgerEra Era)
 toLedgerScript (PlutusScriptSerialised bytes) =

diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/PolicyId.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/PolicyId.hs
@@ -2,7 +2,7 @@ module Hydra.Cardano.Api.PolicyId where
 
 import Hydra.Cardano.Api.Prelude
 
-import qualified Cardano.Ledger.Hashes as Ledger
+import Cardano.Ledger.Hashes qualified as Ledger
 
 toLedgerScriptHash :: PolicyId -> Ledger.ScriptHash StandardCrypto
 toLedgerScriptHash (PolicyId scriptHash) = toShelleyScriptHash scriptHash
diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/Prelude.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/Prelude.hs
@@ -40,10 +40,10 @@ import Cardano.Api.Shelley hiding (
   toLedgerUTxO,
  )
 import Cardano.Api.UTxO (UTxO, UTxO' (..))
-import qualified Cardano.Crypto.Hash.Class as CC
-import qualified Cardano.Ledger.Babbage as Ledger
-import qualified Cardano.Ledger.Binary as Ledger
-import qualified Cardano.Ledger.Core as Ledger
+import Cardano.Crypto.Hash.Class qualified as CC
+import Cardano.Ledger.Babbage qualified as Ledger
+import Cardano.Ledger.Binary qualified as Ledger
+import Cardano.Ledger.Core qualified as Ledger
 import Cardano.Ledger.Crypto (StandardCrypto)
 import Cardano.Ledger.Era (EraCrypto)
 import Data.Aeson (FromJSON (..), ToJSON (..))

diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/Pretty.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/Pretty.hs
@@ -1,21 +1,21 @@
 -- | Pretty printing transactions and utxo's
 module Hydra.Cardano.Api.Pretty where
 
-import qualified Hydra.Cardano.Api as Api
+import Hydra.Cardano.Api qualified as Api
 import Hydra.Cardano.Api.Prelude
 
-import qualified Cardano.Api.UTxO as UTxO
+import Cardano.Api.UTxO qualified as UTxO
 import Cardano.Binary (serialize)
-import qualified Cardano.Ledger.Alonzo.Scripts as Ledger
-import qualified Cardano.Ledger.Alonzo.TxWits as Ledger
-import qualified Cardano.Ledger.Core as Ledger
-import qualified Cardano.Ledger.SafeHash as Ledger
-import qualified Data.Aeson as Aeson
-import qualified Data.ByteString.Lazy as BL
+import Cardano.Ledger.Alonzo.Scripts qualified as Ledger
+import Cardano.Ledger.Alonzo.TxWits qualified as Ledger
+import Cardano.Ledger.Core qualified as Ledger
+import Cardano.Ledger.SafeHash qualified as Ledger
+import Data.Aeson qualified as Aeson
+import Data.ByteString.Lazy qualified as BL
 import Data.Function (on)
 import Data.List (intercalate, sort, sortBy)
-import qualified Data.Map.Strict as Map
-import qualified Data.Text as T
+import Data.Map.Strict qualified as Map
+import Data.Text qualified as T
 import Hydra.Cardano.Api.ScriptData (fromLedgerData)
 
 -- | Obtain a human-readable pretty text representation of a transaction.

diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/ReferenceScript.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/ReferenceScript.hs
@@ -4,7 +4,7 @@ import Hydra.Cardano.Api.Prelude
 
 import Hydra.Cardano.Api.PlutusScript (fromPlutusScript)
 import Hydra.Cardano.Api.ReferenceTxInsScriptsInlineDatumsSupportedInEra (HasInlineDatums (..))
-import qualified PlutusLedgerApi.V2 as Plutus
+import PlutusLedgerApi.V2 qualified as Plutus
 
 -- | Construct a 'ReferenceScript' from any given Plutus script.
 --

diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/ScriptData.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/ScriptData.hs
@@ -5,16 +5,16 @@ module Hydra.Cardano.Api.ScriptData where
 import Hydra.Cardano.Api.Prelude
 
 import Cardano.Api.Byron (TxBody (..))
-import qualified Cardano.Ledger.Alonzo.Scripts.Data as Ledger
-import qualified Cardano.Ledger.Alonzo.TxWits as Ledger
-import qualified Cardano.Ledger.Era as Ledger
+import Cardano.Ledger.Alonzo.Scripts.Data qualified as Ledger
+import Cardano.Ledger.Alonzo.TxWits qualified as Ledger
+import Cardano.Ledger.Era qualified as Ledger
 import Codec.Serialise (deserialiseOrFail, serialise)
 import Control.Arrow (left)
 import Data.Aeson (Value (String), withText)
-import qualified Data.ByteString as BS
-import qualified Data.ByteString.Base16 as Base16
-import qualified Data.Map as Map
-import qualified PlutusLedgerApi.V2 as Plutus
+import Data.ByteString qualified as BS
+import Data.ByteString.Base16 qualified as Base16
+import Data.Map qualified as Map
+import PlutusLedgerApi.V2 qualified as Plutus
 import Test.QuickCheck (arbitrarySizedNatural, choose, oneof, scale, sized, vector)
 
 -- * Extras

diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/ScriptDatum.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/ScriptDatum.hs
@@ -7,6 +7,6 @@ import Hydra.Cardano.Api.ScriptData (ToScriptData, toScriptData)
 -- * Extras
 
 -- | Construct a 'ScriptDatum' for use as transaction witness.
-mkScriptDatum :: (ToScriptData a) => a -> ScriptDatum WitCtxTxIn
+mkScriptDatum :: ToScriptData a => a -> ScriptDatum WitCtxTxIn
 mkScriptDatum =
   ScriptDatumForTxIn . toScriptData
diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/ScriptHash.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/ScriptHash.hs
@@ -2,7 +2,7 @@ module Hydra.Cardano.Api.ScriptHash where
 
 import Hydra.Cardano.Api.Prelude
 
-import qualified Cardano.Ledger.Credential as Ledger
+import Cardano.Ledger.Credential qualified as Ledger
 
 -- | Extract the payment part of an address, as a script hash.
 getPaymentScriptHash :: AddressInEra era -> Maybe ScriptHash

diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/Tx.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/Tx.hs
@@ -9,14 +9,14 @@ import Hydra.Cardano.Api.KeyWitness (
  )
 import Hydra.Cardano.Api.TxScriptValidity (toLedgerScriptValidity)
 
-import qualified Cardano.Api.UTxO as UTxO
-import qualified Cardano.Ledger.Alonzo.TxWits as Ledger
-import qualified Cardano.Ledger.Babbage.Tx as Ledger
+import Cardano.Api.UTxO qualified as UTxO
+import Cardano.Ledger.Alonzo.TxWits qualified as Ledger
+import Cardano.Ledger.Babbage.Tx qualified as Ledger
 import Cardano.Ledger.BaseTypes (maybeToStrictMaybe, strictMaybeToMaybe)
-import qualified Cardano.Ledger.Core as Ledger (Tx, hashScript)
+import Cardano.Ledger.Core qualified as Ledger (Tx, hashScript)
 import Data.Bifunctor (bimap)
 import Data.Functor ((<&>))
-import qualified Data.Map as Map
+import Data.Map qualified as Map
 import Hydra.Cardano.Api.TxIn (mkTxIn)
 
 -- * Extras

diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/TxBody.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/TxBody.hs
@@ -8,20 +8,19 @@ import Hydra.Cardano.Api.ScriptData (FromScriptData)
 import Hydra.Cardano.Api.TxIn (toLedgerTxIn)
 import Hydra.Cardano.Api.Value (toLedgerPolicyID)
 
-import qualified Cardano.Ledger.Alonzo.Scripts.Data as Ledger
-import qualified Cardano.Ledger.Alonzo.TxWits as Ledger
-import qualified Cardano.Ledger.Babbage.Tx as Ledger
+import Cardano.Ledger.Alonzo.Scripts.Data qualified as Ledger
+import Cardano.Ledger.Alonzo.TxWits qualified as Ledger
+import Cardano.Ledger.Babbage.Tx qualified as Ledger
 import Cardano.Ledger.BaseTypes (strictMaybeToMaybe)
-import qualified Cardano.Ledger.Core as Ledger
+import Cardano.Ledger.Core qualified as Ledger
 import Data.List (find)
-import qualified Data.Map as Map
-import qualified PlutusLedgerApi.V2 as Plutus
+import Data.Map qualified as Map
+import PlutusLedgerApi.V2 qualified as Plutus
 
 -- | Find and deserialise from 'ScriptData', a redeemer from the transaction
 -- associated to the given input.
 findRedeemerSpending ::
-  ( FromScriptData a
-  ) =>
+  FromScriptData a =>
   Tx Era ->
   TxIn ->
   Maybe a
@@ -31,8 +30,7 @@ findRedeemerSpending (getTxBody -> ShelleyTxBody _ body _ scriptData _ _) txIn =
 
 findRedeemerMinting ::
   forall a.
-  ( FromScriptData a
-  ) =>
+  FromScriptData a =>
   Tx Era ->
   PolicyId ->
   Maybe a

diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/TxId.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/TxId.hs
@@ -5,9 +5,9 @@ module Hydra.Cardano.Api.TxId where
 import Hydra.Cardano.Api.Prelude
 
 import Cardano.Binary (FromCBOR (..), ToCBOR (..))
-import qualified Cardano.Crypto.Hash.Class as CC
-import qualified Cardano.Ledger.SafeHash as Ledger
-import qualified Cardano.Ledger.TxIn as Ledger
+import Cardano.Crypto.Hash.Class qualified as CC
+import Cardano.Ledger.SafeHash qualified as Ledger
+import Cardano.Ledger.TxIn qualified as Ledger
 
 -- missing CBOR instances
 

diff --git a/hydra-cardano-api/src/Hydra/Cardano/Api/TxIn.hs b/hydra-cardano-api/src/Hydra/Cardano/Api/TxIn.hs
@@ -4,13 +4,13 @@ module Hydra.Cardano.Api.TxIn where
 
 import Hydra.Cardano.Api.Prelude
 
-import qualified Cardano.Ledger.Alonzo.TxInfo as Ledger
-import qualified Cardano.Ledger.BaseTypes as Ledger
-import qualified Cardano.Ledger.Binary as Ledger
-import qualified Cardano.Ledger.TxIn as Ledger
-import qualified Data.ByteString as BS
-import qualified Data.Set as Set
-import qualified PlutusLedgerApi.V2 as Plutus
+import Cardano.Ledger.Alonzo.TxInfo qualified as Ledger
+import Cardano.Ledger.BaseTypes qualified as Ledger
+import Cardano.Ledger.Binary qualified as Ledger
+import Cardano.Ledger.TxIn qualified as Ledger
+import Data.ByteString qualified as BS
+import Data.Set qualified as Set
+import PlutusLedgerApi.V2 qualified as Plutus
 import Test.QuickCheck (choose, vectorOf)
 
 -- * Extras