Enum TypeRef 

pub enum TypeRef<'a> {
    Union(&'a TUnion),
    Atomic(&'a TAtomic),
}

A reference to a type in the type system, which can be either a union or an atomic type.

Variants

Union(&'a TUnion)

Atomic(&'a TAtomic)

Trait Implementations

impl<'a> Clone for TypeRef<'a>

fn clone(&self) -> TypeRef<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for TypeRef<'a>

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

Formats the value using the given formatter.

impl<'a> From<&'a TAtomic> for TypeRef<'a>

fn from(reference: &'a TAtomic) -> Self

Converts to this type from the input type.

impl<'a> From<&'a TUnion> for TypeRef<'a>

fn from(reference: &'a TUnion) -> Self

Converts to this type from the input type.

impl<'a> TType for TypeRef<'a>

Implements the TType trait for TypeRef.

fn get_child_nodes(&self) -> Vec<TypeRef<'a>>

Returns a vector of child type nodes that this type contains.

fn can_be_intersected(&self) -> bool

Checks if this type can have intersection types (&B&S).

fn get_intersection_types(&self) -> Option<&[TAtomic]>

Returns a slice of the additional intersection types (&B&S), if any. Contains boxed atomic types.

fn has_intersection_types(&self) -> bool

Checks if this type has intersection types.

fn needs_population(&self) -> bool

fn is_expandable(&self) -> bool

fn is_complex(&self) -> bool

Returns true if this type has complex structure that benefits from multiline formatting when used as a generic parameter.

fn get_id(&self) -> Atom

Return a human-readable atom for this type, which is suitable for use in error messages or debugging.

fn get_pretty_id_with_indent(&self, indent: usize) -> Atom

fn get_all_child_nodes(&self) -> Vec<TypeRef<'_>>

Returns a vector of all child type nodes, including nested ones.

fn get_intersection_types_mut(&mut self) -> Option<&mut Vec<TAtomic>>

Returns a mutable slice of the additional intersection types (&B&S), if any. Contains boxed atomic types.

fn add_intersection_type(&mut self, _intersection_type: TAtomic) -> bool

Adds an intersection type to this type.

fn get_pretty_id(&self) -> Atom

impl<'a> Copy for TypeRef<'a>