Struct QueryClient 

pub struct QueryClient { /* private fields */ }

Resource client for query operations.

Unifiable / by-sort / OSF-search / validate-term / validated-unify all use the tagged ValueDto format (the term CRUD format), not the untagged inference format.

Implementations

impl QueryClient

pub async fn find_unifiable( &self, request: UnifiableQueryRequest, options: Option<&RequestOptions>, ) -> Result<Vec<TermDto>, Error>

Find terms that unify with a given pattern.

pub async fn find_by_sort( &self, request: FindBySortRequest, options: Option<&RequestOptions>, ) -> Result<Vec<TermDto>, Error>

Find terms by sort ID or sort name, with optional filter.

pub async fn osf_search( &self, request: OsfSearchRequest, options: Option<&RequestOptions>, ) -> Result<OsfSearchResponse, Error>

Execute an order-sorted feature structured search.

pub async fn validate_term( &self, request: ValidateTermRequest, options: Option<&RequestOptions>, ) -> Result<ValidatedTermResponse, Error>

Validate a term against its sort’s type witnesses.

pub async fn validated_unify( &self, request: ValidatedUnifyRequest, options: Option<&RequestOptions>, ) -> Result<ValidatedUnifyResponse, Error>

Perform validated unification of two terms.

pub async fn nl_query( &self, request: NlQueryRequest, options: Option<&RequestOptions>, ) -> Result<NlQueryResponse, Error>

Execute a natural language query.

pub async fn search( &self, request: OsfSearchRequest, options: Option<&RequestOptions>, ) -> Result<OsfSearchResponse, Error>

Alias for QueryClient::osf_search.

pub async fn find_matching( &self, request: UnifiableQueryRequest, options: Option<&RequestOptions>, ) -> Result<Vec<TermDto>, Error>

Alias for QueryClient::find_unifiable.

Trait Implementations

impl Clone for QueryClient

fn clone(&self) -> QueryClient

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for QueryClient

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

Formats the value using the given formatter.