cardano-ledger-mary-1.6.1.1: Cardano ledger with multiasset support.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cardano.Ledger.Mary.TxAuxData

Documentation

data AllegraTxAuxData era where Source #

Bundled Patterns

pattern AllegraTxAuxDataEra era ⇒ Map Word64 MetadatumStrictSeq (Timelock era) → AllegraTxAuxData era 

Instances

Instances details
Memoized AllegraTxAuxData 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Associated Types

type RawType AllegraTxAuxData = (r ∷ TypeType) Source #

Generic (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Associated Types

type Rep (AllegraTxAuxData era) ∷ TypeType Source #

HashAlgorithm (HASH (EraCrypto era)) ⇒ Show (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Typeable era ⇒ ToCBOR (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

toCBORAllegraTxAuxData era → Encoding Source #

encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (AllegraTxAuxData era) → Size Source #

encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [AllegraTxAuxData era] → Size Source #

Era era ⇒ DecCBOR (Annotator (AllegraTxAuxData era)) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Era era ⇒ EncCBOR (AllegraTxAuxData era)

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

encCBORAllegraTxAuxData era → Encoding Source #

encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AllegraTxAuxData era) → Size Source #

encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AllegraTxAuxData era] → Size Source #

EqRaw (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

eqRawAllegraTxAuxData era → AllegraTxAuxData era → Bool Source #

SafeToHash (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

NFData (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

rnfAllegraTxAuxData era → () Source #

Eq (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Era era ⇒ NoThunks (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Crypto c ⇒ TranslateEra (MaryEra c) AllegraTxAuxData Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

c ~ EraCrypto era ⇒ HashAnnotated (AllegraTxAuxData era) EraIndependentTxAuxData c 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type RawType AllegraTxAuxData 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type Rep (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type Rep (AllegraTxAuxData era) = D1 ('MetaData "AllegraTxAuxData" "Cardano.Ledger.Allegra.TxAuxData" "cardano-ledger-allegra-1.5.0.1-inplace" 'True) (C1 ('MetaCons "AuxiliaryDataWithBytes" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AllegraTxAuxDataRaw era))))
type TranslationError (MaryEra c) AllegraTxAuxData Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Orphan instances