scalus
scalus
API
scalus
builtins
Builtins
ByteString
ByteString
StringInterpolators
JSPlatformSpecific
List
List
Pair
PlatformSpecific
examples
MintingContext
MintingPolicy
MintingPolicyV2
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_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
macros
Macros
prelude
AssocMap
AssocMap
List
Cons
List
Maybe
Just
Maybe
Prelude
These
This
That
These
sir
Binding
Case
ConstrDecl
DataDecl
EtaReduce
Module
PrettyPrinter
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
BuiltinError
Cek
CekValue
Context
FrameApplyArg
FrameApplyFun
FrameForce
NoFrame
VBuiltin
VCon
VDelay
VLamAbs
CommonFlatInstantces
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
Data
Data
B
Constr
I
List
Map
DeBruijn
DeBruijnedProgram
DefaultFun
DefaultUni
DefaultUni
Apply
Bool
ByteString
Data
Integer
Lift
LiftData
LiftedUni
ProtoList
ProtoPair
String
Unit
given_Lift_Int
given_Lift_Long
Delayed
EvaluationFailure
Example
Expr
ExprBuilder
Unlift
given_Unlift_BigInt
given_Unlift_ByteString
FlatInstantces
given_Flat_Data
given_Flat_DeBruijnedProgram
given_Flat_Term
FromData
FromDataInstances
KnownTypeUnliftingError
Meaning
NamedDeBruijn
PlutusDataCborDecoder
PlutusDataCborEncoder
PlutusUplcEval
Program
ProgramFlatCodec
Runtime
Term
Var
LamAbs
Apply
Force
Delay
Const
Builtin
TermDSL
given_Conversion_Constant_Term
given_Conversion_DefaultFun_Term
ToData
ToDataInstances
TypeScheme
Type
Arrow
All
TVar
UnexpectedBuiltinTermArgumentMachineError
UplcEvalResult
Success
UplcFailure
TermParsingError
UplcParser
utils
Hex
PlutusTextEnvelope
PlutusTextEnvelope
Utils
Compile
Compiler
Ignore
scalus
/
scalus
/
scalus.sir
/
SimpleSirToUplcLowering
SimpleSirToUplcLowering
scalus.sir.SimpleSirToUplcLowering
class
SimpleSirToUplcLowering
(
sir
:
SIR
,
generateErrorTraces
:
Boolean
)
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Members list
Clear all
Value members
Concrete methods
def
lower
(
):
Term
def
noEval
(
term
:
SIR
):
Boolean
Concrete fields
val
builtinTerms
:
Map
[
DefaultFun
,
Term
]
In this article
Attributes
Members list
Value members
Concrete methods
Concrete fields