Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Binary.Decoding.DecCBOR

Synopsis

class Typeable a ⇒ DecCBOR a where
- decCBOR ∷ Decoder s a
- dropCBOR ∷ Proxy a → Decoder s ()
- label ∷ Proxy a → Text
fromByronCBOR ∷ DecCBOR a ⇒ Decoder s a

Documentation

class Typeable a ⇒ DecCBOR a where Source #

Minimal complete definition

Nothing

Methods

decCBOR ∷ Decoder s a Source #

default decCBOR ∷ FromCBOR a ⇒ Decoder s a Source #

dropCBOR ∷ Proxy 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)

label ∷ Proxy a → Text Source #

Instances

Instances details

DecCBOR Void Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Void Source # dropCBOR ∷ Proxy Void → Decoder s () Source # label ∷ Proxy Void → Text Source #
DecCBOR Int16 Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Int16 Source # dropCBOR ∷ Proxy Int16 → Decoder s () Source # label ∷ Proxy Int16 → Text Source #
DecCBOR Int32 Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Int32 Source # dropCBOR ∷ Proxy Int32 → Decoder s () Source # label ∷ Proxy Int32 → Text Source #
DecCBOR Int64 Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Int64 Source # dropCBOR ∷ Proxy Int64 → Decoder s () Source # label ∷ Proxy Int64 → Text Source #
DecCBOR Int8 Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Int8 Source # dropCBOR ∷ Proxy Int8 → Decoder s () Source # label ∷ Proxy Int8 → Text Source #
DecCBOR Rational Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Rational Source # dropCBOR ∷ Proxy Rational → Decoder s () Source # label ∷ Proxy Rational → Text Source #
DecCBOR Word16 Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Word16 Source # dropCBOR ∷ Proxy Word16 → Decoder s () Source # label ∷ Proxy Word16 → Text Source #
DecCBOR Word32 Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Word32 Source # dropCBOR ∷ Proxy Word32 → Decoder s () Source # label ∷ Proxy Word32 → Text Source #
DecCBOR Word64 Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Word64 Source # dropCBOR ∷ Proxy Word64 → Decoder s () Source # label ∷ Proxy Word64 → Text Source #
DecCBOR Word8 Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Word8 Source # dropCBOR ∷ Proxy Word8 → Decoder s () Source # label ∷ Proxy Word8 → Text Source #
DecCBOR ByteString Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s ByteString Source # dropCBOR ∷ Proxy ByteString → Decoder s () Source # label ∷ Proxy ByteString → Text Source #
DecCBOR ByteString Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s ByteString Source # dropCBOR ∷ Proxy ByteString → Decoder s () Source # label ∷ Proxy ByteString → Text Source #
DecCBOR ShortByteString Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s ShortByteString Source # dropCBOR ∷ Proxy ShortByteString → Decoder s () Source # label ∷ Proxy ShortByteString → Text Source #
DecCBOR Proof Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Proof Source # dropCBOR ∷ Proxy Proof → Decoder s () Source # label ∷ Proxy Proof → Text Source #
DecCBOR SignKey Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s SignKey Source # dropCBOR ∷ Proxy SignKey → Decoder s () Source # label ∷ Proxy SignKey → Text Source #
DecCBOR VerKey Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s VerKey Source # dropCBOR ∷ Proxy VerKey → Decoder s () Source # label ∷ Proxy VerKey → Text Source #
DecCBOR Version Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Version Source # dropCBOR ∷ Proxy Version → Decoder s () Source # label ∷ Proxy Version → Text Source #
DecCBOR BlockNo Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s BlockNo Source # dropCBOR ∷ Proxy BlockNo → Decoder s () Source # label ∷ Proxy BlockNo → Text Source #
DecCBOR EpochInterval Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s EpochInterval Source # dropCBOR ∷ Proxy EpochInterval → Decoder s () Source # label ∷ Proxy EpochInterval → Text Source #
DecCBOR EpochNo Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s EpochNo Source # dropCBOR ∷ Proxy EpochNo → Decoder s () Source # label ∷ Proxy EpochNo → Text Source #
DecCBOR EpochSize Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s EpochSize Source # dropCBOR ∷ Proxy EpochSize → Decoder s () Source # label ∷ Proxy EpochSize → Text Source #
DecCBOR SlotNo Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s SlotNo Source # dropCBOR ∷ Proxy SlotNo → Decoder s () Source # label ∷ Proxy SlotNo → Text Source #
DecCBOR SystemStart Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s SystemStart Source # dropCBOR ∷ Proxy SystemStart → Decoder s () Source # label ∷ Proxy SystemStart → Text Source #
DecCBOR ByteArray Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s ByteArray Source # dropCBOR ∷ Proxy ByteArray → Decoder s () Source # label ∷ Proxy ByteArray → Text Source #
DecCBOR SlicedByteArray Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s SlicedByteArray Source # dropCBOR ∷ Proxy SlicedByteArray → Decoder s () Source # label ∷ Proxy SlicedByteArray → Text Source #
DecCBOR Term Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Term Source # dropCBOR ∷ Proxy Term → Decoder s () Source # label ∷ Proxy Term → Text Source #
DecCBOR ByteArray Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s ByteArray Source # dropCBOR ∷ Proxy ByteArray → Decoder s () Source # label ∷ Proxy ByteArray → Text Source #
DecCBOR IPv4 Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s IPv4 Source # dropCBOR ∷ Proxy IPv4 → Decoder s () Source # label ∷ Proxy IPv4 → Text Source #
DecCBOR IPv6 Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s IPv6 Source # dropCBOR ∷ Proxy IPv6 → Decoder s () Source # label ∷ Proxy IPv6 → Text Source #
DecCBOR Data Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Data Source # dropCBOR ∷ Proxy Data → Decoder s () Source # label ∷ Proxy Data → Text Source #
DecCBOR Text Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Text Source # dropCBOR ∷ Proxy Text → Decoder s () Source # label ∷ Proxy Text → Text Source #
DecCBOR UTCTime Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s UTCTime Source # dropCBOR ∷ Proxy UTCTime → Decoder s () Source # label ∷ Proxy UTCTime → Text Source #
DecCBOR Integer Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Integer Source # dropCBOR ∷ Proxy Integer → Decoder s () Source # label ∷ Proxy Integer → Text Source #
DecCBOR Natural Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Natural Source # dropCBOR ∷ Proxy Natural → Decoder s () Source # label ∷ Proxy Natural → Text Source #
DecCBOR () Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s () Source # dropCBOR ∷ Proxy () → Decoder s () Source # label ∷ Proxy () → Text Source #
DecCBOR Bool Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Bool Source # dropCBOR ∷ Proxy Bool → Decoder s () Source # label ∷ Proxy Bool → Text Source #
DecCBOR Double Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Double Source # dropCBOR ∷ Proxy Double → Decoder s () Source # label ∷ Proxy Double → Text Source #
DecCBOR Float Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Float Source # dropCBOR ∷ Proxy Float → Decoder s () Source # label ∷ Proxy Float → Text Source #
DecCBOR Int Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Int Source # dropCBOR ∷ Proxy Int → Decoder s () Source # label ∷ Proxy Int → Text Source #
DecCBOR Word Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s Word Source # dropCBOR ∷ Proxy Word → Decoder s () Source # label ∷ Proxy Word → Text Source #
DSIGNAlgorithm v ⇒ DecCBOR (SigDSIGN v) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SigDSIGN v) Source # dropCBOR ∷ Proxy (SigDSIGN v) → Decoder s () Source # label ∷ Proxy (SigDSIGN v) → Text Source #
DSIGNAlgorithm v ⇒ DecCBOR (SignKeyDSIGN v) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SignKeyDSIGN v) Source # dropCBOR ∷ Proxy (SignKeyDSIGN v) → Decoder s () Source # label ∷ Proxy (SignKeyDSIGN v) → Text Source #
DSIGNAlgorithm v ⇒ DecCBOR (VerKeyDSIGN v) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (VerKeyDSIGN v) Source # dropCBOR ∷ Proxy (VerKeyDSIGN v) → Decoder s () Source # label ∷ Proxy (VerKeyDSIGN v) → Text Source #
DSIGNAlgorithm d ⇒ DecCBOR (SigKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SigKES (CompactSingleKES d)) Source # dropCBOR ∷ Proxy (SigKES (CompactSingleKES d)) → Decoder s () Source # label ∷ Proxy (SigKES (CompactSingleKES d)) → Text Source #
(OptimizedKESAlgorithm d, HashAlgorithm h) ⇒ DecCBOR (SigKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SigKES (CompactSumKES h d)) Source # dropCBOR ∷ Proxy (SigKES (CompactSumKES h d)) → Decoder s () Source # label ∷ Proxy (SigKES (CompactSumKES h d)) → Text Source #
KnownNat t ⇒ DecCBOR (SigKES (MockKES t)) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SigKES (MockKES t)) Source # dropCBOR ∷ Proxy (SigKES (MockKES t)) → Decoder s () Source # label ∷ Proxy (SigKES (MockKES t)) → Text Source #
(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) ⇒ DecCBOR (SigKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SigKES (SimpleKES d t)) Source # dropCBOR ∷ Proxy (SigKES (SimpleKES d t)) → Decoder s () Source # label ∷ Proxy (SigKES (SimpleKES d t)) → Text Source #
DSIGNAlgorithm d ⇒ DecCBOR (SigKES (SingleKES d)) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SigKES (SingleKES d)) Source # dropCBOR ∷ Proxy (SigKES (SingleKES d)) → Decoder s () Source # label ∷ Proxy (SigKES (SingleKES d)) → Text Source #
(KESAlgorithm d, HashAlgorithm h) ⇒ DecCBOR (SigKES (SumKES h d)) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SigKES (SumKES h d)) Source # dropCBOR ∷ Proxy (SigKES (SumKES h d)) → Decoder s () Source # label ∷ Proxy (SigKES (SumKES h d)) → Text Source #
DSIGNAlgorithm d ⇒ DecCBOR (SignKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SignKeyKES (CompactSingleKES d)) Source # dropCBOR ∷ Proxy (SignKeyKES (CompactSingleKES d)) → Decoder s () Source # label ∷ Proxy (SignKeyKES (CompactSingleKES d)) → Text Source #
(OptimizedKESAlgorithm d, HashAlgorithm h) ⇒ DecCBOR (SignKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SignKeyKES (CompactSumKES h d)) Source # dropCBOR ∷ Proxy (SignKeyKES (CompactSumKES h d)) → Decoder s () Source # label ∷ Proxy (SignKeyKES (CompactSumKES h d)) → Text Source #
KnownNat t ⇒ DecCBOR (SignKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SignKeyKES (MockKES t)) Source # dropCBOR ∷ Proxy (SignKeyKES (MockKES t)) → Decoder s () Source # label ∷ Proxy (SignKeyKES (MockKES t)) → Text Source #
(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) ⇒ DecCBOR (SignKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SignKeyKES (SimpleKES d t)) Source # dropCBOR ∷ Proxy (SignKeyKES (SimpleKES d t)) → Decoder s () Source # label ∷ Proxy (SignKeyKES (SimpleKES d t)) → Text Source #
DSIGNAlgorithm d ⇒ DecCBOR (SignKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SignKeyKES (SingleKES d)) Source # dropCBOR ∷ Proxy (SignKeyKES (SingleKES d)) → Decoder s () Source # label ∷ Proxy (SignKeyKES (SingleKES d)) → Text Source #
(KESAlgorithm d, HashAlgorithm h) ⇒ DecCBOR (SignKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SignKeyKES (SumKES h d)) Source # dropCBOR ∷ Proxy (SignKeyKES (SumKES h d)) → Decoder s () Source # label ∷ Proxy (SignKeyKES (SumKES h d)) → Text Source #
DSIGNAlgorithm d ⇒ DecCBOR (VerKeyKES (CompactSingleKES d)) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (VerKeyKES (CompactSingleKES d)) Source # dropCBOR ∷ Proxy (VerKeyKES (CompactSingleKES d)) → Decoder s () Source # label ∷ Proxy (VerKeyKES (CompactSingleKES d)) → Text Source #
(OptimizedKESAlgorithm d, HashAlgorithm h) ⇒ DecCBOR (VerKeyKES (CompactSumKES h d)) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (VerKeyKES (CompactSumKES h d)) Source # dropCBOR ∷ Proxy (VerKeyKES (CompactSumKES h d)) → Decoder s () Source # label ∷ Proxy (VerKeyKES (CompactSumKES h d)) → Text Source #
KnownNat t ⇒ DecCBOR (VerKeyKES (MockKES t)) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (VerKeyKES (MockKES t)) Source # dropCBOR ∷ Proxy (VerKeyKES (MockKES t)) → Decoder s () Source # label ∷ Proxy (VerKeyKES (MockKES t)) → Text Source #
(DSIGNAlgorithm d, KnownNat t, KnownNat (SeedSizeDSIGN d * t)) ⇒ DecCBOR (VerKeyKES (SimpleKES d t)) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (VerKeyKES (SimpleKES d t)) Source # dropCBOR ∷ Proxy (VerKeyKES (SimpleKES d t)) → Decoder s () Source # label ∷ Proxy (VerKeyKES (SimpleKES d t)) → Text Source #
DSIGNAlgorithm d ⇒ DecCBOR (VerKeyKES (SingleKES d)) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (VerKeyKES (SingleKES d)) Source # dropCBOR ∷ Proxy (VerKeyKES (SingleKES d)) → Decoder s () Source # label ∷ Proxy (VerKeyKES (SingleKES d)) → Text Source #
(KESAlgorithm d, HashAlgorithm h) ⇒ DecCBOR (VerKeyKES (SumKES h d)) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (VerKeyKES (SumKES h d)) Source # dropCBOR ∷ Proxy (VerKeyKES (SumKES h d)) → Decoder s () Source # label ∷ Proxy (VerKeyKES (SumKES h d)) → Text Source #
DecCBOR (CertVRF MockVRF) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (CertVRF MockVRF) Source # dropCBOR ∷ Proxy (CertVRF MockVRF) → Decoder s () Source # label ∷ Proxy (CertVRF MockVRF) → Text Source #
DecCBOR (CertVRF SimpleVRF) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (CertVRF SimpleVRF) Source # dropCBOR ∷ Proxy (CertVRF SimpleVRF) → Decoder s () Source # label ∷ Proxy (CertVRF SimpleVRF) → Text Source #
DecCBOR (CertVRF PraosVRF) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (CertVRF PraosVRF) Source # dropCBOR ∷ Proxy (CertVRF PraosVRF) → Decoder s () Source # label ∷ Proxy (CertVRF PraosVRF) → Text Source #
Typeable v ⇒ DecCBOR (OutputVRF v) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (OutputVRF v) Source # dropCBOR ∷ Proxy (OutputVRF v) → Decoder s () Source # label ∷ Proxy (OutputVRF v) → Text Source #
DecCBOR (SignKeyVRF MockVRF) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SignKeyVRF MockVRF) Source # dropCBOR ∷ Proxy (SignKeyVRF MockVRF) → Decoder s () Source # label ∷ Proxy (SignKeyVRF MockVRF) → Text Source #
DecCBOR (SignKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SignKeyVRF SimpleVRF) Source # dropCBOR ∷ Proxy (SignKeyVRF SimpleVRF) → Decoder s () Source # label ∷ Proxy (SignKeyVRF SimpleVRF) → Text Source #
DecCBOR (SignKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SignKeyVRF PraosVRF) Source # dropCBOR ∷ Proxy (SignKeyVRF PraosVRF) → Decoder s () Source # label ∷ Proxy (SignKeyVRF PraosVRF) → Text Source #
DecCBOR (VerKeyVRF MockVRF) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (VerKeyVRF MockVRF) Source # dropCBOR ∷ Proxy (VerKeyVRF MockVRF) → Decoder s () Source # label ∷ Proxy (VerKeyVRF MockVRF) → Text Source #
DecCBOR (VerKeyVRF SimpleVRF) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (VerKeyVRF SimpleVRF) Source # dropCBOR ∷ Proxy (VerKeyVRF SimpleVRF) → Decoder s () Source # label ∷ Proxy (VerKeyVRF SimpleVRF) → Text Source #
DecCBOR (VerKeyVRF PraosVRF) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (VerKeyVRF PraosVRF) Source # dropCBOR ∷ Proxy (VerKeyVRF PraosVRF) → Decoder s () Source # label ∷ Proxy (VerKeyVRF PraosVRF) → Text Source #
DecCBOR (Annotator Data) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.Annotated Methods decCBOR ∷ Decoder s (Annotator Data) Source # dropCBOR ∷ Proxy (Annotator Data) → Decoder s () Source # label ∷ Proxy (Annotator Data) → Text Source #
DecCBOR a ⇒ DecCBOR (Sized a) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.Sized Methods decCBOR ∷ Decoder s (Sized a) Source # dropCBOR ∷ Proxy (Sized a) → Decoder s () Source # label ∷ Proxy (Sized a) → Text Source #
(DecCBORGroup a, EncCBORGroup a) ⇒ DecCBOR (CBORGroup a) Source #
Instance details Defined in Cardano.Ledger.Binary.Group Methods decCBOR ∷ Decoder s (CBORGroup a) Source # dropCBOR ∷ Proxy (CBORGroup a) → Decoder s () Source # label ∷ Proxy (CBORGroup a) → Text Source #
(Serialise t, Typeable t) ⇒ DecCBOR (WithOrigin t) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (WithOrigin t) Source # dropCBOR ∷ Proxy (WithOrigin t) → Decoder s () Source # label ∷ Proxy (WithOrigin t) → Text Source #
DecCBOR a ⇒ DecCBOR (StrictMaybe a) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (StrictMaybe a) Source # dropCBOR ∷ Proxy (StrictMaybe a) → Decoder s () Source # label ∷ Proxy (StrictMaybe a) → Text Source #
DecCBOR a ⇒ DecCBOR (StrictSeq a) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (StrictSeq a) Source # dropCBOR ∷ Proxy (StrictSeq a) → Decoder s () Source # label ∷ Proxy (StrictSeq a) → Text Source #
DecCBOR a ⇒ DecCBOR (Seq a) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (Seq a) Source # dropCBOR ∷ Proxy (Seq a) → Decoder s () Source # label ∷ Proxy (Seq a) → Text Source #
(Ord a, DecCBOR a) ⇒ DecCBOR (Set a) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (Set a) Source # dropCBOR ∷ Proxy (Set a) → Decoder s () Source # label ∷ Proxy (Set a) → Text Source #
DecCBOR a ⇒ DecCBOR (Vector a) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (Vector a) Source # dropCBOR ∷ Proxy (Vector a) → Decoder s () Source # label ∷ Proxy (Vector a) → Text Source #
(DecCBOR a, Prim a) ⇒ DecCBOR (Vector a) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (Vector a) Source # dropCBOR ∷ Proxy (Vector a) → Decoder s () Source # label ∷ Proxy (Vector a) → Text Source #
(DecCBOR a, Storable a) ⇒ DecCBOR (Vector a) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (Vector a) Source # dropCBOR ∷ Proxy (Vector a) → Decoder s () Source # label ∷ Proxy (Vector a) → Text Source #
(DecCBOR a, Unbox a) ⇒ DecCBOR (Vector a) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (Vector a) Source # dropCBOR ∷ Proxy (Vector a) → Decoder s () Source # label ∷ Proxy (Vector a) → Text Source #
DecCBOR a ⇒ DecCBOR (NonEmpty a) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (NonEmpty a) Source # dropCBOR ∷ Proxy (NonEmpty a) → Decoder s () Source # label ∷ Proxy (NonEmpty a) → Text Source #
DecCBOR a ⇒ DecCBOR (Maybe a) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (Maybe a) Source # dropCBOR ∷ Proxy (Maybe a) → Decoder s () Source # label ∷ Proxy (Maybe a) → Text Source #
DecCBOR a ⇒ DecCBOR [a] Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s [a] Source # dropCBOR ∷ Proxy [a] → Decoder s () Source # label ∷ Proxy [a] → Text Source #
(DecCBOR a, DecCBOR b) ⇒ DecCBOR (Either a b) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (Either a b) Source # dropCBOR ∷ Proxy (Either a b) → Decoder s () Source # label ∷ Proxy (Either a b) → Text Source #
Typeable p ⇒ DecCBOR (Fixed p) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (Fixed p) Source # dropCBOR ∷ Proxy (Fixed p) → Decoder s () Source # label ∷ Proxy (Fixed p) → Text Source #
(DSIGNAlgorithm v, Typeable a) ⇒ DecCBOR (SignedDSIGN v a) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (SignedDSIGN v a) Source # dropCBOR ∷ Proxy (SignedDSIGN v a) → Decoder s () Source # label ∷ Proxy (SignedDSIGN v a) → Text Source #
(HashAlgorithm h, Typeable a) ⇒ DecCBOR (Hash h a) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (Hash h a) Source # dropCBOR ∷ Proxy (Hash h a) → Decoder s () Source # label ∷ Proxy (Hash h a) → Text Source #
(VRFAlgorithm v, Typeable a) ⇒ DecCBOR (CertifiedVRF v a) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (CertifiedVRF v a) Source # dropCBOR ∷ Proxy (CertifiedVRF v a) → Decoder s () Source # label ∷ Proxy (CertifiedVRF v a) → Text Source #
(Ord k, DecCBOR k, DecCBOR v) ⇒ DecCBOR (Map k v) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (Map k v) Source # dropCBOR ∷ Proxy (Map k v) → Decoder s () Source # label ∷ Proxy (Map k v) → Text Source #
(DecCBOR a, DecCBOR b) ⇒ DecCBOR (a, b) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s (a, b) Source # dropCBOR ∷ Proxy (a, b) → Decoder s () Source # label ∷ Proxy (a, b) → Text Source #
(Typeable s, DecCBOR a) ⇒ DecCBOR (Tagged s a) Source #
Instance details Defined in Cardano.Ledger.Binary.Decoding.DecCBOR Methods decCBOR ∷ Decoder s0 (Tagged s a) Source # dropCBOR ∷ Proxy (Tagged s a) → Decoder s0 () Source # label ∷ Proxy (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 decCBOR ∷ Decoder s (a, b, c) Source # dropCBOR ∷ Proxy (a, b, c) → Decoder s () Source # label ∷ Proxy (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 decCBOR ∷ Decoder s (VMap kv av k a) Source # dropCBOR ∷ Proxy (VMap kv av k a) → Decoder s () Source # label ∷ Proxy (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 decCBOR ∷ Decoder s (a, b, c, d) Source # dropCBOR ∷ Proxy (a, b, c, d) → Decoder s () Source # label ∷ Proxy (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 decCBOR ∷ Decoder s (a, b, c, d, e) Source # dropCBOR ∷ Proxy (a, b, c, d, e) → Decoder s () Source # label ∷ Proxy (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 decCBOR ∷ Decoder s (a, b, c, d, e, f) Source # dropCBOR ∷ Proxy (a, b, c, d, e, f) → Decoder s () Source # label ∷ Proxy (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 decCBOR ∷ Decoder s (a, b, c, d, e, f, g) Source # dropCBOR ∷ Proxy (a, b, c, d, e, f, g) → Decoder s () Source # label ∷ Proxy (a, b, c, d, e, f, g) → Text Source #

fromByronCBOR ∷ DecCBOR a ⇒ Decoder s a Source #

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