Struct Clauses

pub struct Clauses<'db>(/* private fields */);

Implementations

impl Clauses<'static>

pub fn ingredient<Db>(db: &Db) -> &IngredientImpl<Self>

where Db: ?Sized + Database,

impl<'db> Clauses<'db>

pub fn new_<Db_, T0: Lookup<InternedClausesWrapper<'db>> + Hash>( db: &'db Db_, inner_: T0, ) -> Self

where Db_: ?Sized + Database, InternedClausesWrapper<'db>: HashEqLike<T0>,

pub fn default_debug_fmt(this: Self, f: &mut Formatter<'_>) -> Result

Default debug formatting for this struct (may be useful if you define your own Debug impl)

impl<'db> Clauses<'db>

pub fn new_from_iter( interner: DbInterner<'db>, data: impl IntoIterator<Item = Clause<'db>>, ) -> Self

pub fn inner(&self) -> &InternedClausesWrapper<'db>

Trait Implementations

impl<'db> AsId for Clauses<'db>

fn as_id(&self) -> Id

impl<'db> Clone for Clauses<'db>

fn clone(&self) -> Clauses<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Configuration for Clauses<'static>

const LOCATION: Location

const DEBUG_NAME: &'static str = "Clauses"

type Fields<'a> = (InternedClausesWrapper<'a>,)

The fields of the struct being interned.

type Struct<'db> = Clauses<'db>

The end user struct

const REVISIONS: NonZero<usize> = _

impl<'db> Debug for Clauses<'db>

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

Formats the value using the given formatter.

impl<'db> Default for Clauses<'db>

fn default() -> Self

Returns the “default value” for a type.

impl<'db> Flags for Clauses<'db>

fn flags(&self) -> TypeFlags

fn outer_exclusive_binder(&self) -> DebruijnIndex

impl<'db> FromId for Clauses<'db>

fn from_id(id: Id) -> Self

impl<'db> Hash for Clauses<'db>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'db> IntoIterator for Clauses<'db>

type Item = Clause<'db>

The type of the elements being iterated over.

type IntoIter = <Clauses<'db> as SliceLike>::IntoIter

Which kind of iterator are we turning this into?

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value.

impl<'db> PartialEq for Clauses<'db>

fn eq(&self, other: &Clauses<'db>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'db> SalsaStructInDb for Clauses<'db>

type MemoIngredientMap = MemoIngredientSingletonIndex

fn lookup_or_create_ingredient_index(aux: &Zalsa) -> IngredientIndices

Lookup or create ingredient indices.

fn cast(id: Id, type_id: TypeId) -> Option<Self>

Plumbing to support nested salsa supertypes.

impl<'db> SliceLike for Clauses<'db>

type Item = Clause<'db>

type IntoIter = <SmallVec<[Clause<'db>; 2]> as IntoIterator>::IntoIter

fn iter(self) -> Self::IntoIter

fn as_slice(&self) -> &[Self::Item]

fn get(self, idx: usize) -> Option<Self::Item>

fn len(self) -> usize

fn is_empty(self) -> bool

fn contains(self, t: &Self::Item) -> bool

where Self::Item: PartialEq,

fn to_vec(self) -> Vec<Self::Item>

fn last(self) -> Option<Self::Item>

fn split_last(&self) -> Option<(&Self::Item, &[Self::Item])>

impl<'db> TypeFoldable<DbInterner<'db>> for Clauses<'db>

fn try_fold_with<F: FallibleTypeFolder<DbInterner<'db>>>( self, folder: &mut F, ) -> Result<Self, F::Error>

The entry point for folding. To fold a value t with a folder f call: t.try_fold_with(f).

fn fold_with<F: TypeFolder<DbInterner<'db>>>(self, folder: &mut F) -> Self

The entry point for folding. To fold a value t with a folder f call: t.fold_with(f).

impl<'db> TypeSuperFoldable<DbInterner<'db>> for Clauses<'db>

fn try_super_fold_with<F: FallibleTypeFolder<DbInterner<'db>>>( self, folder: &mut F, ) -> Result<Self, F::Error>

Provides a default fold for a recursive type of interest. This should only be called within TypeFolder methods, when a non-custom traversal is desired for the value of the type of interest passed to that method. For example, in MyFolder::try_fold_ty(ty), it is valid to call ty.try_super_fold_with(self), but any other folding should be done with xyz.try_fold_with(self).

fn super_fold_with<F: TypeFolder<DbInterner<'db>>>(self, folder: &mut F) -> Self

A convenient alternative to try_super_fold_with for use with infallible folders. Do not override this method, to ensure coherence with try_super_fold_with.

impl<'db> TypeSuperVisitable<DbInterner<'db>> for Clauses<'db>

fn super_visit_with<V: TypeVisitor<DbInterner<'db>>>( &self, visitor: &mut V, ) -> V::Result

Provides a default visit for a recursive type of interest. This should only be called within TypeVisitor methods, when a non-custom traversal is desired for the value of the type of interest passed to that method. For example, in MyVisitor::visit_ty(ty), it is valid to call ty.super_visit_with(self), but any other visiting should be done with xyz.visit_with(self).

impl<'db> TypeVisitable<DbInterner<'db>> for Clauses<'db>

fn visit_with<V: TypeVisitor<DbInterner<'db>>>( &self, visitor: &mut V, ) -> V::Result

The entry point for visiting. To visit a value t with a visitor v call: t.visit_with(v).

impl<'db> Update for Clauses<'db>

unsafe fn maybe_update(old_pointer: *mut Self, new_value: Self) -> bool

Returns

impl<'db> Clauses<DbInterner<'db>> for Clauses<'db>

impl<'db> Copy for Clauses<'db>

impl<'db> Eq for Clauses<'db>

impl<'db> Send for Clauses<'db>

impl<'db> StructuralPartialEq for Clauses<'db>

impl<'db> Sync for Clauses<'db>