Remove spurious parens around constraints

IntersectMBO · Mar 31, 2023 · cc69a3e · cc69a3e
1 parent cbc40bb
commit cc69a3e
Showing 1 changed file with 14 additions and 15 deletions.
diff --git a/ouroboros-consensus-cardano/src/Ouroboros/Consensus/Cardano/CanHardFork.hs b/ouroboros-consensus-cardano/src/Ouroboros/Consensus/Cardano/CanHardFork.hs
@@ -504,7 +504,7 @@ translateLedgerViewByronToShelleyWrapper =
 -------------------------------------------------------------------------------}
 
 translateLedgerStateShelleyToAllegraWrapper ::
-     (PraosCrypto c)
+     PraosCrypto c
   => RequiringBoth
        WrapLedgerConfig
        (Translate LedgerState)
@@ -516,15 +516,15 @@ translateLedgerStateShelleyToAllegraWrapper =
         unComp . SL.translateEra' () . Comp
 
 translateTxShelleyToAllegraWrapper ::
-     (PraosCrypto c)
+     PraosCrypto c
   => InjectTx
        (ShelleyBlock (TPraos c) (ShelleyEra c))
        (ShelleyBlock (TPraos c) (AllegraEra c))
 translateTxShelleyToAllegraWrapper = InjectTx $
     fmap unComp . eitherToMaybe . runExcept . SL.translateEra () . Comp
 
 translateValidatedTxShelleyToAllegraWrapper ::
-     (PraosCrypto c)
+     PraosCrypto c
   => InjectValidatedTx
        (ShelleyBlock (TPraos c) (ShelleyEra c))
        (ShelleyBlock (TPraos c) (AllegraEra c))
@@ -536,7 +536,7 @@ translateValidatedTxShelleyToAllegraWrapper = InjectValidatedTx $
 -------------------------------------------------------------------------------}
 
 translateLedgerStateAllegraToMaryWrapper ::
-     (PraosCrypto c)
+     PraosCrypto c
   => RequiringBoth
        WrapLedgerConfig
        (Translate LedgerState)
@@ -552,15 +552,15 @@ translateLedgerStateAllegraToMaryWrapper =
 -------------------------------------------------------------------------------}
 
 translateTxAllegraToMaryWrapper ::
-     (PraosCrypto c)
+     PraosCrypto c
   => InjectTx
        (ShelleyBlock (TPraos c) (AllegraEra c))
        (ShelleyBlock (TPraos c) (MaryEra c))
 translateTxAllegraToMaryWrapper = InjectTx $
     fmap unComp . eitherToMaybe . runExcept . SL.translateEra () . Comp
 
 translateValidatedTxAllegraToMaryWrapper ::
-     (PraosCrypto c)
+     PraosCrypto c
   => InjectValidatedTx
        (ShelleyBlock (TPraos c) (AllegraEra c))
        (ShelleyBlock (TPraos c) (MaryEra c))
@@ -572,7 +572,7 @@ translateValidatedTxAllegraToMaryWrapper = InjectValidatedTx $
 -------------------------------------------------------------------------------}
 
 translateLedgerStateMaryToAlonzoWrapper ::
-     (PraosCrypto c)
+     PraosCrypto c
   => RequiringBoth
        WrapLedgerConfig
        (Translate LedgerState)
@@ -590,7 +590,7 @@ getAlonzoTranslationContext =
     shelleyLedgerTranslationContext . unwrapLedgerConfig
 
 translateTxMaryToAlonzoWrapper ::
-     (PraosCrypto c)
+     PraosCrypto c
   => SL.TranslationContext (AlonzoEra c)
   -> InjectTx
        (ShelleyBlock (TPraos c) (MaryEra c))
@@ -613,7 +613,7 @@ translateValidatedTxMaryToAlonzoWrapper ctxt = InjectValidatedTx $
 -------------------------------------------------------------------------------}
 
 translateLedgerStateAlonzoToBabbageWrapper ::
-     (Praos.PraosCrypto c)
+     PraosCrypto c
   => RequiringBoth
        WrapLedgerConfig
        (Translate LedgerState)
@@ -635,7 +635,7 @@ translateLedgerStateAlonzoToBabbageWrapper =
         }
 
 translateTxAlonzoToBabbageWrapper ::
-     (Praos.PraosCrypto c)
+     Praos.PraosCrypto c
   => SL.TranslationContext (BabbageEra c)
   -> InjectTx
        (ShelleyBlock (TPraos c) (AlonzoEra c))
@@ -650,7 +650,7 @@ translateTxAlonzoToBabbageWrapper ctxt = InjectTx $
 
 translateValidatedTxAlonzoToBabbageWrapper ::
      forall c.
-     (Praos.PraosCrypto c)
+     Praos.PraosCrypto c
   => SL.TranslationContext (BabbageEra c)
   -> InjectValidatedTx
        (ShelleyBlock (TPraos c) (AlonzoEra c))
@@ -675,7 +675,7 @@ translateValidatedTxAlonzoToBabbageWrapper ctxt = InjectValidatedTx $
 -------------------------------------------------------------------------------}
 
 translateLedgerStateBabbageToConwayWrapper ::
-     (Praos.PraosCrypto c)
+     PraosCrypto c
   => RequiringBoth
        WrapLedgerConfig
        (Translate LedgerState)
@@ -693,7 +693,7 @@ getConwayTranslationContext =
     shelleyLedgerTranslationContext . unwrapLedgerConfig
 
 translateTxBabbageToConwayWrapper ::
-     (Praos.PraosCrypto c)
+     Praos.PraosCrypto c
   => SL.TranslationContext (ConwayEra c)
   -> InjectTx
        (ShelleyBlock (Praos c) (BabbageEra c))
@@ -702,8 +702,7 @@ translateTxBabbageToConwayWrapper ctxt = InjectTx $
     fmap unComp . eitherToMaybe . runExcept . SL.translateEra ctxt . Comp
 
 translateValidatedTxBabbageToConwayWrapper ::
-     forall c.
-     (Praos.PraosCrypto c)
+     PraosCrypto c
   => SL.TranslationContext (ConwayEra c)
   -> InjectValidatedTx
        (ShelleyBlock (Praos c) (BabbageEra c))