Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Crypto.Util

Contents

CBOR
NoThunks
Test Seed
Seeds
Keygen
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_bad_cbor_bytes ∷ ∀ (a ∷ Type). (Show a, FromCBOR a) ⇒ BadInputFor 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
prop_keygen_context_changes_verkey ∷ ∀ v. (DSIGNAlgorithm v, Eq (KeyGenContextDSIGN v), Show (KeyGenContextDSIGN v)) ⇒ Proxy v → Gen (KeyGenContextDSIGN v) → SizedSeed (SeedSizeDSIGN v) → Property
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 ByteArray
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s ByteArray Source # label ∷ Proxy ByteArray → Text Source #
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 IPv4
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s IPv4 Source # label ∷ Proxy IPv4 → Text Source #
FromCBOR IPv6
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s IPv6 Source # label ∷ Proxy IPv6 → Text Source #
FromCBOR MessageHash
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods fromCBOR ∷ Decoder s MessageHash Source # label ∷ Proxy MessageHash → Text Source #
FromCBOR TestSeed Source #
Instance details Defined in Test.Crypto.Util Methods fromCBOR ∷ Decoder s TestSeed Source # label ∷ Proxy TestSeed → Text Source #
FromCBOR ByteArray
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s ByteArray Source # label ∷ Proxy ByteArray → 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 a ⇒ FromCBOR (NonEmpty a)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (NonEmpty a) Source # label ∷ Proxy (NonEmpty a) → Text Source #
(BLS12381CurveConstraints curve, KnownNat (CompressedPointSize (DualCurve curve) + CompressedPointSize (DualCurve curve))) ⇒ FromCBOR (PossessionProofDSIGN (BLS12381DSIGN curve))
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods fromCBOR ∷ Decoder s (PossessionProofDSIGN (BLS12381DSIGN curve)) Source # label ∷ Proxy (PossessionProofDSIGN (BLS12381DSIGN curve)) → Text Source #
BLS12381CurveConstraints curve ⇒ FromCBOR (SigDSIGN (BLS12381DSIGN curve))
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods fromCBOR ∷ Decoder s (SigDSIGN (BLS12381DSIGN curve)) Source # label ∷ Proxy (SigDSIGN (BLS12381DSIGN curve)) → 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 #
BLS12381CurveConstraints curve ⇒ FromCBOR (SignKeyDSIGN (BLS12381DSIGN curve))
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods fromCBOR ∷ Decoder s (SignKeyDSIGN (BLS12381DSIGN curve)) Source # label ∷ Proxy (SignKeyDSIGN (BLS12381DSIGN curve)) → 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 #
BLS12381CurveConstraints curve ⇒ FromCBOR (VerKeyDSIGN (BLS12381DSIGN curve))
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods fromCBOR ∷ Decoder s (VerKeyDSIGN (BLS12381DSIGN curve)) Source # label ∷ Proxy (VerKeyDSIGN (BLS12381DSIGN curve)) → 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 (SigSizeKES (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, HashSize h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (VerKeySizeKES (CompactSumKES h d)), KnownNat (SignKeySizeKES (CompactSumKES h d)), KnownNat (SigSizeKES (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 (VerKeySizeDSIGN d * t), KnownNat (SignKeySizeDSIGN 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, HashSize 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 (SigSizeDSIGN d + VerKeySizeDSIGN 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 #
(HashSize h ~ SeedSizeKES d, OptimizedKESAlgorithm d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KnownNat (VerKeySizeKES (CompactSumKES h d)), KnownNat (SignKeySizeKES (CompactSumKES h d)), KnownNat (SigSizeKES (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 #
(HashSize h ~ SeedSizeKES d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KnownNat (VerKeySizeKES (SumKES h d)), KnownNat (SignKeySizeKES (SumKES h d)), KnownNat (SigSizeKES (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 (SigSizeDSIGN d + VerKeySizeDSIGN 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, HashSize h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (VerKeySizeKES (CompactSumKES h d)), KnownNat (SignKeySizeKES (CompactSumKES h d)), KnownNat (SigSizeKES (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 (VerKeySizeDSIGN d * t), KnownNat (SignKeySizeDSIGN 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, HashSize 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 #
KnownNat n ⇒ FromCBOR (PackedBytes n)
Instance details Defined in Cardano.Crypto.PackedBytes.Internal Methods fromCBOR ∷ Decoder s (PackedBytes n) Source # label ∷ Proxy (PackedBytes n) → Text Source #
KnownNat n ⇒ FromCBOR (PinnedSizedBytes n)
Instance details Defined in Cardano.Crypto.PinnedSizedBytes Methods fromCBOR ∷ Decoder s (PinnedSizedBytes n) Source # label ∷ Proxy (PinnedSizedBytes n) → 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 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 (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 ByteArray
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ ByteArray → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ByteArray → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ByteArray] → Size Source #
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 IPv4
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ IPv4 → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy IPv4 → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [IPv4] → Size Source #
ToCBOR IPv6
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ IPv6 → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy IPv6 → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [IPv6] → Size Source #
ToCBOR MessageHash
Instance details Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1 Methods toCBOR ∷ MessageHash → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy MessageHash → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [MessageHash] → 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 ByteArray
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ ByteArray → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy ByteArray → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [ByteArray] → 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 (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 (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 #
(BLS12381CurveConstraints curve, KnownNat (CompressedPointSize (DualCurve curve) + CompressedPointSize (DualCurve curve))) ⇒ ToCBOR (PossessionProofDSIGN (BLS12381DSIGN curve))
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods toCBOR ∷ PossessionProofDSIGN (BLS12381DSIGN curve) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PossessionProofDSIGN (BLS12381DSIGN curve)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PossessionProofDSIGN (BLS12381DSIGN curve)] → Size Source #
BLS12381CurveConstraints curve ⇒ ToCBOR (SigDSIGN (BLS12381DSIGN curve))
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods toCBOR ∷ SigDSIGN (BLS12381DSIGN curve) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SigDSIGN (BLS12381DSIGN curve)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SigDSIGN (BLS12381DSIGN curve)] → 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 #
BLS12381CurveConstraints curve ⇒ ToCBOR (SignKeyDSIGN (BLS12381DSIGN curve))
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods toCBOR ∷ SignKeyDSIGN (BLS12381DSIGN curve) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (SignKeyDSIGN (BLS12381DSIGN curve)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [SignKeyDSIGN (BLS12381DSIGN curve)] → 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 #
BLS12381CurveConstraints curve ⇒ ToCBOR (VerKeyDSIGN (BLS12381DSIGN curve))
Instance details Defined in Cardano.Crypto.DSIGN.BLS12381 Methods toCBOR ∷ VerKeyDSIGN (BLS12381DSIGN curve) → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (VerKeyDSIGN (BLS12381DSIGN curve)) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [VerKeyDSIGN (BLS12381DSIGN curve)] → 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 (SigSizeKES (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, HashSize h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (VerKeySizeKES (CompactSumKES h d)), KnownNat (SignKeySizeKES (CompactSumKES h d)), KnownNat (SigSizeKES (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 (VerKeySizeDSIGN d * t), KnownNat (SignKeySizeDSIGN 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, HashSize 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 (SigSizeDSIGN d + VerKeySizeDSIGN 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 #
(HashSize h ~ SeedSizeKES d, OptimizedKESAlgorithm d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KnownNat (VerKeySizeKES (CompactSumKES h d)), KnownNat (SignKeySizeKES (CompactSumKES h d)), KnownNat (SigSizeKES (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 #
(HashSize h ~ SeedSizeKES d, UnsoundPureKESAlgorithm d, SodiumHashAlgorithm h, KnownNat (VerKeySizeKES (SumKES h d)), KnownNat (SignKeySizeKES (SumKES h d)), KnownNat (SigSizeKES (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 (SigSizeDSIGN d + VerKeySizeDSIGN 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, HashSize h ~ SeedSizeKES d, NoThunks (VerKeyKES (CompactSumKES h d)), KnownNat (VerKeySizeKES (CompactSumKES h d)), KnownNat (SignKeySizeKES (CompactSumKES h d)), KnownNat (SigSizeKES (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 (VerKeySizeDSIGN d * t), KnownNat (SignKeySizeDSIGN 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, HashSize 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 #
KnownNat n ⇒ ToCBOR (PackedBytes n)
Instance details Defined in Cardano.Crypto.PackedBytes.Internal Methods toCBOR ∷ PackedBytes n → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PackedBytes n) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PackedBytes n] → Size Source #
KnownNat n ⇒ ToCBOR (PinnedSizedBytes n)
Instance details Defined in Cardano.Crypto.PinnedSizedBytes Methods toCBOR ∷ PinnedSizedBytes n → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (PinnedSizedBytes n) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [PinnedSizedBytes n] → 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 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 (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 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 #
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 #
(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.

prop_bad_cbor_bytes ∷ ∀ (a ∷ Type). (Show a, FromCBOR a) ⇒ BadInputFor a → Property Source #

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 # show ∷ TestSeed → String # showList ∷ [TestSeed] → ShowS #
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 # (/=) ∷ TestSeed → TestSeed → Bool #
Ord TestSeed Source #
Instance details Defined in Test.Crypto.Util Methods compare ∷ TestSeed → TestSeed → Ordering # (<) ∷ TestSeed → TestSeed → Bool # (<=) ∷ TestSeed → TestSeed → Bool # (>) ∷ TestSeed → TestSeed → Bool # (>=) ∷ TestSeed → TestSeed → Bool # max ∷ TestSeed → TestSeed → TestSeed # min ∷ TestSeed → TestSeed → TestSeed #

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 # show ∷ SizedSeed n → String # showList ∷ [SizedSeed n] → ShowS #

unSizedSeed ∷ SizedSeed n → Seed Source #

arbitrarySeedOfSize ∷ Word → Gen Seed Source #

arbitrarySeedBytesOfSize ∷ Word → Gen ByteString Source #

Keygen

prop_keygen_context_changes_verkey ∷ ∀ v. (DSIGNAlgorithm v, Eq (KeyGenContextDSIGN v), Show (KeyGenContextDSIGN v)) ⇒ Proxy v → Gen (KeyGenContextDSIGN v) → SizedSeed (SeedSizeDSIGN v) → Property Source #

For algorithms where key generation depends on a keygen context: using the same seed but different keygen contexts should yield different verification keys.

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 # show ∷ Message → String # showList ∷ [Message] → ShowS #
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 # (/=) ∷ Message → Message → Bool #

Test generation and shrinker helpers

data BadInputFor (a ∷ Type) Source #

Instances

Instances details

DSIGNAggregatable v ⇒ Arbitrary (BadInputFor (PossessionProofDSIGN v)) Source #
Instance details Defined in Test.Crypto.DSIGN Methods arbitrary ∷ Gen (BadInputFor (PossessionProofDSIGN v)) Source # shrink ∷ BadInputFor (PossessionProofDSIGN v) → [BadInputFor (PossessionProofDSIGN v)] Source #
DSIGNAlgorithm v ⇒ Arbitrary (BadInputFor (SigDSIGN v)) Source #
Instance details Defined in Test.Crypto.Util Methods arbitrary ∷ Gen (BadInputFor (SigDSIGN v)) Source # shrink ∷ BadInputFor (SigDSIGN v) → [BadInputFor (SigDSIGN v)] Source #
DSIGNAlgorithm v ⇒ Arbitrary (BadInputFor (SignKeyDSIGN v)) Source #
Instance details Defined in Test.Crypto.Util Methods arbitrary ∷ Gen (BadInputFor (SignKeyDSIGN v)) Source # shrink ∷ BadInputFor (SignKeyDSIGN v) → [BadInputFor (SignKeyDSIGN v)] Source #
DSIGNAlgorithm v ⇒ Arbitrary (BadInputFor (VerKeyDSIGN v)) Source #
Instance details Defined in Test.Crypto.Util Methods arbitrary ∷ Gen (BadInputFor (VerKeyDSIGN v)) Source # shrink ∷ BadInputFor (VerKeyDSIGN v) → [BadInputFor (VerKeyDSIGN v)] Source #
Arbitrary (BadInputFor MessageHash) Source #
Instance details Defined in Test.Crypto.DSIGN Methods arbitrary ∷ Gen (BadInputFor MessageHash) Source # shrink ∷ BadInputFor MessageHash → [BadInputFor MessageHash] Source #
HashAlgorithm h ⇒ Arbitrary (BadInputFor (Hash h a)) Source #
Instance details Defined in Test.Crypto.Util Methods arbitrary ∷ Gen (BadInputFor (Hash h a)) Source # shrink ∷ BadInputFor (Hash h a) → [BadInputFor (Hash h a)] Source #
Show (BadInputFor a) Source #
Instance details Defined in Test.Crypto.Util Methods showsPrec ∷ Int → BadInputFor a → ShowS # show ∷ BadInputFor a → String # showList ∷ [BadInputFor a] → ShowS #
Eq (BadInputFor a) Source #
Instance details Defined in Test.Crypto.Util Methods (==) ∷ BadInputFor a → BadInputFor a → Bool # (/=) ∷ BadInputFor a → BadInputFor a → Bool #

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 #