Enum Schema 

pub enum Schema {
    String {
        min_length: Option<usize>,
        max_length: Option<usize>,
        pattern: Option<String>,
        allowed_values: Option<SmallVec<[String; 8]>>,
    },
    Integer {
        minimum: Option<i64>,
        maximum: Option<i64>,
    },
    Number {
        minimum: Option<f64>,
        maximum: Option<f64>,
    },
    Boolean,
    Null,
    Array {
        items: Option<Box<Schema>>,
        min_items: Option<usize>,
        max_items: Option<usize>,
        unique_items: bool,
    },
    Object {
        properties: HashMap<String, Schema>,
        required: Vec<String>,
        additional_properties: bool,
    },
    OneOf {
        schemas: SmallVec<[Box<Schema>; 4]>,
    },
    AllOf {
        schemas: SmallVec<[Box<Schema>; 4]>,
    },
    Any,
}

JSON Schema representation for validation

Supports a practical subset of JSON Schema Draft 2020-12 focused on validation needs for streaming JSON data.

Design Philosophy

• Focused on validation, not full JSON Schema specification
• Performance-oriented with pre-compiled validation rules
• Zero-copy where possible using Arc for shared data
• Type-safe with strongly-typed enum variants

Examples

let schema = Schema::Object {
    properties: vec![
        ("id".to_string(), Schema::Integer { minimum: Some(1), maximum: None }),
        ("name".to_string(), Schema::String {
            min_length: Some(1),
            max_length: Some(100),
            pattern: None,
            allowed_values: None,
        }),
    ].into_iter().collect(),
    required: vec!["id".to_string(), "name".to_string()],
    additional_properties: false,
};

Variants

String

String type with optional constraints

Fields

min_length: Option<usize>

Minimum string length (inclusive)

max_length: Option<usize>

Maximum string length (inclusive)

pattern: Option<String>

Pattern to match (regex)

allowed_values: Option<SmallVec<[String; 8]>>

Enumeration of allowed values

Integer

Integer type with optional range constraints

Fields

minimum: Option<i64>

Minimum value (inclusive)

maximum: Option<i64>

Maximum value (inclusive)

Number

Number type (float/double) with optional range constraints

Fields

minimum: Option<f64>

Minimum value (inclusive)

maximum: Option<f64>

Maximum value (inclusive)

Boolean

Boolean type (no constraints)

Null

Null type (no constraints)

Array

Array type with element schema and size constraints

Fields

items: Option<Box<Schema>>

Schema for array elements (None = any type)

min_items: Option<usize>

Minimum array length (inclusive)

max_items: Option<usize>

Maximum array length (inclusive)

unique_items: bool

Whether all items must be unique

Object

Object type with property schemas

Fields

properties: HashMap<String, Schema>

Property name to schema mapping

required: Vec<String>

List of required property names

additional_properties: bool

Whether additional properties are allowed

OneOf

Union type (one of multiple schemas)

Fields

schemas: SmallVec<[Box<Schema>; 4]>

List of possible schemas

AllOf

Intersection type (all of multiple schemas)

Fields

schemas: SmallVec<[Box<Schema>; 4]>

List of schemas that must all match

Any

Any type (no validation)

Implementations

impl Schema

pub fn allows_type(&self, schema_type: SchemaType) -> bool

Check if schema allows a specific type

Used for quick type compatibility checks before full validation.

Arguments

• schema_type - The type to check compatibility for

Returns

true if the schema allows the type, false otherwise

pub fn validation_cost(&self) -> usize

Get estimated validation cost for performance optimization

Higher cost indicates more expensive validation operations. Used by validation scheduler to optimize validation order.

Returns

Validation cost estimate (0-1000 range)

pub fn string(min_length: Option<usize>, max_length: Option<usize>) -> Schema

Create a simple string schema with length constraints

pub fn integer(minimum: Option<i64>, maximum: Option<i64>) -> Schema

Create a simple integer schema with range constraints

pub fn number(minimum: Option<f64>, maximum: Option<f64>) -> Schema

Create a simple number schema with range constraints

pub fn array(items: Option<Schema>) -> Schema

Create an array schema with item type

pub fn object( properties: HashMap<String, Schema>, required: Vec<String>, ) -> Schema

Create an object schema with properties

Trait Implementations

impl Clone for Schema

fn clone(&self) -> Schema

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<(), Error>

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Schema

fn deserialize<__D>( __deserializer: __D, ) -> Result<Schema, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<&Schema> for SchemaDefinitionDto

fn from(schema: &Schema) -> Self

Converts to this type from the input type.

impl From<&Schema> for SchemaType

fn from(schema: &Schema) -> SchemaType

Converts to this type from the input type.

impl From<SchemaDefinitionDto> for Schema

fn from(dto: SchemaDefinitionDto) -> Self

Converts to this type from the input type.

impl PartialEq for Schema

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Schema