Modulecardano-ledger-conway-1.23.0.0

Cardano.Ledger.Conway.TxInfo

Synopsis

value checkReferenceInputsNotDisjointFromInputs
value guardConwayFeaturesForPlutusV1V2
value scriptPurposeToScriptInfo
value toPlutusV3Args
value transColdCommitteeCred
value transDRep
value transDRepCred
value transDelegatee
value transHotCommitteeCred
value transMap
value transMintValue
value transPlutusPurposeV1V2
value transPlutusPurposeV3
value transProposal
value transTxBodyId
value transTxBodyWithdrawals
value transTxCert
value transTxCertV1V2
value transTxInInfoV1
value transTxInInfoV3
value transTxOutV1
value transValidityInterval
value transVotingProcedures
data ConwayContextError
class ConwayEraPlutusTxInfo

Packagecardano-ledger-conway-1.23.0.0
Exports25
LicenceApache-2.0

valuecheckReferenceInputsNotDisjointFromInputs

:: (BabbageEraTxBody era, Inject (ConwayContextError era) (ContextError era))
=> TxBody l era
-> Either (ContextError era) ()

valueguardConwayFeaturesForPlutusV1V2

:: (EraTx era, ConwayEraTxBody era, Inject (ConwayContextError era) (ContextError era))
=> Tx l era
-> Either (ContextError era) ()

valuescriptPurposeToScriptInfo :: ScriptPurpose -> Maybe Datum -> ScriptInfo

valuetoPlutusV3Args

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

valuetransColdCommitteeCred

:: Credential ColdCommitteeRole
-> ColdCommitteeCredential

valuetransDRep :: DRep -> DRep

valuetransDRepCred :: Credential DRepRole -> DRepCredential

valuetransDelegatee :: Delegatee -> Delegatee

valuetransHotCommitteeCred

:: Credential HotCommitteeRole
-> HotCommitteeCredential

valuetransMap :: (t1 -> k) -> (t2 -> v) -> Map t1 t2 -> Map k v

valuetransMintValue :: MultiAsset -> MintValue

valuetransPlutusPurposeV1V2

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

valuetransPlutusPurposeV3

:: (ConwayEraPlutusTxInfo 'PlutusV3 era, Inject (ConwayContextError era) (ContextError era))
=> proxy 'PlutusV3
-> ProtVer
-> PlutusPurpose AsIxItem era
-> Either (ContextError era) ScriptPurpose

valuetransProposal

:: ConwayEraPlutusTxInfo l era
=> proxy l
-> ProposalProcedure era
-> ProposalProcedure

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

valuetransTxBodyWithdrawals

:: EraTxBody era
=> TxBody l era
-> Map Credential Lovelace

valuetransTxCert

:: (ShelleyEraTxCert era, ConwayEraTxCert era, TxCert era ~ ConwayTxCert era)
=> ProtVer
-> TxCert era
-> TxCert

valuetransTxCertV1V2

:: (ShelleyEraTxCert era, ConwayEraTxCert era, Inject (ConwayContextError era) (ContextError era))
=> TxCert era
-> Either (ContextError era) DCert

valuetransTxInInfoV1

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

valuetransTxInInfoV3

:: (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

valuetransValidityInterval

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

valuetransVotingProcedures

:: VotingProcedures era
-> Map Voter (Map GovernanceActionId Vote)

datadata ConwayContextError era

Constructors

BabbageContextError (BabbageContextError era)
CertificateNotSupported (TxCert era)
PlutusPurposeNotSupported (PlutusPurpose AsItem era)
CurrentTreasuryFieldNotSupported Coin
VotingProceduresFieldNotSupported (VotingProcedures era)
ProposalProceduresFieldNotSupported (OSet (ProposalProcedure era))
TreasuryDonationFieldNotSupported Coin
ReferenceInputsNotDisjointFromInputs (NonEmpty TxIn)

Instances10Eq, Show, Generic, NFData, ToJSON, DecCBOR, …

(Eq (BabbageContextError era), Eq (TxCert era), Eq (PlutusPurpose AsItem era), Eq (PlutusPurpose AsIx era), EraPParams era) => Eq (ConwayContextError era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxInfo
(Show (BabbageContextError era), Show (TxCert era), Show (PlutusPurpose AsItem era), Show (PlutusPurpose AsIx era), EraPParams era) => Show (ConwayContextError era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxInfo
Generic (ConwayContextError era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxInfo
(EraPParams era, NFData (TxCert era), NFData (PlutusPurpose AsIx era), NFData (PlutusPurpose AsItem era)) => NFData (ConwayContextError era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxInfo
(ToJSON (TxCert era), ToJSON (PlutusPurpose AsIx era), ToJSON (PlutusPurpose AsItem era), EraPParams era) => ToJSON (ConwayContextError era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxInfo
(EraPParams era, DecCBOR (TxCert era), DecCBOR (PlutusPurpose AsIx era), DecCBOR (PlutusPurpose AsItem era)) => DecCBOR (ConwayContextError era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxInfo
(EraPParams era, EncCBOR (TxCert era), EncCBOR (PlutusPurpose AsIx era), EncCBOR (PlutusPurpose AsItem era)) => EncCBOR (ConwayContextError era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxInfo
Inject (BabbageContextError era) (ConwayContextError era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxInfo
Inject (AlonzoContextError era) (ConwayContextError era)Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxInfo
type Rep (ConwayContextError era) = D1 ('MetaData "ConwayContextError" "Cardano.Ledger.Conway.TxInfo" "cardano-ledger-conway-1.23.0.0-34PsTSoOOnQLCCifpEs317" 'False) (((C1 ('MetaCons "BabbageContextError" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BabbageContextError era))) :+: C1 ('MetaCons "CertificateNotSupported" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TxCert era)))) :+: (C1 ('MetaCons "PlutusPurposeNotSupported" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PlutusPurpose AsItem era))) :+: C1 ('MetaCons "CurrentTreasuryFieldNotSupported" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)))) :+: ((C1 ('MetaCons "VotingProceduresFieldNotSupported" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (VotingProcedures era))) :+: C1 ('MetaCons "ProposalProceduresFieldNotSupported" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OSet (ProposalProcedure era))))) :+: (C1 ('MetaCons "TreasuryDonationFieldNotSupported" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Coin)) :+: C1 ('MetaCons "ReferenceInputsNotDisjointFromInputs" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty TxIn))))))Defined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxInfo

classclass (ConwayEraScript era, EraPlutusTxInfo l era) => ConwayEraPlutusTxInfo (l :: Language) era where

Methods

toPlutusChangedParameters :: proxy l -> PParamsUpdate era -> ChangedParameters

Instances1ConwayEraPlutusTxInfo

ConwayEraPlutusTxInfo 'PlutusV3 ConwayEraDefined in cardano-ledger-conway-1.23.0.0 · Cardano.Ledger.Conway.TxInfo

Orphan instances

4 instances