Struct chalk_integration::db::ChalkDatabase

pub struct ChalkDatabase {
    storage: Storage<Self>,
}

Fields

storage: Storage<Self>

Implementations

impl ChalkDatabase

pub fn with(program_text: &str, solver_choice: SolverChoice) -> Self

pub fn with_program<R>(&self, op: impl FnOnce(&Program) -> R) -> R

pub fn parse_and_lower_goal( &self, text: &str ) -> Result<Goal<ChalkIr>, ChalkError>

pub fn solve( &self, goal: &UCanonical<InEnvironment<Goal<ChalkIr>>> ) -> Option<Solution<ChalkIr>>

pub fn solve_multiple( &self, goal: &UCanonical<InEnvironment<Goal<ChalkIr>>>, f: &mut dyn FnMut(SubstitutionResult<Canonical<ConstrainedSubst<ChalkIr>>>, bool) -> bool ) -> bool

Solves a given goal, producing the solution. This will do only as much work towards goal as it has to (and that works is cached for future attempts). Calls provided function f to iterate over multiple solutions until the function return false.

Trait Implementations

impl Database for ChalkDatabase

fn sweep_all(&self, strategy: SweepStrategy)

Iterates through all query storage and removes any values that have not been used since the last revision was created. The intended use-cycle is that you first execute all of your “main” queries; this will ensure that all query values they consume are marked as used. You then invoke this method to remove other values that were not needed for your main query results.

fn salsa_event(&self, event_fn: Event)

This function is invoked at key points in the salsa runtime. It permits the database to be customized and to inject logging or other custom behavior.

fn on_propagated_panic(&self) -> !

This function is invoked when a dependent query is being computed by the other thread, and that thread panics.

fn salsa_runtime(&self) -> &Runtime

Gives access to the underlying salsa runtime.

fn salsa_runtime_mut(&mut self) -> &mut Runtime

Gives access to the underlying salsa runtime.

impl DatabaseOps for ChalkDatabase

fn ops_database(&self) -> &dyn Database

Upcast this type to a dyn Database.

fn ops_salsa_runtime(&self) -> &Runtime

Gives access to the underlying salsa runtime.

fn ops_salsa_runtime_mut(&mut self) -> &mut Runtime

Gives access to the underlying salsa runtime.

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

Formats a database key index in a human readable fashion.

fn maybe_changed_since( &self, input: DatabaseKeyIndex, revision: Revision ) -> bool

True if the computed value for input may have changed since revision.

fn for_each_query(&self, op: &mut dyn FnMut(&dyn QueryStorageMassOps))

Executes the callback for each kind of query.

impl DatabaseStorageTypes for ChalkDatabase

type DatabaseStorage = __SalsaDatabaseStorage

Defines the “storage type”, where all the query data is kept. This type is defined by the database_storage macro.

impl Debug for ChalkDatabase

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

Formats the value using the given formatter.

impl Default for ChalkDatabase

fn default() -> ChalkDatabase

Returns the “default value” for a type.

impl HasQueryGroup<Lowering> for ChalkDatabase

fn group_storage(&self) -> &<Lowering as QueryGroup>::GroupStorage

Access the group storage struct from the database.

impl RustIrDatabase<ChalkIr> for ChalkDatabase

fn custom_clauses(&self) -> Vec<ProgramClause<ChalkIr>>

Returns any “custom program clauses” that do not derive from Rust IR. Used only in testing the underlying solver.

fn associated_ty_data( &self, ty: AssocTypeId<ChalkIr> ) -> Arc<AssociatedTyDatum<ChalkIr>>

Returns the datum for the associated type with the given id.

fn trait_datum(&self, id: TraitId<ChalkIr>) -> Arc<TraitDatum<ChalkIr>>

Returns the datum for the definition with the given id.

fn impl_datum(&self, id: ImplId<ChalkIr>) -> Arc<ImplDatum<ChalkIr>>

Returns the datum for the impl with the given id.

fn associated_ty_value( &self, id: AssociatedTyValueId<ChalkIr> ) -> Arc<AssociatedTyValue<ChalkIr>>

Returns the AssociatedTyValue with the given id.

fn opaque_ty_data(&self, id: OpaqueTyId<ChalkIr>) -> Arc<OpaqueTyDatum<ChalkIr>>

Returns the OpaqueTyDatum with the given id.

fn hidden_opaque_type(&self, id: OpaqueTyId<ChalkIr>) -> Ty<ChalkIr>

Returns the “hidden type” corresponding with the opaque type.

fn adt_datum(&self, id: AdtId<ChalkIr>) -> Arc<AdtDatum<ChalkIr>>

Returns the datum for the ADT with the given id.

fn coroutine_datum( &self, id: CoroutineId<ChalkIr> ) -> Arc<CoroutineDatum<ChalkIr>>

Returns the coroutine datum for the coroutine with the given id.

fn coroutine_witness_datum( &self, id: CoroutineId<ChalkIr> ) -> Arc<CoroutineWitnessDatum<ChalkIr>>

Returns the coroutine witness datum for the coroutine with the given id.

fn adt_repr(&self, id: AdtId<ChalkIr>) -> Arc<AdtRepr<ChalkIr>>

Returns the representation for the ADT definition with the given id.

fn adt_size_align(&self, id: AdtId<ChalkIr>) -> Arc<AdtSizeAlign>

Returns the siza and alignment of the ADT definition with the given id.

fn fn_def_datum(&self, id: FnDefId<ChalkIr>) -> Arc<FnDefDatum<ChalkIr>>

Returns the datum for the fn definition with the given id.

fn impls_for_trait( &self, trait_id: TraitId<ChalkIr>, generic_args: &[GenericArg<ChalkIr>], binders: &CanonicalVarKinds<ChalkIr> ) -> Vec<ImplId<ChalkIr>>

Returns a list of potentially relevant impls for a given trait-id; we also supply the type parameters that we are trying to match (if known: these parameters may contain inference variables, for example). The implementor is permitted to return any superset of the applicable impls; chalk will narrow down the list to only those that truly apply. The parameters are provided as a “hint” to help the implementor do less work, but can be completely ignored if desired.

fn local_impls_to_coherence_check( &self, trait_id: TraitId<ChalkIr> ) -> Vec<ImplId<ChalkIr>>

Returns the impls that require coherence checking. This is not the full set of impls that exist:

fn impl_provided_for( &self, auto_trait_id: TraitId<ChalkIr>, ty: &TyKind<ChalkIr> ) -> bool

Returns true if there is an explicit impl of the auto trait auto_trait_id for the type ty. This is part of the auto trait handling – if there is no explicit impl given by the user for ty, then we provide default impls (otherwise, we rely on the impls the user gave).

fn well_known_trait_id( &self, well_known_trait: WellKnownTrait ) -> Option<TraitId<ChalkIr>>

Returns id of a trait lang item, if found

fn program_clauses_for_env( &self, environment: &Environment<ChalkIr> ) -> ProgramClauses<ChalkIr>

Calculates program clauses from an env. This is intended to call the program_clauses_for_env function and then possibly cache the clauses.

fn interner(&self) -> ChalkIr

fn is_object_safe(&self, trait_id: TraitId<ChalkIr>) -> bool

Check if a trait is object safe

fn closure_inputs_and_output( &self, closure_id: ClosureId<ChalkIr>, substs: &Substitution<ChalkIr> ) -> Binders<FnDefInputsAndOutputDatum<ChalkIr>>

Gets the inputs and output for a given closure id and substitution. We pass both the ClosureId and it’s Substituion to give implementors the freedom to store associated data in the substitution (like rustc) or separately (like chalk-integration).

fn closure_kind( &self, closure_id: ClosureId<ChalkIr>, substs: &Substitution<ChalkIr> ) -> ClosureKind

Gets the ClosureKind for a given closure and substitution.

fn closure_upvars( &self, closure_id: ClosureId<ChalkIr>, substs: &Substitution<ChalkIr> ) -> Binders<Ty<ChalkIr>>

Gets the upvars as a Ty for a given closure id and substitution. There are no restrictions on the type of upvars.

fn closure_fn_substitution( &self, closure_id: ClosureId<ChalkIr>, substs: &Substitution<ChalkIr> ) -> Substitution<ChalkIr>

Gets the substitution for the closure when used as a function. For example, for the following (not-quite-)rust code:

fn unification_database(&self) -> &dyn UnificationDatabase<ChalkIr>

fn trait_name(&self, trait_id: TraitId<ChalkIr>) -> String

Retrieves a trait’s original name. No uniqueness guarantees, but must a valid Rust identifier.

fn adt_name(&self, struct_id: AdtId<ChalkIr>) -> String

Retrieves a struct’s original name. No uniqueness guarantees, but must a valid Rust identifier.

fn assoc_type_name(&self, assoc_ty_id: AssocTypeId<ChalkIr>) -> String

Retrieves the name of an associated type. No uniqueness guarantees, but must a valid Rust identifier.

fn opaque_type_name(&self, opaque_ty_id: OpaqueTyId<ChalkIr>) -> String

Retrieves the name of an opaque type. No uniqueness guarantees, but must a valid Rust identifier.

fn fn_def_name(&self, fn_def_id: FnDefId<ChalkIr>) -> String

Retrieves the name of a function definition. No uniqueness guarantees, but must a valid Rust identifier.

fn discriminant_type(&self, ty: Ty<ChalkIr>) -> Ty<ChalkIr>

impl UnificationDatabase<ChalkIr> for ChalkDatabase

fn fn_def_variance(&self, fn_def_id: FnDefId<ChalkIr>) -> Variances<ChalkIr>

Gets the variances for the substitution of a fn def

fn adt_variance(&self, adt_id: AdtId<ChalkIr>) -> Variances<ChalkIr>

Gets the variances for the substitution of a adt