Struct QuerySession 

pub struct QuerySession<'db, S: Schema> { /* private fields */ }

One isolated owner-branded query authoring session.

Every binding call allocates a fresh binding identity; bindings are lightweight Copy values valid only for the session that created them. Bindings from another session fail before I/O with cross_session_handle.

Implementations

impl<'db, S: Schema> QuerySession<'db, S>

pub fn close(&self)

Explicitly close this authoring session.

Closing is idempotent. Existing query lineages retain their immutable values but reject later composition and execution before provider I/O.

pub fn is_closed(&self) -> bool

Return whether this session was explicitly closed.

pub fn exact<M>(&mut self) -> Result<Binding<S, M, Exact>>

where M: ThingModel<Schema = S> + CompleteModel,

Allocate a fresh exact-match binding for one concrete complete generated model. Abstract models have no exact binding constructor.

pub fn subtypes<M>(&mut self) -> Result<Binding<S, M, Subtypes>>

where M: ThingModel<Schema = S> + SubtypeRootModel,

Allocate a fresh subtype-inclusive binding for one generated subtype root; results materialize as the generated leaf or closed family.

impl<'db, S: Schema> QuerySession<'db, S>

pub fn reachable<R, FromOwner, FromPlayers, ToOwner, ToPlayers, Source, SourceMode, Target, TargetMode>( &self, relation: TypeToken<R>, role_from: RoleToken<FromOwner, FromPlayers>, role_to: RoleToken<ToOwner, ToPlayers>, source: Binding<S, Source, SourceMode>, target: Binding<S, Target, TargetMode>, min_depth: u8, max_depth: u8, ) -> Result<Predicate<S>>

where R: RelationModel<Schema = S> + CompleteModel + RoleTokenCompatible<FromOwner, FromPlayers> + RoleTokenCompatible<ToOwner, ToPlayers>, FromOwner: RelationModel<Schema = S>, ToOwner: RelationModel<Schema = S>, FromPlayers: RolePlayerBinding<Source, SourceMode>, ToPlayers: RolePlayerBinding<Target, TargetMode>, Source: ThingModel<Schema = S>, SourceMode: SelectionMode, Target: ThingModel<Schema = S>, TargetMode: SelectionMode,

Require a bounded directed walk between two generated endpoint bindings through one exact generated relation.

Each hop follows role_from -> role_to. Bounds are inclusive and a zero-hop branch requires identical endpoint concepts. Generated role compatibility and player-union evidence reject inactive roles and invalid endpoint models at compile time; bounds, session ownership, and installed-schema compatibility are validated before provider I/O.

impl<'db, S: Schema> QuerySession<'db, S>

pub fn query<Shape: SelectedShape<S>>( &self, selection: Shape, ) -> Result<Query<'_, 'db, S, Shape>>

Begin one persistent query lineage from a singular selected shape.

Trait Implementations

impl<S: Schema> Debug for QuerySession<'_, S>

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

Formats the value using the given formatter.