cardano-crypto-tests-2.2.0.0: Tests for cardano-crypto-class and -praos
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Crypto.VRF

Documentation

tests ∷ TestTree Source #

Orphan instances

(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 #