cardano-ledger-api-1.13.0.0: Public API for the cardano ledger codebase
Safe HaskellNone
LanguageHaskell2010

Cardano.Ledger.Api.Tx.AuxData

Synopsis

Documentation

class (Era era, Eq (TxAuxData era), EqRaw (TxAuxData era), Show (TxAuxData era), NoThunks (TxAuxData era), ToCBOR (TxAuxData era), EncCBOR (TxAuxData era), DecCBOR (Annotator (TxAuxData era)), HashAnnotated (TxAuxData era) EraIndependentTxAuxData) ⇒ EraTxAuxData era Source #

TxAuxData which may be attached to a transaction

Minimal complete definition

mkBasicTxAuxData, metadataTxAuxDataL, validateTxAuxData

Associated Types

type TxAuxData era = (r ∷ Type) | r → era Source #

Instances

Instances details
EraTxAuxData AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Associated Types

type TxAuxData AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type TxAuxData AllegraEra = AllegraTxAuxData AllegraEra

Methods

mkBasicTxAuxData ∷ TxAuxData AllegraEra Source #

metadataTxAuxDataL ∷ Lens' (TxAuxData AllegraEra) (Map Word64 Metadatum) Source #

validateTxAuxData ∷ ProtVer → TxAuxData AllegraEra → Bool Source #

EraTxAuxData AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Associated Types

type TxAuxData AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type TxAuxData AlonzoEra = AlonzoTxAuxData AlonzoEra

Methods

mkBasicTxAuxData ∷ TxAuxData AlonzoEra Source #

metadataTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (Map Word64 Metadatum) Source #

validateTxAuxData ∷ ProtVer → TxAuxData AlonzoEra → Bool Source #

EraTxAuxData BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxAuxData

Associated Types

type TxAuxData BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxAuxData

type TxAuxData BabbageEra = AlonzoTxAuxData BabbageEra

Methods

mkBasicTxAuxData ∷ TxAuxData BabbageEra Source #

metadataTxAuxDataL ∷ Lens' (TxAuxData BabbageEra) (Map Word64 Metadatum) Source #

validateTxAuxData ∷ ProtVer → TxAuxData BabbageEra → Bool Source #

EraTxAuxData ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxAuxData

Associated Types

type TxAuxData ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxAuxData

type TxAuxData ConwayEra = AlonzoTxAuxData ConwayEra

Methods

mkBasicTxAuxData ∷ TxAuxData ConwayEra Source #

metadataTxAuxDataL ∷ Lens' (TxAuxData ConwayEra) (Map Word64 Metadatum) Source #

validateTxAuxData ∷ ProtVer → TxAuxData ConwayEra → Bool Source #

EraTxAuxData DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxAuxData

Associated Types

type TxAuxData DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxAuxData

type TxAuxData DijkstraEra = AlonzoTxAuxData DijkstraEra

Methods

mkBasicTxAuxData ∷ TxAuxData DijkstraEra Source #

metadataTxAuxDataL ∷ Lens' (TxAuxData DijkstraEra) (Map Word64 Metadatum) Source #

validateTxAuxData ∷ ProtVer → TxAuxData DijkstraEra → Bool Source #

EraTxAuxData MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

Associated Types

type TxAuxData MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

type TxAuxData MaryEra = AllegraTxAuxData MaryEra

Methods

mkBasicTxAuxData ∷ TxAuxData MaryEra Source #

metadataTxAuxDataL ∷ Lens' (TxAuxData MaryEra) (Map Word64 Metadatum) Source #

validateTxAuxData ∷ ProtVer → TxAuxData MaryEra → Bool Source #

EraTxAuxData ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Associated Types

type TxAuxData ShelleyEra 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type TxAuxData ShelleyEra = ShelleyTxAuxData ShelleyEra

Methods

mkBasicTxAuxData ∷ TxAuxData ShelleyEra Source #

metadataTxAuxDataL ∷ Lens' (TxAuxData ShelleyEra) (Map Word64 Metadatum) Source #

validateTxAuxData ∷ ProtVer → TxAuxData ShelleyEra → Bool Source #

mkBasicTxAuxData ∷ EraTxAuxData era ⇒ TxAuxData era Source #

metadataTxAuxDataL ∷ EraTxAuxData era ⇒ Lens' (TxAuxData era) (Map Word64 Metadatum) Source #

hashTxAuxData ∷ EraTxAuxData era ⇒ TxAuxData era → TxAuxDataHash Source #

Compute a hash of TxAuxData

validateTxAuxData ∷ EraTxAuxData era ⇒ ProtVer → TxAuxData era → Bool Source #

Any era

class EraTxAuxData era ⇒ AnyEraTxAuxData era where Source #

Minimal complete definition

Nothing

Methods

nativeScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData era) (Maybe (StrictSeq (NativeScript era))) Source #

default nativeScriptsTxAuxDataG ∷ AllegraEraTxAuxData era ⇒ SimpleGetter (TxAuxData era) (Maybe (StrictSeq (NativeScript era))) Source #

plutusScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData era) (Maybe (Map Language (NonEmpty PlutusBinary))) Source #

default plutusScriptsTxAuxDataG ∷ AlonzoEraTxAuxData era ⇒ SimpleGetter (TxAuxData era) (Maybe (Map Language (NonEmpty PlutusBinary))) Source #

Instances

Instances details
AnyEraTxAuxData AllegraEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.AuxData

Methods

nativeScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData AllegraEra) (Maybe (StrictSeq (NativeScript AllegraEra))) Source #

plutusScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData AllegraEra) (Maybe (Map Language (NonEmpty PlutusBinary))) Source #

AnyEraTxAuxData AlonzoEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.AuxData

Methods

nativeScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData AlonzoEra) (Maybe (StrictSeq (NativeScript AlonzoEra))) Source #

plutusScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData AlonzoEra) (Maybe (Map Language (NonEmpty PlutusBinary))) Source #

AnyEraTxAuxData BabbageEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.AuxData

Methods

nativeScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData BabbageEra) (Maybe (StrictSeq (NativeScript BabbageEra))) Source #

plutusScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData BabbageEra) (Maybe (Map Language (NonEmpty PlutusBinary))) Source #

AnyEraTxAuxData ConwayEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.AuxData

Methods

nativeScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData ConwayEra) (Maybe (StrictSeq (NativeScript ConwayEra))) Source #

plutusScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData ConwayEra) (Maybe (Map Language (NonEmpty PlutusBinary))) Source #

AnyEraTxAuxData DijkstraEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.AuxData

Methods

nativeScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData DijkstraEra) (Maybe (StrictSeq (NativeScript DijkstraEra))) Source #

plutusScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData DijkstraEra) (Maybe (Map Language (NonEmpty PlutusBinary))) Source #

AnyEraTxAuxData MaryEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.AuxData

Methods

nativeScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData MaryEra) (Maybe (StrictSeq (NativeScript MaryEra))) Source #

plutusScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData MaryEra) (Maybe (Map Language (NonEmpty PlutusBinary))) Source #

AnyEraTxAuxData ShelleyEra Source # 
Instance details

Defined in Cardano.Ledger.Api.Tx.AuxData

Methods

nativeScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData ShelleyEra) (Maybe (StrictSeq (NativeScript ShelleyEra))) Source #

plutusScriptsTxAuxDataG ∷ SimpleGetter (TxAuxData ShelleyEra) (Maybe (Map Language (NonEmpty PlutusBinary))) Source #

Shelley

newtype ShelleyTxAuxData era Source #

Constructors

MkShelleyTxAuxData (MemoBytes (ShelleyTxAuxDataRaw era)) 

Bundled Patterns

pattern ShelleyTxAuxData ∷ Era era ⇒ Map Word64 Metadatum → ShelleyTxAuxData era 

Instances

Instances details
Typeable era ⇒ ToCBOR (ShelleyTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

toCBOR ∷ ShelleyTxAuxData era → Encoding Source #

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

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

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

Defined in Cardano.Ledger.Shelley.TxAuxData

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 ⇒ EncCBOR (ShelleyTxAuxData era)

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

encCBOR ∷ ShelleyTxAuxData era → Encoding Source #

SafeToHash (ShelleyTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

originalBytes ∷ ShelleyTxAuxData era → ByteString Source #

originalBytesSize ∷ ShelleyTxAuxData era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → ShelleyTxAuxData era → SafeHash i Source #

EqRaw (ShelleyTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

eqRaw ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool Source #

Memoized (ShelleyTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Associated Types

type RawType (ShelleyTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type RawType (ShelleyTxAuxData era) = ShelleyTxAuxDataRaw era

Methods

getMemoBytes ∷ ShelleyTxAuxData era → MemoBytes (RawType (ShelleyTxAuxData era))

wrapMemoBytes ∷ MemoBytes (RawType (ShelleyTxAuxData era)) → ShelleyTxAuxData era

NFData (ShelleyTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

rnf ∷ ShelleyTxAuxData era → () #

Generic (ShelleyTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Associated Types

type Rep (ShelleyTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type Rep (ShelleyTxAuxData era) = D1 ('MetaData "ShelleyTxAuxData" "Cardano.Ledger.Shelley.TxAuxData" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxAuxDataRaw era)))))

Methods

from ∷ ShelleyTxAuxData era → Rep (ShelleyTxAuxData era) x #

to ∷ Rep (ShelleyTxAuxData era) x → ShelleyTxAuxData era #

Show (ShelleyTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

showsPrec ∷ Int → ShelleyTxAuxData era → ShowS #

show ∷ ShelleyTxAuxData era → String #

showList ∷ [ShelleyTxAuxData era] → ShowS #

Eq (ShelleyTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

(==) ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool #

(/=) ∷ ShelleyTxAuxData era → ShelleyTxAuxData era → Bool #

NoThunks (ShelleyTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

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

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

showTypeOf ∷ Proxy (ShelleyTxAuxData era) → String Source #

HashAnnotated (ShelleyTxAuxData era) EraIndependentTxAuxData 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

Methods

hashAnnotated ∷ ShelleyTxAuxData era → SafeHash EraIndependentTxAuxData Source #

type RawType (ShelleyTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type RawType (ShelleyTxAuxData era) = ShelleyTxAuxDataRaw era
type Rep (ShelleyTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Shelley.TxAuxData

type Rep (ShelleyTxAuxData era) = D1 ('MetaData "ShelleyTxAuxData" "Cardano.Ledger.Shelley.TxAuxData" "cardano-ledger-shelley-1.18.0.0-inplace" 'True) (C1 ('MetaCons "MkShelleyTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (ShelleyTxAuxDataRaw era)))))

data Metadatum Source #

A generic metadatum type.

Constructors

Map ![(Metadatum, Metadatum)] 
List ![Metadatum] 
I !Integer 
B !ByteString 
S !Text 

Instances

Instances details
DecCBOR Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

decCBOR ∷ Decoder s Metadatum Source #

dropCBOR ∷ Proxy Metadatum → Decoder s () Source #

label ∷ Proxy Metadatum → Text Source #

EncCBOR Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

encCBOR ∷ Metadatum → Encoding Source #

NFData Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

rnf ∷ Metadatum → () #

Generic Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

Associated Types

type Rep Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

type Rep Metadatum = D1 ('MetaData "Metadatum" "Cardano.Ledger.Metadata" "cardano-ledger-core-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Metadatum, Metadatum)])) :+: C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Metadatum]))) :+: (C1 ('MetaCons "I" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)) :+: (C1 ('MetaCons "B" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "S" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))))

Methods

from ∷ Metadatum → Rep Metadatum x #

to ∷ Rep Metadatum x → Metadatum #

Show Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

showsPrec ∷ Int → Metadatum → ShowS #

show ∷ Metadatum → String #

showList ∷ [Metadatum] → ShowS #

Eq Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

(==) ∷ Metadatum → Metadatum → Bool #

(/=) ∷ Metadatum → Metadatum → Bool #

Ord Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

compare ∷ Metadatum → Metadatum → Ordering #

(<) ∷ Metadatum → Metadatum → Bool #

(<=) ∷ Metadatum → Metadatum → Bool #

(>) ∷ Metadatum → Metadatum → Bool #

(>=) ∷ Metadatum → Metadatum → Bool #

max ∷ Metadatum → Metadatum → Metadatum #

min ∷ Metadatum → Metadatum → Metadatum #

NoThunks Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

Methods

noThunks ∷ Context → Metadatum → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Metadatum → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy Metadatum → String Source #

type Rep Metadatum 
Instance details

Defined in Cardano.Ledger.Metadata

type Rep Metadatum = D1 ('MetaData "Metadatum" "Cardano.Ledger.Metadata" "cardano-ledger-core-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "Map" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Metadatum, Metadatum)])) :+: C1 ('MetaCons "List" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Metadatum]))) :+: (C1 ('MetaCons "I" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer)) :+: (C1 ('MetaCons "B" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "S" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))))

Allegra

class EraTxAuxData era ⇒ AllegraEraTxAuxData era Source #

Minimal complete definition

nativeScriptsTxAuxDataL

Instances

Instances details
AllegraEraTxAuxData AllegraEra 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

nativeScriptsTxAuxDataL ∷ Lens' (TxAuxData AllegraEra) (StrictSeq (NativeScript AllegraEra)) Source #

AllegraEraTxAuxData AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

nativeScriptsTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (StrictSeq (NativeScript AlonzoEra)) Source #

AllegraEraTxAuxData BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxAuxData

Methods

nativeScriptsTxAuxDataL ∷ Lens' (TxAuxData BabbageEra) (StrictSeq (NativeScript BabbageEra)) Source #

AllegraEraTxAuxData ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxAuxData

Methods

nativeScriptsTxAuxDataL ∷ Lens' (TxAuxData ConwayEra) (StrictSeq (NativeScript ConwayEra)) Source #

AllegraEraTxAuxData DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxAuxData

Methods

nativeScriptsTxAuxDataL ∷ Lens' (TxAuxData DijkstraEra) (StrictSeq (NativeScript DijkstraEra)) Source #

AllegraEraTxAuxData MaryEra 
Instance details

Defined in Cardano.Ledger.Mary.TxAuxData

Methods

nativeScriptsTxAuxDataL ∷ Lens' (TxAuxData MaryEra) (StrictSeq (NativeScript MaryEra)) Source #

nativeScriptsTxAuxDataL ∷ AllegraEraTxAuxData era ⇒ Lens' (TxAuxData era) (StrictSeq (NativeScript era)) Source #

newtype AllegraTxAuxData era Source #

Constructors

MkAlegraTxAuxData (MemoBytes (AllegraTxAuxDataRaw era)) 

Bundled Patterns

pattern AllegraTxAuxData ∷ (Era era, EncCBOR (NativeScript era)) ⇒ Map Word64 Metadatum → StrictSeq (NativeScript era) → AllegraTxAuxData era 

Instances

Instances details
TranslateEra MaryEra AllegraTxAuxData 
Instance details

Defined in Cardano.Ledger.Mary.Translation

Associated Types

type TranslationError MaryEra AllegraTxAuxData 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra AllegraTxAuxData = Void

Methods

translateEra ∷ TranslationContext MaryEra → AllegraTxAuxData (PreviousEra MaryEra) → Except (TranslationError MaryEra AllegraTxAuxData) (AllegraTxAuxData MaryEra) 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 #

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

SafeToHash (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

originalBytes ∷ AllegraTxAuxData era → ByteString Source #

originalBytesSize ∷ AllegraTxAuxData era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → AllegraTxAuxData era → SafeHash i Source #

Eq (NativeScript era) ⇒ EqRaw (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

eqRaw ∷ AllegraTxAuxData era → AllegraTxAuxData era → Bool Source #

Memoized (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Associated Types

type RawType (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type RawType (AllegraTxAuxData era) = AllegraTxAuxDataRaw era

Methods

getMemoBytes ∷ AllegraTxAuxData era → MemoBytes (RawType (AllegraTxAuxData era))

wrapMemoBytes ∷ MemoBytes (RawType (AllegraTxAuxData era)) → AllegraTxAuxData era

NFData (NativeScript era) ⇒ NFData (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

rnf ∷ AllegraTxAuxData era → () #

Generic (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Associated Types

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.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAlegraTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxAuxDataRaw era)))))

Methods

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

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

Show (NativeScript era) ⇒ Show (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

showsPrec ∷ Int → AllegraTxAuxData era → ShowS #

show ∷ AllegraTxAuxData era → String #

showList ∷ [AllegraTxAuxData era] → ShowS #

Eq (NativeScript era) ⇒ Eq (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

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

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

(Era era, NoThunks (NativeScript 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 #

HashAnnotated (AllegraTxAuxData era) EraIndependentTxAuxData 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

Methods

hashAnnotated ∷ AllegraTxAuxData era → SafeHash EraIndependentTxAuxData Source #

type TranslationError MaryEra AllegraTxAuxData 
Instance details

Defined in Cardano.Ledger.Mary.Translation

type TranslationError MaryEra AllegraTxAuxData = Void
type RawType (AllegraTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Allegra.TxAuxData

type RawType (AllegraTxAuxData era) = AllegraTxAuxDataRaw era
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.9.0.0-inplace" 'True) (C1 ('MetaCons "MkAlegraTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AllegraTxAuxDataRaw era)))))

Alonzo

class AllegraEraTxAuxData era ⇒ AlonzoEraTxAuxData era Source #

Minimal complete definition

plutusScriptsTxAuxDataL

Instances

Instances details
AlonzoEraTxAuxData AlonzoEra 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (Map Language (NonEmpty PlutusBinary)) Source #

AlonzoEraTxAuxData BabbageEra 
Instance details

Defined in Cardano.Ledger.Babbage.TxAuxData

Methods

plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData BabbageEra) (Map Language (NonEmpty PlutusBinary)) Source #

AlonzoEraTxAuxData ConwayEra 
Instance details

Defined in Cardano.Ledger.Conway.TxAuxData

Methods

plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData ConwayEra) (Map Language (NonEmpty PlutusBinary)) Source #

AlonzoEraTxAuxData DijkstraEra 
Instance details

Defined in Cardano.Ledger.Dijkstra.TxAuxData

Methods

plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData DijkstraEra) (Map Language (NonEmpty PlutusBinary)) Source #

plutusScriptsTxAuxDataL ∷ AlonzoEraTxAuxData era ⇒ Lens' (TxAuxData era) (Map Language (NonEmpty PlutusBinary)) Source #

data Language Source #

Non-Native Plutus Script language. This is expected to be an open type. We will add new Constuctors to this type as additional Plutus language versions as are added. We use an enumerated type for two reasons.

  1. We can write total functions by case analysis over the constructors
  2. We use DataKinds to make some datatypes indexed by Language.

Note that the the serialization of Language depends on the ordering.

Constructors

PlutusV1 
PlutusV2 
PlutusV3 
PlutusV4 

Instances

Instances details
FromJSON Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

parseJSON ∷ Value → Parser Language Source #

parseJSONList ∷ Value → Parser [Language] Source #

omittedField ∷ Maybe Language Source #

FromJSONKey Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

fromJSONKey ∷ FromJSONKeyFunction Language Source #

fromJSONKeyList ∷ FromJSONKeyFunction [Language] Source #

ToJSON Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

toJSON ∷ Language → Value Source #

toEncoding ∷ Language → Encoding Source #

toJSONList ∷ [Language] → Value Source #

toEncodingList ∷ [Language] → Encoding Source #

omitField ∷ Language → Bool Source #

ToJSONKey Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

toJSONKey ∷ ToJSONKeyFunction Language Source #

toJSONKeyList ∷ ToJSONKeyFunction [Language] Source #

FromCBOR Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

fromCBOR ∷ Decoder s Language Source #

label ∷ Proxy Language → Text Source #

ToCBOR Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

toCBOR ∷ Language → Encoding Source #

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

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

DecCBOR Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

decCBOR ∷ Decoder s Language Source #

dropCBOR ∷ Proxy Language → Decoder s () Source #

label ∷ Proxy Language → Text Source #

EncCBOR Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

encCBOR ∷ Language → Encoding Source #

NFData Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

rnf ∷ Language → () #

Bounded Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

minBound ∷ Language #

maxBound ∷ Language #

Enum Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

succ ∷ Language → Language #

pred ∷ Language → Language #

toEnum ∷ Int → Language #

fromEnum ∷ Language → Int #

enumFrom ∷ Language → [Language] #

enumFromThen ∷ Language → Language → [Language] #

enumFromTo ∷ Language → Language → [Language] #

enumFromThenTo ∷ Language → Language → Language → [Language] #

Generic Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Associated Types

type Rep Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

type Rep Language = D1 ('MetaData "Language" "Cardano.Ledger.Plutus.Language" "cardano-ledger-core-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "PlutusV1" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "PlutusV2" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "PlutusV3" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "PlutusV4" 'PrefixI 'False) (U1 ∷ Type → Type)))

Methods

from ∷ Language → Rep Language x #

to ∷ Rep Language x → Language #

Ix Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

range ∷ (Language, Language) → [Language] #

index ∷ (Language, Language) → Language → Int #

unsafeIndex ∷ (Language, Language) → Language → Int #

inRange ∷ (Language, Language) → Language → Bool #

rangeSize ∷ (Language, Language) → Int #

unsafeRangeSize ∷ (Language, Language) → Int #

Read Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

readsPrec ∷ Int → ReadS Language #

readList ∷ ReadS [Language] #

readPrec ∷ ReadPrec Language #

readListPrec ∷ ReadPrec [Language] #

Show Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

showsPrec ∷ Int → Language → ShowS #

show ∷ Language → String #

showList ∷ [Language] → ShowS #

Eq Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

(==) ∷ Language → Language → Bool #

(/=) ∷ Language → Language → Bool #

Ord Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

compare ∷ Language → Language → Ordering #

(<) ∷ Language → Language → Bool #

(<=) ∷ Language → Language → Bool #

(>) ∷ Language → Language → Bool #

(>=) ∷ Language → Language → Bool #

max ∷ Language → Language → Language #

min ∷ Language → Language → Language #

NoThunks Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

noThunks ∷ Context → Language → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → Language → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy Language → String Source #

Random Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

randomR ∷ RandomGen g ⇒ (Language, Language) → g → (Language, g) Source #

random ∷ RandomGen g ⇒ g → (Language, g) Source #

randomRs ∷ RandomGen g ⇒ (Language, Language) → g → [Language] Source #

randoms ∷ RandomGen g ⇒ g → [Language] Source #

Uniform Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

uniformM ∷ StatefulGen g m ⇒ g → m Language Source #

UniformRange Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

uniformRM ∷ StatefulGen g m ⇒ (Language, Language) → g → m Language Source #

isInRange ∷ (Language, Language) → Language → Bool Source #

type Rep Language 
Instance details

Defined in Cardano.Ledger.Plutus.Language

type Rep Language = D1 ('MetaData "Language" "Cardano.Ledger.Plutus.Language" "cardano-ledger-core-1.19.0.0-inplace" 'False) ((C1 ('MetaCons "PlutusV1" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "PlutusV2" 'PrefixI 'False) (U1 ∷ Type → Type)) :+: (C1 ('MetaCons "PlutusV3" 'PrefixI 'False) (U1 ∷ Type → Type) :+: C1 ('MetaCons "PlutusV4" 'PrefixI 'False) (U1 ∷ Type → Type)))

newtype PlutusBinary Source #

Binary representation of a Plutus script.

Constructors

PlutusBinary 

Fields

Instances

Instances details
FromCBOR PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

fromCBOR ∷ Decoder s PlutusBinary Source #

label ∷ Proxy PlutusBinary → Text Source #

ToCBOR PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

toCBOR ∷ PlutusBinary → Encoding Source #

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

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

DecCBOR PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

decCBOR ∷ Decoder s PlutusBinary Source #

dropCBOR ∷ Proxy PlutusBinary → Decoder s () Source #

label ∷ Proxy PlutusBinary → Text Source #

EncCBOR PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

encCBOR ∷ PlutusBinary → Encoding Source #

SafeToHash PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

originalBytes ∷ PlutusBinary → ByteString Source #

originalBytesSize ∷ PlutusBinary → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → PlutusBinary → SafeHash i Source #

NFData PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

rnf ∷ PlutusBinary → () #

Generic PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Associated Types

type Rep PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

type Rep PlutusBinary = D1 ('MetaData "PlutusBinary" "Cardano.Ledger.Plutus.Language" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "PlutusBinary" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPlutusBinary") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString)))

Methods

from ∷ PlutusBinary → Rep PlutusBinary x #

to ∷ Rep PlutusBinary x → PlutusBinary #

Show PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

showsPrec ∷ Int → PlutusBinary → ShowS #

show ∷ PlutusBinary → String #

showList ∷ [PlutusBinary] → ShowS #

Eq PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

(==) ∷ PlutusBinary → PlutusBinary → Bool #

(/=) ∷ PlutusBinary → PlutusBinary → Bool #

Ord PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

compare ∷ PlutusBinary → PlutusBinary → Ordering #

(<) ∷ PlutusBinary → PlutusBinary → Bool #

(<=) ∷ PlutusBinary → PlutusBinary → Bool #

(>) ∷ PlutusBinary → PlutusBinary → Bool #

(>=) ∷ PlutusBinary → PlutusBinary → Bool #

max ∷ PlutusBinary → PlutusBinary → PlutusBinary #

min ∷ PlutusBinary → PlutusBinary → PlutusBinary #

MemPack PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

typeName ∷ String Source #

packedByteCount ∷ PlutusBinary → Int Source #

packM ∷ PlutusBinary → Pack s () Source #

unpackM ∷ Buffer b ⇒ Unpack s b PlutusBinary Source #

NoThunks PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

noThunks ∷ Context → PlutusBinary → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → PlutusBinary → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy PlutusBinary → String Source #

DecCBOR (Annotator PlutusBinary) 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

decCBOR ∷ Decoder s (Annotator PlutusBinary) Source #

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

label ∷ Proxy (Annotator PlutusBinary) → Text Source #

type Rep PlutusBinary 
Instance details

Defined in Cardano.Ledger.Plutus.Language

type Rep PlutusBinary = D1 ('MetaData "PlutusBinary" "Cardano.Ledger.Plutus.Language" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "PlutusBinary" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPlutusBinary") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ShortByteString)))

newtype AlonzoTxAuxData era Source #

Constructors

MkAlonzoTxAuxData (MemoBytes (AlonzoTxAuxDataRaw era)) 

Bundled Patterns

pattern AlonzoTxAuxData ∷ (HasCallStack, AlonzoEraScript era) ⇒ Map Word64 Metadatum → StrictSeq (NativeScript era) → Map Language (NonEmpty PlutusBinary) → AlonzoTxAuxData era

Construct auxiliary data. Make sure not to supply plutus script versions that are not supported in this era, because it will result in a runtime exception. Use mkAlonzoTxAuxData instead if you need runtime safety guarantees.

pattern AlonzoTxAuxData' ∷ Map Word64 Metadatum → StrictSeq (NativeScript era) → Map Language (NonEmpty PlutusBinary) → AlonzoTxAuxData era 

Instances

Instances details
Typeable era ⇒ ToCBOR (AlonzoTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

toCBOR ∷ AlonzoTxAuxData era → Encoding Source #

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

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

(Era era, DecCBOR (Annotator (NativeScript era)), Typeable (NativeScript era)) ⇒ DecCBOR (Annotator (AlonzoTxAuxData era)) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

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

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

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

Era era ⇒ EncCBOR (AlonzoTxAuxData era)

Encodes memoized bytes created upon construction.

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

encCBOR ∷ AlonzoTxAuxData era → Encoding Source #

SafeToHash (AlonzoTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

originalBytes ∷ AlonzoTxAuxData era → ByteString Source #

originalBytesSize ∷ AlonzoTxAuxData era → Int Source #

makeHashWithExplicitProxys ∷ Proxy i → AlonzoTxAuxData era → SafeHash i Source #

Eq (NativeScript era) ⇒ EqRaw (AlonzoTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

eqRaw ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source #

Memoized (AlonzoTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Associated Types

type RawType (AlonzoTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type RawType (AlonzoTxAuxData era) = AlonzoTxAuxDataRaw era

Methods

getMemoBytes ∷ AlonzoTxAuxData era → MemoBytes (RawType (AlonzoTxAuxData era))

wrapMemoBytes ∷ MemoBytes (RawType (AlonzoTxAuxData era)) → AlonzoTxAuxData era

NFData (NativeScript era) ⇒ NFData (AlonzoTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

rnf ∷ AlonzoTxAuxData era → () #

Generic (AlonzoTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Associated Types

type Rep (AlonzoTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type Rep (AlonzoTxAuxData era) = D1 ('MetaData "AlonzoTxAuxData" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxAuxDataRaw era)))))

Methods

from ∷ AlonzoTxAuxData era → Rep (AlonzoTxAuxData era) x #

to ∷ Rep (AlonzoTxAuxData era) x → AlonzoTxAuxData era #

Show (NativeScript era) ⇒ Show (AlonzoTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

showsPrec ∷ Int → AlonzoTxAuxData era → ShowS #

show ∷ AlonzoTxAuxData era → String #

showList ∷ [AlonzoTxAuxData era] → ShowS #

Eq (NativeScript era) ⇒ Eq (AlonzoTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

(==) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool #

(/=) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool #

NoThunks (AlonzoTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

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

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

showTypeOf ∷ Proxy (AlonzoTxAuxData era) → String Source #

HashAnnotated (AlonzoTxAuxData era) EraIndependentTxAuxData 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

hashAnnotated ∷ AlonzoTxAuxData era → SafeHash EraIndependentTxAuxData Source #

type RawType (AlonzoTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type RawType (AlonzoTxAuxData era) = AlonzoTxAuxDataRaw era
type Rep (AlonzoTxAuxData era) 
Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type Rep (AlonzoTxAuxData era) = D1 ('MetaData "AlonzoTxAuxData" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.15.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxAuxData" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes (AlonzoTxAuxDataRaw era)))))

mkAlonzoTxAuxData ∷ (Foldable f, AlonzoEraScript era) ⇒ Map Word64 Metadatum → f (AlonzoScript era) → AlonzoTxAuxData era Source #

Helper function that will construct Auxiliary data from Metadatum map and a list of scripts.

Note that the relative order of same type scripts will be preserved.

getAlonzoTxAuxDataScripts ∷ AlonzoEraScript era ⇒ AlonzoTxAuxData era → StrictSeq (AlonzoScript era) Source #

Upgrade

binaryUpgradeTxAuxData ∷ (Era era, ToCBOR (TxAuxData (PreviousEra era)), DecCBOR (Annotator (TxAuxData era))) ⇒ TxAuxData (PreviousEra era) → Except DecoderError (TxAuxData era) Source #

Translate tx auxData through its binary representation from previous to current era.

upgradeTxAuxData ∷ EraApi era ⇒ TxAuxData (PreviousEra era) → TxAuxData era Source #

Upgrade txAuxData from the previous era. Warning - This may not preserve the underlying binary representation. Use binaryUpgradeTxAuxData instead, if you need to preserve the serialised form.