Enum MonoType 

pub enum MonoType {
    Var(TyVarRef),
    Base(BaseType),
    Func(Box<Row>, Box<MonoType>, Box<MonoType>),
    Product(Vec<MonoType>),
    List(Box<MonoType>),
    Ref(Box<MonoType>),
    Record(Row),
    Variant(String, Vec<MonoType>),
    Code(Box<MonoType>),
    InlineCmd(Vec<CmdArgType>),
    BlockCmd(Vec<CmdArgType>),
    MathCmd(Vec<CmdArgType>),
}

A monomorphic type. Mirrors v0.0.6’s mono_type (the type_main variant instantiated at mono_type_variable_info ref), minus SynonymType (no type synonyms in this port) and with Row-based records instead of a closed RecordType (see Row).

The #[subast] list names every other type in this family reachable from a field; see crate::visit for what the generated traversal covers and — importantly — what it deliberately does not.

MonoType::Var’s TyVarRef is not listed, so the traversal treats a type variable as a leaf and never follows a Bound link. That is not an oversight: see crate::visit.

Variants

Var(TyVarRef)

Base(BaseType)

Func(Box<Row>, Box<MonoType>, Box<MonoType>)

?(row) dom -> cod — a function type carrying a labeled optional-argument Row (upstream FuncType of row * typ * typ, SATySFi 0.1). The row is Row::Empty for every 0.0.6-constructed function (crate::prim_types::arrow), printing nothing and unifying trivially, so 0.0.6 behavior is byte-identical. A non-empty row (Cons(label, option-payload-type, …)) records the value-level ?(l = e) labeled optional arguments the function accepts. The field is positional (no .. in any destructure) deliberately: widening this variant makes the compiler flag every match site, guarding against a silently-dropped row in the sealed-module subsumption path.

The row is boxed (Box<Row>, not inline) so widening Func does not enlarge MonoType itself: Row is a ~40-byte enum, and inlining it would make Func the largest variant, growing every stack frame holding a MonoType by value enough to tip a deep recursive typecheck over the default stack. Box<Row> keeps MonoType at its pre-widening size, so 0.0.6 stack usage is unchanged.

Product(Vec<MonoType>)

A tuple type, always with at least two elements.

List(Box<MonoType>)

Ref(Box<MonoType>)

Record(Row)

Variant(String, Vec<MonoType>)

A user-defined variant type applied to its arguments, e.g. Variant("option", [int]) for int option. Identified by name rather than by a fresh TypeID.t as in v0.0.6 (types.cppo.ml:318) — this port has no notion of shadowing/re-declaring a variant type under the same name within one compilation, so a String is a simpler stand-in for v0.0.6’s globally-fresh TypeID.t.

Code(Box<MonoType>)

code ty — the type of a quoted (&e) fragment awaiting the next stage. Upstream’s CodeType (types.cppo.ml:324). Structurally it behaves exactly like MonoType::Ref: one covariant argument, unified pointwise.

InlineCmd(Vec<CmdArgType>)

[...] inline-cmd (v0.0.6: HorzCommandType).

BlockCmd(Vec<CmdArgType>)

[...] block-cmd (v0.0.6: VertCommandType).

MathCmd(Vec<CmdArgType>)

[...] math-cmd (v0.0.6: MathCommandType).

Implementations

impl MonoType

pub fn visit<__T>(&self, visitor: impl IntoVisitor<__T>) -> &Self

Visit self with any Visit, returning self to chain.

impl MonoType

pub fn visit_mut<__T>(&mut self, visitor: impl IntoVisitorMut<__T>) -> &mut Self

Visit self with any VisitMut, returning self to chain.

Trait Implementations

impl Ast for MonoType

impl Clone for MonoType

fn clone(&self) -> MonoType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MonoType

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

Formats the value using the given formatter.

impl Display for MonoType

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

Formats the value using the given formatter.

impl<__F: FnMut(&MonoType)> IntoHook<MonoType> for __F

fn into_hook(self) -> impl Hook

impl<__F: FnMut(&mut MonoType)> IntoHookMut<MonoType> for __F

fn into_hook_mut(self) -> impl HookMut

impl<__F: FnMut(&MonoType)> IntoVisitor<MonoType> for __F

fn into_visitor(self) -> impl Visit

impl<__F: FnMut(&mut MonoType)> IntoVisitorMut<MonoType> for __F

fn into_visitor_mut(self) -> impl VisitMut

impl Repeater<0> for MonoType

type Type = String

The leaked type, valid in the referrer’s context via <T as Repeater<INDEX>>::Type.

impl Repeater<1> for MonoType

type Type = TyVarRef

The leaked type, valid in the referrer’s context via <T as Repeater<INDEX>>::Type.

impl Repeater<2> for MonoType

type Type = BaseType

The leaked type, valid in the referrer’s context via <T as Repeater<INDEX>>::Type.

impl Repeater<3> for MonoType

type Type = Box<MonoType>

The leaked type, valid in the referrer’s context via <T as Repeater<INDEX>>::Type.

impl Repeater<4> for MonoType

type Type = Box<Row>

The leaked type, valid in the referrer’s context via <T as Repeater<INDEX>>::Type.

impl Repeater<5> for MonoType

type Type = Vec<CmdArgType>

The leaked type, valid in the referrer’s context via <T as Repeater<INDEX>>::Type.

impl Repeater<6> for MonoType

type Type = Vec<MonoType>

The leaked type, valid in the referrer’s context via <T as Repeater<INDEX>>::Type.

impl Repeater<7> for MonoType

type Type = Row

The leaked type, valid in the referrer’s context via <T as Repeater<INDEX>>::Type.