Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.Alonzo.TxAuxData

Contents

AlonzoTxAuxData
Orphan instances

Synopsis

data AlonzoTxAuxData era where
- pattern AlonzoTxAuxData ∷ ∀ era. (HasCallStack, AlonzoEraScript era) ⇒ Map Word64 Metadatum → StrictSeq (Timelock era) → Map Language (NonEmpty PlutusBinary) → AlonzoTxAuxData era
- pattern AlonzoTxAuxData' ∷ ∀ era. Map Word64 Metadatum → StrictSeq (Timelock era) → Map Language (NonEmpty PlutusBinary) → AlonzoTxAuxData era
class AllegraEraTxAuxData era ⇒ AlonzoEraTxAuxData era where
- plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData era) (Map Language (NonEmpty PlutusBinary))
data AlonzoTxAuxDataRaw era
mkAlonzoTxAuxData ∷ ∀ f era. (Foldable f, AlonzoEraScript era) ⇒ Map Word64 Metadatum → f (AlonzoScript era) → AlonzoTxAuxData era
hashAlonzoTxAuxData ∷ HashAnnotated x EraIndependentTxAuxData ⇒ x → TxAuxDataHash
validateAlonzoTxAuxData ∷ (AlonzoEraScript era, Script era ~ AlonzoScript era) ⇒ ProtVer → AlonzoTxAuxData era → Bool
getAlonzoTxAuxDataScripts ∷ ∀ era. AlonzoEraScript era ⇒ AlonzoTxAuxData era → StrictSeq (AlonzoScript era)
translateAlonzoTxAuxData ∷ (AlonzoEraScript era1, AlonzoEraScript era2) ⇒ AlonzoTxAuxData era1 → AlonzoTxAuxData era2
metadataAlonzoTxAuxDataL ∷ Era era ⇒ Lens' (AlonzoTxAuxData era) (Map Word64 Metadatum)
timelockScriptsAlonzoTxAuxDataL ∷ Era era ⇒ Lens' (AlonzoTxAuxData era) (StrictSeq (Timelock era))
plutusScriptsAllegraTxAuxDataL ∷ Era era ⇒ Lens' (AlonzoTxAuxData era) (Map Language (NonEmpty PlutusBinary))

AlonzoTxAuxData

data AlonzoTxAuxData era where Source #

Bundled Patterns

pattern AlonzoTxAuxData ∷ ∀ era. (HasCallStack, AlonzoEraScript era) ⇒ Map Word64 Metadatum → StrictSeq (Timelock 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' ∷ ∀ era. Map Word64 Metadatum → StrictSeq (Timelock era) → Map Language (NonEmpty PlutusBinary) → AlonzoTxAuxData era

Instances

Instances details

Memoized AlonzoTxAuxData Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Associated Types type RawType AlonzoTxAuxData = (r ∷ Type → Type) Source # Methods getMemoBytes ∷ AlonzoTxAuxData era → MemoBytes (RawType AlonzoTxAuxData) era wrapMemoBytes ∷ MemoBytes (RawType AlonzoTxAuxData) era → AlonzoTxAuxData era
Generic (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Associated Types type Rep (AlonzoTxAuxData era) ∷ Type → Type Source # Methods from ∷ AlonzoTxAuxData era → Rep (AlonzoTxAuxData era) x Source # to ∷ Rep (AlonzoTxAuxData era) x → AlonzoTxAuxData era Source #
Show (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods showsPrec ∷ Int → AlonzoTxAuxData era → ShowS Source # show ∷ AlonzoTxAuxData era → String Source # showList ∷ [AlonzoTxAuxData era] → ShowS Source #
Typeable era ⇒ ToCBOR (AlonzoTxAuxData era) Source #
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 (AlonzoTxAuxData era)) Source #
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) Source #	Encodes memoized bytes created upon construction.
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods encCBOR ∷ AlonzoTxAuxData era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxAuxData era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxAuxData era] → Size Source #
SafeToHash (AlonzoTxAuxData era) Source #
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 #
EqRaw (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods eqRaw ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source #
NFData (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods rnf ∷ AlonzoTxAuxData era → () Source #
Eq (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods (==) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source # (/=) ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source #
NoThunks (AlonzoTxAuxData era) Source #
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 Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods hashAnnotated ∷ AlonzoTxAuxData era → SafeHash EraIndependentTxAuxData Source #
type RawType AlonzoTxAuxData Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type RawType AlonzoTxAuxData = AlonzoTxAuxDataRaw
type Rep (AlonzoTxAuxData era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type Rep (AlonzoTxAuxData era) = D1 ('MetaData "AlonzoTxAuxData" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.13.0.0-inplace" 'True) (C1 ('MetaCons "AlonzoTxAuxDataConstr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MemoBytes AlonzoTxAuxDataRaw era))))

class AllegraEraTxAuxData era ⇒ AlonzoEraTxAuxData era where Source #

Methods

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

Instances

Instances details

AlonzoEraTxAuxData AlonzoEra Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (Map Language (NonEmpty PlutusBinary)) Source #

data AlonzoTxAuxDataRaw era Source #

Instances

Instances details

Generic (AlonzoTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Associated Types type Rep (AlonzoTxAuxDataRaw era) ∷ Type → Type Source # Methods from ∷ AlonzoTxAuxDataRaw era → Rep (AlonzoTxAuxDataRaw era) x Source # to ∷ Rep (AlonzoTxAuxDataRaw era) x → AlonzoTxAuxDataRaw era Source #
Show (Timelock era) ⇒ Show (AlonzoTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods showsPrec ∷ Int → AlonzoTxAuxDataRaw era → ShowS Source # show ∷ AlonzoTxAuxDataRaw era → String Source # showList ∷ [AlonzoTxAuxDataRaw era] → ShowS Source #
Era era ⇒ DecCBOR (Annotator (AlonzoTxAuxDataRaw era)) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods decCBOR ∷ Decoder s (Annotator (AlonzoTxAuxDataRaw era)) Source # dropCBOR ∷ Proxy (Annotator (AlonzoTxAuxDataRaw era)) → Decoder s () Source # label ∷ Proxy (Annotator (AlonzoTxAuxDataRaw era)) → Text Source #
Era era ⇒ EncCBOR (AlonzoTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods encCBOR ∷ AlonzoTxAuxDataRaw era → Encoding Source # encodedSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy (AlonzoTxAuxDataRaw era) → Size Source # encodedListSizeExpr ∷ (∀ t. EncCBOR t ⇒ Proxy t → Size) → Proxy [AlonzoTxAuxDataRaw era] → Size Source #
NFData (Timelock era) ⇒ NFData (AlonzoTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods rnf ∷ AlonzoTxAuxDataRaw era → () Source #
Eq (Timelock era) ⇒ Eq (AlonzoTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods (==) ∷ AlonzoTxAuxDataRaw era → AlonzoTxAuxDataRaw era → Bool Source # (/=) ∷ AlonzoTxAuxDataRaw era → AlonzoTxAuxDataRaw era → Bool Source #
NoThunks (AlonzoTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData Methods noThunks ∷ Context → AlonzoTxAuxDataRaw era → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → AlonzoTxAuxDataRaw era → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (AlonzoTxAuxDataRaw era) → String Source #
type MemoHashIndex AlonzoTxAuxDataRaw Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type MemoHashIndex AlonzoTxAuxDataRaw = EraIndependentTxAuxData
type Rep (AlonzoTxAuxDataRaw era) Source #
Instance details Defined in Cardano.Ledger.Alonzo.TxAuxData type Rep (AlonzoTxAuxDataRaw era) = D1 ('MetaData "AlonzoTxAuxDataRaw" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.13.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTxAuxDataRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "atadrMetadata") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Word64 Metadatum)) :: (S1 ('MetaSel ('Just "atadrTimelock") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Timelock era))) :: S1 ('MetaSel ('Just "atadrPlutus") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Language (NonEmpty PlutusBinary))))))

mkAlonzoTxAuxData ∷ ∀ f era. (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.

hashAlonzoTxAuxData ∷ HashAnnotated x EraIndependentTxAuxData ⇒ x → TxAuxDataHash Source #

Deprecated: In favor of hashTxAuxData

validateAlonzoTxAuxData ∷ (AlonzoEraScript era, Script era ~ AlonzoScript era) ⇒ ProtVer → AlonzoTxAuxData era → Bool Source #

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

translateAlonzoTxAuxData ∷ (AlonzoEraScript era1, AlonzoEraScript era2) ⇒ AlonzoTxAuxData era1 → AlonzoTxAuxData era2 Source #

metadataAlonzoTxAuxDataL ∷ Era era ⇒ Lens' (AlonzoTxAuxData era) (Map Word64 Metadatum) Source #

timelockScriptsAlonzoTxAuxDataL ∷ Era era ⇒ Lens' (AlonzoTxAuxData era) (StrictSeq (Timelock era)) Source #

plutusScriptsAllegraTxAuxDataL ∷ Era era ⇒ Lens' (AlonzoTxAuxData era) (Map Language (NonEmpty PlutusBinary)) Source #

Orphan instances

AllegraEraTxAuxData AlonzoEra Source #
Instance details Methods timelockScriptsTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (StrictSeq (Timelock AlonzoEra)) Source #
EraTxAuxData AlonzoEra Source #
Instance details Associated Types type TxAuxData AlonzoEra = (r ∷ Type) Source # Methods mkBasicTxAuxData ∷ TxAuxData AlonzoEra Source # metadataTxAuxDataL ∷ Lens' (TxAuxData AlonzoEra) (Map Word64 Metadatum) Source # upgradeTxAuxData ∷ TxAuxData (PreviousEra AlonzoEra) → TxAuxData AlonzoEra Source # validateTxAuxData ∷ ProtVer → TxAuxData AlonzoEra → Bool Source #