Modulecardano-ledger-babbage-1.14.0.0

Cardano.Ledger.Babbage.TxInfo

1 type
8 values

Packagecardano-ledger-babbage-1.14.0.0
Exports9
LicenceApache-2.0

valuetoPlutusV2Args

:: EraPlutusTxInfo 'PlutusV2 era
=> proxy 'PlutusV2
-> ProtVer
-> TxInfo
-> PlutusPurpose AsIxItem era
-> Maybe (Data era)
-> Data era
-> Either (ContextError era) (PlutusArgs 'PlutusV2)

valuetransRedeemer :: Data era -> Redeemer

valuetransReferenceScript

:: EraScript era
=> StrictMaybe (Script era)
-> Maybe ScriptHash

valuetransTxInInfoV1

:: (Inject (BabbageContextError era) (ContextError era), Value era ~ MaryValue, BabbageEraTxOut era)
=> UTxO era
-> TxIn
-> Either (ContextError era) TxInInfo

valuetransTxInInfoV2

:: (Inject (BabbageContextError era) (ContextError era), Value era ~ MaryValue, BabbageEraTxOut era)
=> UTxO era
-> TxIn
-> Either (ContextError era) TxInInfo

valuetransTxOutV1

:: (Inject (BabbageContextError era) (ContextError era), Value era ~ MaryValue, BabbageEraTxOut era)
=> TxOutSource
-> TxOut era
-> Either (ContextError era) TxOut

valuetransTxOutV2

:: (Inject (BabbageContextError era) (ContextError era), Value era ~ MaryValue, BabbageEraTxOut era)
=> TxOutSource
-> TxOut era
-> Either (ContextError era) TxOut

valuetransTxRedeemers

:: (EraPlutusTxInfo l era, AlonzoEraTxBody era, EraTx era, AlonzoEraTxWits era, Inject (BabbageContextError era) (ContextError era))
=> proxy l
-> ProtVer
-> Tx t era
-> Either (ContextError era) (Map (PlutusScriptPurpose l) Redeemer)

datadata BabbageContextError era

Constructors

AlonzoContextError (AlonzoContextError era)
ByronTxOutInContext TxOutSource
RedeemerPointerPointsToNothing (PlutusPurpose AsIx era)
InlineDatumsNotSupported TxOutSource
ReferenceScriptsNotSupported TxOutSource
ReferenceInputsNotSupported (Set TxIn)

Instances9Eq, Show, Generic, NFData, ToJSON, DecCBOR, …

(Eq (AlonzoContextError era), Eq (PlutusPurpose AsIx era)) => Eq (BabbageContextError era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxInfo
(Show (AlonzoContextError era), Show (PlutusPurpose AsIx era)) => Show (BabbageContextError era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxInfo
Generic (BabbageContextError era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxInfo
(Era era, NFData (PlutusPurpose AsIx era)) => NFData (BabbageContextError era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxInfo
ToJSON (PlutusPurpose AsIx era) => ToJSON (BabbageContextError era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxInfo
(Era era, DecCBOR (PlutusPurpose AsIx era)) => DecCBOR (BabbageContextError era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxInfo
(Era era, EncCBOR (PlutusPurpose AsIx era)) => EncCBOR (BabbageContextError era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxInfo
Inject (AlonzoContextError era) (BabbageContextError era)Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxInfo
type Rep (BabbageContextError era) = D1 ('MetaData "BabbageContextError" "Cardano.Ledger.Babbage.TxInfo" "cardano-ledger-babbage-1.14.0.0-IorkXQjtMXvLMg0K4UxcYR" 'False) ((C1 ('MetaCons "AlonzoContextError" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (AlonzoContextError era))) :+: (C1 ('MetaCons "ByronTxOutInContext" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutSource)) :+: C1 ('MetaCons "RedeemerPointerPointsToNothing" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PlutusPurpose AsIx era))))) :+: (C1 ('MetaCons "InlineDatumsNotSupported" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutSource)) :+: (C1 ('MetaCons "ReferenceScriptsNotSupported" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutSource)) :+: C1 ('MetaCons "ReferenceInputsNotSupported" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set TxIn))))))Defined in cardano-ledger-babbage-1.14.0.0 · Cardano.Ledger.Babbage.TxInfo

Orphan instances

3 instances