Enum ResolvedType

pub enum ResolvedType {
    Int(Rc<ResolvedIntType>),
    Float(Rc<ResolvedFloatType>),
    String(Rc<ResolvedStringType>),
    Bool(Rc<ResolvedBoolType>),
    Unit(Rc<ResolvedUnitType>),
    Array(Rc<ResolvedArrayType>),
    Tuple(Rc<ResolvedTupleType>),
    Struct(Rc<RefCell<ResolvedStructType>>),
    Map(Rc<ResolvedMapType>),
    Generic(Box<ResolvedType>, Vec<ResolvedType>),
    Enum(Rc<ResolvedEnumType>),
    EnumVariant(Rc<ResolvedEnumVariantType>),
    FunctionInternal(Rc<ResolvedInternalFunctionDefinition>),
    FunctionExternal(Rc<ResolvedExternalFunctionDefinition>),
    ExclusiveRange(Rc<ResolvedExclusiveRangeType>),
    Alias(LocalTypeName, Box<ResolvedType>),
    Optional(Box<ResolvedType>),
    RustType(Rc<ResolvedRustType>),
    Any,
}

Variants

Int(Rc<ResolvedIntType>)

Float(Rc<ResolvedFloatType>)

String(Rc<ResolvedStringType>)

Bool(Rc<ResolvedBoolType>)

Unit(Rc<ResolvedUnitType>)

Array(Rc<ResolvedArrayType>)

Tuple(Rc<ResolvedTupleType>)

Struct(Rc<RefCell<ResolvedStructType>>)

Map(Rc<ResolvedMapType>)

Generic(Box<ResolvedType>, Vec<ResolvedType>)

Enum(Rc<ResolvedEnumType>)

EnumVariant(Rc<ResolvedEnumVariantType>)

FunctionInternal(Rc<ResolvedInternalFunctionDefinition>)

FunctionExternal(Rc<ResolvedExternalFunctionDefinition>)

ExclusiveRange(Rc<ResolvedExclusiveRangeType>)

Alias(LocalTypeName, Box<ResolvedType>)

Optional(Box<ResolvedType>)

RustType(Rc<ResolvedRustType>)

Any

Implementations

impl ResolvedType

pub fn expect_struct_type( &self, ) -> Result<Rc<RefCell<ResolvedStructType>>, SemanticError>

pub fn same_type(&self, other: &ResolvedType) -> bool

pub fn display_name(&self) -> String

Trait Implementations

impl Clone for ResolvedType

fn clone(&self) -> ResolvedType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ResolvedType

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

Formats the value using the given formatter.

impl Display for ResolvedType

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

Formats the value using the given formatter.