docs
docs
API
scalus
bloxbean
CachedEpochParamsSupplier
CachedUtxoSupplier
FileScriptSupplier
InMemoryCachedScriptSupplier
Interop
given_Ordering_GovActionId
given_Ordering_Voter
LegacyScalusTransactionEvaluator
MapScriptSupplier
NoScriptSupplier
ScalusTransactionEvaluator
ScriptServiceSupplier
ScriptSupplier
StakeStateResolver
StakeStateResolver
AccountInfo
CachedStakeState
Resolved
RewardEntry
TxEvaluationException
TxEvaluator
TxEvaluator
LookupTable
given_Ordering_Redeemer
given_Ordering_TransactionInput
builtin
JVMPlatformSpecificBackwardCompat
cardano
address
Address
Address
given_Decoder_Address
given_Encoder_Address
ArbitraryInstances
ArbitraryInstances
ByronAddress
ByronAddress
given_Encoder_ByronAddress
given_Pretty_ByronAddress
Network
Network
Mainnet
Other
Testnet
given_Ordering_Network
ParsedByronAddress
ParsedByronAddress
Pointer
Pointer
ShelleyAddress
ShelleyAddress
given_Encoder_ShelleyAddress
ShelleyDelegationPart
Key
Script
Pointer
ShelleyDelegationPart
ShelleyPaymentPart
Key
Script
ShelleyPaymentPart
StakeAddress
StakeAddress
given_Encoder_StakeAddress
StakePayload
Stake
Script
StakePayload
VarUInt
blueprint
Application
Application
Blueprint
Blueprint
CompiledContract
CompilerInfo
CompilerInfo
Contract
Contract
PlutusV3Contract
PlutusV3Contract
DataType
DataType
HasTypeDescription
HasTypeDescription
PlutusDataSchema
PlutusDataSchema
PlutusV3CompiledContract
PlutusV3CompiledContract
Preamble
Preamble
Purpose
OneOf
Purpose
TypeDescription
TypeDescription
Validator
Validator
ledger
rules
AllInputsMustBeInUtxoValidator
CardanoMutator
CertsMutator
CertsValidator
Context
Context
DefaultMutators
DefaultValidators
EmptyInputsValidator
ExUnitsTooBigValidator
ExactSetOfRedeemersValidator
FeesOkValidator
InputsAndReferenceInputsDisjointValidator
MetadataValidator
MissingKeyHashesValidator
MissingOrExtraScriptHashesValidator
MissingRequiredDatumsValidator
NativeScriptsValidator
OutputBootAddrAttrsSizeValidator
OutputsHaveNotEnoughCoinsValidator
OutputsHaveTooBigValueStorageSizeValidator
OutsideForecastValidator
OutsideValidityIntervalValidator
PlutusScriptsTransactionMutator
ProtocolParamsViewHashesMatchValidator
STS
STS
Mutator
Mutator
Validator
Validator
ScriptsWellFormedValidator
StakeCertificatesMutator
StakeCertificatesValidator
StakePoolCertificatesValidator
State
TooManyCollateralInputsValidator
TransactionSizeValidator
UtxoEnv
UtxoEnv
ValueNotConservedUTxOValidator
VerifiedSignaturesInWitnessesValidator
WrongNetworkInTxBodyValidator
WrongNetworkValidator
WrongNetworkWithdrawalValidator
utils
AllNeededKeyHashes
AllNeededScriptHashes
AllProvidedReferenceScripts
AllResolvedScripts
AllWitnessesKeyHashes
AllWitnessesScripts
CollateralSufficient
IsValidFlagTransactionSetter
MinCoinSizedTransactionOutput
MinTransactionFee
MissingKeyHashes
ScriptFeeComparison
ComparisonMatrix
ComparisonResult
Ok
Fail
FeeComparison
FeeComparison
TraitObjectScanner
TxBalance
AddrKeyHash
AddressBytes
Anchor
Anchor
given_Pretty_Anchor
ArbitraryInstances
ArbitraryInstances
TimelockGen
AssetName
AssetName
given_Pretty_AssetName
AuxiliaryData
Metadata
MetadataWithScripts
AlonzoFormat
AuxiliaryData
given_Decoder_AuxiliaryData
given_Encoder_AuxiliaryData
AuxiliaryDataHash
Base58
Bech32
Bech32Decoded
Blake2b_224
Blake2b_256
Block
Block
BlockFile
BlockFile
BlockHash
BlockHeader
BlockHeaderBody
BloxbeanToLedgerTranslation
BootstrapWitness
BootstrapWitness
given_Pretty_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
given_Pretty_Certificate
Coin
Coin
given_CommutativeGroup_Coin
given_Pretty_Coin
Constitution
CostModels
CostModels
Credential
KeyHash
ScriptHash
Credential
given_Pretty_Credential
DRep
KeyHash
ScriptHash
DRep
given_Decoder_DRep
given_Encoder_DRep
given_Pretty_DRep
DRepState
DRepVotingThresholds
DRepVotingThresholds
DataHash
DatumOption
Hash
Inline
DatumOption
given_Decoder_DatumOption
given_Encoder_DatumOption
given_Pretty_DatumOption
DelegationState
Era
EvaluatorMode
ExUnitPrices
ExUnitPrices
ExUnits
ExUnits
given_Group_ExUnits
given_Pretty_ExUnits
FutureGenDeleg
GovAction
ParameterChange
HardForkInitiation
TreasuryWithdrawals
NoConfidence
UpdateCommittee
NewConstitution
GovAction
GovActionId
GovActionId
given_Ordering_GovActionId
GovState
Hash
Hash28
Hash32
HashConstructors
HashPurpose
AuxiliaryDataHash
BlockHash
DataHash
KeyHash
MetadataHash
PoolKeyHash
ScriptDataHash
ScriptHash
StakeKeyHash
TransactionHash
VrfKeyHash
HashSize
HashSize
KeepRaw
KeepRaw
KeepRawBytes
KeepRawValue
Language
Language
given_Pretty_Language
LedgerToPlutusTranslation
MajorProtocolVersion
MajorProtocolVersion
MetadataHash
Metadatum
Metadatum
Bytes
Int
List
Map
Text
given_Decoder_Metadatum
given_Encoder_Metadatum
Mint
MultiAsset
MultiAsset
given_CommutativeGroup_MultiAsset
given_Pretty_MultiAsset
NonNegativeInterval
NonNegativeInterval
OperationalCert
OriginalCborByteArray
PlutusScript
PlutusScript
PlutusScriptEvaluationException
PlutusScriptEvaluator
PlutusScriptEvaluator
PoolKeyHash
PoolMetadata
PoolVotingThresholds
PoolVotingThresholds
PoolsState
ProposalProcedure
ProposalProcedure
ProtocolParamUpdate
ProtocolParamUpdate
ProtocolParams
ProtocolParams
ParamDiff
ProtocolParamsToExpr
given_ToExpr_CostModels
given_ToExpr_DRepVotingThresholds
given_ToExpr_ExUnitPrices
given_ToExpr_ExUnits
given_ToExpr_NonNegativeInterval
given_ToExpr_PoolVotingThresholds
given_ToExpr_ProtocolParams
given_ToExpr_ProtocolVersion
given_ToExpr_UnitInterval
ProtocolVersion
ProtocolVersion
Redeemer
Redeemer
given_Ordering_Redeemer
given_Pretty_Redeemer
RedeemerTag
RedeemerTag
given_Decoder_RedeemerTag
given_Encoder_RedeemerTag
given_Ordering_RedeemerTag
Redeemers
Redeemers
Array
Map
given_Decoder_Redeemers
given_Encoder_Redeemers
given_Pretty_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
PlutusV1
PlutusV2
PlutusV2
PlutusV3
PlutusV3
prettyScript
ScriptDataHash
ScriptDataHashGenerator
ScriptHash
ScriptRef
ScriptRef
given_Decoder_ScriptRef
given_Encoder_ScriptRef
Sized
Sized
SizedSize
SizedValue
Slot
SlotConfig
SlotConfig
StakeDistribution
StakeDistributionSnapshot
StakeKeyHash
StakeMap
TaggedOrderedSet
TaggedOrderedStrictSet
TaggedSeq
TaggedSortedMap
KeyOf
TaggedSortedSet
TaggedSortedStrictMap
KeyOf
Timelock
Signature
AllOf
AnyOf
MOf
TimeStart
TimeExpire
Timelock
given_Pretty_Timelock
Transaction
Transaction
given_Pretty_Transaction
TransactionBody
TransactionBody
given_Encoder_TransactionBody
given_Pretty_TransactionBody
TransactionException
TransactionException
BadAllInputsUTxOException
BadCollateralInputsUTxOException
BadInputsUTxOException
BadReferenceInputsUTxOException
DatumsException
EmptyInputsException
ExUnitsExceedMaxException
ExactSetOfRedeemersException
FeesOkException
IllFormedScriptsException
IllegalArgumentException
InvalidScriptDataHashException
InvalidSignaturesInWitnessesException
InvalidTransactionSizeException
MetadataException
MetadataException
InvalidAuxiliaryDataException
InvalidAuxiliaryDataHashException
MissingAuxiliaryDataException
MissingAuxiliaryDataHashException
MissingKeyHashesException
MissingOrExtraScriptHashesException
NativeScriptsException
NonDisjointInputsAndReferenceInputsException
OutputBootAddrAttrsTooBigException
OutputsHaveNotEnoughCoinsException
OutputsHaveTooBigValueStorageSizeException
OutsideValidityIntervalException
PlutusScriptValidationException
StakeCertificatesException
StakePoolException
TooManyCollateralInputsException
ValueNotConservedUTxOException
WithdrawalsNotInRewardsException
WrongNetworkAddress
WrongNetworkInTxBody
WrongNetworkWithdrawal
TransactionHash
TransactionInput
TransactionInput
given_Ordering_TransactionInput
given_Pretty_TransactionInput
TransactionOutput
TransactionOutput
Babbage
Shelley
given_Decoder_TransactionOutput
given_Encoder_TransactionOutput
given_Pretty_TransactionOutput
TransactionOutputAddress
TransactionOutputDatumOption
TransactionOutputScriptRef
TransactionOutputValue
TransactionWitnessSet
TransactionWitnessSet
given_Encoder_TransactionWitnessSet
given_Pretty_TransactionWitnessSet
UTxOState
UnitInterval
UnitInterval
Utxo
Utxo
Utxos
VKeyWitness
VKeyWitness
given_Pretty_VKeyWitness
ValidityInterval
Value
Value
given_CommutativeGroup_Value
given_Decoder_Value
given_Encoder_Value
given_Pretty_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
BlockchainProvider
BlockchainProviderTF
BlockchainReader
BlockchainReaderTF
BlockfrostProvider
BlockfrostProvider
BlockfrostProviderPlatform
ConcurrencyLimiter
Emulator
Emulator
EmulatorBase
EmulatorBase
NetworkSubmitError
NetworkSubmitError
AuthenticationError
Banned
ConnectionError
InternalError
MempoolFull
RateLimited
NodeSubmitError
NodeSubmitError
ScriptFailure
TransactionExpired
UtxoNotAvailable
ValidationError
ValueNotConserved
SubmitError
SubmitError
TransactionStatus
UtxoFilter
UtxoFilter
And
AtInputs
HasAsset
HasDatum
HasDatumHash
MinLovelace
Not
Or
UtxoQuery
UtxoQuery
Or
Simple
UtxoQueryError
NotFound
NotSupported
NetworkError
RateLimited
AuthenticationError
UtxoQueryMacros
UtxoQueryWithReader
UtxoSource
UtxoSource
And
FromAddress
FromAsset
FromInputs
FromTransaction
Or
onchain
plutus
crypto
accumulator
G1Accumulator
G2Accumulator
Poly
tree
IncrementalMerkleTree
MerkleTree
trie
FusedMerklePatriciaForestry
FusedMerklePatriciaForestry
MerklePatriciaForestry
MerklePatriciaForestry
Neighbor
ProofStep
Branch
Fork
Leaf
Merkling
prelude
bls12_381
G1
G2
Scalar
Scalar
crypto.bls12_381
AssocMap
AssocMap
Eq
Eq
List
Cons
List
LogMacros
Math
Option
Some
Option
Ord
Ord
Order
Order
PairList
PairCons
PairList
Prelude
Rational
Rational
Show
Show
ShowByteString
ShowByteString
SortedMap
SortedMap
These
This
That
These
These
Varargs
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
DataParameterizedValidator
Delegatee
Stake
Vote
StakeVote
Delegatee
GovernanceAction
ParameterChange
HardForkInitiation
TreasuryWithdrawals
NoConfidence
UpdateCommittee
NewConstitution
GovernanceAction
GovernanceActionId
GovernanceActionId
ParameterizedValidator
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
Validator
Vote
Vote
Voter
CommitteeVoter
DRepVoter
StakePoolVoter
Voter
ScriptContext
ImpossibleLedgerStateError
OnchainError
RequirementError
txbuilder
Change
Datum
Datum
DatumInlined
DatumValue
DelayedDatumSpec
DelayedRedeemerSpec
DetachedRedeemer
EditableTransaction
ExpectedSigner
NativeScriptWitness
NativeScriptWitness
PubKeyWitness
RedeemerIndexingInternalError
RedeemerManagement
RedeemerPurpose
RedeemerPurpose
ForCert
ForMint
ForPropose
ForReward
ForSpend
ForVote
ResolvedTxInput
Pubkey
Script
ScriptSource
ScriptSource
NativeScriptAttached
NativeScriptValue
PlutusScriptAttached
PlutusScriptValue
SomeBuildError
SomeStepError
SomeRedeemerIndexingError
BalancingError
ValidationError
SpendWitness
StepError
StepError
AttachedScriptNotFound
ByronAddressesNotSupported
CollateralNotPubKey
DatumComputationFailed
DatumIsMissing
DatumValueForUtxoWithInlineDatum
DatumWitnessNotProvided
FeeAlreadySet
IncorrectDatumHash
IncorrectScriptHash
InputAlreadyExists
RedeemerComputationFailed
RedeemerIndexingError
ResolvedUtxosIncoherence
ScriptResolutionError
UnneededDeregisterWitness
UnneededProposalPolicyWitness
UnneededSpoVoteWitness
ValidityEndSlotAlreadySet
ValidityStartSlotAlreadySet
WrongCredentialType
WrongNetworkId
WrongOutputType
ThreeArgumentPlutusScriptWitness
ThreeArgumentPlutusScriptWitness
TransactionBuilder
Context
Context
Operation
CertificateOperation
Minting
Proposing
Voting
Withdraw
Operation
ResolvedUtxos
ResolvedUtxos
TransactionBuilderStep
TransactionBuilderStep
AddCollateral
Fee
IssueCertificate
Mint
ModifyAuxiliaryData
ReferenceOutput
RequireSignature
Send
SendWithDatumBuilder
SetCollateralReturn
Spend
SubmitProposal
SubmitVotingProcedure
ValidityEndSlot
ValidityStartSlot
WithdrawRewards
TransactionConversion
TransactionEditor
TransactionSigner
TransactionSigner
TwoArgumentPlutusScriptWitness
TwoArgumentPlutusScriptWitness
TxBalancingError
EvaluationFailed
Failed
BalanceDidNotConverge
InsufficientFunds
InsufficientCollateralForReturn
TxBuilder
TxBuilder
TxBuilderException
TxBuilderException
BalancingException
BuildStepException
InsufficientAdaException
InsufficientTokensException
LedgerValidationException
RedeemerIndexingException
Witness
WitnessKind
wallet
hd
Bip32Ed25519
ExtendedKey
Bip39
Bip39Wordlist
Cip1852
HdAccount
HdAccount
HdKeyPair
HdKeyPair
Account
BloxbeanAccount
BloxbeanAccount
BloxbeanKeyPair
ExtendedKeyPair
KeyPair
StandardKeyPair
compiler
sir
linking
SIRLinker
SIRLinker
LinkingDefState
Linked
SIRLinkedBinding
SIRLinkerOptions
SIRLinkerOptions
lowering
simple
BaseSimpleLowering
DataLowering
LetFloating
NodeInfo
TrackedVarInfo
VarDef
VarRef
ScottEncodingLowering
SumOfProductsLowering
typegens
BLS12_381_G1_SirTypeGenerator
BLS12_381_G2_SirTypeGenerator
BLS12_381_MLResultSirTypeGenerator
BuiltinArraySirTypeGenerator
BuiltinValueSirTypeGenerator
FunSirTypeGenerator
MapSirTypeGenerator
MapMatchLoweredValue
PrimitiveSirTypeGenerator
ProductCaseOneElementSirTypeGenerator
ProductCaseOneElementSirTypeGenerator
ArgProxyLoweredValue
WrappedArg
ProductCaseSirTypeGenerator
MatchPairDataLoweredValue
ProductCaseUplcOnlySirTypeGenerator
SIRTypeUplcBooleanGenerator
SIRTypeUplcByteStringGenerator
SIRTypeUplcDataGenerator
SIRTypeUplcIntegerGenerator
SIRTypeUplcStringGenerator
SirTypeUplcGenerator
SirTypeUplcGenerator
SumCaseSirTypeGenerator
PreparedCase
SumCaseUplcOnlySirTypeGenerator
SumDataListSirTypeGenerator
SumListCommonSirTypeGenerator
SumListCommonSirTypeGenerator
SumPairDataListSirTypeGenerator
TypeNothingSirTypeGenerator
TypeVarSirTypeGenerator
UnitSirTypeGenerator
ApplyLoweredValue
BaseRepresentationProxyLoweredValue
BuilinApply1LoweredVale
BuilinApply2LoweredVale
BuiltinApplyLoweredValue
BuiltinRefLoweredValue
CaseBooleanLoweredValue
CaseDataLoweredValue
CaseIntegerLoweredValue
CaseListLoweredValue
CasePairLoweredValue
ChooseListLoweredValue
ComplexLoweredValue
ConstantLoweredValue
DelayLoweredValue
DependendVariableLoweredValue
ErrorLoweredValue
ErrorRepresentation
ForceLoweredValue
IdentifiableLoweredValue
IfThenElseLoweredValue
InOutRepresentationPair
LambdaLoweredValue
LambdaRepresentation
LeafLoweredValue
LetNonRecLoweredValue
LetRecLoweredValue
LocalScope
LocalScope
LoweredValue
LoweredValue
Builder
PrettyPrintingContext
LoweredValueRepresentation
LoweredValueRepresentation
Lowering
LoweringContext
LoweringException
PrimitiveRepresentation
PrimitiveRepresentation
Constant
PackedData
ProductCaseClassRepresentation
ProductCaseClassRepresentation
ArrayData
OneElementWrapper
OneElementWrapper
PackedArrayAsList
PackedDataList
PackedDataMap
PairData
PairIntDataList
ProdDataConstr
ProdDataList
UplcConstr
ProxyLoweredValue
RepresentationProxyLoweredValue
RepresentationProxyLoweredValue
ScalusRuntime
ScopeBracketsLoweredValue
SirToUplcV3Lowering
SumCaseClassRepresentation
SumCaseClassRepresentation
DataConstr
DataData
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
Program
RemoveRecursivity
RemoveTraces
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
SIRToExpr
SIRType
SIRType
BLS12_381_G1_Element
BLS12_381_G2_Element
BLS12_381_MlResult
Boolean
BuiltinArray
BuiltinList
Cons
Nil
BuiltinPair
BuiltinValue
ByteString
CaclulateApplyTypeException
CalculateApplyTypeContext
CaseClass
Data
B
Constr
I
List
Map
FreeUnificator
Fun
Integer
List
Cons
PairList
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
Compile
Ignore
Options
Options
crypto
accumulator
BilinearAccumulatorProver
Setup
Setup
NTT
Poly
ed25519
Ed25519Math
Ed25519MathPlatform
Ed25519Signer
Ed25519Signer
ExtendedSigningKey
JvmEd25519Signer
Signature
SigningKey
VerificationKey
tree
FrontierMerkleTree
FrontierMerkleTree
IncrementalMerkleTree
IncrementalMerkleTree
MerkleTree
MerkleTree
SubtreeHashCache
SubtreeHashCache
trie
FusedMerklePatriciaForestry
FusedMerklePatriciaForestry
MerklePatriciaForestry
MerklePatriciaForestry
Node
Node
Branch
Empty
Leaf
Hmac
Keccak
Pbkdf2
Ripemd160
ledger.api
v1
v2
v3
prelude
crypto.bls12_381
serialization
cbor
Cbor
flat
ArrayByteFlat
DataFlatInstance
given_Flat_Data
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
testing
assertions
AssertionError
BudgetAssertionError
Expected
Success
Failure
Expected
MultiResultAssertions
ResultAssertions
dsl
EvalSubject
FromSIR
FromCompiled
FromTerm
FromProgram
EvalTestBuilder
EvalTestDsl
EvalTestResult
eval
EvalConfig
EvalConfig
Evaluator
MultiEvalResult
integration
BlockfrostTestContext
EmulatorTestContext
IntegrationTest
IntegrationTestContext
TestParty
YaciTestContext
kit
ArbitraryInstances
BaseValidatorTest
BaseValidatorTestJvm
EvalTestKit
Mock
Party
Party
ScalusTest
ScalusTest
TestUtil
yaci
YaciConfig
YaciContainer
YaciDevKit
ArbitraryDerivation
Fallback
NoFallback
Fallback
Benchmark
CheckFailure
CommandsState
ContractScalaCheckCommands
AdvanceSlotCommand
SubmitTxCommand
ContractScalaCheckCommands
ContractStepVariations
ImmutableEmulator
ImmutableEmulator
IntegrationTest
Scenario
Scenario
Branches
Done
FromStream
Leaf
ScenarioError
WaitFuture
futureToScenarioConversion
genToScenarioConversion
scenarioLogicMonad
ScenarioCheck
ScenarioExplorer
ScenarioState
ScenarioState
SourceLocation
StandardTxVariations
StepAction
StepAction
Submit
Wait
TxSamplingVariations
TxTemplate
TxVariations
TxVariations
Violation
uplc
builtin
bls12_381
G1Element
G1Element
G2Element
G2Element
MLResult
MLResult
internal
UniversalDataConversion
BitwiseLogicalOperations
BuiltinArray
BuiltinArray
BuiltinList
Cons
BuiltinList
BuiltinPair
BuiltinValue
BuiltinValue
Builtins
Builtins
ByteString
ByteString
ByteStringToInteger
Data
Data
B
Constr
I
List
Map
FromData
FromData
IntegerToByteString
JVMPlatformSpecific
JVMPlatformSpecific
PlatformSpecific
PlatformSpecific
ToData
ToData
uplcIntrinsic
eval
BaseConstantCostModel
BudgetSpender
BuiltinCostModel
BuiltinCostModel
BuiltinError
BuiltinException
BuiltinTermArgumentExpectedMachineError
BuiltinValueOps
CaseBoolBranchMissing
CaseDataBranchError
CaseIndexOutOfBounds
CaseListBranchError
CaseOnBuiltinError
CasePairBranchError
CaseUnitBranchMissing
CekMachine
CekMachineCosts
CekMachineCosts
CekValue
VCon
VDelay
VLamAbs
VBuiltin
VConstr
ConstCostingFun
ConstCostingFun
ConstantOrLinear
ConstantOrOneArgument
ConstantOrTwoArguments
CostModel
CostingFun
CostingInteger
CountingBudgetSpender
DefaultCostingFun
DeserializationError
DropListCostingFun
EvaluationFailure
ExBudget
ExBudgetCategory
Step
BuiltinApp
ExpModCostingFunction
ExpModIntegerCostingFun
FiveArguments
FiveArguments
ConstantCost
FourArguments
FourArguments
ConstantCost
LinearInU
IntegerToByteStringCostingFun
InvalidReturnValue
KnownTypeUnliftingError
Log
Logger
MachineError
MachineParams
MachineParams
MemoryUsage
MemoryUsage
MissingCaseBranch
NoBudgetSpender
NoLogger
NonConstrScrutinized
NonFunctionalApplicationMachineError
NonPolymorphicInstantiationMachineError
OneArgument
OneArgument
ConstantCost
LinearInX
QuadraticInX
OneVariableLinearFunction
OneVariableQuadraticFunction
OpenTermEvaluatedMachineError
OutOfExBudgetError
PlutusVM
PlutusVM
ReplicateByteCostingFun
RestrictingBudgetSpender
RestrictingBudgetSpenderWithScriptDump
Result
Success
Failure
Result
ShiftOrRotateByteStringCostingFun
SixArguments
SixArguments
ConstantCost
StackTraceMachineError
StepKind
SubtractedSizesLinearFunction
TallyingBudgetSpender
TallyingBudgetSpenderLogger
ThreeArguments
ThreeArguments
ConstantCost
ExpModCost
LinearInMaxYZ
LinearInX
LinearInY
LinearInYAndZ
LinearInZ
LiteralInYOrLinearInZ
QuadraticInZ
TwoArguments
TwoArguments
AddedSizes
ConstAboveDiagonal
ConstBelowDiagonal
ConstOffDiagonal
ConstantCost
LinearInX
LinearInXAndY
LinearInY
LinearOnDiagonal
MaxSize
MinSize
MultipliedSizes
QuadraticInXAndY
QuadraticInY
SubtractedSizes
WithInteractionInXAndY
TwoVariableLinearFunction
TwoVariableQuadraticFunction
TwoVariableWithInteractionFunction
UnexpectedBuiltinTermArgumentMachineError
UnknownBuiltin
ValueMaxDepthCostingFun
WriteBitsCostingFun
test
ArbitraryInstances
transform
CaseConstrApply
CaseConstrApply
EtaReduce
EtaReduce
ForcedBuiltinsExtractor
ForcedBuiltinsExtractor
Inliner
Inliner
NoopOptimizer
Optimizer
PartialEvaluator
StrictIf
StrictIf
TermAnalysis
V1V2Optimizer
V3Optimizer
BuiltinRuntime
BuiltinSemanticsVariant
BuiltinSemanticsVariant
CardanoBuiltins
CompiledPlutus
Constant
Constant
Array
BLS12_381_G1_Element
BLS12_381_G2_Element
BLS12_381_MlResult
Bool
BuiltinValue
ByteString
Data
Integer
LiftValue
List
Pair
String
Unit
given_LiftValue_BigInt
given_LiftValue_Boolean
given_LiftValue_ByteString
given_LiftValue_G1Element
given_LiftValue_G2Element
given_LiftValue_Int
given_LiftValue_Long
given_LiftValue_String
given_LiftValue_Unit
DeBruijn
DeBruijnedProgram
DeBruijnedProgram
given_Flat_DeBruijnedProgram
DebugScript
DebugScript
DefaultFun
DefaultFun
given_Flat_DefaultFun
DefaultFunOrdering
DefaultUni
DefaultUni
Apply
BLS12_381_G1_Element
BLS12_381_G2_Element
BLS12_381_MlResult
Bool
BuiltinValue
ByteString
Data
Integer
Lift
LiftedUni
ProtoArray
ProtoList
ProtoPair
String
Unit
given_Lift_Data
given_Lift_G1Element
given_Lift_G2Element
given_Lift_Int
given_Lift_Long
Delayed
Expr
ExprBuilder
Unlift
given_Unlift_BigInt
given_Unlift_ByteString
Meaning
NamedDeBruijn
PlutusParams
PlutusV1
PlutusV1
PlutusV1Params
PlutusV1Params
PlutusV2
PlutusV2
PlutusV2Params
PlutusV2Params
PlutusV3
PlutusV3
PlutusV3Params
PlutusV3Params
PlutusV4Params
Program
Program
given_Pretty_Program
ProgramFlatCodec
DecodeResult
Term
Var
LamAbs
Apply
Force
Delay
Const
Builtin
Error
Constr
Case
Term
given_Flat_Term
given_Pretty_Term
TermDSL
given_Conversion_Constant_Term
given_Conversion_DefaultFun_Term
TermSanitizer
TypeScheme
Type
App
Arrow
All
TVar
UplcAnnotation
UplcAnnotation
UplcCli
UplcEvalResult
Success
UplcFailure
TermParsingError
UplcParser
UplcParser
utils
BuildInfo
Hex
LowPriorityPrettyInstances
Macros
PlutusTextEnvelope
Pretty
Pretty
given_Pretty_BigInt
given_Pretty_Boolean
given_Pretty_ByteString
given_Pretty_Int
given_Pretty_Long
given_Pretty_String
ScalusSourcePos
ScalusSourcePos
Style
Utils
CompileDerivations
Compiler
ScalusDebug
docs
/
scalus
/
scalus.uplc
/
DefaultUni
/
given_Lift_G2Element
given_Lift_G2Element
scalus.uplc.DefaultUni.given_Lift_G2Element
object
given_Lift_G2Element
extends
Lift
[
G2Element
]
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
trait
Lift
[
G2Element
]
class
Object
trait
Matchable
class
Any
Self type
given_Lift_G2Element
.
type
Members list
Clear all
Value members
Concrete methods
def
defaultUni
:
DefaultUni
In this article
Attributes
Members list
Value members
Concrete methods