Enum dora_parser::ast::Type

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

Variants

TypeSelf(TypeSelfType)

TypeBasic(TypeBasicType)

TypeTuple(TypeTupleType)

TypeLambda(TypeLambdaType)

Methods

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.