Enum BaseType 

pub enum BaseType {
    Unit,
    Bool,
    Int,
    Float,
    Length,
    String,
    InlineText,
    BlockText,
    MathText,
    MathBoxes,
    Image,
    InlineBoxes,
    BlockBoxes,
    Context,
    Document,
    PrePath,
    Path,
    Graphics,
    Font,
    TextInfo,
}

Primitive types with no internal structure — the subset of v0.0.6’s base_type (types.cppo.ml:255) that this port’s primitives need. (EnvType/RegExpType/InputPosType are unused and left out; add them when a primitive needs them.)

Variants

Unit

Bool

Int

Float

Length

String

InlineText

inline-text (v0.0.6: TextRowType).

BlockText

block-text (v0.0.6: TextColType).

MathText

math (v0.0.6: MathType) — quoted math text. Reused, unmodified, as V0_1’s math-text (upstream literally renamed 0.0.6’s math); see MathBoxes for the new V0_1-only half of the split.

MathBoxes

math-boxes (V0_1 only; dev-0-1-0 MathBoxesType) — the evaluated math tree, bridged from MathText by the V0_1 primitive read-math. 0.0.6 has no name for this type (its math conflates both halves) and no value ever types as this under V0_0.

Image

image (v0.0.6: ImageType) — a decoded raster image resource (load-image’s result).

InlineBoxes

inline-boxes (v0.0.6: BoxRowType).

BlockBoxes

block-boxes (v0.0.6: BoxColType).

Context

Document

PrePath

pre-path (v0.0.6: PrePathType).

Path

path (v0.0.6: PathType).

Graphics

graphics (v0.0.6: GraphicsType).

Font

font (V0_1 only; upstream saphe-split types.cppo.ml’s FontType, registered in that generation’s base_type_hash_table as ("font", FontType) and spelled tFONTKEY in primitives.cppo.ml:45) — an OPAQUE handle on one loaded face. Its value is Value::Font, a rustyfi_backend::FontKey index into the metrics provider’s font store, matching upstream’s BCFontKey of FontKey.t.

0.0.6 has no such type at all — verified against upstream v0.0.6 src/frontend/types.cppo.ml:280-303, whose base_type_hash_table has no "font" row, and against lib-satysfi/dist/packages/*.satyh, which declare no type font either. What 0.0.6 calls “a font” is the bare product string * float * float (primitives.cppo.ml:69’s tFONT = tPROD [tS; tFL; tFL]), whose head is an ABBREV naming a row of dist/hash/fonts.satysfi-hash. So under V0_0 the NAME font falls through name_to_mono to the opaque user-nominal Variant("font", []) — an unrelated type that happens to share a spelling. That disagreement is exactly what keeps font inside typecheck::forked_type_names(), and it is a REPRESENTATION fork, not a missing feature: see v1::xver_adapt::forked_note.

TextInfo

text-info (v0.0.6: TextInfoType) — the text-mode context (deepen-indent/get-initial-text-info/break; sliver — see primitives.rs for the scoping note: the text/html backends themselves are out of scope).

Implementations

impl BaseType

pub fn name(self) -> &'static str

The SATySFi surface-syntax name, used by Display.

Trait Implementations

impl Clone for BaseType

fn clone(&self) -> BaseType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for BaseType

impl Debug for BaseType

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

Formats the value using the given formatter.

impl Display for BaseType

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

Formats the value using the given formatter.

impl Eq for BaseType

impl Hash for BaseType

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 Ord for BaseType

fn cmp(&self, other: &BaseType) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for BaseType

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for BaseType

fn partial_cmp(&self, other: &BaseType) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for BaseType