Enum charon_lib::ast::expressions::BuiltinFunId

pub enum BuiltinFunId {
    BoxNew,
    ArrayToSliceShared,
    ArrayToSliceMut,
    ArrayRepeat,
    Index(BuiltinIndexOp),
}

An built-in function identifier, identifying a function coming from a standard library.

Variants

BoxNew

alloc::boxed::Box::new

ArrayToSliceShared

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) -> &T
• fn SliceIndexShared<T>(&[T], usize) -> &T
• fn ArraySubSliceShared<T,N>(&[T;N], usize, usize) -> &[T]
• fn SliceSubSliceMut<T>(&mut [T], usize, usize) -> &mut [T]
• etc

Implementations

impl BuiltinFunId

pub fn is_box_new(&self) -> bool

pub fn is_array_to_slice_shared(&self) -> bool

pub fn is_array_to_slice_mut(&self) -> bool

pub fn is_array_repeat(&self) -> bool

pub fn is_index(&self) -> bool

impl BuiltinFunId

pub fn as_box_new(&self) -> Option<()>

pub fn as_array_to_slice_shared(&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>

impl BuiltinFunId

pub fn as_box_new_mut(&mut self) -> Option<()>

pub fn as_array_to_slice_shared_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>

impl BuiltinFunId

pub fn variant_name(&self) -> &'static str

Trait Implementations

impl Clone for BuiltinFunId

fn clone(&self) -> BuiltinFunId

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BuiltinFunId

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for BuiltinFunId

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for BuiltinFunId

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

Formats the value using the given formatter.

impl Drive for BuiltinFunId

fn drive<V: Visitor>(&self, visitor: &mut V)

impl DriveMut for BuiltinFunId

fn drive_mut<V: VisitorMut>(&mut self, visitor: &mut V)

impl PartialEq for BuiltinFunId

fn eq(&self, other: &BuiltinFunId) -> 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 Serialize for BuiltinFunId

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for BuiltinFunId

impl Eq for BuiltinFunId

impl StructuralPartialEq for BuiltinFunId