docs
docs
API
scalus
builtin
BLS12_381_G1_Element
BLS12_381_G1_Element
BLS12_381_G2_Element
BLS12_381_G2_Element
BLS12_381_MlResult
Builtins
ByteOrder
ByteString
ByteString
StringInterpolators
ByteStringToInteger
ByteOrder
Data
Data
B
Constr
I
List
Map
DataApi
FromData
FromDataInstances
IntegerToByteString
JVMPlatformSpecific
JVMPlatformSpecific
List
List
Pair
PlatformSpecific
ToData
ToDataInstances
dataCborDecoder
dataCborEncoder
given_Ordering_ByteString
examples
Groth16
Proof
SnarkVerificationKey
MintingContext
MintingPolicy
MintingPolicyV2
OptimizedPreimage
OptimizedPreimageValidator
PreimageValidator
PubKeyValidator
TxInInfoTxOutRefOnly
flat
ArrayByteFlat
DecoderState
EncoderState
Flat
FlatInstantces
given_Flat_Binding
given_Flat_Case
given_Flat_ConstrDecl
given_Flat_Data
given_Flat_DataDecl
given_Flat_Module
given_Flat_Recursivity
given_Flat_SIR
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
ScriptPurpose
Minting
Spending
Rewarding
Certifying
ScriptPurpose
StakingCredential
StakingHash
StakingPtr
StakingCredential
ToDataInstances
TxId
TxId
TxInInfo
TxInfo
TxOut
TxOutRef
TxOutRef
Value
v2
FromDataInstances
OutputDatum
OutputDatumHash
OutputDatum
OutputDatum
ScriptContext
ToDataInstances
TxInInfo
TxInfo
TxOut
v3
Committee
DRep
DRep
Delegatee
Stake
Vote
StakeVote
FromDataInstances
GovernanceAction
ParameterChange
HardForkInitiation
TreasuryWithdrawals
NoConfidence
UpdateCommittee
NewConstitution
GovernanceActionId
MintingScriptInfo
ProposalProcedure
ProtocolVersion
RewardingScriptInfo
ScriptContext
ScriptInfo
MintingScript
SpendingScript
RewardingScript
CertifyingScript
VotingScript
ProposingScript
ScriptPurpose
Minting
Spending
Rewarding
Certifying
Voting
Proposing
SpendingScriptContext
SpendingScriptInfo
ToDataInstances
TxCert
RegStaking
UnRegStaking
DelegStaking
RegDeleg
RegDRep
UpdateDRep
UnRegDRep
PoolRegister
PoolRetire
AuthHotCommittee
ResignColdCommittee
TxId
TxInInfo
TxInfo
TxOutRef
Vote
Voter
CommitteeVoter
DRepVoter
StakePoolVoter
BuiltinSemanticsVariant
BuiltinSemanticsVariant
PlutusLedgerLanguage
ProtocolVersion
ProtocolVersion
babbage
DRepVotingThresholds
ExecutionUnitPrices
MaxBlockExecutionUnits
MaxTxExecutionUnits
PlutusV1Params
PlutusV1Params
PlutusV2Params
PlutusV2Params
PlutusV3Params
PlutusV3Params
PoolVotingThresholds
ProtocolParams
ProtocolParams
macros
Macros
prelude
AssocMap
AssocMap
List
Cons
List
Maybe
Just
Maybe
Prelude
Rational
These
This
That
These
sir
Binding
Case
ConstrDecl
DataDecl
EtaReduce
ForceBuiltins
Only
Module
OptimizingSirToUplcLowering
PrettyPrinter
Style
Program
Recursivity
RemoveRecursivity
SIR
Var
ExternalVar
Let
LamAbs
Apply
Const
And
Or
Not
IfThenElse
Builtin
Error
Decl
Constr
Match
SimpleSirToUplcLowering
SirDSL
given_Conversion_Constant_SIR
given_Conversion_DefaultFun_SIR
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
KnownTypeUnliftingError
Log
Logger
MachineError
MachineParams
MachineParams
MemoryUsage
MemoryUsage
MissingCaseBranch
NoBudgetSpender
NoLogger
NonConstrScrutinized
NonFunctionalApplicationMachineError
NonPolymorphicInstantiationMachineError
OneArgument
OneArgument
ConstantCost
LinearInX
OneVariableLinearFunction
OneVariableQuadraticFunction
OpenTermEvaluatedMachineError
OutOfExBudgetError
PlutusVM
RestrictingBudgetSpender
Result
Success
Failure
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
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
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
Example
Expr
ExprBuilder
Unlift
given_Unlift_BigInt
given_Unlift_ByteString
FlatInstantces
given_Flat_Data
given_Flat_DeBruijnedProgram
given_Flat_Term
Inliner
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
Hex
PlutusTextEnvelope
Utils
Compile
Compiler
Ignore
docs
/
scalus
/
scalus.uplc
/
Example
Example
scalus.uplc.Example
object
Example
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Example
.
type
Members list
Clear all
Value members
Concrete methods
def
main
(
args
:
Array
[
String
]):
Unit
def
pubKeyValidator
(
pkh
:
PubKeyHash
):
Expr
[
Unit
=>
Unit
=>
Data
=>
Unit
]
Concrete fields
val
giftValidator
:
Expr
[
Unit
=>
Unit
=>
Data
=>
Unit
]
In this article
Attributes
Members list
Value members
Concrete methods
Concrete fields