Modulecardano-ledger-alonzo-1.16.0.0

Cardano.Ledger.Alonzo.Plutus.TxInfo

Synopsis

value mkPlutusWithContext
value toLegacyPlutusArgs
value toPlutusV1Args
value transAssetName
value transLookupTxOut
value transMintValue
value transMultiAsset
value transPlutusPurpose
value transPolicyID
value transTxBodyCerts
value transTxBodyId
value transTxBodyReqSignerHashes
value transTxBodyWithdrawals
value transTxCert
value transTxCertCommon
value transTxOut
value transTxWitsDatums
value transValidityInterval
value transValue
value transWithdrawals
value transDataPair
data AlonzoContextError
data TxOutSource

Packagecardano-ledger-alonzo-1.16.0.0
Exports23
LicenceApache-2.0

valuemkPlutusWithContext

:: AlonzoEraUTxO era
=> SupportedPlutusRunnable era
-> PlutusPurpose AsIxItem era
-> LedgerTxInfo era
-> TxInfoResult era
-> Data era
-> ExUnits
-> CostModel
-> Either (ContextError era) PlutusWithContext

valuetoLegacyPlutusArgs

:: EraPlutusTxInfo l era
=> proxy l
-> ProtVer
-> PlutusScriptPurpose l -> PlutusScriptContext l
-> PlutusPurpose AsIxItem era
-> Maybe (Data era)
-> Data era
-> Either (ContextError era) (LegacyPlutusArgs l)

valuetoPlutusV1Args

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

valuetransAssetName :: AssetName -> TokenName

valuetransLookupTxOut

:: Inject (AlonzoContextError era) a
=> UTxO era
-> TxIn
-> Either a (TxOut era)

valuetransMintValue :: MultiAsset -> Value

valuetransMultiAsset :: MultiAsset -> Value

valuetransPlutusPurpose

:: (EraPlutusTxInfo l era, PlutusTxCert l ~ DCert)
=> proxy l
-> ProtVer
-> AlonzoPlutusPurpose AsIxItem era
-> Either (ContextError era) ScriptPurpose

valuetransPolicyID :: PolicyID -> CurrencySymbol

valuetransTxBodyCerts

:: (EraPlutusTxInfo l era, EraTxBody era)
=> proxy l
-> ProtVer
-> TxBody t era
-> Either (ContextError era) [PlutusTxCert l]

valuetransTxBodyId :: EraTxBody era => TxBody l era -> TxId

valuetransTxBodyReqSignerHashes

:: AlonzoEraTxBody era
=> TxBody t era
-> [PubKeyHash]

valuetransTxBodyWithdrawals

:: EraTxBody era
=> TxBody t era
-> [(StakingCredential, Integer)]

valuetransTxCert

:: (ShelleyEraTxCert era, AtMostEra "Babbage" era)
=> TxCert era
-> DCert

valuetransTxCertCommon :: ShelleyEraTxCert era => TxCert era -> Maybe DCert

valuetransTxOut

:: (Value era ~ MaryValue, AlonzoEraTxOut era)
=> TxOut era
-> Maybe TxOut

valuetransTxWitsDatums

:: AlonzoEraTxWits era
=> TxWits era
-> [(DatumHash, Datum)]

valuetransValidityInterval

:: Inject (AlonzoContextError era) a
=> proxy era
-> EpochInfo (Either Text)
-> SystemStart
-> ValidityInterval
-> Either a POSIXTimeRange

valuetransValue :: MaryValue -> Value

valuetransWithdrawals :: Withdrawals -> Map StakingCredential Integer

valuetransDataPair :: (DataHash, Data era) -> (DatumHash, Datum)

datadata AlonzoContextError (era :: k)

Constructors

TranslationLogicMissingInput TxIn
TimeTranslationPastHorizon Text

Instances8Eq, Show, Generic, NFData, ToJSON, DecCBOR, …

Eq (AlonzoContextError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.TxInfo
Show (AlonzoContextError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.TxInfo
Generic (AlonzoContextError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.TxInfo
Era era => NFData (AlonzoContextError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.TxInfo
ToJSON (AlonzoContextError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.TxInfo
Era era => DecCBOR (AlonzoContextError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.TxInfo
Era era => EncCBOR (AlonzoContextError era)Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.TxInfo
type Rep (AlonzoContextError era) = D1 ('MetaData "AlonzoContextError" "Cardano.Ledger.Alonzo.Plutus.TxInfo" "cardano-ledger-alonzo-1.16.0.0-FWMPqwbjHvk5jzVph7s7YD" 'False) (C1 ('MetaCons "TranslationLogicMissingInput" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxIn)) :+: C1 ('MetaCons "TimeTranslationPastHorizon" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))Defined in cardano-ledger-alonzo-1.16.0.0 · Cardano.Ledger.Alonzo.Plutus.TxInfo

datadata TxOutSource

Constructors

TxOutFromInput !TxIn
TxOutFromOutput !TxIx

Instances9Eq, Show, Generic, NFData, ToJSON, NoThunks, …

Eq TxOutSourceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.TxInfo
Show TxOutSourceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.TxInfo
Generic TxOutSourceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.TxInfo
NFData TxOutSourceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.TxInfo
ToJSON TxOutSourceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.TxInfo
NoThunks TxOutSourceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.TxInfo
DecCBOR TxOutSourceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.TxInfo
EncCBOR TxOutSourceDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.TxInfo
type Rep TxOutSource = D1 ('MetaData "TxOutSource" "Cardano.Ledger.Plutus.TxInfo" "cardano-ledger-core-1.21.0.0-DuROMhaY1WE6VC1bQ2U9IK" 'False) (C1 ('MetaCons "TxOutFromInput" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxIn)) :+: C1 ('MetaCons "TxOutFromOutput" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 TxIx)))Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.TxInfo

Orphan instances

2 instances