Trait HasConcreteType 

pub trait HasConcreteType {
    // Required method
    fn into_typed_expression(&self) -> Loc<TypedExpression>;
}

Required Methods

fn into_typed_expression(&self) -> Loc<TypedExpression>

Implementations on Foreign Types

impl HasConcreteType for Loc<&ExprID>

fn into_typed_expression(&self) -> Loc<TypedExpression>

impl HasConcreteType for Loc<ExprID>

fn into_typed_expression(&self) -> Loc<TypedExpression>

impl HasConcreteType for Loc<NameID>

fn into_typed_expression(&self) -> Loc<TypedExpression>

impl HasConcreteType for Loc<Expression>

fn into_typed_expression(&self) -> Loc<TypedExpression>

impl HasConcreteType for Loc<ConstGenericWithId>

fn into_typed_expression(&self) -> Loc<TypedExpression>

impl HasConcreteType for Loc<Pattern>

fn into_typed_expression(&self) -> Loc<TypedExpression>

impl<T> HasConcreteType for &T

where T: HasConcreteType,

fn into_typed_expression(&self) -> Loc<TypedExpression>

impl<T> HasConcreteType for &mut T

where T: HasConcreteType,

fn into_typed_expression(&self) -> Loc<TypedExpression>

impl<T> HasConcreteType for Box<T>

where T: HasConcreteType,

fn into_typed_expression(&self) -> Loc<TypedExpression>

Implementors