Trait HasType

pub trait HasType: Debug {
    // Required method
    fn get_type_impl(&self, state: &TypeState) -> Option<TypeVarID>;

    // Provided methods
    fn get_type(&self, state: &TypeState) -> TypeVarID { ... }
    fn try_get_type(&self, state: &TypeState) -> Option<TypeVarID> { ... }
    fn unify_with(
        &self,
        rhs: &dyn HasType,
        state: &TypeState,
    ) -> UnificationBuilder { ... }
}

Required Methods

fn get_type_impl(&self, state: &TypeState) -> Option<TypeVarID>

Provided Methods

fn get_type(&self, state: &TypeState) -> TypeVarID

fn try_get_type(&self, state: &TypeState) -> Option<TypeVarID>

fn unify_with(&self, rhs: &dyn HasType, state: &TypeState) -> UnificationBuilder

Implementations on Foreign Types

impl HasType for Expression

fn get_type_impl(&self, state: &TypeState) -> Option<TypeVarID>

impl HasType for Loc<TypeVarID>

fn get_type_impl(&self, state: &TypeState) -> Option<TypeVarID>

impl HasType for Loc<Expression>

fn get_type_impl(&self, state: &TypeState) -> Option<TypeVarID>

impl HasType for Loc<Pattern>

fn get_type_impl(&self, state: &TypeState) -> Option<TypeVarID>

impl HasType for NameID

fn get_type_impl(&self, state: &TypeState) -> Option<TypeVarID>

impl HasType for Pattern

fn get_type_impl(&self, state: &TypeState) -> Option<TypeVarID>

Implementors

impl HasType for TypedExpression

impl HasType for TypeVarID