Enum Type

pub enum Type {
    TypeSelf(TypeSelfType),
    TypeBasic(TypeBasicType),
    TypeTuple(TypeTupleType),
    TypeLambda(TypeLambdaType),
}

Variants

TypeSelf(TypeSelfType)

TypeBasic(TypeBasicType)

TypeTuple(TypeTupleType)

TypeLambda(TypeLambdaType)

Implementations

impl Type

pub fn create_self(id: NodeId, pos: Position, span: Span) -> Type

pub fn create_basic( id: NodeId, pos: Position, span: Span, name: Name, params: Vec<Box<Type>>, ) -> Type

pub fn create_fct( id: NodeId, pos: Position, span: Span, params: Vec<Box<Type>>, ret: Box<Type>, ) -> Type

pub fn create_tuple( id: NodeId, pos: Position, span: Span, subtypes: Vec<Box<Type>>, ) -> Type

pub fn to_basic(&self) -> Option<&TypeBasicType>

pub fn to_basic_without_type_params(&self) -> Option<Name>

pub fn to_tuple(&self) -> Option<&TypeTupleType>

pub fn to_fct(&self) -> Option<&TypeLambdaType>

pub fn to_string(&self, interner: &Interner) -> String

pub fn pos(&self) -> Position

pub fn id(&self) -> NodeId

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.