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

Cardano.Ledger.Mary.TxAuxData

Documentation

timelockScriptsAllegraTxAuxDataL ∷ Era era ⇒ Lens' (AllegraTxAuxData era) (StrictSeq (Timelock era)) Source #

metadataAllegraTxAuxDataL ∷ Era era ⇒ Lens' (AllegraTxAuxData era) (Map Word64 Metadatum) Source #

class EraTxAuxData era ⇒ AllegraEraTxAuxData era where Source #

Methods

timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData era) (StrictSeq (Timelock era)) Source #

Instances

Instances details
Crypto c ⇒ AllegraEraTxAuxData (AllegraEra c) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData (AllegraEra c)) (StrictSeq (Timelock (AllegraEra c))) Source #

Crypto c ⇒ AllegraEraTxAuxData (MaryEra c) Source # 
Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

Methods

timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData (MaryEra c)) (StrictSeq (Timelock (MaryEra c))) Source #

data AllegraTxAuxData era where Source #

Bundled Patterns

pattern AllegraTxAuxData ∷ Era era ⇒ Map Word64 Metadatum → StrictSeq (Timelock era) → AllegraTxAuxData era 

Instances

Instances details
Memoized AllegraTxAuxData 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Associated Types

type RawType AllegraTxAuxData = (r ∷ Type → Type) Source #

Methods

getMemoBytes ∷ AllegraTxAuxData era → MemoBytes (RawType AllegraTxAuxData) era

wrapMemoBytes ∷ MemoBytes (RawType AllegraTxAuxData) era → AllegraTxAuxData era

Generic (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Associated Types

type Rep (AllegraTxAuxData era) ∷ Type → Type Source #

Methods

from ∷ AllegraTxAuxData era → Rep (AllegraTxAuxData era) x Source #

to ∷ Rep (AllegraTxAuxData era) x → AllegraTxAuxData era Source #

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

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

showsPrec ∷ Int → AllegraTxAuxData era → ShowS Source #

show ∷ AllegraTxAuxData era → String Source #

showList ∷ [AllegraTxAuxData era] → ShowS Source #

Typeable era ⇒ ToCBOR (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

toCBOR ∷ AllegraTxAuxData 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

Methods

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

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

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

Era era ⇒ EncCBOR (AllegraTxAuxData era)

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

encCBOR ∷ AllegraTxAuxData 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

eqRaw ∷ AllegraTxAuxData era → AllegraTxAuxData era → Bool Source #

SafeToHash (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

originalBytes ∷ AllegraTxAuxData era → ByteString Source #

originalBytesSize ∷ AllegraTxAuxData era → Int Source #

makeHashWithExplicitProxys ∷ HashAlgorithm (HASH c) ⇒ Proxy c → Proxy index → AllegraTxAuxData era → SafeHash c index Source #

NFData (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

rnf ∷ AllegraTxAuxData era → () Source #

Eq (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

(==) ∷ AllegraTxAuxData era → AllegraTxAuxData era → Bool Source #

(/=) ∷ AllegraTxAuxData era → AllegraTxAuxData era → Bool Source #

Era era ⇒ NoThunks (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

noThunks ∷ Context → AllegraTxAuxData era → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → AllegraTxAuxData era → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (AllegraTxAuxData era) → String Source #

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

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError (MaryEra c) AllegraTxAuxData Source #

Methods

translateEra ∷ TranslationContext (MaryEra c) → AllegraTxAuxData (PreviousEra (MaryEra c)) → Except (TranslationError (MaryEra c) AllegraTxAuxData) (AllegraTxAuxData (MaryEra c)) Source #

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

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

indexProxy ∷ AllegraTxAuxData era → Proxy EraIndependentTxAuxData Source #

hashAnnotated ∷ AllegraTxAuxData era → SafeHash c EraIndependentTxAuxData Source #

type RawType AllegraTxAuxData 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type RawType AllegraTxAuxData = AllegraTxAuxDataRaw
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.4.1.0-inplace" 'True) (C1 ('MetaCons "AuxiliaryDataWithBytes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AllegraTxAuxDataRaw era))))
type TranslationError (MaryEra c) AllegraTxAuxData Source # 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError (MaryEra c) AllegraTxAuxData = Void

Orphan instances