Enum TypeExpr 

pub enum TypeExpr {
    Int,
    Float,
    Bool,
    String,
    Unit,
    Unknown,
    Named(&'static str),
    Array(Box<TypeExpr>),
    Map(Box<TypeExpr>, Box<TypeExpr>),
    Result(Box<TypeExpr>, Box<TypeExpr>),
    Option(Box<TypeExpr>),
    Table,
    Generic(&'static str),
    SelfType,
    Function {
        params: Vec<TypeExpr>,
        return_type: Box<TypeExpr>,
    },
}

Variants

Int

Float

Bool

String

Unit

Unknown

Named(&'static str)

Array(Box<TypeExpr>)

Map(Box<TypeExpr>, Box<TypeExpr>)

Result(Box<TypeExpr>, Box<TypeExpr>)

Option(Box<TypeExpr>)

Table

Generic(&'static str)

SelfType

Function

Fields

params: Vec<TypeExpr>

return_type: Box<TypeExpr>

Implementations

impl TypeExpr

pub fn instantiate( &self, generics: &HashMap<&'static str, Type>, span: Option<Span>, ) -> Type

Trait Implementations

impl Clone for TypeExpr

fn clone(&self) -> TypeExpr

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TypeExpr

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.