cardano-ledger-shelley-1.17.0.0: Shelley Ledger Executable Model
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Shelley.Binary.Annotator

Documentation

mapTraverseableDecoderA ∷ Traversable f ⇒ Decoder s (f (Annotator a)) → (f a → m b) → Decoder s (Annotator (m b)) Source #

module Test.Cardano.Ledger.Core.Binary.Annotator

Orphan instances

(EraTx era, DecCBOR (Annotator (TxAuxData era)), DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (TxWits era))) ⇒ DecCBOR (Annotator (ShelleyTxSeq era)) Source # 
Instance details

Methods

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

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

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

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

Methods

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

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

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

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

Methods

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

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

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

(EraTx era, DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (TxWits era)), DecCBOR (Annotator (TxAuxData era))) ⇒ DecCBOR (Annotator (ShelleyTx era)) Source # 
Instance details

Methods

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

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

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

(EraTx era, DecCBOR (Annotator (TxBody era)), DecCBOR (Annotator (TxWits era)), DecCBOR (Annotator (TxAuxData era))) ⇒ DecCBOR (Annotator (ShelleyTxRaw era)) Source # 
Instance details

Methods

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

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

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

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

Methods

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

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

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

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

Methods

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

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

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

EraTxBody era ⇒ DecCBOR (Annotator (ShelleyTxBody era)) Source # 
Instance details

Methods

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

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

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

(Era era, DecCBOR (PParamsUpdate era), DecCBOR (TxOut era), DecCBOR (TxCert era)) ⇒ DecCBOR (Annotator (ShelleyTxBodyRaw era)) Source # 
Instance details

Methods

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

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

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

(EraScript era, DecCBOR (Annotator (Script era))) ⇒ DecCBOR (Annotator (ShelleyTxWits era)) Source # 
Instance details

Methods

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

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

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

(EraScript era, DecCBOR (Annotator (Script era))) ⇒ DecCBOR (Annotator (ShelleyTxWitsRaw era)) Source # 
Instance details

Methods

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

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

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