docs
docs
API
scalus
builtin
BLS12_381_G1_Element
BLS12_381_G1_Element
BLS12_381_G2_Element
BLS12_381_G2_Element
BLS12_381_MlResult
BitwiseLogicalOperations
Builtins
Builtins
ByteOrder
ByteString
ByteString
StringInterpolators
ByteStringApi
given_Decoder_ByteString
given_Encoder_ByteString
ByteStringToInteger
ByteOrder
Data
Data
B
Constr
I
List
Map
DataApi
dataCborDecoder
dataCborEncoder
FromData
FromData
FromDataInstances
FromDataMacros
IntegerToByteString
JVMPlatformSpecific
JVMPlatformSpecific
List
List
Pair
PlatformSpecific
PlatformSpecific
ToData
ToData
ToDataInstances
ToDataMacros
given_Ordering_ByteString
uplcIntrinsic
cardano
address
Address
Byron
Shelley
Stake
Address
ByronAddress
Network
Other
Network
Pointer
Pointer
ShelleyAddress
ShelleyDelegationPart
Key
Script
Pointer
ShelleyDelegationPart
ShelleyPaymentPart
Key
Script
ShelleyPaymentPart
StakeAddress
StakePayload
Stake
Script
StakePayload
VarUInt
ledger
AddrKeyHash
AddressBytes
Anchor
AssetName
AssetName
AuxiliaryData
Metadata
MetadataWithScripts
AlonzoFormat
AuxiliaryData
given_Decoder_AuxiliaryData
given_Encoder_AuxiliaryData
AuxiliaryDataHash
Bech32
Bech32Decoded
Blake2b_224
Blake2b_224
Blake2b_256
Blake2b_256
Block
BlockFile
BlockHeader
BlockHeaderBody
BootstrapWitness
Certificate
StakeRegistration
StakeDeregistration
StakeDelegation
PoolRegistration
PoolRetirement
RegCert
UnregCert
VoteDelegCert
StakeVoteDelegCert
StakeRegDelegCert
VoteRegDelegCert
StakeVoteRegDelegCert
AuthCommitteeHotCert
ResignCommitteeColdCert
RegDRepCert
UnregDRepCert
UpdateDRepCert
Certificate
given_Decoder_Certificate
given_Encoder_Certificate
Coin
Coin
Constitution
CostModels
Credential
KeyHash
ScriptHash
DRep
KeyHash
ScriptHash
DRepVotingThresholds
DRepVotingThresholds
DatumOption
Hash
Inline
ExUnitPrices
ExUnits
GovAction
ParameterChange
HardForkInitiation
TreasuryWithdrawals
NoConfidence
UpdateCommittee
NewConstitution
GovAction
GovActionId
Hash
Hash28
Hash28
Hash32
Hash32
HashPurpose
DatumHash
KeyHash
ScriptHash
TransactionHash
HashSize
HashSize
KeepRaw
KeepRaw
Language
Language
NonNegativeInterval
NonNegativeInterval
OperationalCert
OriginalCborByteArray
PoolMetadata
PoolVotingThresholds
PoolVotingThresholds
ProposalProcedure
ProtocolParamUpdate
ProtocolParamUpdate
ProtocolVersion
Redeemer
RedeemerTag
RedeemerTag
given_Decoder_RedeemerTag
given_Encoder_RedeemerTag
Redeemers
Redeemers
Array
Map
given_Decoder_Redeemers
given_Encoder_Redeemers
Relay
SingleHostAddr
SingleHostName
MultiHostName
Relay
RewardAccount
Script
Native
PlutusV1
PlutusV2
PlutusV3
ScriptDataHash
ScriptHash
ScriptHash
ScriptRef
ScriptRef
given_Decoder_ScriptRef
given_Encoder_ScriptRef
Slot
Transaction
TransactionBody
TransactionBody
given_Decoder_TransactionBody
given_Encoder_TransactionBody
TransactionInput
TransactionMetadatum
TransactionMetadatum
Bytes
Int
List
Map
Text
given_Decoder_TransactionMetadatum
given_Encoder_TransactionMetadatum
TransactionMetadatumLabel
TransactionOutput
Shelley
Babbage
TransactionOutput
given_Decoder_TransactionOutput
given_Encoder_TransactionOutput
TransactionWitnessSet
TransactionWitnessSet
given_Decoder_TransactionWitnessSet
given_Encoder_TransactionWitnessSet
UnitInterval
UnitInterval
VKeyWitness
VKeyWitness
given_Decoder_VKeyWitness
given_Encoder_VKeyWitness
Value
Ada
MultiAsset
Value
given_Decoder_Value
given_Encoder_Value
Vote
Vote
Voter
ConstitutionalCommitteeHotKey
ConstitutionalCommitteeHotScript
DRepKey
DRepScript
StakingPoolKey
VotingProcedure
VotingProcedures
VrfCert
Withdrawals
Withdrawals
flat
ArrayByteFlat
DecoderState
EncoderState
Flat
FlatInstantces
AnnotationsDeclFlat
BindingFlat
ConstrDeclFlat
DataDeclFlat
ModuleHashSetReprFlat
ModuleSerializedRef
SIRCaseHashConsedFlat
SIRConstHashConsedFlat
SIRDeclHashConsedFlat
SIRHashConsedFlat
SIRLetHashConsedFlat
SIRPositionFlat
SIRTypeCaseClassFlat
SIRTypeHashConsedFlat
SIRTypeHashConsedRef
SIRTypeHashConsedRef
SIRTypeNonCaseModuleFlat
SIRTypeSumCaseClassFlat
SIRTypeTypeProxyFlat
SIRVarHashConsedFlat
TypeBindingFlat
given_Flat_Data
given_Flat_Option
given_Flat_Recursivity
given_Flat_SIRVarStorage
given_HashConsedFlat_Module
given_HashConsedFlat_TypeVar
Natural
given_Flat_BigInt
given_Flat_Boolean
given_Flat_Int
given_Flat_Long
given_Flat_Natural
given_Flat_String
given_Flat_Unit
ledger
api
v1
Address
Address
Credential
PubKeyCredential
ScriptCredential
Credential
DCert
DelegRegKey
DelegDeRegKey
DelegDelegate
PoolRegister
PoolRetire
DCert
FromDataInstances
Interval
Interval
IntervalBound
IntervalBound
IntervalBoundType
Finite
IntervalBoundType
PubKeyHash
PubKeyHash
ScriptContext
ScriptContext
ScriptPurpose
Minting
Spending
Rewarding
Certifying
ScriptPurpose
StakingCredential
StakingHash
StakingPtr
StakingCredential
ToDataInstances
TxId
TxId
TxInInfo
TxInInfo
TxInfo
TxInfo
TxOut
TxOut
TxOutRef
TxOutRef
Value
v2
FromDataInstances
OutputDatum
OutputDatumHash
OutputDatum
OutputDatum
ScriptContext
ScriptContext
ToDataInstances
TxInInfo
TxInInfo
TxInfo
TxInfo
TxOut
TxOut
v3
Committee
Committee
DRep
DRep
DRep
Delegatee
Stake
Vote
StakeVote
Delegatee
FromDataInstances
GovernanceAction
ParameterChange
HardForkInitiation
TreasuryWithdrawals
NoConfidence
UpdateCommittee
NewConstitution
GovernanceAction
GovernanceActionId
GovernanceActionId
MintingScriptInfo
ProposalProcedure
ProposalProcedure
ProtocolVersion
ProtocolVersion
RewardingScriptInfo
ScriptContext
ScriptContext
ScriptInfo
MintingScript
SpendingScript
RewardingScript
CertifyingScript
VotingScript
ProposingScript
ScriptInfo
ScriptPurpose
Minting
Spending
Rewarding
Certifying
Voting
Proposing
ScriptPurpose
SpendingScriptContext
SpendingScriptContext
SpendingScriptInfo
SpendingScriptInfo
ToDataInstances
TxCert
RegStaking
UnRegStaking
DelegStaking
RegDeleg
RegDRep
UpdateDRep
UnRegDRep
PoolRegister
PoolRetire
AuthHotCommittee
ResignColdCommittee
TxCert
TxId
TxId
TxInInfo
TxInInfo
TxInfo
TxInfo
TxOutRef
TxOutRef
Vote
Vote
Voter
CommitteeVoter
DRepVoter
StakePoolVoter
Voter
BuiltinSemanticsVariant
BuiltinSemanticsVariant
KeyHash
MajorProtocolVersion
MajorProtocolVersion
PlutusLedgerLanguage
ProtocolVersion
ProtocolVersion
Timelock
Signature
AllOf
AnyOf
MOf
TimeStart
TimeExpire
Timelock
ValidityInterval
babbage
DRepVotingThresholds
ExecutionUnitPrices
MaxBlockExecutionUnits
MaxTxExecutionUnits
PlutusV1Params
PlutusV1Params
PlutusV2Params
PlutusV2Params
PlutusV3Params
PlutusV3Params
PoolVotingThresholds
ProtocolParams
ProtocolParams
macros
Macros
prelude
AssocMap
AssocMap
DataParameterizedValidator
EqCompanion
List
Cons
List
Maybe
Just
Maybe
Option
Some
Option
OrdCompanion
Order
ParameterizedValidator
Prelude
Rational
Rational
These
This
That
These
Validator
sir
AnnotationsDecl
AnnotationsDecl
Asdf
Binding
BooleanOptimizer
ConstrDecl
DataDecl
Module
PrettyPrinter
Style
Program
Recursivity
RemoveRecursivity
SIR
SIR
And
Apply
Builtin
Case
Const
Constr
Decl
Error
ExternalVar
IfThenElse
LamAbs
Let
Match
Not
Or
Pattern
Constr
Select
Var
SIRBuiltins
SIRChecker
CheckException
SIRHashCodeInRec
SIRHashCodeInRec
given_SIRHashCodeInRec_CaseClass
given_SIRHashCodeInRec_ConstrDecl
given_SIRHashCodeInRec_DataDecl
given_SIRHashCodeInRec_Fun
given_SIRHashCodeInRec_SIRType
given_SIRHashCodeInRec_SumCaseClass
given_SIRHashCodeInRec_TypeBinding
given_SIRHashCodeInRec_TypeLambda
given_SIRHashCodeInRec_TypeProxy
SIRPosition
SIRPosition
SIRToExpr
SIRType
SIRType
BLS12_381_G1_Element
BLS12_381_G2_Element
BLS12_381_MlResult
Boolean
ByteString
CaclulateApplyTypeException
CaseClass
Data
FreeUnificator
Fun
Integer
List
Cons
Pair
Primitive
String
SumCaseClass
TypeApplyException
TypeLambda
TypeLambda
TypeLambda2
TypeNonCaseModule
TypeNothing
TypeProxy
TypeProxy
TypeVar
Unit
SIRTypeToExpr
SIRUnify
Env
Env
TypeVarSyntaxUnify
UnificationFailure
UnificationResult
UnificationResult
UnificationSuccess
Unify
given_Unify_String
Unify
given_Unify_Binding
given_Unify_Case
given_Unify_ConstrDecl
given_Unify_DataDecl
given_Unify_Decl
given_Unify_SIR
given_Unify_SIRType
given_Unify_TypeBinding
SIRVarStorage
SIRVarStorage
Data
LocalUPLC
SimpleSirToUplcLowering
SimpleSirToUplcV3Lowering
SirDSL
given_Conversion_Constant_SIR
given_Conversion_DefaultFun_SIR
SirToUplc110Lowering
ToExprHS
ToExprHSSIRFlat
ToExprHSSIRTypeFlat
TypeBinding
uplc
eval
BudgetSpender
BuiltinCostModel
BuiltinCostModel
BuiltinError
BuiltinException
BuiltinTermArgumentExpectedMachineError
Cek
CekMachine
CekMachineCosts
CekMachineCosts
CekResult
CekValue
VCon
VDelay
VLamAbs
VBuiltin
VConstr
ConstantOrLinear
ConstantOrOneArgument
ConstantOrTwoArguments
CostModel
CostingFun
CountingBudgetSpender
DefaultCostingFun
DeserializationError
EvaluationFailure
ExBudget
ExBudget
given_Group_ExBudget
given_Ordering_ExBudget
ExBudgetCategory
Step
BuiltinApp
ExCPU
ExMemory
FiveArguments
FiveArguments
ConstantCost
FourArguments
FourArguments
ConstantCost
IntegerToByteStringCostingFun
InvalidReturnValue
KnownTypeUnliftingError
Log
Logger
MachineError
MachineParams
MachineParams
MemoryUsage
MemoryUsage
MissingCaseBranch
NoBudgetSpender
NoLogger
NonConstrScrutinized
NonFunctionalApplicationMachineError
NonPolymorphicInstantiationMachineError
OneArgument
OneArgument
ConstantCost
LinearInX
OneVariableLinearFunction
OneVariableQuadraticFunction
OpenTermEvaluatedMachineError
OutOfExBudgetError
PlutusVM
PlutusVM
PlutusVMBase
ReplicateByteCostingFun
RestrictingBudgetSpender
Result
Success
Failure
ShiftOrRotateByteStringCostingFun
SixArguments
SixArguments
ConstantCost
StackTraceMachineError
StepKind
SubtractedSizesLinearFunction
TallyingBudgetSpender
TallyingBudgetSpenderLogger
ThreeArguments
ThreeArguments
ConstantCost
LinearInMaxYZ
LinearInX
LinearInY
LinearInYAndZ
LinearInZ
LiteralInYOrLinearInZ
QuadraticInZ
TwoArguments
TwoArguments
AddedSizes
ConstAboveDiagonal
ConstBelowDiagonal
ConstOffDiagonal
ConstantCost
LinearInX
LinearInXAndY
LinearInY
LinearOnDiagonal
MaxSize
MinSize
MultipliedSizes
QuadraticInXAndY
QuadraticInY
SubtractedSizes
TwoVariableLinearFunction
TwoVariableQuadraticFunction
UnexpectedBuiltinTermArgumentMachineError
UnknownBuiltin
VM
WriteBitsCostingFun
transform
CaseConstrApply
EtaReduce
ForcedBuiltinsExtractor
Inliner
BuiltinRuntime
BuiltinsMeaning
CommonFlatInstances
given_Flat_ByteString
given_Flat_DefaultFun
Constant
Constant
BLS12_381_G1_Element
BLS12_381_G2_Element
BLS12_381_MlResult
Bool
ByteString
Data
Integer
LiftValue
List
Pair
String
Unit
given_LiftValue_BigInt
given_LiftValue_Boolean
given_LiftValue_ByteString
given_LiftValue_Int
given_LiftValue_Long
given_LiftValue_String
given_LiftValue_Unit
DeBruijn
DeBruijnedProgram
DeBruijnedProgram
DefaultFun
DefaultFunOrdering
DefaultUni
DefaultUni
Apply
BLS12_381_G1_Element
BLS12_381_G2_Element
BLS12_381_MlResult
Bool
ByteString
Data
Integer
Lift
LiftedUni
ProtoList
ProtoPair
String
Unit
given_Lift_Data
given_Lift_Int
given_Lift_Long
Delayed
Expr
ExprBuilder
Unlift
given_Unlift_BigInt
given_Unlift_ByteString
FlatInstantces
given_Flat_Data
given_Flat_DeBruijnedProgram
given_Flat_Term
Meaning
NamedDeBruijn
Program
Program
ProgramFlatCodec
Term
Var
LamAbs
Apply
Force
Delay
Const
Builtin
Constr
Case
Term
TermDSL
given_Conversion_Constant_Term
given_Conversion_DefaultFun_Term
TypeScheme
Type
App
Arrow
All
TVar
UplcCli
UplcEvalResult
Success
UplcFailure
TermParsingError
UplcParser
UplcParser
utils
HashConsed
CachedTaggedRef
ConstRef
ConstRef
ForwardRef
ForwardRef
ForwardRefAcceptor
ForwardValueAcceptor
MutRef
MutRef
State
State
HashConsedDecoderState
HashConsedEncoderState
HashConsedEncoderState
HashConsedFlat
HashConsedFlat
HashConsedMutRefReprFlat
HashConsedRef
HashConsedRef
HashConsedReprFlat
HashConsedReprFlat
ListRepl
StringMapRep
Hex
PlainIntFlat
PlutusTextEnvelope
Utils
Compile
CompileDerivations
Compiler
Ignore
docs
/
scalus
/
scalus.uplc
/
scalus.uplc.eval
/
RestrictingBudgetSpender
RestrictingBudgetSpender
scalus.uplc.eval.RestrictingBudgetSpender
final
class
RestrictingBudgetSpender
(
val
maxBudget
:
ExBudget
)
extends
BudgetSpender
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
BudgetSpender
class
Object
trait
Matchable
class
Any
Members list
Clear all
Value members
Concrete methods
def
getSpentBudget
:
ExBudget
def
reset
(
):
Unit
def
spendBudget
(
cat
:
ExBudgetCategory
,
budget
:
ExBudget
,
env
:
CekValEnv
):
Unit
Concrete fields
val
maxBudget
:
ExBudget
In this article
Attributes
Members list
Value members
Concrete methods
Concrete fields