Struct Binding 

pub struct Binding<S: Schema, M: ThingModel<Schema = S>, Mode: SelectionMode = Exact> { /* private fields */ }

One schema/model-branded Copy binding token allocated by a QuerySession. Copying preserves the binding identity; only a fresh session binding call creates a new occurrence.

Implementations

impl<S: Schema, M: ThingModel<Schema = S>, Mode: SelectionMode> Binding<S, M, Mode>

pub fn collect(self) -> Collected<S, Self>

where Self: Selectable<S>,

Select this binding as an owned collection per distinct page root, preserving match multiplicity by default.

impl<S: Schema, M: ThingModel<Schema = S>, Mode: SelectionMode> Binding<S, M, Mode>

pub fn field<Owner, V>( self, token: FieldToken<Owner, V>, ) -> BoundField<S, Owner, V>

where Owner: Model<Schema = S>, M: NominalUpcast<Owner>,

Resolve one generated owned field against this binding occurrence.

The declaring owner must be this binding’s model or a generated nominal ancestor; unrelated same-spelled owners fail to type-check, and the installed registry re-validates the admission at lowering.

impl<S: Schema, M: RelationModel<Schema = S> + ThingModel<Schema = S>, Mode: SelectionMode> Binding<S, M, Mode>

pub fn role<Owner, Players>( self, token: RoleToken<Owner, Players>, ) -> BoundRole<S, Owner, Players>

where Owner: RelationModel<Schema = S>, M: RoleTokenCompatible<Owner, Players>,

Resolve one active generated relation role against this relation binding occurrence. Only relation bindings expose roles; specialized-away ancestor tokens have no generated compatibility evidence.

Trait Implementations

impl<S: Schema, M: ThingModel<Schema = S>, Mode: SelectionMode> Clone for Binding<S, M, Mode>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Schema, M: ThingModel<Schema = S>, Mode: SelectionMode> Copy for Binding<S, M, Mode>

impl<S: Schema, M: ThingModel<Schema = S>, Mode: SelectionMode> Debug for Binding<S, M, Mode>

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

Formats the value using the given formatter.

impl<S: Schema, M: ThingModel<Schema = S>, Mode: SelectionMode> Eq for Binding<S, M, Mode>

impl<S: Schema, M: ThingModel<Schema = S>, Mode: SelectionMode> PartialEq for Binding<S, M, Mode>

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

Equality operator ==.

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

Inequality operator !=.

impl<S: Schema, M: ThingModel<Schema = S> + CompleteModel> Selectable<S> for Binding<S, M, Exact>

type Output = M

The materialized output type for one selected row.

impl<S: Schema, M: ThingModel<Schema = S> + SubtypeRootModel> Selectable<S> for Binding<S, M, Subtypes>

type Output = <M as SubtypeRootModel>::Subtypes

The materialized output type for one selected row.