Enum TypedCanonicalValue 

pub enum TypedCanonicalValue {
    Null,
    Bool(bool),
    Integer(CanonicalInteger),
    Binary64(f64),
    String(String),
    Array(Vec<TypedCanonicalValue>),
    Object(Vec<(String, TypedCanonicalValue)>),
}

A strict JSON value that retains integer-versus-binary64 token kind.

TypedCanonicalValue::Object retains input order for diagnostics and representation equality, but object order is not significant to TCV1. Encoding validates raw and NFC-normalized key uniqueness and then sorts keys by normalized UTF-8 bytes. Public variants permit construction without a JSON round-trip; tcv1_encode performs the same finite-number and object-key checks for such values as parse_typed_json.

Variants

Null

Bool(bool)

Integer(CanonicalInteger)

Binary64(f64)

String(String)

Array(Vec<TypedCanonicalValue>)

Object(Vec<(String, TypedCanonicalValue)>)

Implementations

impl TypedCanonicalValue

pub fn fingerprint(&self) -> Result<String, Tcv1Error>

Return the lowercase SHA-256 fingerprint of this value’s TCV1 preimage.

pub fn fingerprint_without(&self, key: &str) -> Result<String, Tcv1Error>

Fingerprint an object after removing exactly one normalized key.

This supports self-fingerprinted contracts without accepting ambiguous NFC aliases. The receiver must be an object and the requested key must occur exactly once after NFC normalization.

Trait Implementations

impl Clone for TypedCanonicalValue

fn clone(&self) -> TypedCanonicalValue

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypedCanonicalValue

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

Formats the value using the given formatter.

impl PartialEq for TypedCanonicalValue

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TypedCanonicalValue