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

Test.Crypto.PackedBytes

Documentation

data AnyPackedBytes where Source #

Constructors

AnyPackedBytes ∷ KnownNat n ⇒ PackedBytes n → AnyPackedBytes 

Instances

Instances details
Arbitrary AnyPackedBytes Source # 
Instance details

Defined in Test.Crypto.PackedBytes

Methods

arbitrary ∷ Gen AnyPackedBytes Source #

shrink ∷ AnyPackedBytes → [AnyPackedBytes] Source #

Show AnyPackedBytes Source # 
Instance details

Defined in Test.Crypto.PackedBytes

Methods

showsPrec ∷ Int → AnyPackedBytes → ShowS #

show ∷ AnyPackedBytes → String #

showList ∷ [AnyPackedBytes] → ShowS #

genPackedBytes ∷ KnownNat n ⇒ proxy n → Gen (PackedBytes n) Source #

Orphan instances

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

Methods

arbitrary ∷ Gen (PackedBytes n) Source #

shrink ∷ PackedBytes n → [PackedBytes n] Source #