Enum charon_lib::ast::types::BuiltinTy

pub enum BuiltinTy {
    Box,
    Array,
    Slice,
    Str,
}

Builtin types identifiers.

WARNING: for now, all the built-in types are covariant in the generic parameters (if there are). Adding types which don’t satisfy this will require to update the code abstracting the signatures (to properly take into account the lifetime constraints).

TODO: update to not hardcode the types (except Box maybe) and be more modular. TODO: move to builtins.rs?

Variants

Box

Boxes are de facto a primitive type.

Array

Primitive type

Slice

Primitive type

Str

Primitive type

Implementations

impl BuiltinTy

pub fn get_name(self) -> Name

impl BuiltinTy

pub fn is_box(&self) -> bool

pub fn is_array(&self) -> bool

pub fn is_slice(&self) -> bool

pub fn is_str(&self) -> bool

impl BuiltinTy

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

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

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

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

impl BuiltinTy

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

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

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

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

impl BuiltinTy

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

Trait Implementations

impl Clone for BuiltinTy

fn clone(&self) -> BuiltinTy

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BuiltinTy

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for BuiltinTy

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Drive for BuiltinTy

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

impl DriveMut for BuiltinTy

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

impl Hash for BuiltinTy

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 Ord for BuiltinTy

fn cmp(&self, other: &BuiltinTy) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl PartialEq for BuiltinTy

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

fn partial_cmp(&self, other: &BuiltinTy) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for BuiltinTy

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 BuiltinTy

impl Eq for BuiltinTy

impl StructuralPartialEq for BuiltinTy