Struct TypeFact 

#[non_exhaustive]
pub struct TypeFact {
    pub ty: PerlType,
    pub confidence: Confidence,
    pub evidence: Vec<TypeEvidence>,
    pub dynamic_boundary: Option<DynamicBoundary>,
    pub shape: Option<ShapeFact>,
}

A type with confidence, evidence, dynamic-boundary, and shape metadata.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

ty: PerlType

The erased coarse Perl type represented by this fact.

confidence: Confidence

Confidence assigned to this fact.

evidence: Vec<TypeEvidence>

Evidence that produced or refined this fact.

dynamic_boundary: Option<DynamicBoundary>

Dynamic boundary that prevented precise inference, when applicable.

shape: Option<ShapeFact>

Optional structural shape information for aggregate or object values.

Implementations

impl TypeFact

pub fn new(ty: PerlType, confidence: Confidence) -> TypeFact

Creates a type fact with the supplied coarse type and confidence.

pub fn from_type(ty: PerlType) -> TypeFact

Creates a high-confidence fact for an existing erased type.

pub fn unknown() -> TypeFact

Creates a low-confidence unknown fact.

pub fn dynamic(boundary: DynamicBoundary) -> TypeFact

Creates a low-confidence unknown fact with a dynamic-boundary marker.

pub fn any_low_confidence(reason: impl Into<String>) -> TypeFact

Creates a low-confidence unknown fact with heuristic evidence.

pub fn unknown_hash() -> TypeFact

Creates an unknown hash fact suitable for uninitialized hash variables.

pub fn erased_type(&self) -> PerlType

Returns the coarse compatibility type for existing APIs.

Trait Implementations

impl Clone for TypeFact

fn clone(&self) -> TypeFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeFact

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

Formats the value using the given formatter.

impl PartialEq for TypeFact

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