docs
docs
API
scalus
buildinfo
BuildInfo
builtin
internal
UniversalDataConversion
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
ByteStringToInteger
ByteOrder
Data
Data
B
Constr
I
List
Map
FromData
FromData
FromDataInstances
FromDataMacros
IntegerToByteString
JVMPlatformSpecific
JVMPlatformSpecific
List
List
Pair
PlatformSpecific
PlatformSpecific
ToData
ToData
ToDataInstances
ToDataMacros
uplcIntrinsic
cardano
address
Address
Address
given_Decoder_Address
given_Encoder_Address
ByronAddress
Network
Network
Mainnet
Other
Testnet
given_Ordering_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
Bech32
Bech32Decoded
Blake2b_224
Blake2b_256
Block
Block
BlockFile
BlockFile
BlockHeader
BlockHeaderBody
BootstrapWitness
Certificate
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
CostModels
Credential
KeyHash
ScriptHash
DRep
KeyHash
ScriptHash
DRep
given_Decoder_DRep
given_Encoder_DRep
DRepVotingThresholds
DRepVotingThresholds
DatumOption
Hash
Inline
DatumOption
given_Decoder_DatumOption
given_Encoder_DatumOption
Era
ExUnitPrices
ExUnits
ExUnits
GovAction
ParameterChange
HardForkInitiation
TreasuryWithdrawals
NoConfidence
UpdateCommittee
NewConstitution
GovAction
GovActionId
GovActionId
given_Ordering_GovActionId
Hash
Hash28
Hash32
HashPurpose
AuxiliaryDataHash
BlockHash
DataHash
KeyHash
MetadataHash
PoolKeyHash
ScriptDataHash
ScriptHash
StakeKeyHash
TransactionHash
VrfKeyHash
HashSize
HashSize
KeepRaw
KeepRaw
Language
Language
Mint
MultiAsset
MultiAsset
NonNegativeInterval
NonNegativeInterval
OperationalCert
OriginalCborByteArray
PlutusScript
PoolMetadata
PoolVotingThresholds
PoolVotingThresholds
ProposalProcedure
ProtocolParamUpdate
ProtocolParamUpdate
ProtocolVersion
Redeemer
Redeemer
given_Ordering_Redeemer
RedeemerTag
RedeemerTag
given_Decoder_RedeemerTag
given_Encoder_RedeemerTag
given_Ordering_RedeemerTag
Redeemers
Redeemers
Array
Map
given_Decoder_Redeemers
given_Encoder_Redeemers
Relay
SingleHostAddr
SingleHostName
MultiHostName
Relay
RewardAccount
RewardAccount
given_Ordering_RewardAccount
Script
Script
Native
PlutusV1
PlutusV2
PlutusV3
ScriptDataHashGenerator
ScriptHash
ScriptRef
ScriptRef
given_Decoder_ScriptRef
given_Encoder_ScriptRef
Sized
Sized
Slot
TaggedSet
Transaction
Transaction
TransactionBody
TransactionBody
given_Encoder_TransactionBody
TransactionHash
TransactionInput
TransactionInput
given_Ordering_TransactionInput
TransactionMetadatum
TransactionMetadatum
Bytes
Int
List
Map
Text
given_Decoder_TransactionMetadatum
given_Encoder_TransactionMetadatum
TransactionMetadatumLabel
TransactionOutput
TransactionOutput
Babbage
Shelley
given_Decoder_TransactionOutput
given_Encoder_TransactionOutput
TransactionWitnessSet
TransactionWitnessSet
given_Encoder_TransactionWitnessSet
UnitInterval
UnitInterval
VKeyWitness
Value
Value
given_Decoder_Value
given_Encoder_Value
Vote
Vote
Voter
ConstitutionalCommitteeHotKey
ConstitutionalCommitteeHotScript
DRepKey
DRepScript
StakingPoolKey
Voter
VotingProcedure
VotingProcedures
VrfCert
Withdrawals
Withdrawals
onchain
ImpossibleLedgerStateError
OnchainError
RequirementError
plutus.contract.blueprint
Application
Application
Blueprint
Blueprint
CompiledContract
CompilerInfo
CompilerInfo
DataType
DataType
PlutusDataSchema
PlutusDataSchema
PlutusV3
PlutusV3
Preamble
Preamble
Purpose
OneOf
Purpose
TypeDescription
TypeDescription
Validator
Validator
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
Utils
Value
Value
v2
FromDataInstances
OutputDatum
OutputDatumHash
OutputDatum
OutputDatum
ScriptContext
ScriptContext
ToDataInstances
TxInInfo
TxInInfo
TxInfo
TxInfo
TxOut
TxOut
Utils
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
Utils
Vote
Vote
Voter
CommitteeVoter
DRepVoter
StakePoolVoter
Voter
BuiltinSemanticsVariant
BuiltinSemanticsVariant
MajorProtocolVersion
MajorProtocolVersion
PlutusLedgerLanguage
ProtocolVersion
ProtocolVersion
Timelock
Signature
AllOf
AnyOf
MOf
TimeStart
TimeExpire
Timelock
ValidityInterval
babbage
DRepVotingThresholds
PlutusParams
PlutusV1Params
PlutusV1Params
PlutusV2Params
PlutusV2Params
PlutusV3Params
PlutusV3Params
PoolVotingThresholds
ProtocolParams
ProtocolParams
macros
Macros
prelude
crypto.bls12_381
G1
G2
AssocMap
AssocMap
DataParameterizedValidator
EqCompanion
List
Cons
List
Option
Some
Option
Ord
Ord
Order
ParameterizedValidator
Prelude
Rational
Rational
ScalusDataRepresentation
SortedMap
SortedMap
These
This
That
These
These
Validator
Varargs
sir
lowering
typegens
BLS12_381_G1_SirTypeGenerator
BLS12_381_G2_SirTypeGenerator
BLS12_381_MLResultSirTypeGenerator
FunSirTypeGenerator
MapSirTypeGenerator
MapMatchLoweredValue
PrimitiveSirTypeGenerator
ProductCaseOneElementSirTypeGenerator
ProductCaseOneElementSirTypeGenerator
ArgProxyLoweredValue
WrappedArg
ProductCaseSirTypeGenerator
MatchPairDataLoweredValue
ProductCaseUplcOnlySirTypeGenerator
SIRTypeUplcBooleanGenerator
SIRTypeUplcByteStringGenerator
SIRTypeUplcDataGenerator
SIRTypeUplcIntegerGenerator
SIRTypeUplcStringGenerator
SirTypeUplcGenerator
SirTypeUplcGenerator
SumCaseSirTypeGenerator
SumCaseUplcOnlySirTypeGenerator
SumDataListSirTypeGenerator
SumListCommonSirTypeGenerator
ListMatchLoweredValue
SumPairDataListSirTypeGenerator
TypeNothingSirTypeGenerator
TypeVarSirTypeGenerator
UnitSirTypeGenerator
ApplyLoweredValue
BaseRepresentationProxyLoweredValue
BuilinApply1LoweredVale
BuilinApply2LoweredVale
BuiltinApplyLoweredValue
ComplexLoweredValue
ConstantLoweredValue
DelayLoweredValue
DependendVariableLoweredValue
ErrorRepresentation
ForceLoweredValue
IdentifiableLoweredValue
IfThenElseLoweredValue
LambdaLoweredValue
LambdaRepresentation
LetNonRecLoweredValue
LetRecLoweredValue
LocalScope
LocalScope
LoweredValue
LoweredValue
Builder
PrettyPrintingContext
LoweredValueRepresentation
LoweredValueRepresentation
Lowering
LoweringContext
LoweringException
Preprocess
State
PrimitiveRepresentation
PrimitiveRepresentation
Constant
PackedData
ProductCaseClassRepresentation
ProductCaseClassRepresentation
OneElementWrapper
PackedDataList
PackedDataMap
PairData
PairIntDataList
ProdDataConstr
ProdDataList
UplcConstr
ProxyLoweredValue
RepresentationProxyLoweredValue
RepresentationProxyLoweredValue
ScalusRuntime
StaticLoweredValue
SumCaseClassRepresentation
SumCaseClassRepresentation
DataConstr
PackedSumDataList
PairIntDataList
SumDataAssocMap
SumDataList
SumDataPairList
UplcConstr
UplcConstrOnData
TermGenerationContext
TypeRepresentationProxyLoweredValue
TypeVarRepresentation
VariableLoweredValue
AnnotatedSIR
AnnotationsDecl
AnnotationsDecl
Binding
BooleanOptimizer
ConstrDecl
DataDecl
Module
PrettyPrinter
Style
Program
Recursivity
RemoveRecursivity
RenamingTypeVars
RenamingContext
SIR
SIR
And
Apply
Builtin
Case
Cast
Const
Const
Constr
Decl
Error
ExternalVar
IfThenElse
LamAbs
Let
Match
Not
Or
Pattern
Constr
Wildcard
Pattern
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
SIRMacro
SIRPosition
SIRPosition
SIRToExpr
SIRType
SIRType
BLS12_381_G1_Element
BLS12_381_G2_Element
BLS12_381_MlResult
Boolean
ByteString
CaclulateApplyTypeException
CalculateApplyTypeContext
CaseClass
Data
FreeUnificator
Fun
Integer
List
Cons
Pair
Primitive
SetBasedTypeVarGenerationContext
String
SumCaseClass
Tuple2
TypeApplyException
TypeLambda
TypeLambda
TypeLambda2
TypeNonCaseModule
TypeNothing
TypeProxy
TypeProxy
TypeVar
TypeVarGenerationContext
Unit
Varargs
SIRTypeToExpr
SIRUnify
Env
Env
TypeVarRelaxingUnify
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
Cases
Data
ScottEncoding
SimpleSirToUplcLowering
SirDSL
given_Conversion_Constant_SIR
given_Conversion_DefaultFun_SIR
SirToUplc110Lowering
SirToUplcV3Lowering
ToExprHS
ToExprHSSIRFlat
SelfCheckException
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
RestrictingBudgetSpenderWithScriptDump
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
Options
TargetLoweringBackend
Ignore
docs
/
scalus
/
scalus.prelude
/
Ord
/
Order
Order
scalus.prelude.Ord.Order
enum
Order
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
Enum
trait
Serializable
trait
Product
trait
Equals
class
Object
trait
Matchable
class
Any
Show all
Members list
Clear all
Type members
Enum entries
case
Equal
extends
Order
case
Greater
extends
Order
case
Less
extends
Order
Value members
Concrete methods
def
isEqual
:
Boolean
Extension method from
Ord
def
isGreater
:
Boolean
Extension method from
Ord
def
isGreaterEqual
:
Boolean
Extension method from
Ord
def
isLess
:
Boolean
Extension method from
Ord
def
isLessEqual
:
Boolean
Extension method from
Ord
def
nonEqual
:
Boolean
Extension method from
Ord
In this article
Attributes
Members list
Type members
Enum entries
Value members
Concrete methods