Trait gluon_base::ast::Typed

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

    fn env_type_of(
        &self, 
        env: &dyn TypeEnv<Type = ArcType>
    ) -> 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

Loading content...

Required methods

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

Loading content...

Provided methods

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

Loading content...

Implementors

impl Typed for Literal

type Ident = Symbol

fn try_type_of(
    &self,
    _: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType, String>

impl Typed for OwnedExpr<Symbol>

type Ident = Symbol

fn try_type_of(
    &self,
    env: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType, String>

impl Typed for RootExpr<Symbol>

type Ident = Symbol

fn try_type_of(
    &self,
    env: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType, String>

impl<'_> Typed for Expr<'_, Symbol>

type Ident = Symbol

fn try_type_of(
    &self,
    env: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType, String>

impl<'_> Typed for Pattern<'_, Symbol>

type Ident = Symbol

fn try_type_of(
    &self,
    env: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType, String>

impl<Id: Clone> Typed for TypedIdent<Id>

type Ident = Id

fn try_type_of(
    &self,
    _: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType<Id>, String>

impl<T: Typed> Typed for Spanned<T, BytePos>

type Ident = T::Ident

fn try_type_of(
    &self,
    env: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType<T::Ident>, String>

Loading content...