Enum FactData 

pub enum FactData {
    Value {
        value: LiteralValue,
        source: Source,
        is_default: bool,
    },
    TypeDeclaration {
        resolved_type: LemmaType,
        source: Source,
    },
    SpecRef {
        spec: Arc<LemmaSpec>,
        source: Source,
        expected_hash_pin: Option<String>,
    },
}

Resolved fact value for the execution plan: aligned with FactValue but with source per variant.

Variants

Value

Value-holding fact: current value (literal or default); type is on the value. When is_default is true, the value came from a type -> default constraint rather than an explicit literal in the spec.

Fields

value: LiteralValue

source: Source

is_default: bool

TypeDeclaration

Type-only fact: schema known, value to be supplied (e.g. via with_values).

Fields

resolved_type: LemmaType

source: Source

SpecRef

Spec reference fact: holds the resolved spec. When the source ref specified a hash pin, it is stored here for verification.

Fields

spec: Arc<LemmaSpec>

source: Source

expected_hash_pin: Option<String>

Implementations

impl FactData

pub fn schema_type(&self) -> Option<&LemmaType>

Returns the schema type for value and type-declaration facts; None for spec references.

pub fn value(&self) -> Option<&LiteralValue>

Returns the literal value for value facts; None for type-declaration and spec references.

pub fn explicit_value(&self) -> Option<&LiteralValue>

Returns the literal value only if it was explicitly defined in the spec (not from a type -> default constraint). Used by schema methods to decide which facts need user input.

pub fn source(&self) -> &Source

Returns the source location for this fact.

pub fn expected_hash_pin(&self) -> Option<&str>

Returns the expected hash pin for spec reference facts when the source ref specified one; None otherwise.

pub fn spec_arc(&self) -> Option<&Arc<LemmaSpec>>

Returns the referenced spec Arc for spec reference facts; None otherwise.

pub fn spec_ref(&self) -> Option<&str>

Returns the referenced spec name for spec reference facts; None otherwise.

Trait Implementations

impl Clone for FactData

fn clone(&self) -> FactData

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FactData

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FactData

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for FactData

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 PartialEq for FactData

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for FactData

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for FactData

impl StructuralPartialEq for FactData