docs
API
Generated with
docs/scalus/scalus.cardano/scalus.cardano.ledger/scalus.cardano.ledger.rules

scalus.cardano.ledger.rules

package scalus.cardano.ledger.rules

Members list

Type members

Classlikes

object AddOutputsToUtxoMutator extends Mutator

Attributes

Supertypes
trait Mutator
trait STS
class Object
trait Matchable
class Any
Self type
object AllInputsMustBeInUtxoValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object CardanoMutator extends Mutator

Attributes

Supertypes
trait Mutator
trait STS
class Object
trait Matchable
class Any
Self type
class Context(var fee: Coin = ..., val env: UtxoEnv = ..., val slotConfig: SlotConfig = ...)

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
object Context

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Context.type
object EmptyInputsValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object ExUnitsTooBigValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object ExactSetOfRedeemersValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object FeeMutator extends Mutator

Attributes

Supertypes
trait Mutator
trait STS
class Object
trait Matchable
class Any
Self type
FeeMutator.type
object FeesOkValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object InputsAndReferenceInputsDisjointValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object MetadataValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object MissingKeyHashesValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object MissingOrExtraScriptHashesValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object MissingRequiredDatumsValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object NativeScriptsValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object OutputBootAddrAttrsSizeValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object OutputsHaveNotEnoughCoinsValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object OutputsHaveTooBigValueStorageSizeValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object OutsideForecastValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object OutsideValidityIntervalValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object PlutusScriptsTransactionMutator extends Mutator

Attributes

Supertypes
trait Mutator
trait STS
class Object
trait Matchable
class Any
Self type
object ProtocolParamsViewHashesMatchValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object RemoveInputsFromUtxoMutator extends Mutator

Attributes

Supertypes
trait Mutator
trait STS
class Object
trait Matchable
class Any
Self type
sealed trait STS

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Mutator
object FeeMutator
trait Validator
Show all
object STS

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
STS.type
object ScriptsWellFormedValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
case class State(utxos: Utxos = ..., certState: CertState = ..., deposited: Coin = ..., fees: Coin = ..., govState: GovState = ..., stakeDistribution: StakeMap = ..., donation: Coin = ...)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object TooManyCollateralInputsValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object TransactionSizeValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
case class UtxoEnv(slot: SlotNo, params: ProtocolParams, certState: CertState, network: Network)

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
object UtxoEnv

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
UtxoEnv.type
object ValueNotConservedUTxOValidator extends Validator

This is Shelley.validateValueNotConservedUTxO

This is Shelley.validateValueNotConservedUTxO

consumed pp utxo txb = produced pp poolParams txb

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object VerifiedSignaturesInWitnessesValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object WrongNetworkInTxBodyValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object WrongNetworkValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
object WrongNetworkWithdrawalValidator extends Validator

Attributes

Supertypes
trait Validator
trait STS
class Object
trait Matchable
class Any
Self type
Generated with