docs
docs
API
scalus
bloxbean
CachedEpochParamsSupplier
CachedUtxoSupplier
FileScriptSupplier
InMemoryCachedScriptSupplier
Interop
given_Ordering_GovActionId
given_Ordering_Voter
MapScriptSupplier
NoScriptSupplier
ScalusTransactionEvaluator
ScriptServiceSupplier
ScriptSupplier
TxEvaluationException
TxEvaluator
TxEvaluator
LookupTable
given_Ordering_Redeemer
given_Ordering_TransactionInput
builtin
internal
UniversalDataConversion
BLS12_381_G1_Element
BLS12_381_G1_Element
BLS12_381_G2_Element
BLS12_381_G2_Element
BLS12_381_MlResult
BitwiseLogicalOperations
BuiltinList
BuiltinList
BuiltinPair
Builtins
Builtins
ByteString
ByteString
ByteStringToInteger
Data
Data
B
Constr
I
List
Map
FromData
FromData
IntegerToByteString
JVMPlatformSpecific
JVMPlatformSpecific
PlatformSpecific
PlatformSpecific
ToData
ToData
uplcIntrinsic
cardano
address
Address
Address
given_Decoder_Address
given_Encoder_Address
ArbitraryInstances
ArbitraryInstances
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
blueprint
Application
Application
Blueprint
Blueprint
CompiledContract
CompilerInfo
CompilerInfo
Contract
Contract
PlutusV3Contract
PlutusV3Contract
DataType
DataType
PlutusDataSchema
PlutusDataSchema
PlutusV3CompiledContract
PlutusV3CompiledContract
Preamble
Preamble
Purpose
OneOf
Purpose
TypeDescription
TypeDescription
Validator
Validator
ledger
rules
AddOutputsToUtxoMutator
AllInputsMustBeInUtxoValidator
CardanoMutator
Context
Context
EmptyInputsValidator
ExUnitsTooBigValidator
ExactSetOfRedeemersValidator
FeeMutator
FeesOkValidator
InputsAndReferenceInputsDisjointValidator
MetadataValidator
MissingKeyHashesValidator
MissingOrExtraScriptHashesValidator
MissingRequiredDatumsValidator
NativeScriptsValidator
OutputBootAddrAttrsSizeValidator
OutputsHaveNotEnoughCoinsValidator
OutputsHaveTooBigValueStorageSizeValidator
OutsideForecastValidator
OutsideValidityIntervalValidator
PlutusScriptsTransactionMutator
ProtocolParamsViewHashesMatchValidator
RemoveInputsFromUtxoMutator
STS
STS
Mutator
Mutator
Validator
Validator
ScriptsWellFormedValidator
State
TooManyCollateralInputsValidator
TransactionSizeValidator
UtxoEnv
UtxoEnv
ValueNotConservedUTxOValidator
VerifiedSignaturesInWitnessesValidator
WrongNetworkInTxBodyValidator
WrongNetworkValidator
WrongNetworkWithdrawalValidator
utils
AllNeededKeyHashes
AllNeededScriptHashes
AllProvidedReferenceScripts
AllResolvedScripts
AllWitnessesKeyHashes
AllWitnessesScripts
IsValidFlagTransactionSetter
MinCoinSizedTransactionOutput
MinTransactionFee
MissingKeyHashes
ScriptFeeComparison
ComparisonMatrix
ComparisonResult
Ok
Fail
FeeComparison
FeeComparison
TraitObjectScanner
TxBalance
AddrKeyHash
AddressBytes
Anchor
ArbitraryInstances
ArbitraryInstances
TimelockGen
AssetName
AssetName
AuxiliaryData
Metadata
MetadataWithScripts
AlonzoFormat
AuxiliaryData
given_Decoder_AuxiliaryData
given_Encoder_AuxiliaryData
AuxiliaryDataHash
Bech32
Bech32Decoded
Blake2b_224
Blake2b_256
Block
Block
BlockFile
BlockFile
BlockHash
BlockHeader
BlockHeaderBody
BloxbeanToLedgerTranslation
BootstrapWitness
BootstrapWitness
Builtins
Batches
CardanoInfo
CardanoInfo
CertState
CertState
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
given_CommutativeGroup_Coin
Constitution
CostModels
CostModels
Credential
KeyHash
ScriptHash
DRep
KeyHash
ScriptHash
DRep
given_Decoder_DRep
given_Encoder_DRep
DRepState
DRepVotingThresholds
DRepVotingThresholds
DataHash
DatumOption
Hash
Inline
DatumOption
given_Decoder_DatumOption
given_Encoder_DatumOption
DelegationState
Era
EvaluatorMode
ExUnitPrices
ExUnits
ExUnits
given_Group_ExUnits
FutureGenDeleg
GovAction
ParameterChange
HardForkInitiation
TreasuryWithdrawals
NoConfidence
UpdateCommittee
NewConstitution
GovAction
GovActionId
GovActionId
given_Ordering_GovActionId
Hash
Hash28
Hash32
HashConstructors
HashPurpose
AuxiliaryDataHash
BlockHash
DataHash
KeyHash
MetadataHash
PoolKeyHash
ScriptDataHash
ScriptHash
StakeKeyHash
TransactionHash
VrfKeyHash
HashSize
HashSize
KeepRaw
KeepRaw
Language
Language
LedgerToPlutusTranslation
MajorProtocolVersion
MajorProtocolVersion
MetadataHash
Metadatum
Metadatum
Bytes
Int
List
Map
Text
given_Decoder_Metadatum
given_Encoder_Metadatum
Mint
MultiAsset
MultiAsset
given_CommutativeGroup_MultiAsset
NonNegativeInterval
NonNegativeInterval
OperationalCert
OriginalCborByteArray
PlutusScript
PlutusScript
PlutusScriptEvaluationException
PlutusScriptEvaluator
PlutusScriptEvaluator
PoolKeyHash
PoolMetadata
PoolVotingThresholds
PoolVotingThresholds
PoolsState
ProposalProcedure
ProposalProcedure
given_Ordering_ProposalProcedure
ProtocolParamUpdate
ProtocolParamUpdate
ProtocolParams
ProtocolParams
ProtocolVersion
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_Decoder_RewardAccount
given_Encoder_RewardAccount
given_Ordering_RewardAccount
RewardsCalculation
EpochRewardsSummary
PoolParameters
PoolRewardSummary
RewardsConfig
Script
Script
Native
PlutusV1
PlutusV2
PlutusV3
ScriptDataHash
ScriptDataHashGenerator
ScriptHash
ScriptRef
ScriptRef
given_Decoder_ScriptRef
given_Encoder_ScriptRef
Sized
Sized
Slot
SlotConfig
SlotConfig
StakeDistribution
StakeDistributionSnapshot
StakeKeyHash
TaggedOrderedSet
TaggedOrderedStrictSet
TaggedSeq
TaggedSortedMap
KeyOf
TaggedSortedSet
TaggedSortedStrictMap
KeyOf
Timelock
Signature
AllOf
AnyOf
MOf
TimeStart
TimeExpire
Timelock
Transaction
Transaction
TransactionBody
TransactionBody
given_Encoder_TransactionBody
TransactionException
TransactionException
BadAllInputsUTxOException
BadCollateralInputsUTxOException
BadInputsUTxOException
BadReferenceInputsUTxOException
CollateralsConsistNotOnlyVKeyAddressException
CollateralsContainNotOnlyADAException
DatumsException
EmptyInputsException
ExUnitsExceedMaxException
ExactSetOfRedeemersException
FeeTooSmallException
IllFormedScriptsException
IllegalArgumentException
IncorrectTotalCollateralException
InsufficientTotalSumOfCollateralCoinsException
InvalidScriptDataHashException
InvalidSignaturesInWitnessesException
InvalidTransactionSizeException
MetadataException
MetadataException
InvalidAuxiliaryDataException
InvalidAuxiliaryDataHashException
MissingAuxiliaryDataException
MissingAuxiliaryDataHashException
MissingKeyHashesException
MissingOrExtraScriptHashesException
NativeScriptsException
NoCollateralInputsException
NonDisjointInputsAndReferenceInputsException
OutputsHaveNotEnoughCoinsException
OutputsHaveTooBigValueStorageSizeException
OutsideValidityIntervalException
TooManyCollateralInputsException
ValueNotConservedUTxOException
WrongNetworkAddress
WrongNetworkInTxBody
WrongNetworkWithdrawal
TransactionHash
TransactionInput
TransactionInput
given_Ordering_TransactionInput
TransactionOutput
TransactionOutput
Babbage
Shelley
given_Decoder_TransactionOutput
given_Encoder_TransactionOutput
TransactionWitnessSet
TransactionWitnessSet
given_Encoder_TransactionWitnessSet
UTxOState
UnitInterval
UnitInterval
Utxo
Utxo
VKeyWitness
VKeyWitness
ValidityInterval
Value
Value
given_CommutativeGroup_Value
given_Decoder_Value
given_Encoder_Value
Vote
Vote
Voter
ConstitutionalCommitteeHotKey
ConstitutionalCommitteeHotScript
DRepKey
DRepScript
StakingPoolKey
Voter
VotingProcedure
VotingProcedures
VotingProcedures
VotingState
VrfCert
VrfKeyHash
Withdrawals
Withdrawals
Word64
Word64
given_Decoder_Word64
given_Encoder_Word64
given_Flat_Word64
node
Provider
onchain
ImpossibleLedgerStateError
OnchainError
RequirementError
txbuilder
BuilderContext
BuilderContext
Change
ChangeOutputDiffHandler
Datum
Datum
DatumInlined
DatumValue
DelayedRedeemerSpec
DetachedRedeemer
EditableTransaction
Environment
ExpectedSigner
LowLevelTxBuilder
NativeScriptWitness
NetworkExtensions
PaymentBuilder
PaymentBuilder
PubKeyWitness
RedeemerIndexingInternalError
RedeemerManagement
RedeemerPurpose
RedeemerPurpose
ForCert
ForMint
ForPropose
ForReward
ForSpend
ForVote
RedeemerPurposeUtils
RedeemersContext
RedeemersContext
ResolvedTxInput
Pubkey
Script
ScriptSource
ScriptSource
NativeScriptAttached
NativeScriptValue
PlutusScriptAttached
PlutusScriptValue
SomeBuildError
SomeStepError
SomeRedeemerIndexingError
BalancingError
ValidationError
StakeCredential
StepError
StepError
AttachedScriptNotFound
ByronAddressesNotSupported
CannotExtractSignatures
CannotMintZero
CollateralNotPubKey
CollateralWithTokens
DatumIsMissing
DatumValueForUtxoWithInlineDatum
DatumWitnessNotProvided
FeeAlreadySet
IncorrectDatumHash
IncorrectScriptHash
InputAlreadyExists
RedeemerComputationFailed
RedeemerIndexingError
ResolvedUtxosIncoherence
ScriptResolutionError
Unimplemented
UnneededDeregisterWitness
UnneededProposalPolicyWitness
UnneededSpoVoteWitness
ValidityEndSlotAlreadySet
ValidityStartSlotAlreadySet
WrongCredentialType
WrongNetworkId
WrongOutputType
ThreeArgumentPlutusScriptWitness
TransactionBuilder
Context
Context
HasWitnessKind
given_HasWitnessKind_NativeScriptWitness
given_HasWitnessKind_PubKeyWitness_type
given_HasWitnessKind_ThreeArgumentPlutusScriptWitness
given_HasWitnessKind_TwoArgumentPlutusScriptWitness
HasWitnessKind
Operation
CertificateOperation
Minting
Proposing
Voting
Withdraw
Operation
ResolvedUtxos
ResolvedUtxos
WitnessKind
TransactionBuilderStep
TransactionBuilderStep
AddCollateral
Fee
IssueCertificate
Mint
ModifyAuxiliaryData
ReferenceOutput
Send
Spend
SpendWithDelayedRedeemer
SubmitProposal
SubmitVotingProcedure
ValidityEndSlot
ValidityStartSlot
WithdrawRewards
TransactionConversion
TransactionEditor
TransactionSigner
TransactionSigner
TwoArgumentPlutusScriptWitness
TxBalancingError
EvaluationFailed
Failed
CantBalance
InsufficientFunds
TxBuilder
TxBuilder
Wallet
Wallet
Witness
wallet
Account
BloxbeanAccount
BloxbeanKeyPair
KeyPair
compiler.sir
linking
SIRLinker
SIRLinker
LinkingDefState
Linked
SIRLinkedBinding
SIRLinkerOptions
SIRLinkerOptions
lowering
simple
BaseSimpleLowering
LetFloating
NodeInfo
TrackedVarInfo
VarDef
VarRef
ScottEncodingLowering
SumOfProductsLowering
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
InOutRepresentationPair
LambdaLoweredValue
LambdaRepresentation
LetNonRecLoweredValue
LetRecLoweredValue
LocalScope
LocalScope
LoweredValue
LoweredValue
Builder
PrettyPrintingContext
LoweredValueRepresentation
LoweredValueRepresentation
Lowering
LoweringContext
LoweringException
PrimitiveRepresentation
PrimitiveRepresentation
Constant
PackedData
ProductCaseClassRepresentation
ProductCaseClassRepresentation
OneElementWrapper
OneElementWrapper
PackedDataList
PackedDataMap
PairData
PairIntDataList
ProdDataConstr
ProdDataList
UplcConstr
ProxyLoweredValue
RepresentationProxyLoweredValue
RepresentationProxyLoweredValue
ScalusRuntime
ScopeBracketsLoweredValue
SirToUplcV3Lowering
StaticLoweredValue
SumCaseClassRepresentation
SumCaseClassRepresentation
DataConstr
PackedSumDataList
PairIntDataList
SumDataAssocMap
SumDataList
SumDataPairList
UplcConstr
UplcConstrOnData
TermGenerationContext
TypeRepresentationProxyLoweredValue
TypeVarRepresentation
VariableLoweredValue
AbbreviateErrorTraces
AnnotatedSIR
AnnotationsDecl
AnnotationsDecl
Binding
BooleanOptimizer
ConstrDecl
DataDecl
EnrichedSIR
And
AndInfo
AndPattern
And
AnnotatedBase
Apply
ApplyInfo
ApplyPattern
Apply
Base
BindingEnriched
Builtin
BuiltinInfo
BuiltinPattern
Builtin
CaseEnriched
Cast
CastInfo
CastPattern
Cast
Const
ConstInfo
ConstPattern
Const
Constr
ConstrInfo
ConstrPattern
Constr
Decl
DeclInfo
DeclPattern
Decl
Error
ErrorInfo
ErrorPattern
Error
ExternalVar
ExternalVarInfo
ExternalVarPattern
ExternalVar
IfThenElse
IfThenElseInfo
IfThenElsePattern
IfThenElse
LamAbs
LamAbsInfo
LamAbsPattern
LamAbs
Let
LetInfo
LetPattern
Let
Match
MatchInfo
MatchPattern
Match
Not
NotInfo
NotPattern
Not
Or
OrInfo
OrPattern
Or
Select
SelectInfo
SelectPattern
Select
Var
VarInfo
VarPattern
Var
VarEnriched
Module
ModuleToExpr
PrettyPrinter
Style
Program
RemoveRecursivity
RenamingTypeVars
RenamingContext
SIR
SIR
And
Apply
Builtin
Case
Cast
Const
Const
Constr
Decl
Error
Error
ExternalVar
IfThenElse
LamAbs
Let
LetFlags
Match
Not
Or
Pattern
Const
Constr
Wildcard
Pattern
Select
Var
SIRBodyAnnotation
SIRBuiltins
SIRChecker
CheckException
SIRCompiled
SIRDefaultOptions
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
SIRModuleWithDeps
SIRModuleWithDeps
SIRPattern
SIRPattern
And
Apply
Bind
Binding
Builtin
Case
CasePattern
Bind
Const
Constr
Wildcard
CasePattern
Cast
Const
Constr
Error
ExternalVar
IfThenElse
LamAbs
Let
Match
Not
Or
Select
Var
SIRPosition
SIRPosition
SIRToExpr
SIRType
SIRType
BLS12_381_G1_Element
BLS12_381_G2_Element
BLS12_381_MlResult
Boolean
BuiltinList
Cons
Nil
BuiltinPair
ByteString
CaclulateApplyTypeException
CalculateApplyTypeContext
CaseClass
Data
FreeUnificator
Fun
Integer
List
Cons
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
SirDSL
given_Conversion_Constant_SIR
given_Conversion_DefaultFun_SIR
TargetLoweringBackend
ToExprHS
ToExprHSSIRFlat
SelfCheckException
ToExprHSSIRTypeFlat
TypeBinding
ledger
api
v1
Address
Address
ArbitraryInstances
ArbitraryInstances
Credential
PubKeyCredential
ScriptCredential
Credential
DCert
DelegRegKey
DelegDeRegKey
DelegDelegate
PoolRegister
PoolRetire
DCert
Interval
Interval
IntervalBound
IntervalBound
IntervalBoundType
Finite
IntervalBoundType
PubKeyHash
PubKeyHash
ScriptContext
ScriptContext
ScriptPurpose
Minting
Spending
Rewarding
Certifying
ScriptPurpose
StakingCredential
StakingHash
StakingPtr
StakingCredential
TxId
TxId
TxInInfo
TxInInfo
TxInfo
TxInfo
TxOut
TxOut
TxOutRef
TxOutRef
Utils
Value
Value
v2
ArbitraryInstances
ArbitraryInstances
OutputDatum
OutputDatumHash
OutputDatum
OutputDatum
ScriptContext
ScriptContext
TxInInfo
TxInInfo
TxInfo
TxInfo
TxOut
TxOut
Utils
v3
ArbitraryInstances
ArbitraryInstances
Committee
Committee
DRep
DRep
DRep
Delegatee
Stake
Vote
StakeVote
Delegatee
GovernanceAction
ParameterChange
HardForkInitiation
TreasuryWithdrawals
NoConfidence
UpdateCommittee
NewConstitution
GovernanceAction
GovernanceActionId
GovernanceActionId
ProposalProcedure
ProposalProcedure
ProtocolVersion
ProtocolVersion
ScriptContext
ScriptContext
ScriptInfo
MintingScript
SpendingScript
RewardingScript
CertifyingScript
VotingScript
ProposingScript
ScriptInfo
ScriptPurpose
Minting
Spending
Rewarding
Certifying
Voting
Proposing
ScriptPurpose
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
ScriptContext
babbage
prelude
crypto.bls12_381
G1
G2
Scalar
Scalar
AssocMap
AssocMap
DataParameterizedValidator
Eq
Eq
List
Cons
List
Math
Option
Some
Option
Ord
Ord
Order
Order
ParameterizedValidator
Prelude
Rational
Rational
Show
Show
ShowByteString
ShowByteString
SortedMap
SortedMap
StdlibTestKit
These
This
That
These
These
Validator
Varargs
serialization
cbor
Cbor
flat
ArrayByteFlat
DecoderState
EncoderState
Flat
FlatInstances
AnnotationsDeclFlat
BindingFlat
ConstrDeclFlat
DataDeclFlat
ModuleHashSetReprFlat
SIRCaseHashConsedFlat
SIRConstHashConsedFlat
SIRDeclHashConsedFlat
SIRHashConsedFlat
SIRLetFlagsFlat
SIRLetHashConsedFlat
SIRPositionFlat
SIRTypeCaseClassFlat
SIRTypeHashConsedFlat
SIRTypeHashConsedRef
SIRTypeHashConsedRef
SIRTypeNonCaseModuleFlat
SIRTypeSumCaseClassFlat
SIRTypeTypeProxyFlat
SIRVarHashConsedFlat
TypeBindingFlat
given_Flat_Data
given_Flat_Option
given_Flat_SIRVarStorage
given_HashConsedFlat_Module
given_HashConsedFlat_TypeVar
HashConsed
CachedTaggedRef
ConstRef
ConstRef
ForwardRef
ForwardRef
ForwardRefAcceptor
ForwardValueAcceptor
MutRef
MutRef
State
State
HashConsedDecoderState
HashConsedEncoderState
HashConsedEncoderState
HashConsedFlat
HashConsedFlat
HashConsedMutRefReprFlat
HashConsedRef
HashConsedRef
HashConsedReprFlat
HashConsedReprFlat
ListRepl
StringMapRep
Natural
PlainIntFlat
given_Flat_BigInt
given_Flat_Boolean
given_Flat_Int
given_Flat_Long
given_Flat_Natural
given_Flat_String
given_Flat_Unit
sir
testing
kit
ArbitraryInstances
Mock
MockLedgerApi
MockLedgerApi
ScalusTest
ScalusTest
ArbitraryDerivation
Fallback
NoFallback
Fallback
uplc
eval
BaseConstantCostModel
BudgetSpender
BuiltinCostModel
BuiltinCostModel
BuiltinError
BuiltinException
BuiltinTermArgumentExpectedMachineError
CekMachine
CekMachineCosts
CekMachineCosts
CekValue
VCon
VDelay
VLamAbs
VBuiltin
VConstr
ConstCostingFun
ConstCostingFun
ConstantOrLinear
ConstantOrOneArgument
ConstantOrTwoArguments
CostModel
CostingFun
CountingBudgetSpender
DefaultCostingFun
DeserializationError
EvaluationFailure
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
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
WriteBitsCostingFun
test
ArbitraryInstances
transform
CaseConstrApply
EtaReduce
ForcedBuiltinsExtractor
Inliner
StrictIf
TermAnalysis
BuiltinRuntime
BuiltinSemanticsVariant
BuiltinSemanticsVariant
BuiltinsMeaning
CardanoBuiltins
Compiled
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
given_Flat_DeBruijnedProgram
DefaultFun
DefaultFun
given_Flat_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
Meaning
NamedDeBruijn
Optimizer
PlutusParams
PlutusV1Params
PlutusV1Params
PlutusV2Params
PlutusV2Params
PlutusV3
PlutusV3
PlutusV3Params
PlutusV3Params
Program
Program
ProgramFlatCodec
DecodeResult
Term
Var
LamAbs
Apply
Force
Delay
Const
Builtin
Constr
Case
Term
given_Flat_Term
TermDSL
given_Conversion_Constant_Term
given_Conversion_DefaultFun_Term
TypeScheme
Type
App
Arrow
All
TVar
UplcCli
UplcEvalResult
Success
UplcFailure
TermParsingError
UplcParser
UplcParser
V1V2Optimizer
V3Optimizer
utils
BuildInfo
Hex
Macros
PlutusTextEnvelope
Utils
Compile
CompileDerivations
Compiler
Options
Options
Ignore
ScalusDebug
docs
/
scalus
/
scalus.compiler.sir
/
PrettyPrinter
/
Style
Style
scalus.compiler.sir.PrettyPrinter.Style
enum
Style
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
Normal
extends
Style
case
XTerm
extends
Style
In this article
Attributes
Members list
Type members
Enum entries