Struct StampContract 

#[non_exhaustive]
pub struct StampContract {
    pub success: Vec<String>,
    pub error: Vec<String>,
}

What a mutation’s function may stamp in its entity_type column (rulings AA 1, AG 2).

The one derivation the runner’s contract check reads, and the CLI’s stamp lint (fraiseql compile --database, fraiseql doctor --against-db) with it, so the two cannot drift (ruling AJ 1).

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

success: Vec<String>

The types a success can be served as: for a cascade mutation, its payload’s entity type (else every CascadeNode implementor); otherwise the non-error members of the returned union, the implementors of the returned interface, or the returned type.

error: Vec<String>

The types a failure can be served as: the error members of the returned union, the error implementors of the returned interface, or — for an object return, where nothing narrower is declared — every error type of the schema.

Implementations

impl StampContract

pub fn of(schema: &CompiledSchema, mutation: &MutationDefinition) -> Self

The contract of mutation in schema.

Trait Implementations

impl Clone for StampContract

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StampContract

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

Formats the value using the given formatter.

impl Eq for StampContract

impl PartialEq for StampContract

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for StampContract