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

DecCBOR (Annotator (TxBody ShelleyEra)) Source # 
Instance details

Methods

decCBOR ∷ Decoder s (Annotator (TxBody ShelleyEra)) Source #

dropCBOR ∷ Proxy (Annotator (TxBody ShelleyEra)) → Decoder s () Source #

label ∷ Proxy (Annotator (TxBody ShelleyEra)) → Text Source #

(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 #

DecCBOR (Annotator ShelleyTxBodyRaw) Source # 
Instance details

Methods

decCBOR ∷ Decoder s (Annotator ShelleyTxBodyRaw) Source #

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

label ∷ Proxy (Annotator ShelleyTxBodyRaw) → 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 #