Enum TypeAtom 

pub enum TypeAtom {
    Paren {
        paren: ParenGroup<()>,
        inner: TyErasedV1,
    },
    Record {
        rec: RecordGroup<()>,
        inner: TypeRecordInnerV1,
    },
    Var(TypeVarTok),
    LongName(VarWithModTok),
    Name(VarTok),
}

An atomic type expression. parser_v1.mly:740-752’s record forms are fully modeled: both the closed form and the open (row-var-tailed) form share TypeAtom::Record, distinguished by TypeRecordInnerV1::row_tail.

Variants

Paren

( ty )

Fields

paren: ParenGroup<()>

inner: TyErasedV1

Record

(| l1 : ty1, l2 : ty2, … |) (closed) or (| l1 : ty1, … | ?'r |) (open — a row-variable tail) (typ_bot‘s two L_RECORD arms, parser_v1.mly:746-749; typ_record_elem :775-777 — COLON fields, unlike record EXPRESSIONS’ l = e). Lowered (v1/lower.rs): the closed form to the existing cst::ast::TypeAtom::Record (cst.rs:1344) and thence to a closed MonoType::Record row (typecheck.rs:512); the open form to the additive cst::ast::TypeAtom::RecordOpen and thence to an OPEN MonoType::Record(Row::Var(…)) — a fresh row variable, using the existing generic Row/RowVarRef/ unify_row machinery (no new type machinery needed).

Fields

rec: RecordGroup<()>

inner: TypeRecordInnerV1

Var(TypeVarTok)

A type variable, e.g. 'a.

LongName(VarWithModTok)

M.t — a qualified type name (upstream LONG_LOWER, parser.mly:742-743). VarWithModTok-headed, token-disjoint from Var/Name/Paren (TypeVarTok/VarTok/ LParenTok) — see TypeApp::AppliedLong’s doc comment.

Name(VarTok)

A (possibly qualified) type name, e.g. int, string.

Trait Implementations

impl Clone for TypeAtom

fn clone(&self) -> TypeAtom

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeAtom

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

Formats the value using the given formatter.

impl<__SyanMacro_Atom> Parse<__SyanMacro_Atom> for TypeAtom

where __SyanMacro_Atom: Spanned + Clone, ParenGroup<()>: GroupShape<__SyanMacro_Atom>, __SyanSubstructOfOwn_paren_TypeAtom_Paren_1383305089136131385: Parse<__SyanMacro_Atom>, RecordGroup<()>: GroupShape<__SyanMacro_Atom>, __SyanSubstructOfOwn_rec_TypeAtom_Record_1383305089136131385: Parse<__SyanMacro_Atom>, TypeVarTok: Parse<__SyanMacro_Atom>, VarWithModTok: Parse<__SyanMacro_Atom>, VarTok: Parse<__SyanMacro_Atom>,

type Error = ParseError<<__SyanMacro_Atom as Spanned>::Span>

Every error must be convertible to the universal one, so a field’s failure can become the enclosing type’s failure with no per-field where-predicate. Stating it HERE rather than at each derived impl is what keeps it out of the obligation graph: a per-field <FieldTy as Parse<Atom>>::Error: Into<…> predicate re-creates a projection cycle on a recursive field (E0275), which decycle’s bound-peeling does not break.

fn parse_stream<__SyanMacro_S: ParseStream<Atom = __SyanMacro_Atom>>( __syan_stream: &mut __SyanMacro_S, ) -> Result<Self, Self::Error>

Parse from a reborrowable stream.

fn parse(stream: impl IntoParseStream<Atom = Atom>) -> Result<Self, Self::Error>

Parse from anything that can become a stream — String, TokenStream, an existing stream.

fn attempt(self) -> Attempt<Self>

Wrap this value in Attempt, the atomic-parse marker: parsing an Attempt<Self> parses Self but rewinds the stream on failure (it requires Atom: Clone). This is the value constructor; value.attempt() is sugar for Attempt(value).

impl PartialEq for TypeAtom

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TypeAtom

impl<__SyanMacro_Atom> Unparse<__SyanMacro_Atom> for TypeAtom

where ParenGroup<()>: GroupUnparse<__SyanMacro_Atom>, for<'syan_substruct_ref> __SyanSubstructOfRef_paren_TypeAtom_Paren_1383305089136131385<'syan_substruct_ref>: Unparse<__SyanMacro_Atom>, RecordGroup<()>: GroupUnparse<__SyanMacro_Atom>, for<'syan_substruct_ref> __SyanSubstructOfRef_rec_TypeAtom_Record_1383305089136131385<'syan_substruct_ref>: Unparse<__SyanMacro_Atom>, TypeVarTok: Unparse<__SyanMacro_Atom>, VarWithModTok: Unparse<__SyanMacro_Atom>, VarTok: Unparse<__SyanMacro_Atom>,

fn unparse<__Syan_Emitter: Emitter<__SyanMacro_Atom>>( &self, __syan_sink: &mut __Syan_Emitter, ) -> Result<(), <__Syan_Emitter as Emitter<__SyanMacro_Atom>>::Error>