cardano-crypto-class-2.3.0.0: Type classes abstracting over cryptography primitives for Cardano
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Crypto.Instances

Documentation

withMLSBFromPSB ∷ (MonadST m, MonadThrow m, KnownNat n) ⇒ PinnedSizedBytes n → (MLockedSizedBytes n → m a) → m a Source #

withMLockedSeedFromPSB ∷ (MonadST m, MonadThrow m, KnownNat n) ⇒ PinnedSizedBytes n → (MLockedSeed n → m a) → m a Source #

Orphan instances

DSIGNAlgorithm v ⇒ Arbitrary (SigDSIGN v) Source # 
Instance details

Methods

arbitrary ∷ Gen (SigDSIGN v) Source #

shrink ∷ SigDSIGN v → [SigDSIGN v] Source #

DSIGNAlgorithm v ⇒ Arbitrary (SignKeyDSIGN v) Source # 
Instance details

Methods

arbitrary ∷ Gen (SignKeyDSIGN v) Source #

shrink ∷ SignKeyDSIGN v → [SignKeyDSIGN v] Source #

DSIGNAlgorithm v ⇒ Arbitrary (VerKeyDSIGN v) Source # 
Instance details

Methods

arbitrary ∷ Gen (VerKeyDSIGN v) Source #

shrink ∷ VerKeyDSIGN v → [VerKeyDSIGN v] Source #

KnownNat n ⇒ Arbitrary (PinnedSizedBytes n) Source # 
Instance details

Methods

arbitrary ∷ Gen (PinnedSizedBytes n) Source #

shrink ∷ PinnedSizedBytes n → [PinnedSizedBytes n] Source #

(VRFAlgorithm v, ContextVRF v ~ (), Signable v ~ SignableRepresentation) ⇒ Arbitrary (CertVRF v) Source # 
Instance details

Methods

arbitrary ∷ Gen (CertVRF v) Source #

shrink ∷ CertVRF v → [CertVRF v] Source #

VRFAlgorithm v ⇒ Arbitrary (OutputVRF v) Source # 
Instance details

Methods

arbitrary ∷ Gen (OutputVRF v) Source #

shrink ∷ OutputVRF v → [OutputVRF v] Source #

VRFAlgorithm v ⇒ Arbitrary (SignKeyVRF v) Source # 
Instance details

Methods

arbitrary ∷ Gen (SignKeyVRF v) Source #

shrink ∷ SignKeyVRF v → [SignKeyVRF v] Source #

VRFAlgorithm v ⇒ Arbitrary (VerKeyVRF v) Source # 
Instance details

Methods

arbitrary ∷ Gen (VerKeyVRF v) Source #

shrink ∷ VerKeyVRF v → [VerKeyVRF v] Source #

DSIGNAlgorithm v ⇒ Arbitrary (SignedDSIGN v a) Source # 
Instance details

Methods

arbitrary ∷ Gen (SignedDSIGN v a) Source #

shrink ∷ SignedDSIGN v a → [SignedDSIGN v a] Source #

(ContextVRF v ~ (), Signable v ~ SignableRepresentation, VRFAlgorithm v) ⇒ Arbitrary (CertifiedVRF v a) Source # 
Instance details

Methods

arbitrary ∷ Gen (CertifiedVRF v a) Source #

shrink ∷ CertifiedVRF v a → [CertifiedVRF v a] Source #