plutus-ledger-api-1.36.0.0: Interface to the Plutus ledger for the Cardano ledger.
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusLedgerApi.V3.Data.Contexts

Synopsis

Documentation

newtype ColdCommitteeCredential Source #

Instances

Instances details
Generic ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep ColdCommitteeCredentialTypeType Source #

Show ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

FromData ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Lift DefaultUni ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep ColdCommitteeCredential = D1 ('MetaData "ColdCommitteeCredential" "PlutusLedgerApi.V3.Data.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'True) (C1 ('MetaCons "ColdCommitteeCredential" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential)))

newtype HotCommitteeCredential Source #

Instances

Instances details
Generic HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep HotCommitteeCredentialTypeType Source #

Show HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

FromData HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Lift DefaultUni HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep HotCommitteeCredential = D1 ('MetaData "HotCommitteeCredential" "PlutusLedgerApi.V3.Data.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'True) (C1 ('MetaCons "HotCommitteeCredential" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential)))

newtype DRepCredential Source #

Instances

Instances details
Generic DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep DRepCredentialTypeType Source #

Show DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

FromData DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Lift DefaultUni DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep DRepCredential = D1 ('MetaData "DRepCredential" "PlutusLedgerApi.V3.Data.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'True) (C1 ('MetaCons "DRepCredential" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential)))

data DRep Source #

Instances

Instances details
Generic DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep DRepTypeType Source #

Methods

fromDRepRep DRep x Source #

toRep DRep x → DRep Source #

Show DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

showsPrecIntDRepShowS Source #

showDRepString Source #

showList ∷ [DRep] → ShowS Source #

Eq DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

(==)DRepDRepBool Source #

(/=)DRepDRepBool Source #

Eq DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

(==)DRepDRepBool Source #

FromData DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

prettyDRepDoc ann Source #

prettyList ∷ [DRep] → Doc ann Source #

Lift DefaultUni DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep DRep = D1 ('MetaData "DRep" "PlutusLedgerApi.V3.Data.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'False) (C1 ('MetaCons "DRep" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DRepCredential)) :+: (C1 ('MetaCons "DRepAlwaysAbstain" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "DRepAlwaysNoConfidence" 'PrefixI 'False) (U1TypeType)))

data Delegatee Source #

Instances

Instances details
Generic Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep DelegateeTypeType Source #

Show Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

(==)DelegateeDelegateeBool Source #

FromData Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

prettyDelegateeDoc ann Source #

prettyList ∷ [Delegatee] → Doc ann Source #

Lift DefaultUni Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

data TxCert Source #

Constructors

TxCertRegStaking Credential (Maybe Lovelace)

Register staking credential with an optional deposit amount

TxCertUnRegStaking Credential (Maybe Lovelace)

Un-Register staking credential with an optional refund amount

TxCertDelegStaking Credential Delegatee

Delegate staking credential to a Delegatee

TxCertRegDeleg Credential Delegatee Lovelace

Register and delegate staking credential to a Delegatee in one certificate. Noter that deposit is mandatory.

TxCertRegDRep DRepCredential Lovelace

Register a DRep with a deposit value. The optional anchor is omitted.

TxCertUpdateDRep DRepCredential

Update a DRep. The optional anchor is omitted.

TxCertUnRegDRep DRepCredential Lovelace

UnRegister a DRep with mandatory refund value

TxCertPoolRegister

A digest of the PoolParams

Fields

TxCertPoolRetire PubKeyHash Integer

The retirement certificate and the Epoch in which the retirement will take place

TxCertAuthHotCommittee ColdCommitteeCredential HotCommitteeCredential

Authorize a Hot credential for a specific Committee member's cold credential

TxCertResignColdCommittee ColdCommitteeCredential 

Instances

Instances details
Generic TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep TxCertTypeType Source #

Methods

fromTxCertRep TxCert x Source #

toRep TxCert x → TxCert Source #

Show TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

(==)TxCertTxCertBool Source #

(/=)TxCertTxCertBool Source #

Eq TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

(==)TxCertTxCertBool Source #

FromData TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

prettyTxCertDoc ann Source #

prettyList ∷ [TxCert] → Doc ann Source #

Lift DefaultUni TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep TxCert = D1 ('MetaData "TxCert" "PlutusLedgerApi.V3.Data.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'False) (((C1 ('MetaCons "TxCertRegStaking" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Lovelace))) :+: C1 ('MetaCons "TxCertUnRegStaking" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Lovelace)))) :+: (C1 ('MetaCons "TxCertDelegStaking" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Delegatee)) :+: (C1 ('MetaCons "TxCertRegDeleg" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Delegatee) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lovelace))) :+: C1 ('MetaCons "TxCertRegDRep" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DRepCredential) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lovelace))))) :+: ((C1 ('MetaCons "TxCertUpdateDRep" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DRepCredential)) :+: (C1 ('MetaCons "TxCertUnRegDRep" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DRepCredential) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lovelace)) :+: C1 ('MetaCons "TxCertPoolRegister" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash)))) :+: (C1 ('MetaCons "TxCertPoolRetire" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)) :+: (C1 ('MetaCons "TxCertAuthHotCommittee" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColdCommitteeCredential) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HotCommitteeCredential)) :+: C1 ('MetaCons "TxCertResignColdCommittee" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ColdCommitteeCredential))))))

data Voter Source #

Instances

Instances details
Generic Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep VoterTypeType Source #

Methods

fromVoterRep Voter x Source #

toRep Voter x → Voter Source #

Show Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

(==)VoterVoterBool Source #

(/=)VoterVoterBool Source #

Eq Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

(==)VoterVoterBool Source #

FromData Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

prettyVoterDoc ann Source #

prettyList ∷ [Voter] → Doc ann Source #

Lift DefaultUni Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep Voter = D1 ('MetaData "Voter" "PlutusLedgerApi.V3.Data.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'False) (C1 ('MetaCons "CommitteeVoter" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HotCommitteeCredential)) :+: (C1 ('MetaCons "DRepVoter" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DRepCredential)) :+: C1 ('MetaCons "StakePoolVoter" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PubKeyHash))))

data Vote Source #

A vote. The optional anchor is omitted.

Constructors

VoteNo 
VoteYes 
Abstain 

Instances

Instances details
Generic Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep VoteTypeType Source #

Methods

fromVoteRep Vote x Source #

toRep Vote x → Vote Source #

Show Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

showsPrecIntVoteShowS Source #

showVoteString Source #

showList ∷ [Vote] → ShowS Source #

Eq Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

(==)VoteVoteBool Source #

(/=)VoteVoteBool Source #

Eq Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

(==)VoteVoteBool Source #

FromData Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

prettyVoteDoc ann Source #

prettyList ∷ [Vote] → Doc ann Source #

Lift DefaultUni Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep Vote = D1 ('MetaData "Vote" "PlutusLedgerApi.V3.Data.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'False) (C1 ('MetaCons "VoteNo" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "VoteYes" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Abstain" 'PrefixI 'False) (U1TypeType)))

data GovernanceActionId Source #

Similar to TxOutRef, but for GovActions

Instances

Instances details
Generic GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep GovernanceActionIdTypeType Source #

Show GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

FromData GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Lift DefaultUni GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep GovernanceActionId = D1 ('MetaData "GovernanceActionId" "PlutusLedgerApi.V3.Data.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'False) (C1 ('MetaCons "GovernanceActionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "gaidTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId) :*: S1 ('MetaSel ('Just "gaidGovActionIx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

data Committee Source #

Constructors

Committee 

Fields

Instances

Instances details
Generic Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep CommitteeTypeType Source #

Show Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

FromData Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

prettyCommitteeDoc ann Source #

prettyList ∷ [Committee] → Doc ann Source #

Lift DefaultUni Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep Committee = D1 ('MetaData "Committee" "PlutusLedgerApi.V3.Data.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'False) (C1 ('MetaCons "Committee" 'PrefixI 'True) (S1 ('MetaSel ('Just "committeeMembers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ColdCommitteeCredential Integer)) :*: S1 ('MetaSel ('Just "committeeQuorum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))

newtype Constitution Source #

A constitution. The optional anchor is omitted.

Instances

Instances details
Generic Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep ConstitutionTypeType Source #

Show Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

FromData Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

prettyConstitutionDoc ann Source #

prettyList ∷ [Constitution] → Doc ann Source #

Lift DefaultUni Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep Constitution = D1 ('MetaData "Constitution" "PlutusLedgerApi.V3.Data.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'True) (C1 ('MetaCons "Constitution" 'PrefixI 'True) (S1 ('MetaSel ('Just "constitutionScript") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ScriptHash))))

data ProtocolVersion Source #

Constructors

ProtocolVersion 

Fields

Instances

Instances details
Generic ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep ProtocolVersionTypeType Source #

Show ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

FromData ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Lift DefaultUni ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep ProtocolVersion = D1 ('MetaData "ProtocolVersion" "PlutusLedgerApi.V3.Data.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'False) (C1 ('MetaCons "ProtocolVersion" 'PrefixI 'True) (S1 ('MetaSel ('Just "pvMajor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Just "pvMinor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

newtype ChangedParameters Source #

A Plutus Data object containing proposed parameter changes. The Data object contains a Map with one entry per changed parameter, from the parameter ID to the new value. Unchanged parameters are not included.

The mapping from parameter IDs to parameters can be found in conway.cddl.

Invariant: This map is non-empty, and the keys are stored in ascending order.

Instances

Instances details
Generic ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep ChangedParametersTypeType Source #

Show ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Ord ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

FromData ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Lift DefaultUni ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep ChangedParameters = D1 ('MetaData "ChangedParameters" "PlutusLedgerApi.V3.Data.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'True) (C1 ('MetaCons "ChangedParameters" 'PrefixI 'True) (S1 ('MetaSel ('Just "getChangedParameters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BuiltinData)))

data GovernanceAction Source #

Instances

Instances details
Generic GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep GovernanceActionTypeType Source #

Show GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

FromData GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Lift DefaultUni GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep GovernanceAction = D1 ('MetaData "GovernanceAction" "PlutusLedgerApi.V3.Data.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'False) ((C1 ('MetaCons "ParameterChange" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe GovernanceActionId)) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChangedParameters) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ScriptHash)))) :+: (C1 ('MetaCons "HardForkInitiation" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe GovernanceActionId)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProtocolVersion)) :+: C1 ('MetaCons "TreasuryWithdrawals" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Credential Lovelace)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ScriptHash))))) :+: ((C1 ('MetaCons "NoConfidence" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe GovernanceActionId))) :+: C1 ('MetaCons "UpdateCommittee" 'PrefixI 'False) ((S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe GovernanceActionId)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (List ColdCommitteeCredential))) :*: (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ColdCommitteeCredential Integer)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rational)))) :+: (C1 ('MetaCons "NewConstitution" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe GovernanceActionId)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Constitution)) :+: C1 ('MetaCons "InfoAction" 'PrefixI 'False) (U1TypeType))))

data ProposalProcedure Source #

A proposal procedure. The optional anchor is omitted.

Instances

Instances details
Generic ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep ProposalProcedureTypeType Source #

Show ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

FromData ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Lift DefaultUni ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep ProposalProcedure = D1 ('MetaData "ProposalProcedure" "PlutusLedgerApi.V3.Data.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'False) (C1 ('MetaCons "ProposalProcedure" 'PrefixI 'True) (S1 ('MetaSel ('Just "ppDeposit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lovelace) :*: (S1 ('MetaSel ('Just "ppReturnAddr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential) :*: S1 ('MetaSel ('Just "ppGovernanceAction") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 GovernanceAction))))

data ScriptPurpose Source #

A ScriptPurpose uniquely identifies a Plutus script within a transaction.

Instances

Instances details
Generic ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep ScriptPurposeTypeType Source #

Show ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

FromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Lift DefaultUni ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

data ScriptInfo Source #

Like ScriptPurpose but with an optional datum for spending scripts.

Instances

Instances details
Generic ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep ScriptInfoTypeType Source #

Show ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

FromData ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

prettyScriptInfoDoc ann Source #

prettyList ∷ [ScriptInfo] → Doc ann Source #

Lift DefaultUni ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep ScriptInfo = D1 ('MetaData "ScriptInfo" "PlutusLedgerApi.V3.Data.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'False) ((C1 ('MetaCons "MintingScript" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CurrencySymbol)) :+: (C1 ('MetaCons "SpendingScript" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Datum))) :+: C1 ('MetaCons "RewardingScript" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Credential)))) :+: (C1 ('MetaCons "CertifyingScript" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxCert)) :+: (C1 ('MetaCons "VotingScript" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Voter)) :+: C1 ('MetaCons "ProposingScript" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProposalProcedure)))))

data TxInInfo Source #

An input of a pending transaction.

Constructors

TxInInfo 

Instances

Instances details
Generic TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep TxInInfoTypeType Source #

Show TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Eq TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

(==)TxInInfoTxInInfoBool Source #

FromData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

prettyTxInInfoDoc ann Source #

prettyList ∷ [TxInInfo] → Doc ann Source #

Lift DefaultUni TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep TxInInfo = D1 ('MetaData "TxInInfo" "PlutusLedgerApi.V3.Data.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'False) (C1 ('MetaCons "TxInInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "txInInfoOutRef") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOutRef) :*: S1 ('MetaSel ('Just "txInInfoResolved") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxOut)))

data TxInfo Source #

TxInfo for PlutusV3

Instances

Instances details
Generic TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep TxInfoTypeType Source #

Methods

fromTxInfoRep TxInfo x Source #

toRep TxInfo x → TxInfo Source #

Show TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

FromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

prettyTxInfoDoc ann Source #

prettyList ∷ [TxInfo] → Doc ann Source #

Lift DefaultUni TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep TxInfo = D1 ('MetaData "TxInfo" "PlutusLedgerApi.V3.Data.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'False) (C1 ('MetaCons "TxInfo" 'PrefixI 'True) ((((S1 ('MetaSel ('Just "txInfoInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (List TxInInfo)) :*: S1 ('MetaSel ('Just "txInfoReferenceInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (List TxInInfo))) :*: (S1 ('MetaSel ('Just "txInfoOutputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (List TxOut)) :*: S1 ('MetaSel ('Just "txInfoFee") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Lovelace))) :*: ((S1 ('MetaSel ('Just "txInfoMint") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value) :*: S1 ('MetaSel ('Just "txInfoTxCerts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (List TxCert))) :*: (S1 ('MetaSel ('Just "txInfoWdrl") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Credential Lovelace)) :*: S1 ('MetaSel ('Just "txInfoValidRange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 POSIXTimeRange)))) :*: (((S1 ('MetaSel ('Just "txInfoSignatories") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (List PubKeyHash)) :*: S1 ('MetaSel ('Just "txInfoRedeemers") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map ScriptPurpose Redeemer))) :*: (S1 ('MetaSel ('Just "txInfoData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map DatumHash Datum)) :*: S1 ('MetaSel ('Just "txInfoId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxId))) :*: ((S1 ('MetaSel ('Just "txInfoVotes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Voter (Map GovernanceActionId Vote))) :*: S1 ('MetaSel ('Just "txInfoProposalProcedures") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (List ProposalProcedure))) :*: (S1 ('MetaSel ('Just "txInfoCurrentTreasuryAmount") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Lovelace)) :*: S1 ('MetaSel ('Just "txInfoTreasuryDonation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Lovelace)))))))

data ScriptContext Source #

The context that the currently-executing script can access.

Constructors

ScriptContext 

Fields

Instances

Instances details
Generic ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Associated Types

type Rep ScriptContextTypeType Source #

Show ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

FromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

ToData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

UnsafeFromData ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Lift DefaultUni ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Typeable DefaultUni ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

type Rep ScriptContext = D1 ('MetaData "ScriptContext" "PlutusLedgerApi.V3.Data.Contexts" "plutus-ledger-api-1.36.0.0-inplace" 'False) (C1 ('MetaCons "ScriptContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "scriptContextTxInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TxInfo) :*: (S1 ('MetaSel ('Just "scriptContextRedeemer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Redeemer) :*: S1 ('MetaSel ('Just "scriptContextScriptInfo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ScriptInfo))))

findOwnInputScriptContextMaybe TxInInfo Source #

Find the input currently being validated.

findDatumDatumHashTxInfoMaybe Datum Source #

Find the data corresponding to a data hash, if there is one

findDatumHashDatumTxInfoMaybe DatumHash Source #

Find the hash of a datum, if it is part of the pending transaction's hashes

findTxInByTxOutRefTxOutRefTxInfoMaybe TxInInfo Source #

Given a UTXO reference and a transaction (TxInfo), resolve it to one of the transaction's inputs (TxInInfo).

Note: this only searches the true transaction inputs and not the referenced transaction inputs.

findContinuingOutputsScriptContextList Integer Source #

Find the indices of all the outputs that pay to the same script address we are currently spending from, if any.

getContinuingOutputsScriptContextList TxOut Source #

Get all the outputs that pay to the same script address we are currently spending from, if any.

txSignedByTxInfoPubKeyHashBool Source #

Check if a transaction was signed by the given public key.

Validator functions

pubKeyOutputsAtPubKeyHashTxInfoList Value Source #

Get the values paid to a public key address by a pending transaction.

valuePaidToTxInfoPubKeyHashValue Source #

Get the total value paid to a public key address by a pending transaction.

valueSpentTxInfoValue Source #

Get the total value of inputs spent by this transaction.

valueProducedTxInfoValue Source #

Get the total value of outputs produced by this transaction.

ownCurrencySymbolScriptContextCurrencySymbol Source #

The CurrencySymbol of the current validator script.

spendsOutputTxInfoTxIdIntegerBool Source #

Check if the pending transaction spends a specific transaction output (identified by the hash of a transaction and an index into that transactions' outputs)