Enum BuiltinTy 

pub enum BuiltinTy {
    Tuple,
    Box,
    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

Tuple

Tuple type.

Box

Boxes are de facto a primitive type.

Str

Primitive type

Implementations

impl BuiltinTy

pub fn is_tuple(&self) -> bool

pub fn is_box(&self) -> bool

pub fn is_str(&self) -> bool

impl BuiltinTy

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

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

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

impl BuiltinTy

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

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

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

impl BuiltinTy

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

impl BuiltinTy

pub fn get_name(self) -> Name

Trait Implementations

impl AstVisitable for BuiltinTy

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.

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.

fn drive_two<V: ZipAst>(&self, other: &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.

fn name(&self) -> &'static str

The name of the type, used for debug logging.

fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))

where Self: Sized,

Visit all occurrences of that type inside self, in pre-order traversal.

fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))

where Self: Sized,

Visit all occurrences of that type inside self, in pre-order traversal.

impl Clone for BuiltinTy

fn clone(&self) -> BuiltinTy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for BuiltinTy

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<'s, V> Drive<'s, V> for BuiltinTy

where V: Visitor,

fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl<'s, V> DriveMut<'s, V> for BuiltinTy

where V: Visitor,

fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl<'s, V> DriveTwo<'s, V> for BuiltinTy

where V: Visitor<Break: Default>,

fn drive_two_inner( &'s self, other: &'s Self, visitor: &mut V, ) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self and other, if they correspond. If the values don’t match up, this returns Break(Default::default()).

impl Eq for BuiltinTy

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,

Restrict a value to a certain interval.

impl PartialEq for BuiltinTy

fn eq(&self, other: &BuiltinTy) -> bool

Equality operator ==.

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

Inequality operator !=.

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