, "xLcs7ev6Jy6FHHE" ==> Right (Credential "xLcs7ev6Jy6FHHE")
]
, testGroup "credentialSecretKey" $
- [ testSecretKey beleniosFFC
+ [ testSecretKey beleniosFFC
(UUID "xLcs7ev6Jy6FHH")
(Credential "xLcs7ev6Jy6FHHE")
24202898752499029126606335829564687069186982035759723128887013101942425902424
]
testSecretKey ::
- ReifyCrypto crypto =>
- Key crypto =>
+ ReifyCrypto crypto => Key crypto =>
crypto -> UUID -> Credential -> Natural -> TestTree
testSecretKey crypto uuid cred exp =
- reifyCrypto crypto $ \(Proxy::Proxy c) ->
- testCase (show (uuid,cred)) $
- credentialSecretKey @_ @c uuid cred @?= E exp
+ reifyCrypto crypto $ \(_c::Proxy c) ->
+ testCase (show (uuid,cred)) $
+ credentialSecretKey @_ @c uuid cred @?= E exp