Trait HasType

pub trait HasType: Debug {
    // Required method
    fn get_type(&self, state: &TypeState) -> Result<TypeVar>;
}

Required Methods

fn get_type(&self, state: &TypeState) -> Result<TypeVar>

Implementations on Foreign Types

impl HasType for Loc<TypeVar>

fn get_type(&self, state: &TypeState) -> Result<TypeVar>

impl HasType for Loc<KnownType>

fn get_type(&self, _state: &TypeState) -> Result<TypeVar>

impl HasType for Loc<Expression>

fn get_type(&self, state: &TypeState) -> Result<TypeVar>

impl HasType for Loc<Pattern>

fn get_type(&self, state: &TypeState) -> Result<TypeVar>

impl HasType for NameID

fn get_type(&self, state: &TypeState) -> Result<TypeVar>

impl HasType for Expression

fn get_type(&self, state: &TypeState) -> Result<TypeVar>

impl HasType for Pattern

fn get_type(&self, state: &TypeState) -> Result<TypeVar>

Implementors

impl HasType for TypeVar

impl HasType for TypedExpression