Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Alonzo.TxAuxData

Contents

AlonzoTxAuxData
Deprecated
Orphan instances

Synopsis

newtype AlonzoTxAuxData era where
- MkAlonzoTxAuxData (MemoBytes (AlonzoTxAuxDataRaw era))
- pattern AlonzoTxAuxData ∷ (HasCallStack, AlonzoEraScript era) ⇒ Map Word64 Metadatum → StrictSeq (NativeScript era) → Map Language (NonEmpty PlutusBinary) → AlonzoTxAuxData era
- pattern AlonzoTxAuxData' ∷ Map Word64 Metadatum → StrictSeq (NativeScript era) → Map Language (NonEmpty PlutusBinary) → AlonzoTxAuxData era
class AllegraEraTxAuxData era ⇒ AlonzoEraTxAuxData era where
- plutusScriptsTxAuxDataL ∷ Lens' (TxAuxData era) (Map Language (NonEmpty PlutusBinary))
data AlonzoTxAuxDataRaw era = AlonzoTxAuxDataRaw {
- atadrMetadata ∷ !(Map Word64 Metadatum)
- atadrNativeScripts ∷ !(StrictSeq (NativeScript era))
- atadrPlutusScripts ∷ !(Map Language (NonEmpty PlutusBinary))
}
mkAlonzoTxAuxData ∷ (Foldable f, AlonzoEraScript era) ⇒ Map Word64 Metadatum → f (AlonzoScript era) → AlonzoTxAuxData era
validateAlonzoTxAuxData ∷ (AlonzoEraScript era, Script era ~ AlonzoScript era) ⇒ Map ScriptHash (SupportedPlutusRunnable era) → ProtVer → AlonzoTxAuxData era → Bool
getAlonzoTxAuxDataScripts ∷ AlonzoEraScript era ⇒ AlonzoTxAuxData era → StrictSeq (AlonzoScript era)
metadataAlonzoTxAuxDataL ∷ (Era era, EncCBOR (NativeScript era)) ⇒ Lens' (AlonzoTxAuxData era) (Map Word64 Metadatum)
nativeScriptsAlonzoTxAuxDataL ∷ (Era era, EncCBOR (NativeScript era)) ⇒ Lens' (AlonzoTxAuxData era) (StrictSeq (NativeScript era))
plutusScriptsAllegraTxAuxDataL ∷ (Era era, EncCBOR (NativeScript era)) ⇒ Lens' (AlonzoTxAuxData era) (Map Language (NonEmpty PlutusBinary))
addPlutusScripts ∷ Language → [PlutusBinary] → AlonzoTxAuxDataRaw era → AlonzoTxAuxDataRaw era
decodeTxAuxDataByTokenType ∷ ∀ t s. Decoder s t → Decoder s t → Decoder s t → Decoder s t
emptyAlonzoTxAuxDataRaw ∷ AlonzoTxAuxDataRaw era
isValidScript ∷ (HasCallStack, AlonzoEraScript era) ⇒ Map ScriptHash (SupportedPlutusRunnable era) → ProtVer → ScriptHash → Script era → Bool
atadPlutus ∷ AlonzoTxAuxData era → Map Language (NonEmpty PlutusBinary)
atadPlutus' ∷ AlonzoTxAuxData era → Map Language (NonEmpty PlutusBinary)

AlonzoTxAuxData

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

(AlonzoEraScript era, FromJSON (NativeScript era)) ⇒ FromJSON (AlonzoTxAuxData era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

parseJSON ∷ Value → Parser (AlonzoTxAuxData era) Source #

parseJSONList ∷ Value → Parser [AlonzoTxAuxData era] Source #

omittedField ∷ Maybe (AlonzoTxAuxData era) Source #

(AlonzoEraScript era, ToJSON (NativeScript era)) ⇒ ToJSON (AlonzoTxAuxData era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

toJSON ∷ AlonzoTxAuxData era → Value Source #

toEncoding ∷ AlonzoTxAuxData era → Encoding Source #

toJSONList ∷ [AlonzoTxAuxData era] → Value Source #

toEncodingList ∷ [AlonzoTxAuxData era] → Encoding Source #

omitField ∷ AlonzoTxAuxData era → Bool 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 (NativeScript era)), Typeable (NativeScript 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 #

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 #

Eq (NativeScript era) ⇒ EqRaw (AlonzoTxAuxData era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

eqRaw ∷ AlonzoTxAuxData era → AlonzoTxAuxData era → Bool Source #

Memoized (AlonzoTxAuxData era) Source #

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) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

rnf ∷ AlonzoTxAuxData era → () #

Generic (AlonzoTxAuxData era) Source #

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.16.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) Source #

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) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

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

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

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 era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type RawType (AlonzoTxAuxData era) = AlonzoTxAuxDataRaw era

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.16.0.0-inplace" 'True) (C1 ('MetaCons "MkAlonzoTxAuxData" '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

StAnnTxCache AlonzoEra ~ Map ScriptHash (SupportedPlutusRunnable AlonzoEra) ⇒ 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 #

Constructors

AlonzoTxAuxDataRaw
Fields atadrMetadata ∷ !(Map Word64 Metadatum) atadrNativeScripts ∷ !(StrictSeq (NativeScript era)) atadrPlutusScripts ∷ !(Map Language (NonEmpty PlutusBinary))

Instances

Instances details

(Era era, DecCBOR (Annotator (NativeScript era)), Typeable (NativeScript 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 (NativeScript era)) ⇒ EncCBOR (AlonzoTxAuxDataRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

encCBOR ∷ AlonzoTxAuxDataRaw era → Encoding Source #

NFData (NativeScript era) ⇒ NFData (AlonzoTxAuxDataRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

rnf ∷ AlonzoTxAuxDataRaw era → () #

Generic (AlonzoTxAuxDataRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Associated Types

type Rep (AlonzoTxAuxDataRaw era)

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type Rep (AlonzoTxAuxDataRaw era) = D1 ('MetaData "AlonzoTxAuxDataRaw" "Cardano.Ledger.Alonzo.TxAuxData" "cardano-ledger-alonzo-1.16.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTxAuxDataRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "atadrMetadata") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Word64 Metadatum)) :*: (S1 ('MetaSel ('Just "atadrNativeScripts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (NativeScript era))) :*: S1 ('MetaSel ('Just "atadrPlutusScripts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Language (NonEmpty PlutusBinary))))))

Methods

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

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

Show (NativeScript era) ⇒ Show (AlonzoTxAuxDataRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

showsPrec ∷ Int → AlonzoTxAuxDataRaw era → ShowS #

show ∷ AlonzoTxAuxDataRaw era → String #

showList ∷ [AlonzoTxAuxDataRaw era] → ShowS #

Eq (NativeScript era) ⇒ Eq (AlonzoTxAuxDataRaw era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

Methods

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

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

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 era) Source #

Instance details

Defined in Cardano.Ledger.Alonzo.TxAuxData

type MemoHashIndex (AlonzoTxAuxDataRaw era) = 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.16.0.0-inplace" 'False) (C1 ('MetaCons "AlonzoTxAuxDataRaw" 'PrefixI 'True) (S1 ('MetaSel ('Just "atadrMetadata") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Word64 Metadatum)) :*: (S1 ('MetaSel ('Just "atadrNativeScripts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (NativeScript era))) :*: S1 ('MetaSel ('Just "atadrPlutusScripts") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map Language (NonEmpty PlutusBinary))))))

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.

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

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

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

nativeScriptsAlonzoTxAuxDataL ∷ (Era era, EncCBOR (NativeScript era)) ⇒ Lens' (AlonzoTxAuxData era) (StrictSeq (NativeScript era)) Source #

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

addPlutusScripts ∷ Language → [PlutusBinary] → AlonzoTxAuxDataRaw era → AlonzoTxAuxDataRaw era Source #

decodeTxAuxDataByTokenType ∷ ∀ t s. Decoder s t → Decoder s t → Decoder s t → Decoder s t Source #

emptyAlonzoTxAuxDataRaw ∷ AlonzoTxAuxDataRaw era Source #

isValidScript Source #

Arguments

∷ (HasCallStack, AlonzoEraScript era)
⇒ Map ScriptHash (SupportedPlutusRunnable era)	Decoded plutus scripts cache, that can be utilized to avoid redundant deserialization of plutus scripts for the sole purpose of their validation
→ ProtVer	Protocol version to be used by the Plutus decoder
→ ScriptHash	It is important that the hash is of the supplied script to be validated
→ Script era	Script to be validated
→ Bool

Verify that every Script represents a valid script. Force native scripts to Normal Form, to ensure that there are no bottoms and deserialize Plutus scripts into a PlutusRunnable.