cardano-ledger-binary-1.9.0.0: Binary serialization library used throughout ledger
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Binary.Encoding

Synopsis

Running decoders

serialize ∷ EncCBOR a ⇒ Version → a → ByteString Source #

Serialize a Haskell value with a EncCBOR instance to an external binary representation.

The output is represented as a lazy ByteString and is constructed incrementally.

serialize' ∷ EncCBOR a ⇒ Version → a → ByteString Source #

Serialize a Haskell value to an external binary representation.

The output is represented as a strict ByteString.

serializeBuilder ∷ EncCBOR a ⇒ Version → a → Builder Source #

Serialize into a Builder. Useful if you want to throw other ByteStrings around it.

Hash

hashWithEncoder ∷ HashAlgorithm h ⇒ Version → (a → Encoding) → a → Hash h a Source #

hashEncCBOR ∷ (HashAlgorithm h, EncCBOR a) ⇒ Version → a → Hash h a Source #

module Cardano.Ledger.Binary.Version

data Tokens Source #

A flattened representation of a term, which is independent of any underlying binary representation, but which we later serialise into CBOR format.

Since: cborg-0.2.0.0

Constructors

TkWord !Word Tokens 
TkWord64 !Word64 Tokens 
TkInt !Int Tokens 
TkInt64 !Int64 Tokens 
TkBytes !ByteString Tokens 
TkBytesBegin Tokens 
TkByteArray !SlicedByteArray Tokens 
TkString !Text Tokens 
TkUtf8ByteArray !SlicedByteArray Tokens 
TkStringBegin Tokens 
TkListLen !Word Tokens 
TkListBegin Tokens 
TkMapLen !Word Tokens 
TkMapBegin Tokens 
TkTag !Word Tokens 
TkTag64 !Word64 Tokens 
TkInteger !Integer Tokens 
TkNull Tokens 
TkUndef Tokens 
TkBool !Bool Tokens 
TkSimple !Word8 Tokens 
TkFloat16 !Float Tokens 
TkFloat32 !Float Tokens 
TkFloat64 !Double Tokens 
TkBreak Tokens 
TkEncoded !ByteString Tokens 
TkEnd 

Instances

Instances details
Show Tokens 
Instance details

Defined in Codec.CBOR.Encoding

Methods

showsPrec ∷ Int → Tokens → ShowS #

show ∷ Tokens → String #

showList ∷ [Tokens] → ShowS #

Eq Tokens 
Instance details

Defined in Codec.CBOR.Encoding

Methods

(==) ∷ Tokens → Tokens → Bool #

(/=) ∷ Tokens → Tokens → Bool #

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 #

EncCBOR (Tokens → Tokens) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ (Tokens → Tokens) → Encoding Source #

data Encoding Source #

Instances

Instances details
EncCBOR Encoding Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Encoding → Encoding Source #

Monoid Encoding Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.Encoder

Methods

mempty ∷ Encoding #

mappend ∷ Encoding → Encoding → Encoding #

mconcat ∷ [Encoding] → Encoding #

Semigroup Encoding Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.Encoder

Methods

(<>) ∷ Encoding → Encoding → Encoding #

sconcat ∷ NonEmpty Encoding → Encoding #

stimes ∷ Integral b ⇒ b → Encoding → Encoding #

encodeFloat ∷ Float → Encoding Source #

encodeWord ∷ Word → Encoding Source #

encodeWord8 ∷ Word8 → Encoding Source #

encodeWord16 ∷ Word16 → Encoding Source #

encodeWord32 ∷ Word32 → Encoding Source #

encodeWord64 ∷ Word64 → Encoding Source #

encodeInt ∷ Int → Encoding Source #

encodeInt8 ∷ Int8 → Encoding Source #

encodeInt16 ∷ Int16 → Encoding Source #

encodeInt32 ∷ Int32 → Encoding Source #

encodeInt64 ∷ Int64 → Encoding Source #

encodeInteger ∷ Integer → Encoding Source #

encodeBytes ∷ ByteString → Encoding Source #

encodeByteArray ∷ SlicedByteArray → Encoding Source #

encodeBytesIndef ∷ Encoding Source #

encodeString ∷ Text → Encoding Source #

encodeStringIndef ∷ Encoding Source #

encodeUtf8ByteArray ∷ SlicedByteArray → Encoding Source #

encodeListLen ∷ Word → Encoding Source #

encodeListLenIndef ∷ Encoding Source #

encodeMapLen ∷ Word → Encoding Source #

encodeMapLenIndef ∷ Encoding Source #

encodeBreak ∷ Encoding Source #

encodeTag ∷ Word → Encoding Source #

encodeTag64 ∷ Word64 → Encoding Source #

encodeBool ∷ Bool → Encoding Source #

encodeUndef ∷ Encoding Source #

encodeNull ∷ Encoding Source #

encodeSimple ∷ Word8 → Encoding Source #

encodeFloat16 ∷ Float → Encoding Source #

encodeDouble ∷ Double → Encoding Source #

encodePreEncoded ∷ ByteString → Encoding Source #

encodeSeq ∷ (a → Encoding) → Seq a → Encoding Source #

Encode a Seq. Variable length encoding for Sequences larger than 23 elements, otherwise exact length encoding

encodeMaybe ∷ (a → Encoding) → Maybe a → Encoding Source #

encodeNullMaybe ∷ (a → Encoding) → Maybe a → Encoding Source #

Alternative way to encode a Maybe type.

Note - this is not the default method for encoding Maybe, use encodeMaybe instead

class KnownNat (FixedSize a) ⇒ FixedSizeCodec a where Source #

Associated Types

type FixedSize a ∷ Nat Source #

Methods

rawEncodeFixedSized ∷ a → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m a Source #

Instances

Instances details
FixedSizeCodec MessageHash 
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Associated Types

type FixedSize MessageHash 
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

type FixedSize MessageHash = SECP256K1_ECDSA_MESSAGE_BYTES

Methods

rawEncodeFixedSized ∷ MessageHash → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m MessageHash Source #

FixedSizeCodec Proof 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Associated Types

type FixedSize Proof 
Instance details

Defined in Cardano.Crypto.VRF.Praos

type FixedSize Proof = 80

Methods

rawEncodeFixedSized ∷ Proof → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m Proof Source #

FixedSizeCodec SignKey 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Associated Types

type FixedSize SignKey 
Instance details

Defined in Cardano.Crypto.VRF.Praos

type FixedSize SignKey = 64

Methods

rawEncodeFixedSized ∷ SignKey → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m SignKey Source #

FixedSizeCodec VerKey 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Associated Types

type FixedSize VerKey 
Instance details

Defined in Cardano.Crypto.VRF.Praos

type FixedSize VerKey = 32

Methods

rawEncodeFixedSized ∷ VerKey → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m VerKey Source #

FixedSizeCodec Proof 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Associated Types

type FixedSize Proof 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

type FixedSize Proof = 128

Methods

rawEncodeFixedSized ∷ Proof → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m Proof Source #

FixedSizeCodec SignKey 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Associated Types

type FixedSize SignKey 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

type FixedSize SignKey = 64

Methods

rawEncodeFixedSized ∷ SignKey → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m SignKey Source #

FixedSizeCodec VerKey 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Associated Types

type FixedSize VerKey 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

type FixedSize VerKey = 32

Methods

rawEncodeFixedSized ∷ VerKey → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m VerKey Source #

BLS12381CurveConstraints curve ⇒ FixedSizeCodec (PossessionProofDSIGN (BLS12381DSIGN curve)) 
Instance details

Defined in Cardano.Crypto.DSIGN.BLS12381.Internal

Associated Types

type FixedSize (PossessionProofDSIGN (BLS12381DSIGN curve)) 
Instance details

Defined in Cardano.Crypto.DSIGN.BLS12381.Internal

type FixedSize (PossessionProofDSIGN (BLS12381DSIGN curve)) = PossessionProofSizeDSIGN (BLS12381DSIGN curve)

Methods

rawEncodeFixedSized ∷ PossessionProofDSIGN (BLS12381DSIGN curve) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (PossessionProofDSIGN (BLS12381DSIGN curve)) Source #

BLS12381CurveConstraints curve ⇒ FixedSizeCodec (SigDSIGN (BLS12381DSIGN curve)) 
Instance details

Defined in Cardano.Crypto.DSIGN.BLS12381.Internal

Associated Types

type FixedSize (SigDSIGN (BLS12381DSIGN curve)) 
Instance details

Defined in Cardano.Crypto.DSIGN.BLS12381.Internal

type FixedSize (SigDSIGN (BLS12381DSIGN curve)) = CompressedPointSize (DualCurve curve)

Methods

rawEncodeFixedSized ∷ SigDSIGN (BLS12381DSIGN curve) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigDSIGN (BLS12381DSIGN curve)) Source #

FixedSizeCodec (SigDSIGN EcdsaSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Associated Types

type FixedSize (SigDSIGN EcdsaSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

type FixedSize (SigDSIGN EcdsaSecp256k1DSIGN) = SECP256K1_ECDSA_SIGNATURE_BYTES

Methods

rawEncodeFixedSized ∷ SigDSIGN EcdsaSecp256k1DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigDSIGN EcdsaSecp256k1DSIGN) Source #

FixedSizeCodec (SigDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Associated Types

type FixedSize (SigDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type FixedSize (SigDSIGN Ed25519DSIGN) = CRYPTO_SIGN_ED25519_BYTES

Methods

rawEncodeFixedSized ∷ SigDSIGN Ed25519DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigDSIGN Ed25519DSIGN) Source #

FixedSizeCodec (SigDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Associated Types

type FixedSize (SigDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

type FixedSize (SigDSIGN Ed448DSIGN) = 114

Methods

rawEncodeFixedSized ∷ SigDSIGN Ed448DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigDSIGN Ed448DSIGN) Source #

FixedSizeCodec (SigDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

type FixedSize (SigDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type FixedSize (SigDSIGN MockDSIGN) = HashSize ShortHash + 8

Methods

rawEncodeFixedSized ∷ SigDSIGN MockDSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigDSIGN MockDSIGN) Source #

FixedSizeCodec (SigDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Associated Types

type FixedSize (SigDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

type FixedSize (SigDSIGN NeverDSIGN) = 0

Methods

rawEncodeFixedSized ∷ SigDSIGN NeverDSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigDSIGN NeverDSIGN) Source #

FixedSizeCodec (SigDSIGN SchnorrSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Associated Types

type FixedSize (SigDSIGN SchnorrSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

type FixedSize (SigDSIGN SchnorrSecp256k1DSIGN) = SECP256K1_SCHNORR_SIGNATURE_BYTES

Methods

rawEncodeFixedSized ∷ SigDSIGN SchnorrSecp256k1DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigDSIGN SchnorrSecp256k1DSIGN) Source #

FixedSizeCodec (SignKeyDSIGN (BLS12381DSIGN curve)) 
Instance details

Defined in Cardano.Crypto.DSIGN.BLS12381.Internal

Associated Types

type FixedSize (SignKeyDSIGN (BLS12381DSIGN curve)) 
Instance details

Defined in Cardano.Crypto.DSIGN.BLS12381.Internal

type FixedSize (SignKeyDSIGN (BLS12381DSIGN curve)) = 32

Methods

rawEncodeFixedSized ∷ SignKeyDSIGN (BLS12381DSIGN curve) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyDSIGN (BLS12381DSIGN curve)) Source #

FixedSizeCodec (SignKeyDSIGN EcdsaSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Associated Types

type FixedSize (SignKeyDSIGN EcdsaSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

type FixedSize (SignKeyDSIGN EcdsaSecp256k1DSIGN) = SECP256K1_ECDSA_PRIVKEY_BYTES

Methods

rawEncodeFixedSized ∷ SignKeyDSIGN EcdsaSecp256k1DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyDSIGN EcdsaSecp256k1DSIGN) Source #

FixedSizeCodec (SignKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Associated Types

type FixedSize (SignKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type FixedSize (SignKeyDSIGN Ed25519DSIGN) = CRYPTO_SIGN_ED25519_SEEDBYTES

Methods

rawEncodeFixedSized ∷ SignKeyDSIGN Ed25519DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyDSIGN Ed25519DSIGN) Source #

FixedSizeCodec (SignKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Associated Types

type FixedSize (SignKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

type FixedSize (SignKeyDSIGN Ed448DSIGN) = 57

Methods

rawEncodeFixedSized ∷ SignKeyDSIGN Ed448DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyDSIGN Ed448DSIGN) Source #

FixedSizeCodec (SignKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

type FixedSize (SignKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type FixedSize (SignKeyDSIGN MockDSIGN) = 8

Methods

rawEncodeFixedSized ∷ SignKeyDSIGN MockDSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyDSIGN MockDSIGN) Source #

FixedSizeCodec (SignKeyDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Associated Types

type FixedSize (SignKeyDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

type FixedSize (SignKeyDSIGN NeverDSIGN) = 0

Methods

rawEncodeFixedSized ∷ SignKeyDSIGN NeverDSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyDSIGN NeverDSIGN) Source #

FixedSizeCodec (SignKeyDSIGN SchnorrSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Associated Types

type FixedSize (SignKeyDSIGN SchnorrSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

type FixedSize (SignKeyDSIGN SchnorrSecp256k1DSIGN) = SECP256K1_SCHNORR_PRIVKEY_BYTES

Methods

rawEncodeFixedSized ∷ SignKeyDSIGN SchnorrSecp256k1DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyDSIGN SchnorrSecp256k1DSIGN) Source #

BLS12381CurveConstraints curve ⇒ FixedSizeCodec (VerKeyDSIGN (BLS12381DSIGN curve)) 
Instance details

Defined in Cardano.Crypto.DSIGN.BLS12381.Internal

Associated Types

type FixedSize (VerKeyDSIGN (BLS12381DSIGN curve)) 
Instance details

Defined in Cardano.Crypto.DSIGN.BLS12381.Internal

type FixedSize (VerKeyDSIGN (BLS12381DSIGN curve)) = CompressedPointSize curve

Methods

rawEncodeFixedSized ∷ VerKeyDSIGN (BLS12381DSIGN curve) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyDSIGN (BLS12381DSIGN curve)) Source #

FixedSizeCodec (VerKeyDSIGN EcdsaSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

Associated Types

type FixedSize (VerKeyDSIGN EcdsaSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

type FixedSize (VerKeyDSIGN EcdsaSecp256k1DSIGN) = SECP256K1_ECDSA_PUBKEY_BYTES

Methods

rawEncodeFixedSized ∷ VerKeyDSIGN EcdsaSecp256k1DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyDSIGN EcdsaSecp256k1DSIGN) Source #

FixedSizeCodec (VerKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

Associated Types

type FixedSize (VerKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type FixedSize (VerKeyDSIGN Ed25519DSIGN) = CRYPTO_SIGN_ED25519_PUBLICKEYBYTES

Methods

rawEncodeFixedSized ∷ VerKeyDSIGN Ed25519DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyDSIGN Ed25519DSIGN) Source #

FixedSizeCodec (VerKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

Associated Types

type FixedSize (VerKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

type FixedSize (VerKeyDSIGN Ed448DSIGN) = 57

Methods

rawEncodeFixedSized ∷ VerKeyDSIGN Ed448DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyDSIGN Ed448DSIGN) Source #

FixedSizeCodec (VerKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

Associated Types

type FixedSize (VerKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type FixedSize (VerKeyDSIGN MockDSIGN) = 8

Methods

rawEncodeFixedSized ∷ VerKeyDSIGN MockDSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyDSIGN MockDSIGN) Source #

FixedSizeCodec (VerKeyDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

Associated Types

type FixedSize (VerKeyDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

type FixedSize (VerKeyDSIGN NeverDSIGN) = 0

Methods

rawEncodeFixedSized ∷ VerKeyDSIGN NeverDSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyDSIGN NeverDSIGN) Source #

FixedSizeCodec (VerKeyDSIGN SchnorrSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

Associated Types

type FixedSize (VerKeyDSIGN SchnorrSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

type FixedSize (VerKeyDSIGN SchnorrSecp256k1DSIGN) = SECP256K1_SCHNORR_PUBKEY_BYTES

Methods

rawEncodeFixedSized ∷ VerKeyDSIGN SchnorrSecp256k1DSIGN → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyDSIGN SchnorrSecp256k1DSIGN) Source #

(DSIGNAlgorithm d, KnownNat (SigSizeDSIGN d + VerKeySizeDSIGN d)) ⇒ FixedSizeCodec (SigKES (CompactSingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Associated Types

type FixedSize (SigKES (CompactSingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type FixedSize (SigKES (CompactSingleKES d)) = SigSizeDSIGN d + VerKeySizeDSIGN d

Methods

rawEncodeFixedSized ∷ SigKES (CompactSingleKES d) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigKES (CompactSingleKES d)) Source #

(KESAlgorithm d, KnownNat (SigSizeKES d + VerKeySizeKES d), Typeable h) ⇒ FixedSizeCodec (SigKES (CompactSumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Associated Types

type FixedSize (SigKES (CompactSumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

type FixedSize (SigKES (CompactSumKES h d)) = SigSizeKES d + VerKeySizeKES d

Methods

rawEncodeFixedSized ∷ SigKES (CompactSumKES h d) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigKES (CompactSumKES h d)) Source #

KnownNat t ⇒ FixedSizeCodec (SigKES (MockKES t)) 
Instance details

Defined in Cardano.Crypto.KES.Mock

Associated Types

type FixedSize (SigKES (MockKES t)) 
Instance details

Defined in Cardano.Crypto.KES.Mock

type FixedSize (SigKES (MockKES t)) = 24

Methods

rawEncodeFixedSized ∷ SigKES (MockKES t) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigKES (MockKES t)) Source #

FixedSizeCodec (SigKES NeverKES) 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Associated Types

type FixedSize (SigKES NeverKES) 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type FixedSize (SigKES NeverKES) = 0

Methods

rawEncodeFixedSized ∷ SigKES NeverKES → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigKES NeverKES) Source #

(DSIGNAlgorithm d, KnownNat t) ⇒ FixedSizeCodec (SigKES (SimpleKES d t)) 
Instance details

Defined in Cardano.Crypto.KES.Simple

Associated Types

type FixedSize (SigKES (SimpleKES d t)) 
Instance details

Defined in Cardano.Crypto.KES.Simple

type FixedSize (SigKES (SimpleKES d t)) = SigSizeDSIGN d

Methods

rawEncodeFixedSized ∷ SigKES (SimpleKES d t) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigKES (SimpleKES d t)) Source #

DSIGNAlgorithm d ⇒ FixedSizeCodec (SigKES (SingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.Single

Associated Types

type FixedSize (SigKES (SingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.Single

type FixedSize (SigKES (SingleKES d)) = FixedSize (SigDSIGN d)

Methods

rawEncodeFixedSized ∷ SigKES (SingleKES d) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigKES (SingleKES d)) Source #

(KESAlgorithm d, KnownNat (SigSizeKES d + (VerKeySizeKES d * 2)), Typeable h) ⇒ FixedSizeCodec (SigKES (SumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.Sum

Associated Types

type FixedSize (SigKES (SumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.Sum

type FixedSize (SigKES (SumKES h d)) = SigSizeKES d + (VerKeySizeKES d * 2)

Methods

rawEncodeFixedSized ∷ SigKES (SumKES h d) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SigKES (SumKES h d)) Source #

KnownNat t ⇒ FixedSizeCodec (SignKeyKES (MockKES t)) 
Instance details

Defined in Cardano.Crypto.KES.Mock

Associated Types

type FixedSize (SignKeyKES (MockKES t)) 
Instance details

Defined in Cardano.Crypto.KES.Mock

type FixedSize (SignKeyKES (MockKES t)) = 16

Methods

rawEncodeFixedSized ∷ SignKeyKES (MockKES t) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyKES (MockKES t)) Source #

DSIGNAlgorithm d ⇒ FixedSizeCodec (UnsoundPureSignKeyKES (CompactSingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Associated Types

type FixedSize (UnsoundPureSignKeyKES (CompactSingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type FixedSize (UnsoundPureSignKeyKES (CompactSingleKES d)) = SignKeySizeKES (CompactSingleKES d)

Methods

rawEncodeFixedSized ∷ UnsoundPureSignKeyKES (CompactSingleKES d) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (UnsoundPureSignKeyKES (CompactSingleKES d)) Source #

(KESAlgorithm (CompactSumKES h d), UnsoundPureKESAlgorithm d, KnownNat ((SignKeySizeKES d + SeedSizeKES d) + (VerKeySizeKES d * 2))) ⇒ FixedSizeCodec (UnsoundPureSignKeyKES (CompactSumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Associated Types

type FixedSize (UnsoundPureSignKeyKES (CompactSumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

type FixedSize (UnsoundPureSignKeyKES (CompactSumKES h d)) = SignKeySizeKES (CompactSumKES h d)

Methods

rawEncodeFixedSized ∷ UnsoundPureSignKeyKES (CompactSumKES h d) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (UnsoundPureSignKeyKES (CompactSumKES h d)) Source #

KnownNat t ⇒ FixedSizeCodec (UnsoundPureSignKeyKES (MockKES t)) 
Instance details

Defined in Cardano.Crypto.KES.Mock

Associated Types

type FixedSize (UnsoundPureSignKeyKES (MockKES t)) 
Instance details

Defined in Cardano.Crypto.KES.Mock

type FixedSize (UnsoundPureSignKeyKES (MockKES t)) = FixedSize (SignKeyKES (MockKES t))

Methods

rawEncodeFixedSized ∷ UnsoundPureSignKeyKES (MockKES t) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (UnsoundPureSignKeyKES (MockKES t)) Source #

FixedSizeCodec (UnsoundPureSignKeyKES NeverKES) 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Associated Types

type FixedSize (UnsoundPureSignKeyKES NeverKES) 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type FixedSize (UnsoundPureSignKeyKES NeverKES) = SignKeySizeKES NeverKES

Methods

rawEncodeFixedSized ∷ UnsoundPureSignKeyKES NeverKES → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (UnsoundPureSignKeyKES NeverKES) Source #

(DSIGNAlgorithm d, KnownNat t, KnownNat (SignKeySizeDSIGN d * t)) ⇒ FixedSizeCodec (UnsoundPureSignKeyKES (SimpleKES d t)) 
Instance details

Defined in Cardano.Crypto.KES.Simple

Associated Types

type FixedSize (UnsoundPureSignKeyKES (SimpleKES d t)) 
Instance details

Defined in Cardano.Crypto.KES.Simple

type FixedSize (UnsoundPureSignKeyKES (SimpleKES d t)) = SignKeySizeKES (SimpleKES d t)

Methods

rawEncodeFixedSized ∷ UnsoundPureSignKeyKES (SimpleKES d t) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (UnsoundPureSignKeyKES (SimpleKES d t)) Source #

DSIGNAlgorithm d ⇒ FixedSizeCodec (UnsoundPureSignKeyKES (SingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.Single

Associated Types

type FixedSize (UnsoundPureSignKeyKES (SingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.Single

type FixedSize (UnsoundPureSignKeyKES (SingleKES d)) = SignKeySizeKES (SingleKES d)

Methods

rawEncodeFixedSized ∷ UnsoundPureSignKeyKES (SingleKES d) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (UnsoundPureSignKeyKES (SingleKES d)) Source #

(KESAlgorithm (SumKES h d), UnsoundPureKESAlgorithm d, KnownNat ((SignKeySizeKES d + SeedSizeKES d) + (2 * VerKeySizeKES d))) ⇒ FixedSizeCodec (UnsoundPureSignKeyKES (SumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.Sum

Associated Types

type FixedSize (UnsoundPureSignKeyKES (SumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.Sum

type FixedSize (UnsoundPureSignKeyKES (SumKES h d)) = SignKeySizeKES (SumKES h d)

Methods

rawEncodeFixedSized ∷ UnsoundPureSignKeyKES (SumKES h d) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (UnsoundPureSignKeyKES (SumKES h d)) Source #

DSIGNAlgorithm d ⇒ FixedSizeCodec (VerKeyKES (CompactSingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

Associated Types

type FixedSize (VerKeyKES (CompactSingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type FixedSize (VerKeyKES (CompactSingleKES d)) = VerKeySizeDSIGN d

Methods

rawEncodeFixedSized ∷ VerKeyKES (CompactSingleKES d) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyKES (CompactSingleKES d)) Source #

HashAlgorithm h ⇒ FixedSizeCodec (VerKeyKES (CompactSumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

Associated Types

type FixedSize (VerKeyKES (CompactSumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

type FixedSize (VerKeyKES (CompactSumKES h d)) = HashSize h

Methods

rawEncodeFixedSized ∷ VerKeyKES (CompactSumKES h d) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyKES (CompactSumKES h d)) Source #

KnownNat t ⇒ FixedSizeCodec (VerKeyKES (MockKES t)) 
Instance details

Defined in Cardano.Crypto.KES.Mock

Associated Types

type FixedSize (VerKeyKES (MockKES t)) 
Instance details

Defined in Cardano.Crypto.KES.Mock

type FixedSize (VerKeyKES (MockKES t)) = 8

Methods

rawEncodeFixedSized ∷ VerKeyKES (MockKES t) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyKES (MockKES t)) Source #

FixedSizeCodec (VerKeyKES NeverKES) 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

Associated Types

type FixedSize (VerKeyKES NeverKES) 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type FixedSize (VerKeyKES NeverKES) = 0

Methods

rawEncodeFixedSized ∷ VerKeyKES NeverKES → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyKES NeverKES) Source #

(DSIGNAlgorithm d, KnownNat t, KnownNat (VerKeySizeDSIGN d * t)) ⇒ FixedSizeCodec (VerKeyKES (SimpleKES d t)) 
Instance details

Defined in Cardano.Crypto.KES.Simple

Associated Types

type FixedSize (VerKeyKES (SimpleKES d t)) 
Instance details

Defined in Cardano.Crypto.KES.Simple

type FixedSize (VerKeyKES (SimpleKES d t)) = VerKeySizeDSIGN d * t

Methods

rawEncodeFixedSized ∷ VerKeyKES (SimpleKES d t) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyKES (SimpleKES d t)) Source #

DSIGNAlgorithm d ⇒ FixedSizeCodec (VerKeyKES (SingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.Single

Associated Types

type FixedSize (VerKeyKES (SingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.Single

type FixedSize (VerKeyKES (SingleKES d)) = FixedSize (VerKeyDSIGN d)

Methods

rawEncodeFixedSized ∷ VerKeyKES (SingleKES d) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyKES (SingleKES d)) Source #

HashAlgorithm h ⇒ FixedSizeCodec (VerKeyKES (SumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.Sum

Associated Types

type FixedSize (VerKeyKES (SumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.Sum

type FixedSize (VerKeyKES (SumKES h d)) = HashSize h

Methods

rawEncodeFixedSized ∷ VerKeyKES (SumKES h d) → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyKES (SumKES h d)) Source #

KnownNat n ⇒ FixedSizeCodec (PackedBytes n) 
Instance details

Defined in Cardano.Crypto.PackedBytes.Internal

Associated Types

type FixedSize (PackedBytes n) 
Instance details

Defined in Cardano.Crypto.PackedBytes.Internal

type FixedSize (PackedBytes n) = n

Methods

rawEncodeFixedSized ∷ PackedBytes n → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (PackedBytes n) Source #

KnownNat n ⇒ FixedSizeCodec (PinnedSizedBytes n) 
Instance details

Defined in Cardano.Crypto.PinnedSizedBytes

Associated Types

type FixedSize (PinnedSizedBytes n) 
Instance details

Defined in Cardano.Crypto.PinnedSizedBytes

type FixedSize (PinnedSizedBytes n) = n

Methods

rawEncodeFixedSized ∷ PinnedSizedBytes n → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (PinnedSizedBytes n) Source #

FixedSizeCodec (CertVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Associated Types

type FixedSize (CertVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

type FixedSize (CertVRF MockVRF) = 8

Methods

rawEncodeFixedSized ∷ CertVRF MockVRF → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (CertVRF MockVRF) Source #

FixedSizeCodec (CertVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Associated Types

type FixedSize (CertVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

type FixedSize (CertVRF NeverVRF) = 0

Methods

rawEncodeFixedSized ∷ CertVRF NeverVRF → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (CertVRF NeverVRF) Source #

FixedSizeCodec (CertVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Associated Types

type FixedSize (CertVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

type FixedSize (CertVRF SimpleVRF) = 64

Methods

rawEncodeFixedSized ∷ CertVRF SimpleVRF → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (CertVRF SimpleVRF) Source #

FixedSizeCodec (CertVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Associated Types

type FixedSize (CertVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

type FixedSize (CertVRF PraosVRF) = FixedSize Proof

Methods

rawEncodeFixedSized ∷ CertVRF PraosVRF → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (CertVRF PraosVRF) Source #

FixedSizeCodec (CertVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Associated Types

type FixedSize (CertVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

type FixedSize (CertVRF PraosBatchCompatVRF) = FixedSize Proof

Methods

rawEncodeFixedSized ∷ CertVRF PraosBatchCompatVRF → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (CertVRF PraosBatchCompatVRF) Source #

FixedSizeCodec (SignKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Associated Types

type FixedSize (SignKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

type FixedSize (SignKeyVRF MockVRF) = 8

Methods

rawEncodeFixedSized ∷ SignKeyVRF MockVRF → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyVRF MockVRF) Source #

FixedSizeCodec (SignKeyVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Associated Types

type FixedSize (SignKeyVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

type FixedSize (SignKeyVRF NeverVRF) = 0

Methods

rawEncodeFixedSized ∷ SignKeyVRF NeverVRF → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyVRF NeverVRF) Source #

FixedSizeCodec (SignKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Associated Types

type FixedSize (SignKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

type FixedSize (SignKeyVRF SimpleVRF) = 16

Methods

rawEncodeFixedSized ∷ SignKeyVRF SimpleVRF → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyVRF SimpleVRF) Source #

FixedSizeCodec (SignKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Associated Types

type FixedSize (SignKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

type FixedSize (SignKeyVRF PraosVRF) = FixedSize SignKey

Methods

rawEncodeFixedSized ∷ SignKeyVRF PraosVRF → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyVRF PraosVRF) Source #

FixedSizeCodec (SignKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Associated Types

type FixedSize (SignKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

type FixedSize (SignKeyVRF PraosBatchCompatVRF) = FixedSize SignKey

Methods

rawEncodeFixedSized ∷ SignKeyVRF PraosBatchCompatVRF → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignKeyVRF PraosBatchCompatVRF) Source #

FixedSizeCodec (VerKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

Associated Types

type FixedSize (VerKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

type FixedSize (VerKeyVRF MockVRF) = 8

Methods

rawEncodeFixedSized ∷ VerKeyVRF MockVRF → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyVRF MockVRF) Source #

FixedSizeCodec (VerKeyVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

Associated Types

type FixedSize (VerKeyVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

type FixedSize (VerKeyVRF NeverVRF) = 0

Methods

rawEncodeFixedSized ∷ VerKeyVRF NeverVRF → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyVRF NeverVRF) Source #

FixedSizeCodec (VerKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

Associated Types

type FixedSize (VerKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

type FixedSize (VerKeyVRF SimpleVRF) = 32

Methods

rawEncodeFixedSized ∷ VerKeyVRF SimpleVRF → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyVRF SimpleVRF) Source #

FixedSizeCodec (VerKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

Associated Types

type FixedSize (VerKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

type FixedSize (VerKeyVRF PraosVRF) = FixedSize VerKey

Methods

rawEncodeFixedSized ∷ VerKeyVRF PraosVRF → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyVRF PraosVRF) Source #

FixedSizeCodec (VerKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

Associated Types

type FixedSize (VerKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

type FixedSize (VerKeyVRF PraosBatchCompatVRF) = FixedSize VerKey

Methods

rawEncodeFixedSized ∷ VerKeyVRF PraosBatchCompatVRF → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (VerKeyVRF PraosBatchCompatVRF) Source #

FixedSizeCodec (SigDSIGN v) ⇒ FixedSizeCodec (SignedDSIGN v a) 
Instance details

Defined in Cardano.Crypto.DSIGN.Class

Associated Types

type FixedSize (SignedDSIGN v a) 
Instance details

Defined in Cardano.Crypto.DSIGN.Class

type FixedSize (SignedDSIGN v a) = FixedSize (SigDSIGN v)

Methods

rawEncodeFixedSized ∷ SignedDSIGN v a → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignedDSIGN v a) Source #

KESAlgorithm v ⇒ FixedSizeCodec (SignedKES v a) 
Instance details

Defined in Cardano.Crypto.KES.Class

Associated Types

type FixedSize (SignedKES v a) 
Instance details

Defined in Cardano.Crypto.KES.Class

type FixedSize (SignedKES v a) = FixedSize (SigKES v)

Methods

rawEncodeFixedSized ∷ SignedKES v a → ByteString Source #

rawDecodeFixedSized ∷ MonadFail m ⇒ ByteString → m (SignedKES v a) Source #

type family FixedSize a ∷ Nat Source #

Instances

Instances details
type FixedSize MessageHash 
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

type FixedSize MessageHash = SECP256K1_ECDSA_MESSAGE_BYTES
type FixedSize Proof 
Instance details

Defined in Cardano.Crypto.VRF.Praos

type FixedSize Proof = 80
type FixedSize SignKey 
Instance details

Defined in Cardano.Crypto.VRF.Praos

type FixedSize SignKey = 64
type FixedSize VerKey 
Instance details

Defined in Cardano.Crypto.VRF.Praos

type FixedSize VerKey = 32
type FixedSize Proof 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

type FixedSize Proof = 128
type FixedSize SignKey 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

type FixedSize SignKey = 64
type FixedSize VerKey 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

type FixedSize VerKey = 32
type FixedSize (PossessionProofDSIGN (BLS12381DSIGN curve)) 
Instance details

Defined in Cardano.Crypto.DSIGN.BLS12381.Internal

type FixedSize (PossessionProofDSIGN (BLS12381DSIGN curve)) = PossessionProofSizeDSIGN (BLS12381DSIGN curve)
type FixedSize (SigDSIGN (BLS12381DSIGN curve)) 
Instance details

Defined in Cardano.Crypto.DSIGN.BLS12381.Internal

type FixedSize (SigDSIGN (BLS12381DSIGN curve)) = CompressedPointSize (DualCurve curve)
type FixedSize (SigDSIGN EcdsaSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

type FixedSize (SigDSIGN EcdsaSecp256k1DSIGN) = SECP256K1_ECDSA_SIGNATURE_BYTES
type FixedSize (SigDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type FixedSize (SigDSIGN Ed25519DSIGN) = CRYPTO_SIGN_ED25519_BYTES
type FixedSize (SigDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

type FixedSize (SigDSIGN Ed448DSIGN) = 114
type FixedSize (SigDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type FixedSize (SigDSIGN MockDSIGN) = HashSize ShortHash + 8
type FixedSize (SigDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

type FixedSize (SigDSIGN NeverDSIGN) = 0
type FixedSize (SigDSIGN SchnorrSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

type FixedSize (SigDSIGN SchnorrSecp256k1DSIGN) = SECP256K1_SCHNORR_SIGNATURE_BYTES
type FixedSize (SignKeyDSIGN (BLS12381DSIGN curve)) 
Instance details

Defined in Cardano.Crypto.DSIGN.BLS12381.Internal

type FixedSize (SignKeyDSIGN (BLS12381DSIGN curve)) = 32
type FixedSize (SignKeyDSIGN EcdsaSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

type FixedSize (SignKeyDSIGN EcdsaSecp256k1DSIGN) = SECP256K1_ECDSA_PRIVKEY_BYTES
type FixedSize (SignKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type FixedSize (SignKeyDSIGN Ed25519DSIGN) = CRYPTO_SIGN_ED25519_SEEDBYTES
type FixedSize (SignKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

type FixedSize (SignKeyDSIGN Ed448DSIGN) = 57
type FixedSize (SignKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type FixedSize (SignKeyDSIGN MockDSIGN) = 8
type FixedSize (SignKeyDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

type FixedSize (SignKeyDSIGN NeverDSIGN) = 0
type FixedSize (SignKeyDSIGN SchnorrSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

type FixedSize (SignKeyDSIGN SchnorrSecp256k1DSIGN) = SECP256K1_SCHNORR_PRIVKEY_BYTES
type FixedSize (VerKeyDSIGN (BLS12381DSIGN curve)) 
Instance details

Defined in Cardano.Crypto.DSIGN.BLS12381.Internal

type FixedSize (VerKeyDSIGN (BLS12381DSIGN curve)) = CompressedPointSize curve
type FixedSize (VerKeyDSIGN EcdsaSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.EcdsaSecp256k1

type FixedSize (VerKeyDSIGN EcdsaSecp256k1DSIGN) = SECP256K1_ECDSA_PUBKEY_BYTES
type FixedSize (VerKeyDSIGN Ed25519DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed25519

type FixedSize (VerKeyDSIGN Ed25519DSIGN) = CRYPTO_SIGN_ED25519_PUBLICKEYBYTES
type FixedSize (VerKeyDSIGN Ed448DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Ed448

type FixedSize (VerKeyDSIGN Ed448DSIGN) = 57
type FixedSize (VerKeyDSIGN MockDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.Mock

type FixedSize (VerKeyDSIGN MockDSIGN) = 8
type FixedSize (VerKeyDSIGN NeverDSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.NeverUsed

type FixedSize (VerKeyDSIGN NeverDSIGN) = 0
type FixedSize (VerKeyDSIGN SchnorrSecp256k1DSIGN) 
Instance details

Defined in Cardano.Crypto.DSIGN.SchnorrSecp256k1

type FixedSize (VerKeyDSIGN SchnorrSecp256k1DSIGN) = SECP256K1_SCHNORR_PUBKEY_BYTES
type FixedSize (SigKES (CompactSingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type FixedSize (SigKES (CompactSingleKES d)) = SigSizeDSIGN d + VerKeySizeDSIGN d
type FixedSize (SigKES (CompactSumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

type FixedSize (SigKES (CompactSumKES h d)) = SigSizeKES d + VerKeySizeKES d
type FixedSize (SigKES (MockKES t)) 
Instance details

Defined in Cardano.Crypto.KES.Mock

type FixedSize (SigKES (MockKES t)) = 24
type FixedSize (SigKES NeverKES) 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type FixedSize (SigKES NeverKES) = 0
type FixedSize (SigKES (SimpleKES d t)) 
Instance details

Defined in Cardano.Crypto.KES.Simple

type FixedSize (SigKES (SimpleKES d t)) = SigSizeDSIGN d
type FixedSize (SigKES (SingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.Single

type FixedSize (SigKES (SingleKES d)) = FixedSize (SigDSIGN d)
type FixedSize (SigKES (SumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.Sum

type FixedSize (SigKES (SumKES h d)) = SigSizeKES d + (VerKeySizeKES d * 2)
type FixedSize (SignKeyKES (MockKES t)) 
Instance details

Defined in Cardano.Crypto.KES.Mock

type FixedSize (SignKeyKES (MockKES t)) = 16
type FixedSize (UnsoundPureSignKeyKES (CompactSingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type FixedSize (UnsoundPureSignKeyKES (CompactSingleKES d)) = SignKeySizeKES (CompactSingleKES d)
type FixedSize (UnsoundPureSignKeyKES (CompactSumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

type FixedSize (UnsoundPureSignKeyKES (CompactSumKES h d)) = SignKeySizeKES (CompactSumKES h d)
type FixedSize (UnsoundPureSignKeyKES (MockKES t)) 
Instance details

Defined in Cardano.Crypto.KES.Mock

type FixedSize (UnsoundPureSignKeyKES (MockKES t)) = FixedSize (SignKeyKES (MockKES t))
type FixedSize (UnsoundPureSignKeyKES NeverKES) 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type FixedSize (UnsoundPureSignKeyKES NeverKES) = SignKeySizeKES NeverKES
type FixedSize (UnsoundPureSignKeyKES (SimpleKES d t)) 
Instance details

Defined in Cardano.Crypto.KES.Simple

type FixedSize (UnsoundPureSignKeyKES (SimpleKES d t)) = SignKeySizeKES (SimpleKES d t)
type FixedSize (UnsoundPureSignKeyKES (SingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.Single

type FixedSize (UnsoundPureSignKeyKES (SingleKES d)) = SignKeySizeKES (SingleKES d)
type FixedSize (UnsoundPureSignKeyKES (SumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.Sum

type FixedSize (UnsoundPureSignKeyKES (SumKES h d)) = SignKeySizeKES (SumKES h d)
type FixedSize (VerKeyKES (CompactSingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSingle

type FixedSize (VerKeyKES (CompactSingleKES d)) = VerKeySizeDSIGN d
type FixedSize (VerKeyKES (CompactSumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.CompactSum

type FixedSize (VerKeyKES (CompactSumKES h d)) = HashSize h
type FixedSize (VerKeyKES (MockKES t)) 
Instance details

Defined in Cardano.Crypto.KES.Mock

type FixedSize (VerKeyKES (MockKES t)) = 8
type FixedSize (VerKeyKES NeverKES) 
Instance details

Defined in Cardano.Crypto.KES.NeverUsed

type FixedSize (VerKeyKES NeverKES) = 0
type FixedSize (VerKeyKES (SimpleKES d t)) 
Instance details

Defined in Cardano.Crypto.KES.Simple

type FixedSize (VerKeyKES (SimpleKES d t)) = VerKeySizeDSIGN d * t
type FixedSize (VerKeyKES (SingleKES d)) 
Instance details

Defined in Cardano.Crypto.KES.Single

type FixedSize (VerKeyKES (SingleKES d)) = FixedSize (VerKeyDSIGN d)
type FixedSize (VerKeyKES (SumKES h d)) 
Instance details

Defined in Cardano.Crypto.KES.Sum

type FixedSize (VerKeyKES (SumKES h d)) = HashSize h
type FixedSize (PackedBytes n) 
Instance details

Defined in Cardano.Crypto.PackedBytes.Internal

type FixedSize (PackedBytes n) = n
type FixedSize (PinnedSizedBytes n) 
Instance details

Defined in Cardano.Crypto.PinnedSizedBytes

type FixedSize (PinnedSizedBytes n) = n
type FixedSize (CertVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

type FixedSize (CertVRF MockVRF) = 8
type FixedSize (CertVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

type FixedSize (CertVRF NeverVRF) = 0
type FixedSize (CertVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

type FixedSize (CertVRF SimpleVRF) = 64
type FixedSize (CertVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

type FixedSize (CertVRF PraosVRF) = FixedSize Proof
type FixedSize (CertVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

type FixedSize (CertVRF PraosBatchCompatVRF) = FixedSize Proof
type FixedSize (SignKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

type FixedSize (SignKeyVRF MockVRF) = 8
type FixedSize (SignKeyVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

type FixedSize (SignKeyVRF NeverVRF) = 0
type FixedSize (SignKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

type FixedSize (SignKeyVRF SimpleVRF) = 16
type FixedSize (SignKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

type FixedSize (SignKeyVRF PraosVRF) = FixedSize SignKey
type FixedSize (SignKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

type FixedSize (SignKeyVRF PraosBatchCompatVRF) = FixedSize SignKey
type FixedSize (VerKeyVRF MockVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Mock

type FixedSize (VerKeyVRF MockVRF) = 8
type FixedSize (VerKeyVRF NeverVRF) 
Instance details

Defined in Cardano.Crypto.VRF.NeverUsed

type FixedSize (VerKeyVRF NeverVRF) = 0
type FixedSize (VerKeyVRF SimpleVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Simple

type FixedSize (VerKeyVRF SimpleVRF) = 32
type FixedSize (VerKeyVRF PraosVRF) 
Instance details

Defined in Cardano.Crypto.VRF.Praos

type FixedSize (VerKeyVRF PraosVRF) = FixedSize VerKey
type FixedSize (VerKeyVRF PraosBatchCompatVRF) 
Instance details

Defined in Cardano.Crypto.VRF.PraosBatchCompat

type FixedSize (VerKeyVRF PraosBatchCompatVRF) = FixedSize VerKey
type FixedSize (SignedDSIGN v a) 
Instance details

Defined in Cardano.Crypto.DSIGN.Class

type FixedSize (SignedDSIGN v a) = FixedSize (SigDSIGN v)
type FixedSize (SignedKES v a) 
Instance details

Defined in Cardano.Crypto.KES.Class

type FixedSize (SignedKES v a) = FixedSize (SigKES v)

encodeFixedSized ∷ FixedSizeCodec a ⇒ a → Encoding Source #

variableListLenEncoding Source #

Arguments

∷ Int

Number of elements in the encoded data structure.

→ Encoding

Encoding for the actual data structure

→ Encoding 

Conditionally use variable length encoding for list like structures with length larger than 23, otherwise use exact list length encoding.

encodeVector ∷ Vector v a ⇒ (a → Encoding) → v a → Encoding Source #

Generic encoder for vectors. Its intended use is to allow easy definition of EncCBOR instances for custom vector

toBuilder ∷ Version → Encoding → Builder Source #

encodeTerm ∷ Term → Encoding Source #

encodeList ∷ (a → Encoding) → [a] → Encoding Source #

Encode a list. Versions variance:

  • [>= 2] - Variable length encoding for lists longer than 23 elements, otherwise exact length encoding
  • [< 2] - Variable length encoding

encodeSet ∷ (a → Encoding) → Set a → Encoding Source #

Encode a Set. Versions variance:

  • [>= 9] - Variable length encoding for Sets larger than 23 elements, otherwise exact length encoding. Prefixes with a special 258 setTag.
  • [>= 2] - Variable length encoding for Sets larger than 23 elements, otherwise exact length encoding
  • [< 2] - Variable length encoding. Prefixes with a special 258 setTag.

encodeMap ∷ (k → Encoding) → (v → Encoding) → Map k v → Encoding Source #

Encode a Map. Versions variance:

  • [>= 2] - Variable length encoding for Maps larger than 23 key value pairs, otherwise exact length encoding
  • [< 2] - Variable length encoding.

encodeEnum ∷ Enum a ⇒ a → Encoding Source #

encodeRatioWithTag ∷ (t → Encoding) → Ratio t → Encoding Source #

Encode a rational number with tag 30, as per tag assignment: https://www.iana.org/assignments/cbor-tags/cbor-tags.xhtml

https://peteroupc.github.io/CBOR/rational.html

toPlainEncoding ∷ Version → Encoding → Encoding Source #

fromPlainEncoding ∷ Encoding → Encoding Source #

fromPlainEncodingWithVersion ∷ (Version → Encoding) → Encoding Source #

withCurrentEncodingVersion ∷ (Version → Encoding) → Encoding Source #

Get access to the current version being used in the encoder

enforceEncodingVersion ∷ Version → Encoding → Encoding Source #

Ignore the current version of the encoder and enforce the supplied one instead.

ifEncodingVersionAtLeast Source #

Arguments

∷ Version 
→ Encoding

Use this encoder if current encoder version is larger or equal to the supplied Version

→ Encoding

Use this encoder if current encoder version is lower than the supplied Version

→ Encoding 

Conditionally choose the newer or older encoder, depending on the current version. Supplied version acts as a pivot.

Example

encodeVersion ∷ Version → Encoding Source #

encodeStrictMaybe ∷ (a → Encoding) → StrictMaybe a → Encoding Source #

encodeNullStrictMaybe ∷ (a → Encoding) → StrictMaybe a → Encoding Source #

Alternative way to encode a Maybe type.

Note - this is not the default method for encoding StrictMaybe, use encodeStrictMaybe instead

encodeTuple ∷ (a → Encoding) → (b → Encoding) → (a, b) → Encoding Source #

encodeRatio ∷ (t → Encoding) → Ratio t → Encoding Source #

encodeRatioNoTag ∷ (t → Encoding) → Ratio t → Encoding Source #

encodeWithOrigin ∷ (a → Encoding) → WithOrigin a → Encoding Source #

encodeStrictSeq ∷ (a → Encoding) → StrictSeq a → Encoding Source #

encodeVMap ∷ ∀ (kv ∷ Type → Type) k (vv ∷ Type → Type) v. (Vector kv k, Vector vv v) ⇒ (k → Encoding) → (v → Encoding) → VMap kv vv k v → Encoding Source #

Mimics Map encoder encodeMap identically.

encodeFoldableEncoder ∷ Foldable f ⇒ (a → Encoding) → f a → Encoding Source #

Encode any Foldable with the variable list length encoding, which will use indefinite encoding over 23 elements and definite otherwise.

encodeFoldableAsDefLenList ∷ Foldable f ⇒ (a → Encoding) → f a → Encoding Source #

encodeFoldableAsIndefLenList ∷ Foldable f ⇒ (a → Encoding) → f a → Encoding Source #

Encode any Foldable with indefinite list length encoding

encodeFoldableMapEncoder Source #

Arguments

∷ Foldable f 
⇒ (Word → a → Maybe Encoding)

A function that accepts an index of the value in the foldable data strucure, the actual value and optionally produces the encoding of the value and an index if that value should be encoded.

→ f a 
→ Encoding 

Encode a data structure as a Map with the 0-based index for a Key to a value. Uses variable map length encoding, which means an indefinite encoding for maps with over 23 elements and definite otherwise.

lengthThreshold ∷ Int Source #

This is the optimal maximum number for encoding exact length. Above that threashold using variable length encoding will result in less bytes on the wire.

encodeUTCTime ∷ UTCTime → Encoding Source #

encodeIPv4 ∷ IPv4 → Encoding Source #

ipv4ToBytes ∷ IPv4 → ByteString Source #

encodeIPv6 ∷ IPv6 → Encoding Source #

ipv6ToBytes ∷ IPv6 → ByteString Source #

class EncCBOR a where Source #

Minimal complete definition

Nothing

Methods

encCBOR ∷ a → Encoding Source #

default encCBOR ∷ ToCBOR a ⇒ a → Encoding Source #

Instances

Instances details
EncCBOR ByteArray Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ ByteArray → Encoding Source #

EncCBOR ByteString Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ ByteString → Encoding Source #

EncCBOR ByteString Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ ByteString → Encoding Source #

EncCBOR ShortByteString Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ ShortByteString → Encoding Source #

EncCBOR IPv4 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ IPv4 → Encoding Source #

EncCBOR IPv6 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ IPv6 → Encoding Source #

EncCBOR BitField Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ BitField → Encoding Source #

EncCBOR LeiosCert Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ LeiosCert → Encoding Source #

EncCBOR Proof Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Proof → Encoding Source #

EncCBOR SignKey Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SignKey → Encoding Source #

EncCBOR VerKey Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ VerKey → Encoding Source #

EncCBOR PreEncoded Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ PreEncoded → Encoding Source #

EncCBOR Encoding Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Encoding → Encoding Source #

EncCBOR Version Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Version → Encoding Source #

EncCBOR BlockNo Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ BlockNo → Encoding Source #

EncCBOR EpochInterval Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ EpochInterval → Encoding Source #

EncCBOR EpochNo Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ EpochNo → Encoding Source #

EncCBOR EpochSize Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ EpochSize → Encoding Source #

EncCBOR SlotNo Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SlotNo → Encoding Source #

EncCBOR SystemStart Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SystemStart → Encoding Source #

EncCBOR ByteArray Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ ByteArray → Encoding Source #

EncCBOR SlicedByteArray Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SlicedByteArray → Encoding Source #

EncCBOR Encoding Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Encoding → Encoding Source #

EncCBOR Term Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Term → Encoding Source #

EncCBOR Void Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Void → Encoding Source #

EncCBOR Int16 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Int16 → Encoding Source #

EncCBOR Int32 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Int32 → Encoding Source #

EncCBOR Int64 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Int64 → Encoding Source #

EncCBOR Int8 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Int8 → Encoding Source #

EncCBOR Word16 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Word16 → Encoding Source #

EncCBOR Word32 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Word32 → Encoding Source #

EncCBOR Word64 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Word64 → Encoding Source #

EncCBOR Word8 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Word8 → Encoding Source #

EncCBOR Data Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Data → Encoding Source #

EncCBOR ScriptContext Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ ScriptContext → Encoding Source #

EncCBOR ScriptContext Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ ScriptContext → Encoding Source #

EncCBOR ScriptContext Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ ScriptContext → Encoding Source #

EncCBOR Text Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Text → Encoding Source #

EncCBOR UTCTime Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ UTCTime → Encoding Source #

EncCBOR Integer Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Integer → Encoding Source #

EncCBOR Natural Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Natural → Encoding Source #

EncCBOR () Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ () → Encoding Source #

EncCBOR Bool Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Bool → Encoding Source #

EncCBOR Double Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Double → Encoding Source #

EncCBOR Float Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Float → Encoding Source #

EncCBOR Int Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Int → Encoding Source #

EncCBOR Word Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Word → Encoding Source #

DSIGNAlgorithm v ⇒ EncCBOR (SigDSIGN v) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SigDSIGN v → Encoding Source #

DSIGNAlgorithm v ⇒ EncCBOR (SignKeyDSIGN v) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SignKeyDSIGN v → Encoding Source #

DSIGNAlgorithm v ⇒ EncCBOR (VerKeyDSIGN v) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ VerKeyDSIGN v → Encoding Source #

KESAlgorithm k ⇒ EncCBOR (SigKES k) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SigKES k → Encoding Source #

KESAlgorithm k ⇒ EncCBOR (VerKeyKES k) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ VerKeyKES k → Encoding Source #

EncCBOR (CertVRF MockVRF) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ CertVRF MockVRF → Encoding Source #

EncCBOR (CertVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ CertVRF SimpleVRF → Encoding Source #

EncCBOR (CertVRF PraosVRF) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ CertVRF PraosVRF → Encoding Source #

EncCBOR (OutputVRF v) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ OutputVRF v → Encoding Source #

EncCBOR (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SignKeyVRF MockVRF → Encoding Source #

EncCBOR (SignKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SignKeyVRF SimpleVRF → Encoding Source #

EncCBOR (SignKeyVRF PraosVRF) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SignKeyVRF PraosVRF → Encoding Source #

EncCBOR (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ VerKeyVRF MockVRF → Encoding Source #

EncCBOR (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ VerKeyVRF SimpleVRF → Encoding Source #

EncCBOR (VerKeyVRF PraosVRF) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ VerKeyVRF PraosVRF → Encoding Source #

EncCBOR a ⇒ EncCBOR (Sized a) Source #

Discards the size.

Instance details

Defined in Cardano.Ledger.Binary.Decoding.Sized

Methods

encCBOR ∷ Sized a → Encoding Source #

EncCBORGroup a ⇒ EncCBOR (CBORGroup a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Group

Methods

encCBOR ∷ CBORGroup a → Encoding Source #

Serialise t ⇒ EncCBOR (WithOrigin t) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ WithOrigin t → Encoding Source #

EncCBOR a ⇒ EncCBOR (StrictMaybe a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ StrictMaybe a → Encoding Source #

EncCBOR a ⇒ EncCBOR (StrictSeq a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ StrictSeq a → Encoding Source #

EncCBOR a ⇒ EncCBOR (Seq a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Seq a → Encoding Source #

EncCBOR a ⇒ EncCBOR (Set a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Set a → Encoding Source #

EncCBOR a ⇒ EncCBOR (NonEmpty a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ NonEmpty a → Encoding Source #

EncCBOR a ⇒ EncCBOR (Ratio a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Ratio a → Encoding Source #

EncCBOR a ⇒ EncCBOR (Vector a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Vector a → Encoding Source #

(EncCBOR a, Prim a) ⇒ EncCBOR (Vector a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Vector a → Encoding Source #

(EncCBOR a, Storable a) ⇒ EncCBOR (Vector a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Vector a → Encoding Source #

(EncCBOR a, Unbox a) ⇒ EncCBOR (Vector a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Vector a → Encoding Source #

EncCBOR a ⇒ EncCBOR (Maybe a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Maybe a → Encoding Source #

EncCBOR a ⇒ EncCBOR [a] Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ [a] → Encoding Source #

EncCBOR (Fixed p) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Fixed p → Encoding Source #

DSIGNAlgorithm v ⇒ EncCBOR (SignedDSIGN v a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ SignedDSIGN v a → Encoding Source #

HashAlgorithm h ⇒ EncCBOR (Hash h a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Hash h a → Encoding Source #

VRFAlgorithm v ⇒ EncCBOR (CertifiedVRF v a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ CertifiedVRF v a → Encoding Source #

(EncCBOR k, EncCBOR v) ⇒ EncCBOR (Map k v) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Map k v → Encoding Source #

(EncCBOR a, EncCBOR b) ⇒ EncCBOR (Either a b) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Either a b → Encoding Source #

(EncCBOR a, EncCBOR b) ⇒ EncCBOR (a, b) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ (a, b) → Encoding Source #

EncCBOR (Tokens → Tokens) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ (Tokens → Tokens) → Encoding Source #

EncCBOR a ⇒ EncCBOR (Tagged s a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ Tagged s a → Encoding Source #

(EncCBOR a, EncCBOR b, EncCBOR c) ⇒ EncCBOR (a, b, c) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ (a, b, c) → Encoding Source #

(EncCBOR k, EncCBOR v, Vector kv k, Vector vv v) ⇒ EncCBOR (VMap kv vv k v) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ VMap kv vv k v → Encoding Source #

(EncCBOR a, EncCBOR b, EncCBOR c, EncCBOR d) ⇒ EncCBOR (a, b, c, d) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ (a, b, c, d) → Encoding Source #

(EncCBOR a, EncCBOR b, EncCBOR c, EncCBOR d, EncCBOR e) ⇒ EncCBOR (a, b, c, d, e) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ (a, b, c, d, e) → Encoding Source #

(EncCBOR a, EncCBOR b, EncCBOR c, EncCBOR d, EncCBOR e, EncCBOR f) ⇒ EncCBOR (a, b, c, d, e, f) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ (a, b, c, d, e, f) → Encoding Source #

(EncCBOR a, EncCBOR b, EncCBOR c, EncCBOR d, EncCBOR e, EncCBOR f, EncCBOR g) ⇒ EncCBOR (a, b, c, d, e, f, g) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ (a, b, c, d, e, f, g) → Encoding Source #

newtype PreEncoded Source #

Constructors

PreEncoded 

Fields

Instances

Instances details
EncCBOR PreEncoded Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

Methods

encCBOR ∷ PreEncoded → Encoding Source #

toByronCBOR ∷ EncCBOR a ⇒ a → Encoding Source #

Convert a versioned EncCBOR instance to a plain Encoding using Byron protocol version.

Nested CBOR-in-CBOR

encodeNestedCbor ∷ EncCBOR a ⇒ a → Encoding Source #

Encode and serialise the given a and surround it with the semantic tag 24 In CBOR diagnostic notation: > 24(hDEADBEEF)

encodeNestedCborBytes ∷ ByteString → Encoding Source #

Like encodeNestedCbor, but assumes nothing about the shape of input object, so that it must be passed as a binary ByteString blob. It's the caller responsibility to ensure the input ByteString correspond indeed to valid, previously-serialised CBOR data.

Tools

runByteBuilder ∷ Int → Builder → ByteString Source #

Run a ByteString Builder using a strategy aimed at making smaller things efficiently.

It takes a size hint and produces a strict ByteString. This will be fast when the size hint is the same or slightly bigger than the true size.

encodeMemPack ∷ MemPack a ⇒ a → Encoding Source #

Encode as bytes using MemPack and then encode those bytes as CBOR