wip

IntersectMBO · Jul 16, 2023 · 6c4a906 · 6c4a906
1 parent 2c0c168
commit 6c4a906
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/cardano-api/gen/Test/Gen/Cardano/Api/Typed.hs b/cardano-api/gen/Test/Gen/Cardano/Api/Typed.hs
@@ -746,10 +746,10 @@ genWitnesses era =
                           (genShelleyKeyWitness era)
       return $ bsWits ++ keyWits
 
-genVerificationKey :: Key keyrole => AsType keyrole -> Gen (VerificationKey keyrole)
+genVerificationKey :: (Key keyrole, HasTypeProxy keyrole) => AsType keyrole -> Gen (VerificationKey keyrole)
 genVerificationKey roletoken = getVerificationKey <$> genSigningKey roletoken
 
-genVerificationKeyHash :: Key keyrole => AsType keyrole -> Gen (Hash keyrole)
+genVerificationKeyHash :: (Key keyrole, HasTypeProxy keyrole) => AsType keyrole -> Gen (Hash keyrole)
 genVerificationKeyHash roletoken =
   verificationKeyHash <$> genVerificationKey roletoken
 

diff --git a/cardano-api/internal/Cardano/Api/Keys/Class.hs b/cardano-api/internal/Cardano/Api/Keys/Class.hs
@@ -44,7 +44,7 @@ class (Eq (VerificationKey keyrole),
     data SigningKey keyrole :: Type
 
     -- | Get the corresponding verification key from a signing key.
-    getVerificationKey :: SigningKey keyrole -> VerificationKey keyrole
+    getVerificationKey :: HasTypeProxy keyrole => SigningKey keyrole -> VerificationKey keyrole
 
     -- | Generate a 'SigningKey' deterministically, given a 'Crypto.Seed'. The
     -- required size of the seed is given by 'deterministicSigningKeySeedSize'.

diff --git a/cardano-api/test/cardano-api-test/Test/Cardano/Api/Typed/Envelope.hs b/cardano-api/test/cardano-api-test/Test/Cardano/Api/Typed/Envelope.hs
@@ -89,7 +89,7 @@ prop_roundtrip_VrfSigningKey_envelope =
 
 -- -----------------------------------------------------------------------------
 
-roundtrip_VerificationKey_envelope :: Key keyrole
+roundtrip_VerificationKey_envelope :: (Key keyrole, HasTypeProxy keyrole)
                                    => AsType keyrole -> Property
 roundtrip_VerificationKey_envelope roletoken =
   H.property $ do