Struct PredefinedOpaques 

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

Implementations

impl PredefinedOpaques<'static>

pub fn ingredient(zalsa: &Zalsa) -> &IngredientImpl<PredefinedOpaques<'static>>

impl<'db> PredefinedOpaques<'db>

pub fn new_<Db_, T0>(db: &'db Db_, inner_: T0) -> PredefinedOpaques<'db>

where T0: Lookup<SmallVec<[(OpaqueTypeKey<DbInterner<'db>>, Ty<'db>); 2]>> + Hash, Db_: Database + ?Sized, SmallVec<[(OpaqueTypeKey<DbInterner<'db>>, Ty<'db>); 2]>: HashEqLike<T0>,

impl PredefinedOpaques<'_>

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

where SmallVec<[(OpaqueTypeKey<DbInterner<'db>>, Ty<'db>); 2]>: for<'db> Debug,

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

impl<'db> PredefinedOpaques<'db>

pub fn empty(interner: DbInterner<'db>) -> PredefinedOpaques<'db>

pub fn new_from_iter( interner: DbInterner<'db>, data: impl IntoIterator<Item = (OpaqueTypeKey<DbInterner<'db>>, Ty<'db>)>, ) -> PredefinedOpaques<'db>

pub fn inner(&self) -> &SmallVec<[(OpaqueTypeKey<DbInterner<'db>>, Ty<'db>); 2]>

Trait Implementations

impl<'db> Clone for PredefinedOpaques<'db>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for PredefinedOpaques<'db>

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

Formats the value using the given formatter.

impl<'db> Default for PredefinedOpaques<'db>

fn default() -> PredefinedOpaques<'db>

Returns the “default value” for a type.

impl<'db> Hash for PredefinedOpaques<'db>

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

where __H: Hasher,

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 PredefinedOpaques<'db>

type Item = (OpaqueTypeKey<DbInterner<'db>>, Ty<'db>)

The type of the elements being iterated over.

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

Which kind of iterator are we turning this into?

fn into_iter(self) -> <PredefinedOpaques<'db> as IntoIterator>::IntoIter

Creates an iterator from a value.

impl<'db> PartialEq for PredefinedOpaques<'db>

fn eq(&self, other: &PredefinedOpaques<'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> SliceLike for PredefinedOpaques<'db>

type Item = (OpaqueTypeKey<DbInterner<'db>>, Ty<'db>)

type IntoIter = <SmallVec<[(OpaqueTypeKey<DbInterner<'db>>, Ty<'db>); 2]> as IntoIterator>::IntoIter

fn iter(self) -> <PredefinedOpaques<'db> as SliceLike>::IntoIter

fn as_slice(&self) -> &[<PredefinedOpaques<'db> as SliceLike>::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 PredefinedOpaques<'db>

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

where F: FallibleTypeFolder<DbInterner<'db>>,

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

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

where F: TypeFolder<DbInterner<'db>>,

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

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

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

where V: TypeVisitor<DbInterner<'db>>,

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

impl<'db> Update for PredefinedOpaques<'db>

unsafe fn maybe_update( old_pointer: *mut PredefinedOpaques<'db>, new_value: PredefinedOpaques<'db>, ) -> bool

Returns

impl<'db> Copy for PredefinedOpaques<'db>

impl<'db> Eq for PredefinedOpaques<'db>

impl<'db> Send for PredefinedOpaques<'db>

impl<'db> StructuralPartialEq for PredefinedOpaques<'db>

impl<'db> Sync for PredefinedOpaques<'db>