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

Test.Crypto.KES

Documentation

tests ∷ Lock → TestTree Source #

Orphan instances

(UnsoundPureKESAlgorithm k, Signable k ByteString, Arbitrary (ContextKES k)) ⇒ Arbitrary (SigKES k) Source # 
Instance details

Methods

arbitrary ∷ Gen (SigKES k) Source #

shrink ∷ SigKES k → [SigKES k] Source #

(UnsoundPureKESAlgorithm k, Arbitrary (ContextKES k)) ⇒ Arbitrary (UnsoundPureSignKeyKES k) Source # 
Instance details

Methods

arbitrary ∷ Gen (UnsoundPureSignKeyKES k) Source #

shrink ∷ UnsoundPureSignKeyKES k → [UnsoundPureSignKeyKES k] Source #

(UnsoundPureKESAlgorithm k, Arbitrary (ContextKES k)) ⇒ Arbitrary (VerKeyKES k) Source # 
Instance details

Methods

arbitrary ∷ Gen (VerKeyKES k) Source #

shrink ∷ VerKeyKES k → [VerKeyKES k] Source #

Show (SignKeyKES (CompactSingleKES Ed25519DSIGN)) Source # 
Instance details

Methods

showsPrec ∷ Int → SignKeyKES (CompactSingleKES Ed25519DSIGN) → ShowS Source #

show ∷ SignKeyKES (CompactSingleKES Ed25519DSIGN) → String Source #

showList ∷ [SignKeyKES (CompactSingleKES Ed25519DSIGN)] → ShowS Source #

Show (SignKeyKES (CompactSumKES h d)) Source # 
Instance details

Methods

showsPrec ∷ Int → SignKeyKES (CompactSumKES h d) → ShowS Source #

show ∷ SignKeyKES (CompactSumKES h d) → String Source #

showList ∷ [SignKeyKES (CompactSumKES h d)] → ShowS Source #

Show (SignKeyKES (SingleKES Ed25519DSIGN)) Source # 
Instance details

Methods

showsPrec ∷ Int → SignKeyKES (SingleKES Ed25519DSIGN) → ShowS Source #

show ∷ SignKeyKES (SingleKES Ed25519DSIGN) → String Source #

showList ∷ [SignKeyKES (SingleKES Ed25519DSIGN)] → ShowS Source #

Show (SignKeyKES (SumKES h d)) Source # 
Instance details

Methods

showsPrec ∷ Int → SignKeyKES (SumKES h d) → ShowS Source #

show ∷ SignKeyKES (SumKES h d) → String Source #

showList ∷ [SignKeyKES (SumKES h d)] → ShowS Source #

EqST (SignKeyDSIGNM d) ⇒ EqST (SignKeyKES (CompactSingleKES d)) Source # 
Instance details

Methods

equalsM ∷ MonadST m ⇒ SignKeyKES (CompactSingleKES d) → SignKeyKES (CompactSingleKES d) → m Bool Source #

(EqST (SignKeyKES d), Eq (VerKeyKES d), KnownNat (SeedSizeKES d)) ⇒ EqST (SignKeyKES (CompactSumKES h d)) Source # 
Instance details

Methods

equalsM ∷ MonadST m ⇒ SignKeyKES (CompactSumKES h d) → SignKeyKES (CompactSumKES h d) → m Bool Source #

EqST (SignKeyKES (MockKES t)) Source # 
Instance details

Methods

equalsM ∷ MonadST m ⇒ SignKeyKES (MockKES t) → SignKeyKES (MockKES t) → m Bool Source #

EqST (SignKeyDSIGNM d) ⇒ EqST (SignKeyKES (SingleKES d)) Source # 
Instance details

Methods

equalsM ∷ MonadST m ⇒ SignKeyKES (SingleKES d) → SignKeyKES (SingleKES d) → m Bool Source #

(EqST (SignKeyKES d), Eq (VerKeyKES d), KnownNat (SeedSizeKES d)) ⇒ EqST (SignKeyKES (SumKES h d)) Source # 
Instance details

Methods

equalsM ∷ MonadST m ⇒ SignKeyKES (SumKES h d) → SignKeyKES (SumKES h d) → m Bool Source #