cardano-ledger-binary-1.3.3.0: Binary serialization library used throughout ledger
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Binary.Decoding.DecCBOR

Synopsis

Documentation

class Typeable a ⇒ DecCBOR a where Source #

Minimal complete definition

Nothing

Methods

decCBORDecoder s a Source #

default decCBORFromCBOR a ⇒ Decoder s a Source #

dropCBORProxy a → Decoder s () Source #

Validate decoding of a Haskell value, without the need to actually construct it. Coule be slightly faster than decCBOR, however it should respect this law:

dropCBOR (proxy :: Proxy a) = () <$ (decCBOR :: Decoder s a)

labelProxy a → Text Source #

Instances

Instances details
DecCBOR Void Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Int16 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Int32 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Int64 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Int8 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Rational Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Word16 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Word32 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Word64 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Word8 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR ByteString Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR ByteString Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR ShortByteString Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Proof Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR SignKey Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR VerKey Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Version Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR BlockNo Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR EpochInterval Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR EpochNo Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR EpochSize Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR SlotNo Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR SystemStart Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR ByteArray Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR SlicedByteArray Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Term Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR ByteArray Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR IPv4 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR IPv6 Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Data Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR ScriptContext Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR ScriptContext Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR ScriptContext Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Text Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR UTCTime Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Integer Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Natural Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR () Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s () Source #

dropCBORProxy () → Decoder s () Source #

labelProxy () → Text Source #

DecCBOR Bool Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Double Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Float Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Int Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR Word Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

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

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

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

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

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

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DSIGNAlgorithm d ⇒ DecCBOR (SigKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

(OptimizedKESAlgorithm d, HashAlgorithm h) ⇒ DecCBOR (SigKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

KnownNat t ⇒ DecCBOR (SigKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) ⇒ DecCBOR (SigKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DSIGNAlgorithm d ⇒ DecCBOR (SigKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

(KESAlgorithm d, HashAlgorithm h) ⇒ DecCBOR (SigKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s (SigKES (SumKES h d)) Source #

dropCBORProxy (SigKES (SumKES h d)) → Decoder s () Source #

labelProxy (SigKES (SumKES h d)) → Text Source #

DSIGNAlgorithm d ⇒ DecCBOR (SignKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

(OptimizedKESAlgorithm d, HashAlgorithm h) ⇒ DecCBOR (SignKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

KnownNat t ⇒ DecCBOR (SignKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) ⇒ DecCBOR (SignKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DSIGNAlgorithm d ⇒ DecCBOR (SignKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

(KESAlgorithm d, HashAlgorithm h) ⇒ DecCBOR (SignKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DSIGNAlgorithm d ⇒ DecCBOR (VerKeyKES (CompactSingleKES d)) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

(OptimizedKESAlgorithm d, HashAlgorithm h) ⇒ DecCBOR (VerKeyKES (CompactSumKES h d)) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

KnownNat t ⇒ DecCBOR (VerKeyKES (MockKES t)) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) ⇒ DecCBOR (VerKeyKES (SimpleKES d t)) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DSIGNAlgorithm d ⇒ DecCBOR (VerKeyKES (SingleKES d)) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

(KESAlgorithm d, HashAlgorithm h) ⇒ DecCBOR (VerKeyKES (SumKES h d)) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR (CertVRF MockVRF) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR (CertVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR (CertVRF PraosVRF) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Typeable v ⇒ DecCBOR (OutputVRF v) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR (SignKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR (SignKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR (SignKeyVRF PraosVRF) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR (VerKeyVRF MockVRF) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR (VerKeyVRF SimpleVRF) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR (VerKeyVRF PraosVRF) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

DecCBOR (Annotator Data) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.Annotated

DecCBOR a ⇒ DecCBOR (Sized a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.Sized

Methods

decCBORDecoder s (Sized a) Source #

dropCBORProxy (Sized a) → Decoder s () Source #

labelProxy (Sized a) → Text Source #

(DecCBORGroup a, EncCBORGroup a) ⇒ DecCBOR (CBORGroup a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Group

(Serialise t, Typeable t) ⇒ DecCBOR (WithOrigin t) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

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

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

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

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

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

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s (Seq a) Source #

dropCBORProxy (Seq a) → Decoder s () Source #

labelProxy (Seq a) → Text Source #

(Ord a, DecCBOR a) ⇒ DecCBOR (Set a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s (Set a) Source #

dropCBORProxy (Set a) → Decoder s () Source #

labelProxy (Set a) → Text Source #

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

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s (Vector a) Source #

dropCBORProxy (Vector a) → Decoder s () Source #

labelProxy (Vector a) → Text Source #

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

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s (Vector a) Source #

dropCBORProxy (Vector a) → Decoder s () Source #

labelProxy (Vector a) → Text Source #

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

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s (Vector a) Source #

dropCBORProxy (Vector a) → Decoder s () Source #

labelProxy (Vector a) → Text Source #

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

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s (Vector a) Source #

dropCBORProxy (Vector a) → Decoder s () Source #

labelProxy (Vector a) → Text Source #

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

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

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

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s (Maybe a) Source #

dropCBORProxy (Maybe a) → Decoder s () Source #

labelProxy (Maybe a) → Text Source #

DecCBOR a ⇒ DecCBOR [a] Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s [a] Source #

dropCBORProxy [a] → Decoder s () Source #

labelProxy [a] → Text Source #

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

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s (Either a b) Source #

dropCBORProxy (Either a b) → Decoder s () Source #

labelProxy (Either a b) → Text Source #

Typeable p ⇒ DecCBOR (Fixed p) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s (Fixed p) Source #

dropCBORProxy (Fixed p) → Decoder s () Source #

labelProxy (Fixed p) → Text Source #

(DSIGNAlgorithm v, Typeable a) ⇒ DecCBOR (SignedDSIGN v a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

(HashAlgorithm h, Typeable a) ⇒ DecCBOR (Hash h a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s (Hash h a) Source #

dropCBORProxy (Hash h a) → Decoder s () Source #

labelProxy (Hash h a) → Text Source #

(VRFAlgorithm v, Typeable a) ⇒ DecCBOR (CertifiedVRF v a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

(Ord k, DecCBOR k, DecCBOR v) ⇒ DecCBOR (Map k v) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s (Map k v) Source #

dropCBORProxy (Map k v) → Decoder s () Source #

labelProxy (Map k v) → Text Source #

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

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s (a, b) Source #

dropCBORProxy (a, b) → Decoder s () Source #

labelProxy (a, b) → Text Source #

(Typeable s, DecCBOR a) ⇒ DecCBOR (Tagged s a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s0 (Tagged s a) Source #

dropCBORProxy (Tagged s a) → Decoder s0 () Source #

labelProxy (Tagged s a) → Text Source #

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

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s (a, b, c) Source #

dropCBORProxy (a, b, c) → Decoder s () Source #

labelProxy (a, b, c) → Text Source #

(Ord k, DecCBOR k, DecCBOR a, Typeable kv, Typeable av, Vector kv k, Vector av a) ⇒ DecCBOR (VMap kv av k a) Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s (VMap kv av k a) Source #

dropCBORProxy (VMap kv av k a) → Decoder s () Source #

labelProxy (VMap kv av k a) → Text Source #

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

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s (a, b, c, d) Source #

dropCBORProxy (a, b, c, d) → Decoder s () Source #

labelProxy (a, b, c, d) → Text Source #

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

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s (a, b, c, d, e) Source #

dropCBORProxy (a, b, c, d, e) → Decoder s () Source #

labelProxy (a, b, c, d, e) → Text Source #

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

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s (a, b, c, d, e, f) Source #

dropCBORProxy (a, b, c, d, e, f) → Decoder s () Source #

labelProxy (a, b, c, d, e, f) → Text Source #

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

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

Methods

decCBORDecoder s (a, b, c, d, e, f, g) Source #

dropCBORProxy (a, b, c, d, e, f, g) → Decoder s () Source #

labelProxy (a, b, c, d, e, f, g) → Text Source #

fromByronCBORDecCBOR a ⇒ Decoder s a Source #

Convert a versioned DecCBOR instance to a plain Decoder using Byron protocol version.