Trait gluon_base::ast::Typed

pub trait Typed {
    type Ident;
    fn try_type_of(&self, env: &TypeEnv) -> Result<ArcType<Self::Ident>, String>;

    fn env_type_of(&self, env: &TypeEnv) -> ArcType<Self::Ident> { ... }
}

Trait which abstracts over things that have a type. It is not guaranteed that the correct type is returned until after typechecking

Associated Types

type Ident

Required Methods

fn try_type_of(&self, env: &TypeEnv) -> Result<ArcType<Self::Ident>, String>

Provided Methods

fn env_type_of(&self, env: &TypeEnv) -> ArcType<Self::Ident>

Implementors

• impl<Id: Clone> Typed for TypedIdent<Id> type Ident = Id;

• impl Typed for Literal type Ident = Symbol;

• impl Typed for Expr<Symbol> type Ident = Symbol;

• impl<T: Typed> Typed for Spanned<T, BytePos> type Ident = T::Ident;

• impl Typed for Pattern<Symbol> type Ident = Symbol;