Enum TypeFidelity 

pub enum TypeFidelity {
    Exact,
    Compatible,
    LogicalString,
    Lossy,
    Unsupported,
}

Fidelity tag attached to every crate::types::TypeMapping.

The variants are deliberately ordered from “best” to “worst” so that downstream code (CLI report, strict-mode gate) can compare them with PartialOrd semantics: Exact > Compatible > LogicalString > Lossy > Unsupported.

Variants

Exact

Value and type semantics fully preserved on disk.

Compatible

Value preserved; physical type differs, logical-type metadata recovers the original semantics.

LogicalString

Value preserved as text; native type semantics are not guaranteed.

Lossy

Precision or semantics may be lost. Strict mode rejects this.

Unsupported

Rivet does not safely support this type. Strict mode rejects this.

Implementations

impl TypeFidelity

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

Stable lowercase string label for persistence, JSON output, and human-readable reports. Prefer this over format!("{:?}") — Debug output is not a stable contract.

pub fn is_unsafe_for_strict_mode(self) -> bool

True when the fidelity level is one that strict mode must reject without an explicit policy override (roadmap §7 “Strict mode behavior”). Used by TypePolicy (Chunk 4).

Trait Implementations

impl Clone for TypeFidelity

fn clone(&self) -> TypeFidelity

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for TypeFidelity

impl Debug for TypeFidelity

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

Formats the value using the given formatter.

impl Eq for TypeFidelity

impl Hash for TypeFidelity

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 TypeFidelity

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

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

fn partial_cmp(&self, other: &TypeFidelity) -> 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 Serialize for TypeFidelity

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for TypeFidelity