Tidy: drop a constraint from the IsCardanoEra class

Drop the superclass constraint Ledger.Crypto (ShelleyLedgerEra era) ~ StandardCrypto) It's of no great benefit, and reveals too much internals.
IntersectMBO · Jul 20, 2021 · 759f78c · 759f78c
1 parent 4d2b680
commit 759f78c
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 9 deletions.
diff --git a/cardano-api/src/Cardano/Api/Eras.hs b/cardano-api/src/Cardano/Api/Eras.hs
@@ -48,10 +48,11 @@ import           Prelude
 import           Data.Aeson (ToJSON, toJSON)
 import           Data.Type.Equality (TestEquality (..), (:~:) (Refl))
 
-import           Cardano.Ledger.Era as Ledger (Crypto)
-
-import           Ouroboros.Consensus.Shelley.Eras as Ledger (StandardAllegra, StandardAlonzo,
-                   StandardCrypto, StandardMary, StandardShelley)
+import           Ouroboros.Consensus.Shelley.Eras as Ledger
+                   (StandardShelley,
+                    StandardAllegra,
+                    StandardMary,
+                    StandardAlonzo)
 
 import           Cardano.Api.HasTypeProxy
 
@@ -249,8 +250,7 @@ deriving instance Show (ShelleyBasedEra era)
 -- of Shelley-based eras, but also non-uniform by making case distinctions on
 -- the 'ShelleyBasedEra' constructors.
 --
-class (IsCardanoEra era, Ledger.Crypto (ShelleyLedgerEra era) ~ StandardCrypto)
-   => IsShelleyBasedEra era where
+class IsCardanoEra era => IsShelleyBasedEra era where
    shelleyBasedEra :: ShelleyBasedEra era
 
 instance IsShelleyBasedEra ShelleyEra where

diff --git a/cardano-api/src/Cardano/Api/Tx.hs b/cardano-api/src/Cardano/Api/Tx.hs
@@ -754,9 +754,10 @@ makeShelleyKeyWitness (ShelleyTxBody era txbody _ _ _) =
       ShelleyBasedEraMary    -> makeShelleyBasedKeyWitness txbody
       ShelleyBasedEraAlonzo  -> makeShelleyBasedKeyWitness txbody
   where
-    makeShelleyBasedKeyWitness :: Shelley.ShelleyBased ledgerera
-                               => ShelleyLedgerEra era ~ ledgerera
-                               => Ledger.TxBody ledgerera
+    makeShelleyBasedKeyWitness :: Shelley.ShelleyBased (ShelleyLedgerEra era)
+                               => Ledger.Crypto (ShelleyLedgerEra era)
+                                    ~ StandardCrypto
+                               => Ledger.TxBody (ShelleyLedgerEra era)
                                -> ShelleyWitnessSigningKey
                                -> KeyWitness era
     makeShelleyBasedKeyWitness txbody' =