Struct EnumType 

pub struct EnumType { /* private fields */ }

Represents the type of an enum.

Implementations

impl EnumType

pub fn new( enum_name: impl Into<String>, enum_span: Span, explicit_inner_type: Type, variants: Vec<(String, Type)>, variant_spans: &[Span], ) -> Result<Self, Diagnostic>

Constructs a new enum type with a known coerced type.

Validates that all variant types are coercible to the provided type.

Returns an error if any variant cannot be coerced.

pub fn infer( enum_name: impl Into<String>, variants: Vec<(String, Type)>, variant_spans: &[Span], ) -> Result<Self, Diagnostic>

Attempts to create a new enum type by computing the common inner type through coercion.

Finds the common inner type among all variant types. If the enum has no variants, the coerced inner type is Type::Union.

Returns an error if no common type can be found among the variants.

pub fn name(&self) -> &Arc<String>

Gets the name of the enum.

pub fn inner_value_type(&self) -> &Type

Gets the inner value type that all variants coerce to.

pub fn variants(&self) -> &[String]

Gets the variants with their types.

Trait Implementations

impl Clone for EnumType

fn clone(&self) -> EnumType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Coercible for EnumType

fn is_coercible_to(&self, _: &Self) -> bool

Determines if the type is coercible to the target type.

impl Debug for EnumType

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

Formats the value using the given formatter.

impl Display for EnumType

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

Formats the value using the given formatter.

impl From<EnumType> for CompoundType

fn from(value: EnumType) -> Self

Converts to this type from the input type.

impl From<EnumType> for CustomType

fn from(value: EnumType) -> Self

Converts to this type from the input type.

impl From<EnumType> for Type

fn from(value: EnumType) -> Self

Converts to this type from the input type.

impl PartialEq for EnumType

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

impl StructuralPartialEq for EnumType