scalus
scalus
API
scalus
Compile
Compiler
Ignore
Main
Builtins
Scalus
ScriptContext
TxInfo
scalus.builtins
Builtins
ByteString
ByteString
StringInterpolators
List
List
Pair
scalus.examples
MintingContext
MintingPolicy
MintingPolicyV2
TxInInfoTxOutRefOnly
scalus.flat
ArrayByteFlat
DecoderState
EncoderState
Flat
Natural
given_Flat_BigInt
given_Flat_Boolean
given_Flat_Long
given_Flat_Natural
given_Flat_String
given_Flat_Unit
scalus.ledger.api.v1
Address
Address
Credential
PubKeyCredential
ScriptCredential
Credential
DCert
DelegRegKey
DelegDeRegKey
DelegDelegate
PoolRegister
PoolRetire
DCert
Extended
Finite
FromDataInstances
Interval
Interval
LowerBound
PubKeyHash
PubKeyHash
ScriptContext
ScriptPurpose
Minting
Spending
Rewarding
Certifying
ScriptPurpose
StakingCredential
StakingHash
StakingPtr
StakingCredential
ToDataInstances
TxId
TxId
TxInInfo
TxInfo
TxOut
TxOutRef
TxOutRef
UpperBound
Value
scalus.ledger.api.v2
FromDataInstances
OutputDatum
OutputDatumHash
OutputDatum
OutputDatum
ScriptContext
ToDataInstances
TxInInfo
TxInfo
TxOut
scalus.macros
Macros
scalus.prelude
AssocMap
AssocMap
List
Cons
List
Maybe
Just
Maybe
Prelude
These
This
That
These
scalus.sir
Binding
Case
ConstrDecl
DataDecl
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
scalus.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
Meaning
NamedDeBruijn
PlutusDataCborDecoder
PlutusDataCborEncoder
PlutusUplcEval
Program
ProgramFlatCodec
Runtime
Term
Var
LamAbs
Apply
Force
Delay
Const
Builtin
Error
TermDSL
given_Conversion_Constant_Term
given_Conversion_DefaultFun_Term
ToDataInstances
TotoData
TypeScheme
Type
Arrow
All
TVar
UnexpectedBuiltinTermArgumentMachineError
UplcEvalResult
Success
UplcFailure
TermParsingError
UplcParser
scalus.utils
Hex
Utils
scalus
/
scalus.uplc
/
Meaning
Meaning
scalus.uplc.Meaning$
See the
Meaning
companion trait
object
Meaning
Attributes
Companion:
trait
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
Meaning
.type
Clear all
Members list
Concise view
Value members
Concrete methods
def
mkMeaning
(
t
:
TypeScheme
,
f
:
AnyRef
):
Runtime
Concrete fields
val
AddInteger
:
Runtime
val
AppendByteString
:
Runtime
val
AppendString
:
Runtime
val
BData
:
Runtime
val
Blake2b_256
:
Runtime
val
BuiltinMeanings
:
Map
[
DefaultFun
,
Runtime
]
val
ChooseData
:
Runtime
val
ChooseList
:
Runtime
val
ChooseUnit
:
Runtime
val
ConsByteString
:
Runtime
val
ConstrData
:
Runtime
val
DecodeUtf8
:
Runtime
val
DivideInteger
:
Runtime
val
EncodeUtf8
:
Runtime
val
EqualsByteString
:
Runtime
val
EqualsData
:
Runtime
val
EqualsInteger
:
Runtime
val
EqualsString
:
Runtime
val
FstPair
:
Runtime
val
HeadList
:
Runtime
val
IData
:
Runtime
val
IfThenElse
:
Runtime
val
IndexByteString
:
Runtime
val
LengthOfByteString
:
Runtime
val
LessThanByteString
:
Runtime
val
LessThanEqualsByteString
:
Runtime
val
LessThanEqualsInteger
:
Runtime
val
LessThanInteger
:
Runtime
val
ListData
:
Runtime
val
MapData
:
Runtime
val
MkCons
:
Runtime
val
MkNilData
:
Runtime
val
MkNilPairData
:
Runtime
val
MkPairData
:
Runtime
val
ModInteger
:
Runtime
val
MultiplyInteger
:
Runtime
val
NullList
:
Runtime
val
QuotientInteger
:
Runtime
val
RemainderInteger
:
Runtime
val
SerialiseData
:
Runtime
val
Sha2_256
:
Runtime
val
Sha3_256
:
Runtime
val
SliceByteString
:
Runtime
val
SndPair
:
Runtime
val
SubtractInteger
:
Runtime
val
TailList
:
Runtime
val
Trace
:
Runtime
val
UnBData
:
Runtime
val
UnConstrData
:
Runtime
val
UnIData
:
Runtime
val
UnListData
:
Runtime
val
UnMapData
:
Runtime
val
VerifyEcdsaSecp256k1Signature
:
Runtime
val
VerifyEd25519Signature
:
Runtime
val
VerifySchnorrSecp256k1Signature
:
Runtime