Struct ClassFact 

pub struct ClassFact {
    pub scalar: Option<ScalarKind>,
    pub range: Option<(i64, i64)>,
    pub collection: bool,
    pub list: bool,
}

Per-class knowledge, seeded from literals and the Oracle.

Facts describe the VALUE of every member of the class (if evaluation succeeds); merging classes therefore INTERSECTS intervals.

Fields

scalar: Option<ScalarKind>

range: Option<(i64, i64)>

collection: bool

The value (if evaluation succeeds) is a collection — list, text, map, or set. Kind facts are mutation-immune (contents change, kinds never do), so they merge by OR.

list: bool

The value is specifically a LIST (implies collection).

Trait Implementations

impl Clone for ClassFact

fn clone(&self) -> ClassFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ClassFact

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

Formats the value using the given formatter.

impl Default for ClassFact

fn default() -> ClassFact

Returns the “default value” for a type.

impl Copy for ClassFact