cardano-ledger-core-1.18.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Core.Binary.Annotator

Synopsis

Documentation

decoderEquivalenceEraSpec ∷ ∀ era t. (Era era, Eq t, ToCBOR t, DecCBOR (Annotator t), Arbitrary t, Show t) ⇒ Spec Source #

decoderEquivalenceCoreEraTypesSpec ∷ ∀ era. (EraTx era, Arbitrary (Tx era), Arbitrary (TxBody era), Arbitrary (TxWits era), Arbitrary (TxAuxData era), Arbitrary (Script era), DecCBOR (Annotator (Tx era)), DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (TxWits era)), DecCBOR (Annotator (TxAuxData era)), DecCBOR (Annotator (Script era)), HasCallStack) ⇒ Spec Source #

type Mem t = Annotator (MemoBytes t) Source #

Useful when deriving DecCBOR(Annotator T) deriving via (Mem T) instance DecCBOR (Annotator T)

module Test.Cardano.Ledger.Binary.Annotator

Orphan instances

(EraSegWits era, DecCBOR (Annotator h), DecCBOR (Annotator (TxSeq era)), Typeable h) ⇒ DecCBOR (Annotator (Block h era)) Source # 
Instance details

Methods

decCBOR ∷ Decoder s (Annotator (Block h era)) Source #

dropCBOR ∷ Proxy (Annotator (Block h era)) → Decoder s () Source #

label ∷ Proxy (Annotator (Block h era)) → Text Source #

DecCBOR (Annotator BootstrapWitness) Source # 
Instance details

Methods

decCBOR ∷ Decoder s (Annotator BootstrapWitness) Source #

dropCBOR ∷ Proxy (Annotator BootstrapWitness) → Decoder s () Source #

label ∷ Proxy (Annotator BootstrapWitness) → Text Source #

Typeable kr ⇒ DecCBOR (Annotator (WitVKey kr)) Source # 
Instance details

Methods

decCBOR ∷ Decoder s (Annotator (WitVKey kr)) Source #

dropCBOR ∷ Proxy (Annotator (WitVKey kr)) → Decoder s () Source #

label ∷ Proxy (Annotator (WitVKey kr)) → Text Source #

(Typeable t, DecCBOR (Annotator t)) ⇒ DecCBOR (Annotator (MemoBytes t)) Source # 
Instance details

Methods

decCBOR ∷ Decoder s (Annotator (MemoBytes t)) Source #

dropCBOR ∷ Proxy (Annotator (MemoBytes t)) → Decoder s () Source #

label ∷ Proxy (Annotator (MemoBytes t)) → Text Source #

Era era ⇒ DecCBOR (Annotator (Data era)) Source # 
Instance details

Methods

decCBOR ∷ Decoder s (Annotator (Data era)) Source #

dropCBOR ∷ Proxy (Annotator (Data era)) → Decoder s () Source #

label ∷ Proxy (Annotator (Data era)) → Text Source #

Typeable era ⇒ DecCBOR (Annotator (PlutusData era)) Source # 
Instance details

Methods

decCBOR ∷ Decoder s (Annotator (PlutusData era)) Source #

dropCBOR ∷ Proxy (Annotator (PlutusData era)) → Decoder s () Source #

label ∷ Proxy (Annotator (PlutusData era)) → Text Source #

DecCBOR (Annotator PlutusBinary) Source # 
Instance details

Methods

decCBOR ∷ Decoder s (Annotator PlutusBinary) Source #

dropCBOR ∷ Proxy (Annotator PlutusBinary) → Decoder s () Source #

label ∷ Proxy (Annotator PlutusBinary) → Text Source #