pub enum BuiltinFunId {
BoxNew,
ArrayToSliceShared,
ArrayToSliceMut,
ArrayRepeat,
Index(BuiltinIndexOp),
PtrFromParts(RefKind),
}Expand description
An built-in function identifier, identifying a function coming from a standard library.
Variants§
BoxNew
alloc::boxed::Box::new
Cast an array as a slice.
Converted from UnOp::ArrayToSlice
ArrayToSliceMut
Cast an array as a slice.
Converted from UnOp::ArrayToSlice
ArrayRepeat
repeat(n, x) returns an array where x has been replicated n times.
We introduce this when desugaring the ArrayRepeat rvalue.
Index(BuiltinIndexOp)
Converted from indexing ProjectionElems. The signature depends on the parameters. It
could look like:
fn ArrayIndexShared<T,N>(&[T;N], usize) -> &Tfn SliceIndexShared<T>(&[T], usize) -> &Tfn ArraySubSliceShared<T,N>(&[T;N], usize, usize) -> &[T]fn SliceSubSliceMut<T>(&mut [T], usize, usize) -> &mut [T]- etc
PtrFromParts(RefKind)
Build a raw pointer, from a data pointer and metadata. The metadata can be unit, if building a thin pointer.
Converted from AggregateKind::RawPtr
Implementations§
Source§impl BuiltinFunId
impl BuiltinFunId
pub fn is_box_new(&self) -> bool
pub fn is_array_to_slice_mut(&self) -> bool
pub fn is_array_repeat(&self) -> bool
pub fn is_index(&self) -> bool
pub fn is_ptr_from_parts(&self) -> bool
Source§impl BuiltinFunId
impl BuiltinFunId
pub fn as_box_new(&self) -> Option<()>
pub fn as_array_to_slice_mut(&self) -> Option<()>
pub fn as_array_repeat(&self) -> Option<()>
pub fn as_index(&self) -> Option<&BuiltinIndexOp>
pub fn as_ptr_from_parts(&self) -> Option<&RefKind>
Source§impl BuiltinFunId
impl BuiltinFunId
pub fn as_box_new_mut(&mut self) -> Option<()>
pub fn as_array_to_slice_mut_mut(&mut self) -> Option<()>
pub fn as_array_repeat_mut(&mut self) -> Option<()>
pub fn as_index_mut(&mut self) -> Option<&mut BuiltinIndexOp>
pub fn as_ptr_from_parts_mut(&mut self) -> Option<&mut RefKind>
Source§impl BuiltinFunId
impl BuiltinFunId
pub fn variant_name(&self) -> &'static str
Trait Implementations§
Source§impl AstVisitable for BuiltinFunId
impl AstVisitable for BuiltinFunId
Source§fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>
fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>
Recursively visit this type with the provided visitor. This calls the visitor’s
visit_$any
method if it exists, otherwise visit_inner.Source§fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>
fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>
Recursively visit this type with the provided visitor. This calls the visitor’s
visit_$any
method if it exists, otherwise visit_inner.Source§fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))
fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))
Visit all occurrences of that type inside
self, in pre-order traversal.Source§fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))
fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))
Visit all occurrences of that type inside
self, in pre-order traversal.Source§impl Clone for BuiltinFunId
impl Clone for BuiltinFunId
Source§fn clone(&self) -> BuiltinFunId
fn clone(&self) -> BuiltinFunId
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for BuiltinFunId
impl Debug for BuiltinFunId
Source§impl<'de> Deserialize<'de> for BuiltinFunId
impl<'de> Deserialize<'de> for BuiltinFunId
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl Display for BuiltinFunId
impl Display for BuiltinFunId
Source§impl<'s, V> Drive<'s, V> for BuiltinFunId
impl<'s, V> Drive<'s, V> for BuiltinFunId
Source§fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>
fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>
Call
v.visit() on the immediate contents of self.Source§impl<'s, V> DriveMut<'s, V> for BuiltinFunId
impl<'s, V> DriveMut<'s, V> for BuiltinFunId
Source§fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>
fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>
Call
v.visit() on the immediate contents of self.Source§impl From<BuiltinFunId> for FunId
impl From<BuiltinFunId> for FunId
Source§fn from(id: BuiltinFunId) -> Self
fn from(id: BuiltinFunId) -> Self
Converts to this type from the input type.
Source§impl Hash for BuiltinFunId
impl Hash for BuiltinFunId
Source§impl PartialEq for BuiltinFunId
impl PartialEq for BuiltinFunId
Source§impl Serialize for BuiltinFunId
impl Serialize for BuiltinFunId
impl Copy for BuiltinFunId
impl Eq for BuiltinFunId
impl StructuralPartialEq for BuiltinFunId
Auto Trait Implementations§
impl Freeze for BuiltinFunId
impl RefUnwindSafe for BuiltinFunId
impl Send for BuiltinFunId
impl Sync for BuiltinFunId
impl Unpin for BuiltinFunId
impl UnwindSafe for BuiltinFunId
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.§impl<I, T> ExtractContext<I, ()> for T
impl<I, T> ExtractContext<I, ()> for T
§fn extract_context(self, _original_input: I)
fn extract_context(self, _original_input: I)
Given the context attached to a nom error, and given the original
input to the nom parser, extract more the useful context information. Read more
§impl<T> Indentable for Twhere
T: Display,
impl<T> Indentable for Twhere
T: Display,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more§impl<I> RecreateContext<I> for I
impl<I> RecreateContext<I> for I
§fn recreate_context(_original_input: I, tail: I) -> I
fn recreate_context(_original_input: I, tail: I) -> I
Given the original input, as well as the context reported by nom,
recreate a context in the original string where the error occurred. Read more
Source§impl<T> TyVisitable for Twhere
T: AstVisitable,
impl<T> TyVisitable for Twhere
T: AstVisitable,
Source§fn visit_vars(&mut self, v: &mut impl VarsVisitor)
fn visit_vars(&mut self, v: &mut impl VarsVisitor)
Visit the variables contained in
self, as seen from the outside of self. This means
that any variable bound inside self will be skipped, and all the seen De Bruijn indices
will count from the outside of self.Source§fn substitute(self, generics: &GenericArgs) -> Self
fn substitute(self, generics: &GenericArgs) -> Self
Substitute the generic variables inside
self by replacing them with the provided values.
Note: if self is an item that comes from a TraitDecl, you most likely want to use
substitute_with_self.Source§fn substitute_explicits(self, generics: &GenericArgs) -> Self
fn substitute_explicits(self, generics: &GenericArgs) -> Self
Substitute only the type, region and const generic args.
Source§fn substitute_with_self(
self,
generics: &GenericArgs,
self_ref: &TraitRefKind,
) -> Self
fn substitute_with_self( self, generics: &GenericArgs, self_ref: &TraitRefKind, ) -> Self
Substitute the generic variables as well as the
TraitRefKind::Self trait ref.Source§fn move_under_binder(self) -> Self
fn move_under_binder(self) -> Self
Move under one binder.
Source§fn move_under_binders(self, depth: DeBruijnId) -> Self
fn move_under_binders(self, depth: DeBruijnId) -> Self
Move under
depth binders.Source§fn move_from_under_binder(self) -> Option<Self>
fn move_from_under_binder(self) -> Option<Self>
Move from under one binder.
Source§fn move_from_under_binders(self, depth: DeBruijnId) -> Option<Self>
fn move_from_under_binders(self, depth: DeBruijnId) -> Option<Self>
Move the value out of
depth binders. Returns None if it contains a variable bound in
one of these depth binders.Source§fn visit_db_id<B>(
&mut self,
f: impl FnMut(&mut DeBruijnId) -> ControlFlow<B>,
) -> ControlFlow<B>
fn visit_db_id<B>( &mut self, f: impl FnMut(&mut DeBruijnId) -> ControlFlow<B>, ) -> ControlFlow<B>
Visit the de Bruijn ids contained in
self, as seen from the outside of self. This means
that any variable bound inside self will be skipped, and all the seen indices will count
from the outside of self.