Enum tuxedo_parachain_runtime::InnerConstraintChecker

pub enum InnerConstraintChecker {
    Money(MoneyConstraintChecker<0>),
    FreeKittyConstraintChecker(FreeKittyConstraintChecker),
    AmoebaMitosis(AmoebaMitosis),
    AmoebaDeath(AmoebaDeath),
    AmoebaCreation(AmoebaCreation),
    PoeClaim(PoeClaim<Runtime>),
    PoeRevoke(PoeRevoke),
    PoeDispute(PoeDispute),
    SetTimestamp(InherentAdapter<SetTimestamp<Runtime>>),
    RuntimeUpgrade(RuntimeUpgrade),
}

A constraint checker is a piece of logic that can be used to check a transaction. For any given Tuxedo runtime there is a finite set of such constraint checkers. For example, this may check that input token values exceed output token values.

Variants

Money(MoneyConstraintChecker<0>)

Checks monetary transactions in a basic fungible cryptocurrency

FreeKittyConstraintChecker(FreeKittyConstraintChecker)

Checks Free Kitty transactions

AmoebaMitosis(AmoebaMitosis)

Checks that an amoeba can split into two new amoebas

AmoebaDeath(AmoebaDeath)

Checks that a single amoeba is simply removed from the state

AmoebaCreation(AmoebaCreation)

Checks that a single amoeba is simply created from the void… and it is good

PoeClaim(PoeClaim<Runtime>)

Checks that new valid proofs of existence are claimed

PoeRevoke(PoeRevoke)

Checks that proofs of existence are revoked.

PoeDispute(PoeDispute)

Checks that one winning claim came earlier than all the other claims, and thus the losing claims can be removed from storage.

SetTimestamp(InherentAdapter<SetTimestamp<Runtime>>)

Set the block’s timestamp via an inherent extrinsic.

RuntimeUpgrade(RuntimeUpgrade)

Upgrade the Wasm Runtime

Trait Implementations

impl Clone for OuterConstraintChecker

fn clone(&self) -> OuterConstraintChecker

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl ConstraintChecker for OuterConstraintChecker

type Error = OuterConstraintCheckerError

The error type that this constraint checker may return

fn check( &self, inputs: &[DynamicallyTypedData], evicted_inputs: &[DynamicallyTypedData], peeks: &[DynamicallyTypedData], outputs: &[DynamicallyTypedData] ) -> Result<u64, <OuterConstraintChecker as ConstraintChecker>::Error>

The on chain logic that makes the final check for whether a transaction is valid.

fn is_inherent(&self) -> bool

Tells whether this extrinsic is an inherent or not. If you return true here, you must provide the correct inherent hooks above.

fn create_inherents<V>( authoring_inherent_data: &InherentData, previous_inherents: Vec<(Transaction<V, OuterConstraintChecker>, H256)> ) -> Vec<Transaction<V, OuterConstraintChecker>>

where V: Verifier,

Create the inherent extrinsics to insert into a block that is being authored locally. The inherent data is supplied by the authoring node.

fn check_inherents<V>( importing_inherent_data: &InherentData, inherents: Vec<Transaction<V, OuterConstraintChecker>>, result: &mut CheckInherentsResult )

where V: Verifier,

Perform off-chain pre-execution checks on the inherents. The inherent data is supplied by the importing node. The inherent data available here is not necessarily the same as what is available at authoring time.

fn genesis_transactions<V>() -> Vec<Transaction<V, OuterConstraintChecker>>

where V: Verifier,

Return the genesis transactions that are required for the inherents.

impl Debug for OuterConstraintChecker

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Decode for OuterConstraintChecker

fn decode<__CodecInputEdqy>( __codec_input_edqy: &mut __CodecInputEdqy ) -> Result<OuterConstraintChecker, Error>

where __CodecInputEdqy: Input,

Attempt to deserialise the value from input.

fn decode_into<I>( input: &mut I, dst: &mut MaybeUninit<Self> ) -> Result<DecodeFinished, Error>

where I: Input,

Attempt to deserialize the value from input into a pre-allocated piece of memory.

fn skip<I>(input: &mut I) -> Result<(), Error>

where I: Input,

Attempt to skip the encoded value from input.

fn encoded_fixed_size() -> Option<usize>

Returns the fixed encoded size of the type.

impl<'de> Deserialize<'de> for OuterConstraintChecker

fn deserialize<__D>( __deserializer: __D ) -> Result<OuterConstraintChecker, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Encode for OuterConstraintChecker

fn size_hint(&self) -> usize

If possible give a hint of expected size of the encoding.

fn encode_to<__CodecOutputEdqy>( &self, __codec_dest_edqy: &mut __CodecOutputEdqy )

where __CodecOutputEdqy: Output + ?Sized,

Convert self to a slice and append it to the destination.

fn encode(&self) -> Vec<u8>

Convert self to an owned vector.

fn using_encoded<R, F>(&self, f: F) -> R

where F: FnOnce(&[u8]) -> R,

Convert self to a slice and then invoke the given closure with it.

fn encoded_size(&self) -> usize

Calculates the encoded size.

impl From<AmoebaCreation> for OuterConstraintChecker

fn from(b: AmoebaCreation) -> OuterConstraintChecker

Converts to this type from the input type.

impl From<AmoebaDeath> for OuterConstraintChecker

fn from(b: AmoebaDeath) -> OuterConstraintChecker

Converts to this type from the input type.

impl From<AmoebaMitosis> for OuterConstraintChecker

fn from(b: AmoebaMitosis) -> OuterConstraintChecker

Converts to this type from the input type.

impl From<FreeKittyConstraintChecker> for OuterConstraintChecker

fn from(b: FreeKittyConstraintChecker) -> OuterConstraintChecker

Converts to this type from the input type.

impl From<InherentAdapter<SetTimestamp<Runtime>>> for OuterConstraintChecker

fn from(b: InherentAdapter<SetTimestamp<Runtime>>) -> OuterConstraintChecker

Converts to this type from the input type.

impl From<MoneyConstraintChecker<0>> for OuterConstraintChecker

fn from(b: MoneyConstraintChecker<0>) -> OuterConstraintChecker

Converts to this type from the input type.

impl From<OuterConstraintChecker> for ParachainConstraintChecker

fn from(b: InnerConstraintChecker) -> Self

Converts to this type from the input type.

impl From<ParachainConstraintChecker> for InnerConstraintChecker

fn from(a: ParachainConstraintChecker) -> Self

Converts to this type from the input type.

impl From<PoeClaim<Runtime>> for OuterConstraintChecker

fn from(b: PoeClaim<Runtime>) -> OuterConstraintChecker

Converts to this type from the input type.

impl From<PoeDispute> for OuterConstraintChecker

fn from(b: PoeDispute) -> OuterConstraintChecker

Converts to this type from the input type.

impl From<PoeRevoke> for OuterConstraintChecker

fn from(b: PoeRevoke) -> OuterConstraintChecker

Converts to this type from the input type.

impl From<RuntimeUpgrade> for OuterConstraintChecker

fn from(b: RuntimeUpgrade) -> OuterConstraintChecker

Converts to this type from the input type.

impl PartialEq for OuterConstraintChecker

fn eq(&self, other: &OuterConstraintChecker) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for OuterConstraintChecker

fn serialize<__S>( &self, __serializer: __S ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TypeInfo for OuterConstraintChecker

type Identity = OuterConstraintChecker

The type identifying for which type info is provided.

fn type_info() -> Type

Returns the static type identifier for Self.

impl EncodeLike for OuterConstraintChecker

impl Eq for OuterConstraintChecker

impl StructuralPartialEq for OuterConstraintChecker