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

PlutusLedgerApi.V3

Description

The interface to Plutus V3 for the ledger.

Synopsis

Scripts

type SerialisedScript = ShortByteString Source #

Scripts to the ledger are serialised bytestrings.

data ScriptForEvaluation Source #

A Plutus script ready to be evaluated on-chain, via evaluateScriptRestricting.

Instances

Instances details
Generic ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

Associated Types

type Rep ScriptForEvaluationTypeType Source #

Show ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

NFData ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

Methods

rnfScriptForEvaluation → () Source #

Eq ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

NoThunks ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

Methods

noThunks ∷ Context → ScriptForEvaluationIO (Maybe ThunkInfo)

wNoThunks ∷ Context → ScriptForEvaluationIO (Maybe ThunkInfo)

showTypeOfProxy ScriptForEvaluationString

type Rep ScriptForEvaluation Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

type Rep ScriptForEvaluation = D1 ('MetaData "ScriptForEvaluation" "PlutusLedgerApi.Common.SerialisedScript" "plutus-ledger-api-1.30.0.0-inplace" 'False) (C1 ('MetaCons "UnsafeScriptForEvaluation" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SerialisedScript) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ScriptNamedDeBruijn)))

serialiseCompiledCode ∷ ∀ a. CompiledCode a → SerialisedScript Source #

Turns a program which was compiled using the 'PlutusTx' toolchain into a binary format that is understood by the network and can be stored on-chain.

serialiseUPLCProgram DeBruijn DefaultUni DefaultFun () → SerialisedScript Source #

Turns a program's AST (most likely manually constructed) into a binary format that is understood by the network and can be stored on-chain.

deserialiseScript Source #

Arguments

∷ ∀ m. MonadError ScriptDecodeError m 
MajorProtocolVersion

which major protocol version the script was submitted in.

SerialisedScript

the script to deserialise.

→ m ScriptForEvaluation 

The deserialization from a serialised script into a ScriptForEvaluation, ready to be evaluated on-chain. Called inside phase-1 validation (i.e., deserialisation error is a phase-1 error).

uncheckedDeserialiseUPLCSerialisedScriptProgram DeBruijn DefaultUni DefaultFun () Source #

Deserialises a SerialisedScript back into an AST. Does *not* do ledger-language-version-specific checks like for allowable builtins.

Running scripts

evaluateScriptRestricting Source #

Arguments

MajorProtocolVersion

Which protocol version to run the operation in

VerboseMode

Whether to produce log output

EvaluationContext

Includes the cost model to use for tallying up the execution costs

ExBudget

The resource budget which must not be exceeded during evaluation

ScriptForEvaluation

The script to evaluate

Data

The ScriptContext argument to the script

→ (LogOutput, Either EvaluationError ExBudget) 

Evaluates a script, with a cost model and a budget that restricts how many resources it can use according to the cost model. Also returns the budget that was actually used.

Can be used to calculate budgets for scripts, but even in this case you must give a limit to guard against scripts that run for a long time or loop.

evaluateScriptCounting Source #

Arguments

MajorProtocolVersion

Which protocol version to run the operation in

VerboseMode

Whether to produce log output

EvaluationContext

Includes the cost model to use for tallying up the execution costs

ScriptForEvaluation

The script to evaluate

Data

The ScriptContext argument to the script

→ (LogOutput, Either EvaluationError ExBudget) 

Evaluates a script, returning the minimum budget that the script would need to evaluate successfully. This will take as long as the script takes, if you need to limit the execution time of the script also, you can use evaluateScriptRestricting, which also returns the used budget.

CIP-1694

newtype ColdCommitteeCredential Source #

Instances

Instances details
Generic ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep ColdCommitteeCredentialTypeType Source #

Show ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Ord ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Lift DefaultUni ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Typeable DefaultUni ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep ColdCommitteeCredential = D1 ('MetaData "ColdCommitteeCredential" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.30.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.Contexts

Associated Types

type Rep HotCommitteeCredentialTypeType Source #

Show HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Ord HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Lift DefaultUni HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Typeable DefaultUni HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep HotCommitteeCredential = D1 ('MetaData "HotCommitteeCredential" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.30.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.Contexts

Associated Types

type Rep DRepCredentialTypeType Source #

Show DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Ord DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyDRepCredentialDoc ann #

prettyList ∷ [DRepCredential] → Doc ann #

Lift DefaultUni DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Typeable DefaultUni DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep DRepCredential = D1 ('MetaData "DRepCredential" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.30.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.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.Contexts

Methods

showsPrecIntDRepShowS Source #

showDRepString Source #

showList ∷ [DRep] → ShowS Source #

Eq DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==)DRepDRepBool Source #

(/=)DRepDRepBool Source #

Ord DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

compareDRepDRepOrdering Source #

(<)DRepDRepBool Source #

(<=)DRepDRepBool Source #

(>)DRepDRepBool Source #

(>=)DRepDRepBool Source #

maxDRepDRepDRep Source #

minDRepDRepDRep Source #

Eq DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==)DRepDRepBool Source #

FromData DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyDRepDoc ann #

prettyList ∷ [DRep] → Doc ann #

Lift DefaultUni DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Typeable DefaultUni DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep DRep = D1 ('MetaData "DRep" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.30.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.Contexts

Associated Types

type Rep DelegateeTypeType Source #

Show Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Ord Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==)DelegateeDelegateeBool Source #

FromData Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyDelegateeDoc ann #

prettyList ∷ [Delegatee] → Doc ann #

Lift DefaultUni Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Typeable DefaultUni Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.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.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.Contexts

Eq TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==)TxCertTxCertBool Source #

(/=)TxCertTxCertBool Source #

Ord TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==)TxCertTxCertBool Source #

FromData TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyTxCertDoc ann #

prettyList ∷ [TxCert] → Doc ann #

Lift DefaultUni TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Typeable DefaultUni TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep TxCert = D1 ('MetaData "TxCert" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.30.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.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.Contexts

Eq Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==)VoterVoterBool Source #

(/=)VoterVoterBool Source #

Ord Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

compareVoterVoterOrdering Source #

(<)VoterVoterBool Source #

(<=)VoterVoterBool Source #

(>)VoterVoterBool Source #

(>=)VoterVoterBool Source #

maxVoterVoterVoter Source #

minVoterVoterVoter Source #

Eq Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==)VoterVoterBool Source #

FromData Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyVoterDoc ann #

prettyList ∷ [Voter] → Doc ann #

Lift DefaultUni Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Typeable DefaultUni Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

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.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.Contexts

Methods

showsPrecIntVoteShowS Source #

showVoteString Source #

showList ∷ [Vote] → ShowS Source #

Eq Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==)VoteVoteBool Source #

(/=)VoteVoteBool Source #

Eq Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

(==)VoteVoteBool Source #

FromData Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyVoteDoc ann #

prettyList ∷ [Vote] → Doc ann #

Lift DefaultUni Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Typeable DefaultUni Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep Vote = D1 ('MetaData "Vote" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.30.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.Contexts

Associated Types

type Rep GovernanceActionIdTypeType Source #

Show GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Ord GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Lift DefaultUni GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Typeable DefaultUni GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep GovernanceActionId = D1 ('MetaData "GovernanceActionId" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.30.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.Contexts

Associated Types

type Rep CommitteeTypeType Source #

Show Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Ord Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyCommitteeDoc ann #

prettyList ∷ [Committee] → Doc ann #

Lift DefaultUni Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Typeable DefaultUni Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep Committee = D1 ('MetaData "Committee" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.30.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.Contexts

Associated Types

type Rep ConstitutionTypeType Source #

Show Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Ord Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyConstitutionDoc ann #

prettyList ∷ [Constitution] → Doc ann #

Lift DefaultUni Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Typeable DefaultUni Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep Constitution = D1 ('MetaData "Constitution" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.30.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.Contexts

Associated Types

type Rep ProtocolVersionTypeType Source #

Show ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Ord ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyProtocolVersionDoc ann #

prettyList ∷ [ProtocolVersion] → Doc ann #

Lift DefaultUni ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Typeable DefaultUni ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep ProtocolVersion = D1 ('MetaData "ProtocolVersion" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.30.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)))

data GovernanceAction Source #

Instances

Instances details
Generic GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep GovernanceActionTypeType Source #

Show GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Ord GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyGovernanceActionDoc ann #

prettyList ∷ [GovernanceAction] → Doc ann #

Lift DefaultUni GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Typeable DefaultUni GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep GovernanceAction = D1 ('MetaData "GovernanceAction" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.30.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 [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))))

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.Contexts

Associated Types

type Rep ChangedParametersTypeType Source #

Show ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Ord ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyChangedParametersDoc ann #

prettyList ∷ [ChangedParameters] → Doc ann #

Lift DefaultUni ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Typeable DefaultUni ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

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

data ProposalProcedure Source #

A proposal procedure. The optional anchor is omitted.

Instances

Instances details
Generic ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Associated Types

type Rep ProposalProcedureTypeType Source #

Show ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Eq ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Ord ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

FromData ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

ToData ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

UnsafeFromData ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyProposalProcedureDoc ann #

prettyList ∷ [ProposalProcedure] → Doc ann #

Lift DefaultUni ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Typeable DefaultUni ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

type Rep ProposalProcedure = D1 ('MetaData "ProposalProcedure" "PlutusLedgerApi.V3.Contexts" "plutus-ledger-api-1.30.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))))

Protocol version

newtype MajorProtocolVersion Source #

This represents the major component of the Cardano protocol version. The ledger can only supply the major component of the protocol version, not the minor component, and Plutus should only need to care about the major component anyway. This relies on careful understanding between us and the ledger as to what this means.

Instances

Instances details
Generic MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Associated Types

type Rep MajorProtocolVersionTypeType Source #

Show MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Eq MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Ord MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Pretty MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Serialise MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Methods

encodeMajorProtocolVersion → Encoding

decode ∷ Decoder s MajorProtocolVersion

encodeList ∷ [MajorProtocolVersion] → Encoding

decodeList ∷ Decoder s [MajorProtocolVersion]

type Rep MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

type Rep MajorProtocolVersion = D1 ('MetaData "MajorProtocolVersion" "PlutusLedgerApi.Common.ProtocolVersions" "plutus-ledger-api-1.30.0.0-inplace" 'True) (C1 ('MetaCons "MajorProtocolVersion" 'PrefixI 'True) (S1 ('MetaSel ('Just "getMajorProtocolVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Verbose mode and log output

data VerboseMode Source #

A simple toggle indicating whether or not we should accumulate logs during script execution.

Constructors

Verbose

accumulate all traces

Quiet

don't accumulate anything

Instances

Instances details
Eq VerboseMode Source # 
Instance details

Defined in PlutusLedgerApi.Common.Eval

type LogOutput = [Text] Source #

The type of the executed script's accumulated log output: a list of Text.

It will be an empty list if the VerboseMode is set to Quiet.

Costing-related types

data ExBudget Source #

Constructors

ExBudget 

Instances

Instances details
FromJSON ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

parseJSON ∷ Value → Parser ExBudget

parseJSONList ∷ Value → Parser [ExBudget]

omittedFieldMaybe ExBudget

ToJSON ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

toJSONExBudget → Value

toEncodingExBudget → Encoding

toJSONList ∷ [ExBudget] → Value

toEncodingList ∷ [ExBudget] → Encoding

omitFieldExBudgetBool

Monoid ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Semigroup ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Generic ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Associated Types

type Rep ExBudgetTypeType Source #

Show ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

NFData ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

rnfExBudget → () Source #

Eq ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

NoThunks ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

noThunks ∷ Context → ExBudgetIO (Maybe ThunkInfo)

wNoThunks ∷ Context → ExBudgetIO (Maybe ThunkInfo)

showTypeOfProxy ExBudgetString

Pretty ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

prettyExBudgetDoc ann #

prettyList ∷ [ExBudget] → Doc ann #

Serialise ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

encodeExBudget → Encoding

decode ∷ Decoder s ExBudget

encodeList ∷ [ExBudget] → Encoding

decodeList ∷ Decoder s [ExBudget]

PrettyBy config ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

prettyBy ∷ config → ExBudgetDoc ann Source #

prettyListBy ∷ config → [ExBudget] → Doc ann Source #

Lift ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

liftQuote m ⇒ ExBudget → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ ExBudgetCode m ExBudget Source #

type Rep ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

type Rep ExBudget = D1 ('MetaData "ExBudget" "PlutusCore.Evaluation.Machine.ExBudget" "plutus-core-1.30.0.0-inplace" 'False) (C1 ('MetaCons "ExBudget" 'PrefixI 'True) (S1 ('MetaSel ('Just "exBudgetCPU") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 ExCPU) :*: S1 ('MetaSel ('Just "exBudgetMemory") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 ExMemory)))

newtype ExCPU Source #

Counts CPU units in picoseconds: maximum value for SatInt is 2^63 ps, or appproximately 106 days.

Constructors

ExCPU CostingInteger 

Instances

Instances details
FromJSON ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

parseJSON ∷ Value → Parser ExCPU

parseJSONList ∷ Value → Parser [ExCPU]

omittedFieldMaybe ExCPU

ToJSON ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

toJSONExCPU → Value

toEncodingExCPU → Encoding

toJSONList ∷ [ExCPU] → Value

toEncodingList ∷ [ExCPU] → Encoding

omitFieldExCPUBool

Monoid ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Semigroup ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

(<>)ExCPUExCPUExCPU Source #

sconcatNonEmpty ExCPUExCPU Source #

stimesIntegral b ⇒ b → ExCPUExCPU Source #

Bounded ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Generic ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Associated Types

type Rep ExCPUTypeType Source #

Methods

fromExCPURep ExCPU x Source #

toRep ExCPU x → ExCPU Source #

Num ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Read ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Show ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

NFData ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

rnfExCPU → () Source #

Eq ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

(==)ExCPUExCPUBool Source #

(/=)ExCPUExCPUBool Source #

Ord ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

compareExCPUExCPUOrdering Source #

(<)ExCPUExCPUBool Source #

(<=)ExCPUExCPUBool Source #

(>)ExCPUExCPUBool Source #

(>=)ExCPUExCPUBool Source #

maxExCPUExCPUExCPU Source #

minExCPUExCPUExCPU Source #

NoThunks ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

noThunks ∷ Context → ExCPUIO (Maybe ThunkInfo)

wNoThunks ∷ Context → ExCPUIO (Maybe ThunkInfo)

showTypeOfProxy ExCPUString

Pretty ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyExCPUDoc ann #

prettyList ∷ [ExCPU] → Doc ann #

Serialise ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

encodeExCPU → Encoding

decode ∷ Decoder s ExCPU

encodeList ∷ [ExCPU] → Encoding

decodeList ∷ Decoder s [ExCPU]

PrettyBy config ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyBy ∷ config → ExCPUDoc ann Source #

prettyListBy ∷ config → [ExCPU] → Doc ann Source #

Lift ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

liftQuote m ⇒ ExCPU → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ ExCPUCode m ExCPU Source #

type Rep ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

type Rep ExCPU = D1 ('MetaData "ExCPU" "PlutusCore.Evaluation.Machine.ExMemory" "plutus-core-1.30.0.0-inplace" 'True) (C1 ('MetaCons "ExCPU" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

newtype ExMemory Source #

Counts size in machine words.

Constructors

ExMemory CostingInteger 

Instances

Instances details
FromJSON ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

parseJSON ∷ Value → Parser ExMemory

parseJSONList ∷ Value → Parser [ExMemory]

omittedFieldMaybe ExMemory

ToJSON ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

toJSONExMemory → Value

toEncodingExMemory → Encoding

toJSONList ∷ [ExMemory] → Value

toEncodingList ∷ [ExMemory] → Encoding

omitFieldExMemoryBool

Monoid ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Semigroup ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Bounded ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Generic ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Associated Types

type Rep ExMemoryTypeType Source #

Num ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Read ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Show ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

NFData ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

rnfExMemory → () Source #

Eq ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Ord ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

NoThunks ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

noThunks ∷ Context → ExMemoryIO (Maybe ThunkInfo)

wNoThunks ∷ Context → ExMemoryIO (Maybe ThunkInfo)

showTypeOfProxy ExMemoryString

Pretty ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyExMemoryDoc ann #

prettyList ∷ [ExMemory] → Doc ann #

Serialise ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

encodeExMemory → Encoding

decode ∷ Decoder s ExMemory

encodeList ∷ [ExMemory] → Encoding

decodeList ∷ Decoder s [ExMemory]

PrettyBy config ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyBy ∷ config → ExMemoryDoc ann Source #

prettyListBy ∷ config → [ExMemory] → Doc ann Source #

Lift ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

liftQuote m ⇒ ExMemory → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ ExMemoryCode m ExMemory Source #

type Rep ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

type Rep ExMemory = D1 ('MetaData "ExMemory" "PlutusCore.Evaluation.Machine.ExMemory" "plutus-core-1.30.0.0-inplace" 'True) (C1 ('MetaCons "ExMemory" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

data SatInt Source #

Instances

Instances details
FromJSON SatInt 
Instance details

Defined in Data.SatInt

Methods

parseJSON ∷ Value → Parser SatInt

parseJSONList ∷ Value → Parser [SatInt]

omittedFieldMaybe SatInt

ToJSON SatInt 
Instance details

Defined in Data.SatInt

Methods

toJSONSatInt → Value

toEncodingSatInt → Encoding

toJSONList ∷ [SatInt] → Value

toEncodingList ∷ [SatInt] → Encoding

omitFieldSatIntBool

Bits SatInt 
Instance details

Defined in Data.SatInt

FiniteBits SatInt 
Instance details

Defined in Data.SatInt

Bounded SatInt 
Instance details

Defined in Data.SatInt

Generic SatInt 
Instance details

Defined in Data.SatInt

Associated Types

type Rep SatIntTypeType Source #

Methods

fromSatIntRep SatInt x Source #

toRep SatInt x → SatInt Source #

Num SatInt

In the Num instance, we plug in our own addition, multiplication and subtraction function that perform overflow-checking.

Instance details

Defined in Data.SatInt

Read SatInt 
Instance details

Defined in Data.SatInt

Show SatInt 
Instance details

Defined in Data.SatInt

FromField SatInt 
Instance details

Defined in Data.SatInt

Methods

parseField ∷ Field → Parser SatInt

NFData SatInt 
Instance details

Defined in Data.SatInt

Methods

rnfSatInt → () Source #

Eq SatInt 
Instance details

Defined in Data.SatInt

Methods

(==)SatIntSatIntBool Source #

(/=)SatIntSatIntBool Source #

Ord SatInt 
Instance details

Defined in Data.SatInt

NoThunks SatInt 
Instance details

Defined in Data.SatInt

Methods

noThunks ∷ Context → SatIntIO (Maybe ThunkInfo)

wNoThunks ∷ Context → SatIntIO (Maybe ThunkInfo)

showTypeOfProxy SatIntString

Prim SatInt 
Instance details

Defined in Data.SatInt

Serialise SatInt 
Instance details

Defined in Data.SatInt

Methods

encodeSatInt → Encoding

decode ∷ Decoder s SatInt

encodeList ∷ [SatInt] → Encoding

decodeList ∷ Decoder s [SatInt]

Lift SatInt 
Instance details

Defined in Data.SatInt

Methods

liftQuote m ⇒ SatInt → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ SatIntCode m SatInt Source #

type Rep SatInt 
Instance details

Defined in Data.SatInt

type Rep SatInt = D1 ('MetaData "SatInt" "Data.SatInt" "plutus-core-1.30.0.0-inplace-satint" 'True) (C1 ('MetaCons "SI" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSatInt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

fromSatIntNum a ⇒ SatInt → a Source #

An optimized version of fromIntegral . unSatInt.

Cost model

data EvaluationContext Source #

An opaque type that contains all the static parameters that the evaluator needs to evaluate a script. This is so that they can be computed once and cached, rather than being recomputed on every evaluation.

Different protocol versions may require different bundles of machine parameters, which allows us for example to tweak the shape of the costing function of a builtin, so that the builtin costs less. Currently this means that we have to create multiple DefaultMachineParameters per language version, which we put into a cache (represented by an association list) in order to avoid costly recomputation of machine parameters.

In order to get the appropriate DefaultMachineParameters at validation time we look it up in the cache using a semantics variant as a key. We compute the semantics variant from the protocol version using the stored function. Note that the semantics variant depends on the language version too, but the latter is known statically (because each language version has its own evaluation context), hence there's no reason to require it to be provided at runtime.

To say it differently, there's a matrix of semantics variants indexed by (LL, PV) pairs and we cache its particular row corresponding to the statically given LL in an EvaluationContext.

The reason why we associate a DefaultMachineParameters with a semantics variant rather than a protocol version are

  1. generally there are far more protocol versions than semantics variants supported by a specific language version, so we save on pointless duplication of bundles of machine parameters
  2. builtins don't know anything about protocol versions, only semantics variants. It is therefore more semantically precise to associate bundles of machine parameters with semantics variants than with protocol versions

Instances

Instances details
Generic EvaluationContext Source # 
Instance details

Defined in PlutusLedgerApi.Common.Eval

Associated Types

type Rep EvaluationContextTypeType Source #

NFData EvaluationContext Source # 
Instance details

Defined in PlutusLedgerApi.Common.Eval

Methods

rnfEvaluationContext → () Source #

NoThunks EvaluationContext Source # 
Instance details

Defined in PlutusLedgerApi.Common.Eval

Methods

noThunks ∷ Context → EvaluationContextIO (Maybe ThunkInfo)

wNoThunks ∷ Context → EvaluationContextIO (Maybe ThunkInfo)

showTypeOfProxy EvaluationContextString

type Rep EvaluationContext Source # 
Instance details

Defined in PlutusLedgerApi.Common.Eval

type Rep EvaluationContext = D1 ('MetaData "EvaluationContext" "PlutusLedgerApi.Common.Eval" "plutus-ledger-api-1.30.0.0-inplace" 'False) (C1 ('MetaCons "EvaluationContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "_evalCtxLedgerLang") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 PlutusLedgerLanguage) :*: (S1 ('MetaSel ('Just "_evalCtxToSemVar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (MajorProtocolVersionBuiltinSemanticsVariant DefaultFun)) :*: S1 ('MetaSel ('Just "_evalCtxMachParsCache") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(BuiltinSemanticsVariant DefaultFun, DefaultMachineParameters)]))))

mkEvaluationContext Source #

Arguments

∷ (MonadError CostModelApplyError m, MonadWriter [CostModelApplyWarn] m) 
⇒ [Int64]

the (updated) cost model parameters of the protocol

→ m EvaluationContext 

Build the EvaluationContext.

The input is a list of cost model parameters (which are integer values) passed from the ledger.

IMPORTANT: the cost model parameters MUST appear in the correct order, matching the names in ParamName. If the parameters are supplied in the wrong order then script cost calculations will be incorrect.

IMPORTANT: The evaluation context of every Plutus version must be recreated upon a protocol update with the updated cost model parameters.

data ParamName Source #

The enumeration of all possible cost model parameter names for this language version.

IMPORTANT: The order of appearance of the data constructors here matters. DO NOT REORDER. See Note [Quotation marks in cost model parameter constructors] See Note [Cost model parameters from the ledger's point of view]

Constructors

AddInteger'cpu'arguments'intercept 
AddInteger'cpu'arguments'slope 
AddInteger'memory'arguments'intercept 
AddInteger'memory'arguments'slope 
AppendByteString'cpu'arguments'intercept 
AppendByteString'cpu'arguments'slope 
AppendByteString'memory'arguments'intercept 
AppendByteString'memory'arguments'slope 
AppendString'cpu'arguments'intercept 
AppendString'cpu'arguments'slope 
AppendString'memory'arguments'intercept 
AppendString'memory'arguments'slope 
BData'cpu'arguments 
BData'memory'arguments 
Blake2b_256'cpu'arguments'intercept 
Blake2b_256'cpu'arguments'slope 
Blake2b_256'memory'arguments 
CekApplyCost'exBudgetCPU 
CekApplyCost'exBudgetMemory 
CekBuiltinCost'exBudgetCPU 
CekBuiltinCost'exBudgetMemory 
CekConstCost'exBudgetCPU 
CekConstCost'exBudgetMemory 
CekDelayCost'exBudgetCPU 
CekDelayCost'exBudgetMemory 
CekForceCost'exBudgetCPU 
CekForceCost'exBudgetMemory 
CekLamCost'exBudgetCPU 
CekLamCost'exBudgetMemory 
CekStartupCost'exBudgetCPU 
CekStartupCost'exBudgetMemory 
CekVarCost'exBudgetCPU 
CekVarCost'exBudgetMemory 
ChooseData'cpu'arguments 
ChooseData'memory'arguments 
ChooseList'cpu'arguments 
ChooseList'memory'arguments 
ChooseUnit'cpu'arguments 
ChooseUnit'memory'arguments 
ConsByteString'cpu'arguments'intercept 
ConsByteString'cpu'arguments'slope 
ConsByteString'memory'arguments'intercept 
ConsByteString'memory'arguments'slope 
ConstrData'cpu'arguments 
ConstrData'memory'arguments 
DecodeUtf8'cpu'arguments'intercept 
DecodeUtf8'cpu'arguments'slope 
DecodeUtf8'memory'arguments'intercept 
DecodeUtf8'memory'arguments'slope 
DivideInteger'cpu'arguments'constant 
DivideInteger'cpu'arguments'model'arguments'c00 
DivideInteger'cpu'arguments'model'arguments'c01 
DivideInteger'cpu'arguments'model'arguments'c02 
DivideInteger'cpu'arguments'model'arguments'c10 
DivideInteger'cpu'arguments'model'arguments'c11 
DivideInteger'cpu'arguments'model'arguments'c20 
DivideInteger'cpu'arguments'model'arguments'minimum 
DivideInteger'memory'arguments'intercept 
DivideInteger'memory'arguments'minimum 
DivideInteger'memory'arguments'slope 
EncodeUtf8'cpu'arguments'intercept 
EncodeUtf8'cpu'arguments'slope 
EncodeUtf8'memory'arguments'intercept 
EncodeUtf8'memory'arguments'slope 
EqualsByteString'cpu'arguments'constant 
EqualsByteString'cpu'arguments'intercept 
EqualsByteString'cpu'arguments'slope 
EqualsByteString'memory'arguments 
EqualsData'cpu'arguments'intercept 
EqualsData'cpu'arguments'slope 
EqualsData'memory'arguments 
EqualsInteger'cpu'arguments'intercept 
EqualsInteger'cpu'arguments'slope 
EqualsInteger'memory'arguments 
EqualsString'cpu'arguments'constant 
EqualsString'cpu'arguments'intercept 
EqualsString'cpu'arguments'slope 
EqualsString'memory'arguments 
FstPair'cpu'arguments 
FstPair'memory'arguments 
HeadList'cpu'arguments 
HeadList'memory'arguments 
IData'cpu'arguments 
IData'memory'arguments 
IfThenElse'cpu'arguments 
IfThenElse'memory'arguments 
IndexByteString'cpu'arguments 
IndexByteString'memory'arguments 
LengthOfByteString'cpu'arguments 
LengthOfByteString'memory'arguments 
LessThanByteString'cpu'arguments'intercept 
LessThanByteString'cpu'arguments'slope 
LessThanByteString'memory'arguments 
LessThanEqualsByteString'cpu'arguments'intercept 
LessThanEqualsByteString'cpu'arguments'slope 
LessThanEqualsByteString'memory'arguments 
LessThanEqualsInteger'cpu'arguments'intercept 
LessThanEqualsInteger'cpu'arguments'slope 
LessThanEqualsInteger'memory'arguments 
LessThanInteger'cpu'arguments'intercept 
LessThanInteger'cpu'arguments'slope 
LessThanInteger'memory'arguments 
ListData'cpu'arguments 
ListData'memory'arguments 
MapData'cpu'arguments 
MapData'memory'arguments 
MkCons'cpu'arguments 
MkCons'memory'arguments 
MkNilData'cpu'arguments 
MkNilData'memory'arguments 
MkNilPairData'cpu'arguments 
MkNilPairData'memory'arguments 
MkPairData'cpu'arguments 
MkPairData'memory'arguments 
ModInteger'cpu'arguments'constant 
ModInteger'cpu'arguments'model'arguments'c00 
ModInteger'cpu'arguments'model'arguments'c01 
ModInteger'cpu'arguments'model'arguments'c02 
ModInteger'cpu'arguments'model'arguments'c10 
ModInteger'cpu'arguments'model'arguments'c11 
ModInteger'cpu'arguments'model'arguments'c20 
ModInteger'cpu'arguments'model'arguments'minimum 
ModInteger'memory'arguments'intercept 
ModInteger'memory'arguments'slope 
MultiplyInteger'cpu'arguments'intercept 
MultiplyInteger'cpu'arguments'slope 
MultiplyInteger'memory'arguments'intercept 
MultiplyInteger'memory'arguments'slope 
NullList'cpu'arguments 
NullList'memory'arguments 
QuotientInteger'cpu'arguments'constant 
QuotientInteger'cpu'arguments'model'arguments'c00 
QuotientInteger'cpu'arguments'model'arguments'c01 
QuotientInteger'cpu'arguments'model'arguments'c02 
QuotientInteger'cpu'arguments'model'arguments'c10 
QuotientInteger'cpu'arguments'model'arguments'c11 
QuotientInteger'cpu'arguments'model'arguments'c20 
QuotientInteger'cpu'arguments'model'arguments'minimum 
QuotientInteger'memory'arguments'intercept 
QuotientInteger'memory'arguments'minimum 
QuotientInteger'memory'arguments'slope 
RemainderInteger'cpu'arguments'constant 
RemainderInteger'cpu'arguments'model'arguments'c00 
RemainderInteger'cpu'arguments'model'arguments'c01 
RemainderInteger'cpu'arguments'model'arguments'c02 
RemainderInteger'cpu'arguments'model'arguments'c10 
RemainderInteger'cpu'arguments'model'arguments'c11 
RemainderInteger'cpu'arguments'model'arguments'c20 
RemainderInteger'cpu'arguments'model'arguments'minimum 
RemainderInteger'memory'arguments'intercept 
RemainderInteger'memory'arguments'slope 
SerialiseData'cpu'arguments'intercept 
SerialiseData'cpu'arguments'slope 
SerialiseData'memory'arguments'intercept 
SerialiseData'memory'arguments'slope 
Sha2_256'cpu'arguments'intercept 
Sha2_256'cpu'arguments'slope 
Sha2_256'memory'arguments 
Sha3_256'cpu'arguments'intercept 
Sha3_256'cpu'arguments'slope 
Sha3_256'memory'arguments 
SliceByteString'cpu'arguments'intercept 
SliceByteString'cpu'arguments'slope 
SliceByteString'memory'arguments'intercept 
SliceByteString'memory'arguments'slope 
SndPair'cpu'arguments 
SndPair'memory'arguments 
SubtractInteger'cpu'arguments'intercept 
SubtractInteger'cpu'arguments'slope 
SubtractInteger'memory'arguments'intercept 
SubtractInteger'memory'arguments'slope 
TailList'cpu'arguments 
TailList'memory'arguments 
Trace'cpu'arguments 
Trace'memory'arguments 
UnBData'cpu'arguments 
UnBData'memory'arguments 
UnConstrData'cpu'arguments 
UnConstrData'memory'arguments 
UnIData'cpu'arguments 
UnIData'memory'arguments 
UnListData'cpu'arguments 
UnListData'memory'arguments 
UnMapData'cpu'arguments 
UnMapData'memory'arguments 
VerifyEcdsaSecp256k1Signature'cpu'arguments 
VerifyEcdsaSecp256k1Signature'memory'arguments 
VerifyEd25519Signature'cpu'arguments'intercept 
VerifyEd25519Signature'cpu'arguments'slope 
VerifyEd25519Signature'memory'arguments 
VerifySchnorrSecp256k1Signature'cpu'arguments'intercept 
VerifySchnorrSecp256k1Signature'cpu'arguments'slope 
VerifySchnorrSecp256k1Signature'memory'arguments 
CekConstrCost'exBudgetCPU 
CekConstrCost'exBudgetMemory 
CekCaseCost'exBudgetCPU 
CekCaseCost'exBudgetMemory 
Bls12_381_G1_add'cpu'arguments 
Bls12_381_G1_add'memory'arguments 
Bls12_381_G1_compress'cpu'arguments 
Bls12_381_G1_compress'memory'arguments 
Bls12_381_G1_equal'cpu'arguments 
Bls12_381_G1_equal'memory'arguments 
Bls12_381_G1_hashToGroup'cpu'arguments'intercept 
Bls12_381_G1_hashToGroup'cpu'arguments'slope 
Bls12_381_G1_hashToGroup'memory'arguments 
Bls12_381_G1_neg'cpu'arguments 
Bls12_381_G1_neg'memory'arguments 
Bls12_381_G1_scalarMul'cpu'arguments'intercept 
Bls12_381_G1_scalarMul'cpu'arguments'slope 
Bls12_381_G1_scalarMul'memory'arguments 
Bls12_381_G1_uncompress'cpu'arguments 
Bls12_381_G1_uncompress'memory'arguments 
Bls12_381_G2_add'cpu'arguments 
Bls12_381_G2_add'memory'arguments 
Bls12_381_G2_compress'cpu'arguments 
Bls12_381_G2_compress'memory'arguments 
Bls12_381_G2_equal'cpu'arguments 
Bls12_381_G2_equal'memory'arguments 
Bls12_381_G2_hashToGroup'cpu'arguments'intercept 
Bls12_381_G2_hashToGroup'cpu'arguments'slope 
Bls12_381_G2_hashToGroup'memory'arguments 
Bls12_381_G2_neg'cpu'arguments 
Bls12_381_G2_neg'memory'arguments 
Bls12_381_G2_scalarMul'cpu'arguments'intercept 
Bls12_381_G2_scalarMul'cpu'arguments'slope 
Bls12_381_G2_scalarMul'memory'arguments 
Bls12_381_G2_uncompress'cpu'arguments 
Bls12_381_G2_uncompress'memory'arguments 
Bls12_381_finalVerify'cpu'arguments 
Bls12_381_finalVerify'memory'arguments 
Bls12_381_millerLoop'cpu'arguments 
Bls12_381_millerLoop'memory'arguments 
Bls12_381_mulMlResult'cpu'arguments 
Bls12_381_mulMlResult'memory'arguments 
Keccak_256'cpu'arguments'intercept 
Keccak_256'cpu'arguments'slope 
Keccak_256'memory'arguments 
Blake2b_224'cpu'arguments'intercept 
Blake2b_224'cpu'arguments'slope 
Blake2b_224'memory'arguments 
IntegerToByteString'cpu'arguments'c0 
IntegerToByteString'cpu'arguments'c1 
IntegerToByteString'cpu'arguments'c2 
IntegerToByteString'memory'arguments'intercept 
IntegerToByteString'memory'arguments'slope 
ByteStringToInteger'cpu'arguments'c0 
ByteStringToInteger'cpu'arguments'c1 
ByteStringToInteger'cpu'arguments'c2 
ByteStringToInteger'memory'arguments'intercept 
ByteStringToInteger'memory'arguments'slope 

Instances

Instances details
Bounded ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V3.ParamName

Enum ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V3.ParamName

Generic ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V3.ParamName

Associated Types

type Rep ParamNameTypeType Source #

Ix ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V3.ParamName

Eq ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V3.ParamName

Ord ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V3.ParamName

IsParamName ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V3.ParamName

type Rep ParamName Source # 
Instance details

Defined in PlutusLedgerApi.V3.ParamName

type Rep ParamName = D1 ('MetaData "ParamName" "PlutusLedgerApi.V3.ParamName" "plutus-ledger-api-1.30.0.0-inplace" 'False) (((((((C1 ('MetaCons "AddInteger'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "AddInteger'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "AddInteger'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "AddInteger'memory'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "AppendByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "AppendByteString'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "AppendByteString'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType)))) :+: (((C1 ('MetaCons "AppendByteString'memory'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "AppendString'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "AppendString'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "AppendString'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "AppendString'memory'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "BData'cpu'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "BData'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Blake2b_256'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType))))) :+: ((((C1 ('MetaCons "Blake2b_256'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "Blake2b_256'memory'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "CekApplyCost'exBudgetCPU" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "CekApplyCost'exBudgetMemory" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "CekBuiltinCost'exBudgetCPU" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "CekBuiltinCost'exBudgetMemory" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "CekConstCost'exBudgetCPU" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "CekConstCost'exBudgetMemory" 'PrefixI 'False) (U1TypeType)))) :+: (((C1 ('MetaCons "CekDelayCost'exBudgetCPU" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "CekDelayCost'exBudgetMemory" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "CekForceCost'exBudgetCPU" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "CekForceCost'exBudgetMemory" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "CekLamCost'exBudgetCPU" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "CekLamCost'exBudgetMemory" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "CekStartupCost'exBudgetCPU" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "CekStartupCost'exBudgetMemory" 'PrefixI 'False) (U1TypeType)))))) :+: ((((C1 ('MetaCons "CekVarCost'exBudgetCPU" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "CekVarCost'exBudgetMemory" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ChooseData'cpu'arguments" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "ChooseData'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ChooseList'cpu'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "ChooseList'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ChooseUnit'cpu'arguments" 'PrefixI 'False) (U1TypeType)))) :+: (((C1 ('MetaCons "ChooseUnit'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ConsByteString'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "ConsByteString'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ConsByteString'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "ConsByteString'memory'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "ConstrData'cpu'arguments" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "ConstrData'memory'arguments" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "DecodeUtf8'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType))))) :+: ((((C1 ('MetaCons "DecodeUtf8'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "DecodeUtf8'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "DecodeUtf8'memory'arguments'slope" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "DivideInteger'cpu'arguments'constant" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'c00" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'c01" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'c02" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'c10" 'PrefixI 'False) (U1TypeType)))) :+: (((C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'c11" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'c20" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "DivideInteger'cpu'arguments'model'arguments'minimum" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "DivideInteger'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType))) :+: ((C1 ('MetaCons "DivideInteger'memory'arguments'minimum" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "DivideInteger'memory'arguments'slope" 'PrefixI 'False) (U1TypeType)) :+: (C1 ('MetaCons "EncodeUtf8'cpu'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: C1 ('MetaCons "EncodeUtf8'cpu'arguments'slope" 'PrefixI 'False) (U1TypeType))))))) :+: (((((C1 ('MetaCons "EncodeUtf8'memory'arguments'intercept" 'PrefixI 'False) (U1TypeType) :+: (C1 ('MetaCons "EncodeUtf8'memory'arguments'slope" 'PrefixI 'False) (U1Type