scalus
scalus
API
scalus
builtin
Builtins
ByteString
ByteString
StringInterpolators
Data
Data
B
Constr
I
List
Map
FromData
FromDataInstances
JSPlatformSpecific
JSPlatformSpecific
List
List
Pair
PlatformSpecific
PlutusDataCborDecoder
PlutusDataCborEncoder
ToData
ToDataInstances
examples
MintingContext
MintingPolicy
MintingPolicyV2
OptimizedPreimage
OptimizedPreimageValidator
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
Extended
Finite
Extended
FromDataInstances
Interval
Interval
LowerBound
LowerBound
PubKeyHash
PubKeyHash
ScriptContext
ScriptPurpose
Minting
Spending
Rewarding
Certifying
ScriptPurpose
StakingCredential
StakingHash
StakingPtr
StakingCredential
ToDataInstances
TxId
TxId
TxInInfo
TxInfo
TxOut
TxOutRef
TxOutRef
UpperBound
UpperBound
Value
v2
FromDataInstances
OutputDatum
OutputDatumHash
OutputDatum
OutputDatum
ScriptContext
ToDataInstances
TxInInfo
TxInfo
TxOut
PlutusLedgerLanguage
ProtocolVersion
ProtocolVersion
babbage
ExecutionUnitPrices
MaxBlockExecutionUnits
MaxTxExecutionUnits
PlutusV1Params
PlutusV1Params
PlutusV2Params
PlutusV2Params
ProtocolParams
ProtocolParams
ProtocolVersion
macros
Macros
prelude
AssocMap
AssocMap
List
Cons
List
Maybe
Just
Maybe
Prelude
These
This
That
These
sir
Binding
Case
ConstrDecl
DataDecl
EtaReduce
Module
PrettyPrinter
Style
Program
Recursivity
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
ConstantOrTwoArguments
CostModel
CostingFun
CountingBudgetSpender
DeserializationError
EvaluationFailure
ExBudget
ExBudget
given_Group_ExBudget
given_Ordering_ExBudget
ExBudgetCategory
Step
BuiltinApp
ExCPU
ExMemory
KnownTypeUnliftingError
Log
Logger
MachineError
MachineParams
MachineParams
MemoryUsage
MemoryUsage
ModelConstantOrLinear
NoBudgetSpender
NoLogger
NonFunctionalApplicationMachineError
NonPolymorphicInstantiationMachineError
OneArgument
OneArgument
ConstantCost
LinearCost
OneVariableLinearFunction
OpenTermEvaluatedMachineError
OutOfExBudgetError
PlutusVM
RestrictingBudgetSpender
SixArguments
SixArguments
ConstantCost
StackTraceMachineError
StepKind
SubtractedSizesLinearFunction
TallyingBudgetSpender
ThreeArguments
ThreeArguments
AddedSizes
ConstantCost
LinearInX
LinearInY
LinearInZ
TwoArguments
TwoArguments
AddedSizes
ConstAboveDiagonal
ConstBelowDiagonal
ConstantCost
LinearInX
LinearInXAndY
LinearInY
LinearOnDiagonal
MaxSize
MinSize
MultipliedSizes
SubtractedSizes
TwoVariableLinearFunction
UnexpectedBuiltinTermArgumentMachineError
UnknownBuiltin
VM
BuiltinRuntime
BuiltinsMeaning
CommonFlatInstances
given_Flat_ByteString
given_Flat_DefaultFun
Constant
Constant
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
DefaultUni
DefaultUni
Apply
Bool
ByteString
Data
Integer
Lift
LiftData
LiftedUni
ProtoList
ProtoPair
String
Unit
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
Meaning
NamedDeBruijn
Program
ProgramFlatCodec
Term
Var
LamAbs
Apply
Force
Delay
Const
Builtin
TermDSL
given_Conversion_Constant_Term
given_Conversion_DefaultFun_Term
TypeScheme
Type
App
Arrow
All
TVar
UplcCli
UplcEvalResult
Success
UplcFailure
TermParsingError
UplcParser
utils
Hex
PlutusTextEnvelope
PlutusTextEnvelope
Utils
Compile
Compiler
Ignore
scalus
/
scalus
/
scalus.sir
/
SIR
/
LamAbs
LamAbs
scalus.sir.SIR.LamAbs
final case
class
LamAbs
(
name
:
String
,
term
:
SIR
)
extends
SIR
Members list
Clear all
Value members
Inherited methods
def
productElementNames
:
Iterator
[
String
]
Attributes
Inherited from:
Product
def
productIterator
:
Iterator
[
Any
]
Attributes
Inherited from:
Product
In this article
Members list
Value members
Inherited methods