Enum erg_parser::ast::TypeSpec

pub enum TypeSpec {
    Infer(Token),
    PreDeclTy(PreDeclTypeSpec),
    Array(ArrayTypeSpec),
    SetWithLen(SetWithLenTypeSpec),
    Tuple(TupleTypeSpec),
    Dict(Vec<(TypeSpec, TypeSpec)>),
    Record(Vec<(Identifier, TypeSpec)>),
    And(Box<TypeSpec>, Box<TypeSpec>),
    Not(Box<TypeSpec>),
    Or(Box<TypeSpec>, Box<TypeSpec>),
    Enum(ConstArgs),
    Interval {
        op: Token,
        lhs: ConstExpr,
        rhs: ConstExpr,
    },
    Subr(SubrTypeSpec),
    TypeApp {
        spec: Box<TypeSpec>,
        args: TypeAppArgs,
    },
}

• Array: [Int; 3], [Int, Ratio, Complex], etc.
• Dict: [Str: Str], etc.
• And (Intersection type): Add and Sub and Mul (== Num), etc.
• Not (Diff type): Pos == Nat not {0}, etc.
• Or (Union type): Int or None (== Option Int), etc.
• Enum: {0, 1} (== Binary), etc.
• Range: 1..12, 0.0<..1.0, etc.
• Record: {.into_s: Self.() -> Str }, etc.
• Subr: Int -> Int, Int => None, T.(X) -> Int, etc.
• TypeApp: F|…|

Variants

Infer(Token)

PreDeclTy(PreDeclTypeSpec)

Array(ArrayTypeSpec)

SetWithLen(SetWithLenTypeSpec)

Tuple(TupleTypeSpec)

Dict(Vec<(TypeSpec, TypeSpec)>)

Record(Vec<(Identifier, TypeSpec)>)

And(Box<TypeSpec>, Box<TypeSpec>)

Not(Box<TypeSpec>)

Or(Box<TypeSpec>, Box<TypeSpec>)

Enum(ConstArgs)

Interval

Fields

op: Token

lhs: ConstExpr

rhs: ConstExpr

Subr(SubrTypeSpec)

TypeApp

Fields

spec: Box<TypeSpec>

args: TypeAppArgs

Implementations

impl TypeSpec

pub fn and(lhs: TypeSpec, rhs: TypeSpec) -> Self

pub fn not(lhs: TypeSpec) -> Self

pub fn or(lhs: TypeSpec, rhs: TypeSpec) -> Self

pub const fn interval(op: Token, lhs: ConstExpr, rhs: ConstExpr) -> Self

pub fn type_app(spec: TypeSpec, args: TypeAppArgs) -> Self

pub fn enum_t_spec(elems: Vec<Literal>) -> Self

Trait Implementations

impl Clone for TypeSpec

fn clone(&self) -> TypeSpec

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeSpec

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

Formats the value using the given formatter.

impl Display for TypeSpec

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

Formats the value using the given formatter.

impl Hash for TypeSpec

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where
H: Hasher,
Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Locational for TypeSpec

fn loc(&self) -> Location

fn ln_begin(&self) -> Option<u32>

fn ln_end(&self) -> Option<u32>

fn col_begin(&self) -> Option<u32>

fn col_end(&self) -> Option<u32>

impl PartialEq<TypeSpec> for TypeSpec

fn eq(&self, other: &TypeSpec) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for TypeSpec

impl StructuralEq for TypeSpec

impl StructuralPartialEq for TypeSpec