Enum erg_parser::ast::TypeSpec

pub enum TypeSpec {
    Infer(Token),
    PreDeclTy(PreDeclTypeSpec),
    List(ListTypeSpec),
    SetWithLen(SetWithLenTypeSpec),
    Tuple(TupleTypeSpec),
    Dict(DictTypeSpec),
    Record(RecordTypeSpec),
    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,
    },
    Refinement(RefinementTypeSpec),
}

• List: [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|…|
• Refinement: {I: Int | I >= 0}

Variants

Infer(Token)

PreDeclTy(PreDeclTypeSpec)

List(ListTypeSpec)

SetWithLen(SetWithLenTypeSpec)

Tuple(TupleTypeSpec)

Dict(DictTypeSpec)

Record(RecordTypeSpec)

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

Refinement(RefinementTypeSpec)

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

pub fn mono(ident: Identifier) -> Self

pub fn poly(acc: ConstAccessor, args: ConstArgs) -> Self

pub fn ident(&self) -> Option<String>

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

NOTE: loc cannot be treated as a light method when self is a large grammatical element. If possible, delay the computation by passing &impl Locational or other means.

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

1-origin

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

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

0-origin

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

impl PartialEq 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 StructuralPartialEq for TypeSpec