[−][src]Trait gluon_base::ast::Typed
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
Loading content...Provided methods
fn env_type_of(&self, env: &dyn TypeEnv<Type = ArcType>) -> ArcType<Self::Ident>
Implementors
impl Typed for Literal
[src]
type Ident = Symbol
fn try_type_of(
&self,
_: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType, String>
[src]
&self,
_: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType, String>
impl Typed for OwnedExpr<Symbol>
[src]
type Ident = Symbol
fn try_type_of(
&self,
env: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType, String>
[src]
&self,
env: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType, String>
impl Typed for RootExpr<Symbol>
[src]
type Ident = Symbol
fn try_type_of(
&self,
env: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType, String>
[src]
&self,
env: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType, String>
impl<'_> Typed for Expr<'_, Symbol>
[src]
type Ident = Symbol
fn try_type_of(
&self,
env: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType, String>
[src]
&self,
env: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType, String>
impl<'_> Typed for Pattern<'_, Symbol>
[src]
type Ident = Symbol
fn try_type_of(
&self,
env: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType, String>
[src]
&self,
env: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType, String>
impl<Id: Clone> Typed for TypedIdent<Id>
[src]
type Ident = Id
fn try_type_of(
&self,
_: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType<Id>, String>
[src]
&self,
_: &dyn TypeEnv<Type = ArcType>
) -> Result<ArcType<Id>, String>