Struct Schema 

pub struct Schema { /* private fields */ }

A compiled schema: a finite tree of constraints, plus its content address.

Implementations

impl Schema

pub fn parse(text: &str) -> Result<Self, SchemaError>

Compile a schema from JSON text.

Errors

SchemaError if the text is not JSON, or the schema uses a keyword outside SUPPORTED_KEYWORDS.

pub fn compile(value: &Value) -> Result<Self, SchemaError>

Compile an already-parsed schema.

Errors

SchemaError if the schema uses a keyword outside SUPPORTED_KEYWORDS, nests deeper than MAX_DEPTH, or gives a keyword a value of the wrong shape.

pub const fn digest(&self) -> Digest

The schema’s content address.

Recorded in every piece of evidence this schema produces, so a verdict says which schema it was reached against. Two schemas that differ by so much as a whitespace-insensitive key ordering share a digest; two that differ in a constraint do not.

pub const fn source(&self) -> &Value

The schema as it was given.

pub fn validate(&self, value: &Value) -> Validation

Validate a value, with the default step budget.

pub fn validate_within(&self, value: &Value, budget: usize) -> Validation

Validate a value, giving up after budget comparisons.

See the module documentation for why exhaustion is its own outcome.

Trait Implementations

impl Clone for Schema

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Schema

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

Formats the value using the given formatter.

impl PartialEq for Schema

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Schema