Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Alonzo.TxAuxData

Contents

AlonzoTxAuxData
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))
- atadrPlutus ∷ !(Map Language (NonEmpty PlutusBinary))
}
mkAlonzoTxAuxData ∷ (Foldable f, AlonzoEraScript era) ⇒ Map Word64 Metadatum → f (AlonzoScript era) → AlonzoTxAuxData era
validateAlonzoTxAuxData ∷ (AlonzoEraScript era, Script era ~ AlonzoScript 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

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

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.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) 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.15.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

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)) atadrPlutus ∷ !(Map Language (NonEmpty PlutusBinary))