Struct InferenceResult 

pub struct InferenceResult {
    pub value: Value,
    pub inferred_type: ExpectedType,
    pub confidence: InferenceConfidence,
}

Result of type inference with confidence level.

This structure provides detailed information about the outcome of bidirectional type inference, including the inferred value, its type, and how confident we are in the inference.

Examples

use hedl_core::inference::{infer_value_synthesize, InferenceContext};
use std::collections::BTreeMap;

let aliases = BTreeMap::new();
let ctx = InferenceContext::for_key_value(&aliases);
let result = infer_value_synthesize("42", &ctx, 1).unwrap();
// result.value is Int(42)
// result.inferred_type is ExpectedType::Int
// result.confidence is InferenceConfidence::Certain

Fields

value: Value

The inferred value

inferred_type: ExpectedType

The inferred type

confidence: InferenceConfidence

Confidence in the inference

Trait Implementations

impl Clone for InferenceResult

fn clone(&self) -> InferenceResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InferenceResult

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

Formats the value using the given formatter.

impl PartialEq for InferenceResult

fn eq(&self, other: &InferenceResult) -> 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 StructuralPartialEq for InferenceResult