Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Crypto.Util

Contents

CBOR
NoThunks
Test Seed
Seeds
test messages for signings
Test generation and shrinker helpers
Formatting
Helpers for testing IO actions
Direct ser/deser helpers
Error handling
Locking

Synopsis

class Typeable a ⇒ FromCBOR a where
- fromCBOR ∷ Decoder s a
class Typeable a ⇒ ToCBOR a where
- toCBOR ∷ a → Encoding
- encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy a → Size
prop_cbor ∷ (ToCBOR a, FromCBOR a, Eq a, Show a) ⇒ a → Property
prop_cbor_size ∷ ∀ a. ToCBOR a ⇒ a → Property
prop_cbor_with ∷ (Eq a, Show a) ⇒ (a → Encoding) → (∀ s. Decoder s a) → a → Property
prop_cbor_valid ∷ (a → Encoding) → a → Property
prop_cbor_roundtrip ∷ (Eq a, Show a) ⇒ (a → Encoding) → (∀ s. Decoder s a) → a → Property
prop_raw_serialise ∷ (Eq a, Show a) ⇒ (a → ByteString) → (ByteString → Maybe a) → a → Property
prop_raw_deserialise ∷ ∀ (a ∷ Type). Show a ⇒ (ByteString → Maybe a) → BadInputFor a → Property
prop_size_serialise ∷ (a → ByteString) → Word → a → Property
prop_cbor_direct_vs_class ∷ ToCBOR a ⇒ (a → Encoding) → a → Property
prop_no_thunks ∷ NoThunks a ⇒ a → Property
prop_no_thunks_IO ∷ NoThunks a ⇒ IO a → IO Property
prop_no_thunks_IO_from ∷ NoThunks a ⇒ (b → IO a) → b → Property
prop_no_thunks_IO_with ∷ NoThunks a ⇒ Gen (IO a) → Property
newtype TestSeed = TestSeed {
- getTestSeed ∷ (Word64, Word64, Word64, Word64, Word64)
}
withTestSeed ∷ TestSeed → MonadPseudoRandom ChaChaDRG a → a
testSeedToChaCha ∷ TestSeed → ChaChaDRG
nullTestSeed ∷ TestSeed
data SizedSeed (n ∷ Nat)
unSizedSeed ∷ SizedSeed n → Seed
arbitrarySeedOfSize ∷ Word → Gen Seed
arbitrarySeedBytesOfSize ∷ Word → Gen ByteString
newtype Message = Message {
- messageBytes ∷ ByteString
}
data BadInputFor (a ∷ Type)
genBadInputFor ∷ ∀ (a ∷ Type). Int → Gen (BadInputFor a)
shrinkBadInputFor ∷ ∀ (a ∷ Type). BadInputFor a → [BadInputFor a]
showBadInputFor ∷ ∀ (a ∷ Type). BadInputFor a → String
hexBS ∷ ByteString → String
noExceptionsThrown ∷ Applicative m ⇒ m Property
doesNotThrow ∷ Applicative m ⇒ m a → m Property
directSerialiseToBS ∷ ∀ m a. DirectSerialise a ⇒ MonadST m ⇒ MonadThrow m ⇒ Int → a → m ByteString
directDeserialiseFromBS ∷ ∀ m a. DirectDeserialise a ⇒ MonadST m ⇒ MonadThrow m ⇒ ByteString → m a
eitherShowError ∷ (HasCallStack, Show e) ⇒ Either e a → IO a
data Lock
withLock ∷ Lock → IO a → IO a
mkLock ∷ IO Lock

CBOR

class Typeable a ⇒ FromCBOR a where Source #

Methods

fromCBOR ∷ Decoder s a Source #

Instances

Instances details

FromCBOR Void
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Void Source # label ∷ Proxy Void → Text Source #
FromCBOR Int32
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Int32 Source # label ∷ Proxy Int32 → Text Source #
FromCBOR Int64
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Int64 Source # label ∷ Proxy Int64 → Text Source #
FromCBOR Rational
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Rational Source # label ∷ Proxy Rational → Text Source #
FromCBOR Word16
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Word16 Source # label ∷ Proxy Word16 → Text Source #
FromCBOR Word32
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Word32 Source # label ∷ Proxy Word32 → Text Source #
FromCBOR Word64
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Word64 Source # label ∷ Proxy Word64 → Text Source #
FromCBOR Word8
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Word8 Source # label ∷ Proxy Word8 → Text Source #
FromCBOR ByteString
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s ByteString Source # label ∷ Proxy ByteString → Text Source #
FromCBOR ByteString
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s ByteString Source # label ∷ Proxy ByteString → Text Source #
FromCBOR ShortByteString
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s ShortByteString Source # label ∷ Proxy ShortByteString → Text Source #
FromCBOR Point
Instance details Defined in Cardano.Crypto.VRF.Simple Methods fromCBOR ∷ Decoder s Point Source # label ∷ Proxy Point → Text Source #
FromCBOR Proof
Instance details Defined in Cardano.Crypto.VRF.Praos Methods fromCBOR ∷ Decoder s Proof Source # label ∷ Proxy Proof → Text Source #
FromCBOR SignKey
Instance details Defined in Cardano.Crypto.VRF.Praos Methods fromCBOR ∷ Decoder s SignKey Source # label ∷ Proxy SignKey → Text Source #
FromCBOR VerKey
Instance details Defined in Cardano.Crypto.VRF.Praos Methods fromCBOR ∷ Decoder s VerKey Source # label ∷ Proxy VerKey → Text Source #
FromCBOR Proof
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods fromCBOR ∷ Decoder s Proof Source # label ∷ Proxy Proof → Text Source #
FromCBOR SignKey
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods fromCBOR ∷ Decoder s SignKey Source # label ∷ Proxy SignKey → Text Source #
FromCBOR VerKey
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods fromCBOR ∷ Decoder s VerKey Source # label ∷ Proxy VerKey → Text Source #
FromCBOR TestSeed Source #
Instance details Defined in Test.Crypto.Util Methods fromCBOR ∷ Decoder s TestSeed Source # label ∷ Proxy TestSeed → Text Source #
FromCBOR TermToken
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s TermToken Source # label ∷ Proxy TermToken → Text Source #
FromCBOR Term
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Term Source # label ∷ Proxy Term → Text Source #
FromCBOR Text
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Text Source # label ∷ Proxy Text → Text Source #
FromCBOR UTCTime
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s UTCTime Source # label ∷ Proxy UTCTime → Text Source #
FromCBOR Integer
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Integer Source # label ∷ Proxy Integer → Text Source #
FromCBOR Natural
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Natural Source # label ∷ Proxy Natural → Text Source #
FromCBOR ()
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s () Source # label ∷ Proxy () → Text Source #
FromCBOR Bool
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Bool Source # label ∷ Proxy Bool → Text Source #
FromCBOR Double
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Double Source # label ∷ Proxy Double → Text Source #
FromCBOR Float
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Float Source # label ∷ Proxy Float → Text Source #
FromCBOR Int
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Int Source # label ∷ Proxy Int → Text Source #
FromCBOR Word
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s Word Source # label ∷ Proxy Word → Text Source #
FromCBOR (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR ∷ Decoder s (SigDSIGN EcdsaSecp256k1DSIGN) Source # label ∷ Proxy (SigDSIGN EcdsaSecp256k1DSIGN) → Text Source #
FromCBOR (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR ∷ Decoder s (SigDSIGN Ed25519DSIGN) Source # label ∷ Proxy (SigDSIGN Ed25519DSIGN) → Text Source #
FromCBOR (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR ∷ Decoder s (SigDSIGN Ed448DSIGN) Source # label ∷ Proxy (SigDSIGN Ed448DSIGN) → Text Source #
FromCBOR (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods fromCBOR ∷ Decoder s (SigDSIGN MockDSIGN) Source # label ∷ Proxy (SigDSIGN MockDSIGN) → Text Source #
FromCBOR (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR ∷ Decoder s (SigDSIGN SchnorrSecp256k1DSIGN) Source # label ∷ Proxy (SigDSIGN SchnorrSecp256k1DSIGN) → Text Source #
FromCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source # label ∷ Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) → Text Source #
FromCBOR (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN Ed25519DSIGN) Source # label ∷ Proxy (SignKeyDSIGN Ed25519DSIGN) → Text Source #
FromCBOR (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN Ed448DSIGN) Source # label ∷ Proxy (SignKeyDSIGN Ed448DSIGN) → Text Source #
FromCBOR (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods fromCBOR ∷ Decoder s (SignKeyDSIGN MockDSIGN) Source # label ∷ Proxy (SignKeyDSIGN MockDSIGN) → Text Source #
FromCBOR (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source # label ∷ Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) → Text Source #
(TypeError ('Text "CBOR decoding would violate mlocking guarantees") ∷ Constraint) ⇒ FromCBOR (SignKeyDSIGNM Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR ∷ Decoder s (SignKeyDSIGNM Ed25519DSIGN) Source # label ∷ Proxy (SignKeyDSIGNM Ed25519DSIGN) → Text Source #
FromCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source # label ∷ Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) → Text Source #
FromCBOR (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN Ed25519DSIGN) Source # label ∷ Proxy (VerKeyDSIGN Ed25519DSIGN) → Text Source #
FromCBOR (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN Ed448DSIGN) Source # label ∷ Proxy (VerKeyDSIGN Ed448DSIGN) → Text Source #
FromCBOR (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods fromCBOR ∷ Decoder s (VerKeyDSIGN MockDSIGN) Source # label ∷ Proxy (VerKeyDSIGN MockDSIGN) → Text Source #
FromCBOR (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source # label ∷ Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) → Text Source #
(DSIGNMAlgorithm d, KnownNat (SizeSigKES (CompactSingleKES d))) ⇒ FromCBOR (SigKES (CompactSingleKES d))
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods fromCBOR ∷ Decoder s (SigKES (CompactSingleKES d)) Source # label ∷ Proxy (SigKES (CompactSingleKES d)) → Text Source #
(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ FromCBOR (SigKES (CompactSumKES h d))
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods fromCBOR ∷ Decoder s (SigKES (CompactSumKES h d)) Source # label ∷ Proxy (SigKES (CompactSumKES h d)) → Text Source #
KnownNat t ⇒ FromCBOR (SigKES (MockKES t))
Instance details Defined in Cardano.Crypto.KES.Mock Methods fromCBOR ∷ Decoder s (SigKES (MockKES t)) Source # label ∷ Proxy (SigKES (MockKES t)) → Text Source #
(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (SizeVerKeyDSIGN d * t), KnownNat (SizeSignKeyDSIGN d * t)) ⇒ FromCBOR (SigKES (SimpleKES d t))
Instance details Defined in Cardano.Crypto.KES.Simple Methods fromCBOR ∷ Decoder s (SigKES (SimpleKES d t)) Source # label ∷ Proxy (SigKES (SimpleKES d t)) → Text Source #
DSIGNMAlgorithm d ⇒ FromCBOR (SigKES (SingleKES d))
Instance details Defined in Cardano.Crypto.KES.Single Methods fromCBOR ∷ Decoder s (SigKES (SingleKES d)) Source # label ∷ Proxy (SigKES (SingleKES d)) → Text Source #
(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d) ⇒ FromCBOR (SigKES (SumKES h d))
Instance details Defined in Cardano.Crypto.KES.Sum Methods fromCBOR ∷ Decoder s (SigKES (SumKES h d)) Source # label ∷ Proxy (SigKES (SumKES h d)) → Text Source #
(UnsoundDSIGNMAlgorithm d, KnownNat (SizeSigDSIGN d + SizeVerKeyDSIGN d)) ⇒ FromCBOR (UnsoundPureSignKeyKES (CompactSingleKES d))
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods fromCBOR ∷ Decoder s (UnsoundPureSignKeyKES (CompactSingleKES d)) Source # label ∷ Proxy (UnsoundPureSignKeyKES (CompactSingleKES d)) → Text Source #
(SizeHash h ~ SeedSizeKES d, OptimizedKESAlgorithm d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ FromCBOR (UnsoundPureSignKeyKES (CompactSumKES h d))
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods fromCBOR ∷ Decoder s (UnsoundPureSignKeyKES (CompactSumKES h d)) Source # label ∷ Proxy (UnsoundPureSignKeyKES (CompactSumKES h d)) → Text Source #
KnownNat t ⇒ FromCBOR (UnsoundPureSignKeyKES (MockKES t))
Instance details Defined in Cardano.Crypto.KES.Mock Methods fromCBOR ∷ Decoder s (UnsoundPureSignKeyKES (MockKES t)) Source # label ∷ Proxy (UnsoundPureSignKeyKES (MockKES t)) → Text Source #
UnsoundDSIGNMAlgorithm d ⇒ FromCBOR (UnsoundPureSignKeyKES (SingleKES d))
Instance details Defined in Cardano.Crypto.KES.Single Methods fromCBOR ∷ Decoder s (UnsoundPureSignKeyKES (SingleKES d)) Source # label ∷ Proxy (UnsoundPureSignKeyKES (SingleKES d)) → Text Source #
(SizeHash h ~ SeedSizeKES d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KnownNat (SizeVerKeyKES (SumKES h d)), KnownNat (SizeSignKeyKES (SumKES h d)), KnownNat (SizeSigKES (SumKES h d))) ⇒ FromCBOR (UnsoundPureSignKeyKES (SumKES h d))
Instance details Defined in Cardano.Crypto.KES.Sum Methods fromCBOR ∷ Decoder s (UnsoundPureSignKeyKES (SumKES h d)) Source # label ∷ Proxy (UnsoundPureSignKeyKES (SumKES h d)) → Text Source #
(DSIGNMAlgorithm d, KnownNat (SizeSigDSIGN d + SizeVerKeyDSIGN d)) ⇒ FromCBOR (VerKeyKES (CompactSingleKES d))
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods fromCBOR ∷ Decoder s (VerKeyKES (CompactSingleKES d)) Source # label ∷ Proxy (VerKeyKES (CompactSingleKES d)) → Text Source #
(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ FromCBOR (VerKeyKES (CompactSumKES h d))
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods fromCBOR ∷ Decoder s (VerKeyKES (CompactSumKES h d)) Source # label ∷ Proxy (VerKeyKES (CompactSumKES h d)) → Text Source #
KnownNat t ⇒ FromCBOR (VerKeyKES (MockKES t))
Instance details Defined in Cardano.Crypto.KES.Mock Methods fromCBOR ∷ Decoder s (VerKeyKES (MockKES t)) Source # label ∷ Proxy (VerKeyKES (MockKES t)) → Text Source #
(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (SizeVerKeyDSIGN d * t), KnownNat (SizeSignKeyDSIGN d * t)) ⇒ FromCBOR (VerKeyKES (SimpleKES d t))
Instance details Defined in Cardano.Crypto.KES.Simple Methods fromCBOR ∷ Decoder s (VerKeyKES (SimpleKES d t)) Source # label ∷ Proxy (VerKeyKES (SimpleKES d t)) → Text Source #
DSIGNMAlgorithm d ⇒ FromCBOR (VerKeyKES (SingleKES d))
Instance details Defined in Cardano.Crypto.KES.Single Methods fromCBOR ∷ Decoder s (VerKeyKES (SingleKES d)) Source # label ∷ Proxy (VerKeyKES (SingleKES d)) → Text Source #
(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d) ⇒ FromCBOR (VerKeyKES (SumKES h d))
Instance details Defined in Cardano.Crypto.KES.Sum Methods fromCBOR ∷ Decoder s (VerKeyKES (SumKES h d)) Source # label ∷ Proxy (VerKeyKES (SumKES h d)) → Text Source #
FromCBOR (CertVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods fromCBOR ∷ Decoder s (CertVRF MockVRF) Source # label ∷ Proxy (CertVRF MockVRF) → Text Source #
FromCBOR (CertVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods fromCBOR ∷ Decoder s (CertVRF SimpleVRF) Source # label ∷ Proxy (CertVRF SimpleVRF) → Text Source #
FromCBOR (CertVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods fromCBOR ∷ Decoder s (CertVRF PraosVRF) Source # label ∷ Proxy (CertVRF PraosVRF) → Text Source #
FromCBOR (CertVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods fromCBOR ∷ Decoder s (CertVRF PraosBatchCompatVRF) Source # label ∷ Proxy (CertVRF PraosBatchCompatVRF) → Text Source #
Typeable v ⇒ FromCBOR (OutputVRF v)
Instance details Defined in Cardano.Crypto.VRF.Class Methods fromCBOR ∷ Decoder s (OutputVRF v) Source # label ∷ Proxy (OutputVRF v) → Text Source #
FromCBOR (SignKeyVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods fromCBOR ∷ Decoder s (SignKeyVRF MockVRF) Source # label ∷ Proxy (SignKeyVRF MockVRF) → Text Source #
FromCBOR (SignKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods fromCBOR ∷ Decoder s (SignKeyVRF SimpleVRF) Source # label ∷ Proxy (SignKeyVRF SimpleVRF) → Text Source #
FromCBOR (SignKeyVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods fromCBOR ∷ Decoder s (SignKeyVRF PraosVRF) Source # label ∷ Proxy (SignKeyVRF PraosVRF) → Text Source #
FromCBOR (SignKeyVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods fromCBOR ∷ Decoder s (SignKeyVRF PraosBatchCompatVRF) Source # label ∷ Proxy (SignKeyVRF PraosBatchCompatVRF) → Text Source #
FromCBOR (VerKeyVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods fromCBOR ∷ Decoder s (VerKeyVRF MockVRF) Source # label ∷ Proxy (VerKeyVRF MockVRF) → Text Source #
FromCBOR (VerKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods fromCBOR ∷ Decoder s (VerKeyVRF SimpleVRF) Source # label ∷ Proxy (VerKeyVRF SimpleVRF) → Text Source #
FromCBOR (VerKeyVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods fromCBOR ∷ Decoder s (VerKeyVRF PraosVRF) Source # label ∷ Proxy (VerKeyVRF PraosVRF) → Text Source #
FromCBOR (VerKeyVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods fromCBOR ∷ Decoder s (VerKeyVRF PraosBatchCompatVRF) Source # label ∷ Proxy (VerKeyVRF PraosBatchCompatVRF) → Text Source #
FromCBOR a ⇒ FromCBOR (Seq a)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (Seq a) Source # label ∷ Proxy (Seq a) → Text Source #
(Ord a, FromCBOR a) ⇒ FromCBOR (Set a)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (Set a) Source # label ∷ Proxy (Set a) → Text Source #
FromCBOR a ⇒ FromCBOR (Vector a)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (Vector a) Source # label ∷ Proxy (Vector a) → Text Source #
FromCBOR a ⇒ FromCBOR (NonEmpty a)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (NonEmpty a) Source # label ∷ Proxy (NonEmpty a) → Text Source #
FromCBOR a ⇒ FromCBOR (Maybe a)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (Maybe a) Source # label ∷ Proxy (Maybe a) → Text Source #
FromCBOR a ⇒ FromCBOR [a]
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s [a] Source # label ∷ Proxy [a] → Text Source #
(FromCBOR a, FromCBOR b) ⇒ FromCBOR (Either a b)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (Either a b) Source # label ∷ Proxy (Either a b) → Text Source #
Typeable a ⇒ FromCBOR (Fixed a)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (Fixed a) Source # label ∷ Proxy (Fixed a) → Text Source #
(HashAlgorithm h, Typeable a) ⇒ FromCBOR (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods fromCBOR ∷ Decoder s (Hash h a) Source # label ∷ Proxy (Hash h a) → Text Source #
(VRFAlgorithm v, Typeable a) ⇒ FromCBOR (CertifiedVRF v a)
Instance details Defined in Cardano.Crypto.VRF.Class Methods fromCBOR ∷ Decoder s (CertifiedVRF v a) Source # label ∷ Proxy (CertifiedVRF v a) → Text Source #
(Ord k, FromCBOR k, FromCBOR v) ⇒ FromCBOR (Map k v)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (Map k v) Source # label ∷ Proxy (Map k v) → Text Source #
(FromCBOR a, FromCBOR b) ⇒ FromCBOR (a, b)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (a, b) Source # label ∷ Proxy (a, b) → Text Source #
(Typeable s, FromCBOR a) ⇒ FromCBOR (Tagged s a)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s0 (Tagged s a) Source # label ∷ Proxy (Tagged s a) → Text Source #
(FromCBOR a, FromCBOR b, FromCBOR c) ⇒ FromCBOR (a, b, c)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (a, b, c) Source # label ∷ Proxy (a, b, c) → Text Source #
(FromCBOR a, FromCBOR b, FromCBOR c, FromCBOR d) ⇒ FromCBOR (a, b, c, d)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (a, b, c, d) Source # label ∷ Proxy (a, b, c, d) → Text Source #
(FromCBOR a, FromCBOR b, FromCBOR c, FromCBOR d, FromCBOR e) ⇒ FromCBOR (a, b, c, d, e)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (a, b, c, d, e) Source # label ∷ Proxy (a, b, c, d, e) → Text Source #
(FromCBOR a, FromCBOR b, FromCBOR c, FromCBOR d, FromCBOR e, FromCBOR f) ⇒ FromCBOR (a, b, c, d, e, f)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (a, b, c, d, e, f) Source # label ∷ Proxy (a, b, c, d, e, f) → Text Source #
(FromCBOR a, FromCBOR b, FromCBOR c, FromCBOR d, FromCBOR e, FromCBOR f, FromCBOR g) ⇒ FromCBOR (a, b, c, d, e, f, g)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (a, b, c, d, e, f, g) Source # label ∷ Proxy (a, b, c, d, e, f, g) → Text Source #
(FromCBOR a, FromCBOR b, FromCBOR c, FromCBOR d, FromCBOR e, FromCBOR f, FromCBOR g, FromCBOR h) ⇒ FromCBOR (a, b, c, d, e, f, g, h)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (a, b, c, d, e, f, g, h) Source # label ∷ Proxy (a, b, c, d, e, f, g, h) → Text Source #

class Typeable a ⇒ ToCBOR a where Source #

Minimal complete definition

toCBOR

Methods

toCBOR ∷ a → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy a → Size Source #

Instances

Instances details

ToCBOR Void
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Void → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Void → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Void] → Size Source #
ToCBOR Int32
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Int32 → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Int32 → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Int32] → Size Source #
ToCBOR Int64
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Int64 → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Int64 → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Int64] → Size Source #
ToCBOR Word16
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Word16 → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Word16 → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Word16] → Size Source #
ToCBOR Word32
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Word32 → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Word32 → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Word32] → Size Source #
ToCBOR Word64
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Word64 → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Word64 → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Word64] → Size Source #
ToCBOR Word8
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Word8 → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Word8 → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Word8] → Size Source #
ToCBOR ByteString
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ ByteString → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ByteString → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ByteString] → Size Source #
ToCBOR ByteString
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ ByteString → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ByteString → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ByteString] → Size Source #
ToCBOR ShortByteString
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ ShortByteString → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ShortByteString → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ShortByteString] → Size Source #
ToCBOR Point
Instance details Defined in Cardano.Crypto.VRF.Simple Methods toCBOR ∷ Point → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Point → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Point] → Size Source #
ToCBOR Proof
Instance details Defined in Cardano.Crypto.VRF.Praos Methods toCBOR ∷ Proof → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Proof → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Proof] → Size Source #
ToCBOR SignKey
Instance details Defined in Cardano.Crypto.VRF.Praos Methods toCBOR ∷ SignKey → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SignKey → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKey] → Size Source #
ToCBOR VerKey
Instance details Defined in Cardano.Crypto.VRF.Praos Methods toCBOR ∷ VerKey → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy VerKey → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKey] → Size Source #
ToCBOR Proof
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods toCBOR ∷ Proof → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Proof → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Proof] → Size Source #
ToCBOR SignKey
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods toCBOR ∷ SignKey → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy SignKey → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKey] → Size Source #
ToCBOR VerKey
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods toCBOR ∷ VerKey → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy VerKey → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKey] → Size Source #
ToCBOR TestSeed Source #
Instance details Defined in Test.Crypto.Util Methods toCBOR ∷ TestSeed → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy TestSeed → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TestSeed] → Size Source #
ToCBOR Encoding
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Encoding → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Encoding → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Encoding] → Size Source #
ToCBOR Term
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Term → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Term → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Term] → Size Source #
ToCBOR Text
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Text → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Text → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Text] → Size Source #
ToCBOR UTCTime
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ UTCTime → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy UTCTime → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UTCTime] → Size Source #
ToCBOR Integer
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Integer → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Integer → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Integer] → Size Source #
ToCBOR Natural
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Natural → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Natural → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Natural] → Size Source #
ToCBOR ()
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ () → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy () → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [()] → Size Source #
ToCBOR Bool
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Bool → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Bool → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Bool] → Size Source #
ToCBOR Double
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Double → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Double → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Double] → Size Source #
ToCBOR Float
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Float → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Float → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Float] → Size Source #
ToCBOR Int
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Int → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Int → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Int] → Size Source #
ToCBOR Word
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Word → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy Word → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Word] → Size Source #
ToCBOR a ⇒ ToCBOR (Ratio a)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Ratio a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Ratio a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Ratio a] → Size Source #
Typeable xs ⇒ ToCBOR (LengthOf xs)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ LengthOf xs → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (LengthOf xs) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [LengthOf xs] → Size Source #
ToCBOR (SigDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR ∷ SigDSIGN EcdsaSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN EcdsaSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN EcdsaSecp256k1DSIGN] → Size Source #
ToCBOR (SigDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR ∷ SigDSIGN Ed25519DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN Ed25519DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN Ed25519DSIGN] → Size Source #
ToCBOR (SigDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods toCBOR ∷ SigDSIGN Ed448DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN Ed448DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN Ed448DSIGN] → Size Source #
ToCBOR (SigDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods toCBOR ∷ SigDSIGN MockDSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN MockDSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN MockDSIGN] → Size Source #
ToCBOR (SigDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR ∷ SigDSIGN SchnorrSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN SchnorrSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN SchnorrSecp256k1DSIGN] → Size Source #
ToCBOR (SignKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN EcdsaSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN EcdsaSecp256k1DSIGN] → Size Source #
ToCBOR (SignKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR ∷ SignKeyDSIGN Ed25519DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN Ed25519DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN Ed25519DSIGN] → Size Source #
ToCBOR (SignKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods toCBOR ∷ SignKeyDSIGN Ed448DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN Ed448DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN Ed448DSIGN] → Size Source #
ToCBOR (SignKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods toCBOR ∷ SignKeyDSIGN MockDSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN MockDSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN MockDSIGN] → Size Source #
ToCBOR (SignKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN SchnorrSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN SchnorrSecp256k1DSIGN] → Size Source #
(TypeError ('Text "CBOR encoding would violate mlocking guarantees") ∷ Constraint) ⇒ ToCBOR (SignKeyDSIGNM Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR ∷ SignKeyDSIGNM Ed25519DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGNM Ed25519DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGNM Ed25519DSIGN] → Size Source #
ToCBOR (VerKeyDSIGN EcdsaSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN EcdsaSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN EcdsaSecp256k1DSIGN] → Size Source #
ToCBOR (VerKeyDSIGN Ed25519DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed25519 Methods toCBOR ∷ VerKeyDSIGN Ed25519DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN Ed25519DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN Ed25519DSIGN] → Size Source #
ToCBOR (VerKeyDSIGN Ed448DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Ed448 Methods toCBOR ∷ VerKeyDSIGN Ed448DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN Ed448DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN Ed448DSIGN] → Size Source #
ToCBOR (VerKeyDSIGN MockDSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.Mock Methods toCBOR ∷ VerKeyDSIGN MockDSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN MockDSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN MockDSIGN] → Size Source #
ToCBOR (VerKeyDSIGN SchnorrSecp256k1DSIGN)
Instance details Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1 Methods toCBOR ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN SchnorrSecp256k1DSIGN) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN SchnorrSecp256k1DSIGN] → Size Source #
(DSIGNMAlgorithm d, KnownNat (SizeSigKES (CompactSingleKES d))) ⇒ ToCBOR (SigKES (CompactSingleKES d))
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods toCBOR ∷ SigKES (CompactSingleKES d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigKES (CompactSingleKES d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigKES (CompactSingleKES d)] → Size Source #
(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ ToCBOR (SigKES (CompactSumKES h d))
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods toCBOR ∷ SigKES (CompactSumKES h d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigKES (CompactSumKES h d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigKES (CompactSumKES h d)] → Size Source #
KnownNat t ⇒ ToCBOR (SigKES (MockKES t))
Instance details Defined in Cardano.Crypto.KES.Mock Methods toCBOR ∷ SigKES (MockKES t) → Encoding Source # encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (SigKES (MockKES t)) → Size Source # encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [SigKES (MockKES t)] → Size Source #
(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (SizeVerKeyDSIGN d * t), KnownNat (SizeSignKeyDSIGN d * t)) ⇒ ToCBOR (SigKES (SimpleKES d t))
Instance details Defined in Cardano.Crypto.KES.Simple Methods toCBOR ∷ SigKES (SimpleKES d t) → Encoding Source # encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (SigKES (SimpleKES d t)) → Size Source # encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [SigKES (SimpleKES d t)] → Size Source #
DSIGNMAlgorithm d ⇒ ToCBOR (SigKES (SingleKES d))
Instance details Defined in Cardano.Crypto.KES.Single Methods toCBOR ∷ SigKES (SingleKES d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigKES (SingleKES d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigKES (SingleKES d)] → Size Source #
(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d) ⇒ ToCBOR (SigKES (SumKES h d))
Instance details Defined in Cardano.Crypto.KES.Sum Methods toCBOR ∷ SigKES (SumKES h d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigKES (SumKES h d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigKES (SumKES h d)] → Size Source #
(UnsoundDSIGNMAlgorithm d, KnownNat (SizeSigDSIGN d + SizeVerKeyDSIGN d)) ⇒ ToCBOR (UnsoundPureSignKeyKES (CompactSingleKES d))
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods toCBOR ∷ UnsoundPureSignKeyKES (CompactSingleKES d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (UnsoundPureSignKeyKES (CompactSingleKES d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UnsoundPureSignKeyKES (CompactSingleKES d)] → Size Source #
(SizeHash h ~ SeedSizeKES d, OptimizedKESAlgorithm d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ ToCBOR (UnsoundPureSignKeyKES (CompactSumKES h d))
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods toCBOR ∷ UnsoundPureSignKeyKES (CompactSumKES h d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (UnsoundPureSignKeyKES (CompactSumKES h d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UnsoundPureSignKeyKES (CompactSumKES h d)] → Size Source #
KnownNat t ⇒ ToCBOR (UnsoundPureSignKeyKES (MockKES t))
Instance details Defined in Cardano.Crypto.KES.Mock Methods toCBOR ∷ UnsoundPureSignKeyKES (MockKES t) → Encoding Source # encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (UnsoundPureSignKeyKES (MockKES t)) → Size Source # encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [UnsoundPureSignKeyKES (MockKES t)] → Size Source #
UnsoundDSIGNMAlgorithm d ⇒ ToCBOR (UnsoundPureSignKeyKES (SingleKES d))
Instance details Defined in Cardano.Crypto.KES.Single Methods toCBOR ∷ UnsoundPureSignKeyKES (SingleKES d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (UnsoundPureSignKeyKES (SingleKES d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UnsoundPureSignKeyKES (SingleKES d)] → Size Source #
(SizeHash h ~ SeedSizeKES d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KnownNat (SizeVerKeyKES (SumKES h d)), KnownNat (SizeSignKeyKES (SumKES h d)), KnownNat (SizeSigKES (SumKES h d))) ⇒ ToCBOR (UnsoundPureSignKeyKES (SumKES h d))
Instance details Defined in Cardano.Crypto.KES.Sum Methods toCBOR ∷ UnsoundPureSignKeyKES (SumKES h d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (UnsoundPureSignKeyKES (SumKES h d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [UnsoundPureSignKeyKES (SumKES h d)] → Size Source #
(DSIGNMAlgorithm d, KnownNat (SizeSigDSIGN d + SizeVerKeyDSIGN d)) ⇒ ToCBOR (VerKeyKES (CompactSingleKES d))
Instance details Defined in Cardano.Crypto.KES.CompactSingle Methods toCBOR ∷ VerKeyKES (CompactSingleKES d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyKES (CompactSingleKES d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyKES (CompactSingleKES d)] → Size Source #
(OptimizedKESAlgorithm d, SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (SizeVerKeyKES (CompactSumKES h d)), KnownNat (SizeSignKeyKES (CompactSumKES h d)), KnownNat (SizeSigKES (CompactSumKES h d))) ⇒ ToCBOR (VerKeyKES (CompactSumKES h d))
Instance details Defined in Cardano.Crypto.KES.CompactSum Methods toCBOR ∷ VerKeyKES (CompactSumKES h d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyKES (CompactSumKES h d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyKES (CompactSumKES h d)] → Size Source #
KnownNat t ⇒ ToCBOR (VerKeyKES (MockKES t))
Instance details Defined in Cardano.Crypto.KES.Mock Methods toCBOR ∷ VerKeyKES (MockKES t) → Encoding Source # encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (VerKeyKES (MockKES t)) → Size Source # encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [VerKeyKES (MockKES t)] → Size Source #
(DSIGNMAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t), KnownNat (SizeVerKeyDSIGN d * t), KnownNat (SizeSignKeyDSIGN d * t)) ⇒ ToCBOR (VerKeyKES (SimpleKES d t))
Instance details Defined in Cardano.Crypto.KES.Simple Methods toCBOR ∷ VerKeyKES (SimpleKES d t) → Encoding Source # encodedSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy (VerKeyKES (SimpleKES d t)) → Size Source # encodedListSizeExpr ∷ (∀ t0. ToCBOR t0 ⇒ Proxy t0 → Size) → Proxy [VerKeyKES (SimpleKES d t)] → Size Source #
DSIGNMAlgorithm d ⇒ ToCBOR (VerKeyKES (SingleKES d))
Instance details Defined in Cardano.Crypto.KES.Single Methods toCBOR ∷ VerKeyKES (SingleKES d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyKES (SingleKES d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyKES (SingleKES d)] → Size Source #
(KESAlgorithm (SumKES h d), SodiumHashAlgorithm h, SizeHash h ~ SeedSizeKES d) ⇒ ToCBOR (VerKeyKES (SumKES h d))
Instance details Defined in Cardano.Crypto.KES.Sum Methods toCBOR ∷ VerKeyKES (SumKES h d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyKES (SumKES h d)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyKES (SumKES h d)] → Size Source #
ToCBOR (CertVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods toCBOR ∷ CertVRF MockVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CertVRF MockVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CertVRF MockVRF] → Size Source #
ToCBOR (CertVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods toCBOR ∷ CertVRF SimpleVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CertVRF SimpleVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CertVRF SimpleVRF] → Size Source #
ToCBOR (CertVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods toCBOR ∷ CertVRF PraosVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CertVRF PraosVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CertVRF PraosVRF] → Size Source #
ToCBOR (CertVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods toCBOR ∷ CertVRF PraosBatchCompatVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CertVRF PraosBatchCompatVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CertVRF PraosBatchCompatVRF] → Size Source #
Typeable v ⇒ ToCBOR (OutputVRF v)
Instance details Defined in Cardano.Crypto.VRF.Class Methods toCBOR ∷ OutputVRF v → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (OutputVRF v) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [OutputVRF v] → Size Source #
ToCBOR (SignKeyVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods toCBOR ∷ SignKeyVRF MockVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyVRF MockVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyVRF MockVRF] → Size Source #
ToCBOR (SignKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods toCBOR ∷ SignKeyVRF SimpleVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyVRF SimpleVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyVRF SimpleVRF] → Size Source #
ToCBOR (SignKeyVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods toCBOR ∷ SignKeyVRF PraosVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyVRF PraosVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyVRF PraosVRF] → Size Source #
ToCBOR (SignKeyVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods toCBOR ∷ SignKeyVRF PraosBatchCompatVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyVRF PraosBatchCompatVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyVRF PraosBatchCompatVRF] → Size Source #
ToCBOR (VerKeyVRF MockVRF)
Instance details Defined in Cardano.Crypto.VRF.Mock Methods toCBOR ∷ VerKeyVRF MockVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyVRF MockVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyVRF MockVRF] → Size Source #
ToCBOR (VerKeyVRF SimpleVRF)
Instance details Defined in Cardano.Crypto.VRF.Simple Methods toCBOR ∷ VerKeyVRF SimpleVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyVRF SimpleVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyVRF SimpleVRF] → Size Source #
ToCBOR (VerKeyVRF PraosVRF)
Instance details Defined in Cardano.Crypto.VRF.Praos Methods toCBOR ∷ VerKeyVRF PraosVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyVRF PraosVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyVRF PraosVRF] → Size Source #
ToCBOR (VerKeyVRF PraosBatchCompatVRF)
Instance details Defined in Cardano.Crypto.VRF.PraosBatchCompat Methods toCBOR ∷ VerKeyVRF PraosBatchCompatVRF → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyVRF PraosBatchCompatVRF) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyVRF PraosBatchCompatVRF] → Size Source #
ToCBOR a ⇒ ToCBOR (Seq a)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Seq a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Seq a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Seq a] → Size Source #
(Ord a, ToCBOR a) ⇒ ToCBOR (Set a)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Set a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Set a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Set a] → Size Source #
ToCBOR a ⇒ ToCBOR (Vector a)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Vector a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Vector a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Vector a] → Size Source #
ToCBOR a ⇒ ToCBOR (NonEmpty a)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ NonEmpty a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (NonEmpty a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [NonEmpty a] → Size Source #
ToCBOR a ⇒ ToCBOR (Maybe a)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Maybe a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Maybe a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Maybe a] → Size Source #
ToCBOR a ⇒ ToCBOR [a]
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ [a] → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [a] → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [[a]] → Size Source #
(ToCBOR a, ToCBOR b) ⇒ ToCBOR (Either a b)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Either a b → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Either a b) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Either a b] → Size Source #
Typeable a ⇒ ToCBOR (Fixed a)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Fixed a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Fixed a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Fixed a] → Size Source #
(HashAlgorithm h, Typeable a) ⇒ ToCBOR (Hash h a)
Instance details Defined in Cardano.Crypto.Hash.Class Methods toCBOR ∷ Hash h a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Hash h a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Hash h a] → Size Source #
(VRFAlgorithm v, Typeable a) ⇒ ToCBOR (CertifiedVRF v a)
Instance details Defined in Cardano.Crypto.VRF.Class Methods toCBOR ∷ CertifiedVRF v a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (CertifiedVRF v a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [CertifiedVRF v a] → Size Source #
(Ord k, ToCBOR k, ToCBOR v) ⇒ ToCBOR (Map k v)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Map k v → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Map k v) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Map k v] → Size Source #
ToCBOR (Tokens → Tokens)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ (Tokens → Tokens) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tokens → Tokens) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tokens → Tokens] → Size Source #
(ToCBOR a, ToCBOR b) ⇒ ToCBOR (a, b)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ (a, b) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (a, b) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [(a, b)] → Size Source #
(Typeable s, ToCBOR a) ⇒ ToCBOR (Tagged s a)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Tagged s a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Tagged s a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Tagged s a] → Size Source #
(ToCBOR a, ToCBOR b, ToCBOR c) ⇒ ToCBOR (a, b, c)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ (a, b, c) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (a, b, c) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [(a, b, c)] → Size Source #
(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d) ⇒ ToCBOR (a, b, c, d)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ (a, b, c, d) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (a, b, c, d) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [(a, b, c, d)] → Size Source #
(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d, ToCBOR e) ⇒ ToCBOR (a, b, c, d, e)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ (a, b, c, d, e) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (a, b, c, d, e) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [(a, b, c, d, e)] → Size Source #
(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d, ToCBOR e, ToCBOR f) ⇒ ToCBOR (a, b, c, d, e, f)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ (a, b, c, d, e, f) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (a, b, c, d, e, f) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [(a, b, c, d, e, f)] → Size Source #
(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d, ToCBOR e, ToCBOR f, ToCBOR g) ⇒ ToCBOR (a, b, c, d, e, f, g)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ (a, b, c, d, e, f, g) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (a, b, c, d, e, f, g) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [(a, b, c, d, e, f, g)] → Size Source #
(ToCBOR a, ToCBOR b, ToCBOR c, ToCBOR d, ToCBOR e, ToCBOR f, ToCBOR g, ToCBOR h) ⇒ ToCBOR (a, b, c, d, e, f, g, h)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ (a, b, c, d, e, f, g, h) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (a, b, c, d, e, f, g, h) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [(a, b, c, d, e, f, g, h)] → Size Source #

prop_cbor ∷ (ToCBOR a, FromCBOR a, Eq a, Show a) ⇒ a → Property Source #

prop_cbor_size ∷ ∀ a. ToCBOR a ⇒ a → Property Source #

prop_cbor_with ∷ (Eq a, Show a) ⇒ (a → Encoding) → (∀ s. Decoder s a) → a → Property Source #

prop_cbor_valid ∷ (a → Encoding) → a → Property Source #

prop_cbor_roundtrip ∷ (Eq a, Show a) ⇒ (a → Encoding) → (∀ s. Decoder s a) → a → Property Source #

prop_raw_serialise ∷ (Eq a, Show a) ⇒ (a → ByteString) → (ByteString → Maybe a) → a → Property Source #

prop_raw_deserialise ∷ ∀ (a ∷ Type). Show a ⇒ (ByteString → Maybe a) → BadInputFor a → Property Source #

prop_size_serialise ∷ (a → ByteString) → Word → a → Property Source #

prop_cbor_direct_vs_class ∷ ToCBOR a ⇒ (a → Encoding) → a → Property Source #

The crypto algorithm classes have direct encoding functions, and the key types are also typically a member of the ToCBOR class. Where a ToCBOR instance is provided then these should match.

NoThunks

prop_no_thunks ∷ NoThunks a ⇒ a → Property Source #

When forcing the given value to WHNF, it may no longer contain thunks.

prop_no_thunks_IO ∷ NoThunks a ⇒ IO a → IO Property Source #

prop_no_thunks_IO_from ∷ NoThunks a ⇒ (b → IO a) → b → Property Source #

prop_no_thunks_IO_with ∷ NoThunks a ⇒ Gen (IO a) → Property Source #

Test Seed

newtype TestSeed Source #

Constructors

TestSeed
Fields getTestSeed ∷ (Word64, Word64, Word64, Word64, Word64)

Instances

Instances details

Arbitrary TestSeed Source #
Instance details Defined in Test.Crypto.Util Methods arbitrary ∷ Gen TestSeed Source # shrink ∷ TestSeed → [TestSeed] Source #
Show TestSeed Source #
Instance details Defined in Test.Crypto.Util Methods showsPrec ∷ Int → TestSeed → ShowS Source # show ∷ TestSeed → String Source # showList ∷ [TestSeed] → ShowS Source #
FromCBOR TestSeed Source #
Instance details Defined in Test.Crypto.Util Methods fromCBOR ∷ Decoder s TestSeed Source # label ∷ Proxy TestSeed → Text Source #
ToCBOR TestSeed Source #
Instance details Defined in Test.Crypto.Util Methods toCBOR ∷ TestSeed → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy TestSeed → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [TestSeed] → Size Source #
Eq TestSeed Source #
Instance details Defined in Test.Crypto.Util Methods (==) ∷ TestSeed → TestSeed → Bool Source # (/=) ∷ TestSeed → TestSeed → Bool Source #
Ord TestSeed Source #
Instance details Defined in Test.Crypto.Util Methods compare ∷ TestSeed → TestSeed → Ordering Source # (<) ∷ TestSeed → TestSeed → Bool Source # (<=) ∷ TestSeed → TestSeed → Bool Source # (>) ∷ TestSeed → TestSeed → Bool Source # (>=) ∷ TestSeed → TestSeed → Bool Source # max ∷ TestSeed → TestSeed → TestSeed Source # min ∷ TestSeed → TestSeed → TestSeed Source #

withTestSeed ∷ TestSeed → MonadPseudoRandom ChaChaDRG a → a Source #

testSeedToChaCha ∷ TestSeed → ChaChaDRG Source #

nullTestSeed ∷ TestSeed Source #

Seeds

data SizedSeed (n ∷ Nat) Source #

Instances

Instances details

KnownNat n ⇒ Arbitrary (SizedSeed n) Source #
Instance details Defined in Test.Crypto.Util Methods arbitrary ∷ Gen (SizedSeed n) Source # shrink ∷ SizedSeed n → [SizedSeed n] Source #
Show (SizedSeed n) Source #
Instance details Defined in Test.Crypto.Util Methods showsPrec ∷ Int → SizedSeed n → ShowS Source # show ∷ SizedSeed n → String Source # showList ∷ [SizedSeed n] → ShowS Source #

unSizedSeed ∷ SizedSeed n → Seed Source #

arbitrarySeedOfSize ∷ Word → Gen Seed Source #

arbitrarySeedBytesOfSize ∷ Word → Gen ByteString Source #

test messages for signings

newtype Message Source #

Constructors

Message
Fields messageBytes ∷ ByteString

Instances

Instances details

Arbitrary Message Source #
Instance details Defined in Test.Crypto.Util Methods arbitrary ∷ Gen Message Source # shrink ∷ Message → [Message] Source #
Show Message Source #
Instance details Defined in Test.Crypto.Util Methods showsPrec ∷ Int → Message → ShowS Source # show ∷ Message → String Source # showList ∷ [Message] → ShowS Source #
SignableRepresentation Message Source #
Instance details Defined in Test.Crypto.Util Methods getSignableRepresentation ∷ Message → ByteString Source #
Eq Message Source #
Instance details Defined in Test.Crypto.Util Methods (==) ∷ Message → Message → Bool Source # (/=) ∷ Message → Message → Bool Source #

Test generation and shrinker helpers

data BadInputFor (a ∷ Type) Source #

Instances

Instances details

Show (BadInputFor a) Source #
Instance details Defined in Test.Crypto.Util Methods showsPrec ∷ Int → BadInputFor a → ShowS Source # show ∷ BadInputFor a → String Source # showList ∷ [BadInputFor a] → ShowS Source #
Eq (BadInputFor a) Source #
Instance details Defined in Test.Crypto.Util Methods (==) ∷ BadInputFor a → BadInputFor a → Bool Source # (/=) ∷ BadInputFor a → BadInputFor a → Bool Source #

genBadInputFor ∷ ∀ (a ∷ Type). Int → Gen (BadInputFor a) Source #

shrinkBadInputFor ∷ ∀ (a ∷ Type). BadInputFor a → [BadInputFor a] Source #

showBadInputFor ∷ ∀ (a ∷ Type). BadInputFor a → String Source #

Formatting

hexBS ∷ ByteString → String Source #

Helpers for testing IO actions

noExceptionsThrown ∷ Applicative m ⇒ m Property Source #

Return a property that always succeeds in some monad (typically IO). This is useful to express that we are only interested in whether the side effects of the preceding actions caused any exceptions or not - if they did, then the test will fail because of it, but if they did not, then noExceptionsThrown will be reached, and the test will succeed.

doesNotThrow ∷ Applicative m ⇒ m a → m Property Source #

Chain monadic action with noExceptionsThrown to express that we only want to make sure that the action does not throw any exceptions, but we are not interested in its result.

Direct ser/deser helpers

directSerialiseToBS ∷ ∀ m a. DirectSerialise a ⇒ MonadST m ⇒ MonadThrow m ⇒ Int → a → m ByteString Source #

directDeserialiseFromBS ∷ ∀ m a. DirectDeserialise a ⇒ MonadST m ⇒ MonadThrow m ⇒ ByteString → m a Source #

Error handling

eitherShowError ∷ (HasCallStack, Show e) ⇒ Either e a → IO a Source #

Locking

data Lock Source #

withLock ∷ Lock → IO a → IO a Source #

mkLock ∷ IO Lock Source #