Enum ConstructorTypeKind 

pub enum ConstructorTypeKind {
    Callable,
    Function(FunctionShapeId),
    Members(Vec<TypeId>),
    Inner(TypeId),
    Constraint(Option<TypeId>),
    NeedsTypeEvaluation,
    NeedsApplicationEvaluation,
    TypeQuery(SymbolRef),
    NotConstructor,
}

Result of classifying a type for constructor collection.

This enum tells the caller what kind of type this is and how to proceed when collecting constructor types from a composite type structure.

Variants

Callable

This is a Callable type - always a constructor type

Function(FunctionShapeId)

This is a Function type - check is_constructor flag on the shape

Members(Vec<TypeId>)

Recurse into these member types (Union, Intersection)

Inner(TypeId)

Recurse into the inner type (ReadonlyType)

Constraint(Option<TypeId>)

Recurse into the constraint (TypeParameter, Infer)

NeedsTypeEvaluation

This type needs full type evaluation (Conditional, Mapped, IndexAccess, KeyOf)

NeedsApplicationEvaluation

This is a generic application that needs instantiation

TypeQuery(SymbolRef)

This is a TypeQuery - resolve the symbol reference to get its type

NotConstructor

This type cannot be a constructor (primitives, literals, etc.)

Trait Implementations

impl Clone for ConstructorTypeKind

fn clone(&self) -> ConstructorTypeKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstructorTypeKind

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

Formats the value using the given formatter.

impl PartialEq for ConstructorTypeKind

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

impl StructuralPartialEq for ConstructorTypeKind