Enum CombinatorSchema 

pub enum CombinatorSchema {
    OneOf {
        schemas: Vec<Arc<dyn Fn(&Value, &JsonPath) -> Validation<Value, SchemaErrors> + Send + Sync>>,
        validators: Vec<Arc<dyn ValueValidator>>,
    },
    AnyOf {
        schemas: Vec<Arc<dyn Fn(&Value, &JsonPath) -> Validation<Value, SchemaErrors> + Send + Sync>>,
        validators: Vec<Arc<dyn ValueValidator>>,
    },
    AllOf {
        schemas: Vec<Arc<dyn Fn(&Value, &JsonPath) -> Validation<Value, SchemaErrors> + Send + Sync>>,
        validators: Vec<Arc<dyn ValueValidator>>,
    },
    Optional {
        inner: Arc<dyn Fn(&Value, &JsonPath) -> Validation<Value, SchemaErrors> + Send + Sync>,
        validator: Arc<dyn ValueValidator>,
    },
}

Schema combinators for composing validation logic.

CombinatorSchema provides four composition patterns:

• OneOf: Exactly one schema must match (discriminated unions)
• AnyOf: At least one schema must match (flexible unions)
• AllOf: All schemas must match (intersection)
• Optional: Value can be null

Each combinator implements SchemaLike and can be used anywhere a schema is expected.

Variants

OneOf

Exactly one schema must match.

Validates the value against all schemas. Succeeds if exactly one matches, fails if none or multiple match. Ideal for discriminated unions where a value must be one of several distinct types.

Fields

schemas: Vec<Arc<dyn Fn(&Value, &JsonPath) -> Validation<Value, SchemaErrors> + Send + Sync>>

validators: Vec<Arc<dyn ValueValidator>>

AnyOf

At least one schema must match.

Validates the value against schemas in order, short-circuiting on the first match. Fails only if none match. More permissive than OneOf.

Fields

schemas: Vec<Arc<dyn Fn(&Value, &JsonPath) -> Validation<Value, SchemaErrors> + Send + Sync>>

validators: Vec<Arc<dyn ValueValidator>>

AllOf

All schemas must match.

Validates the value against all schemas. Succeeds only if all pass, accumulating errors from any that fail. Useful for schema composition and intersection.

Fields

schemas: Vec<Arc<dyn Fn(&Value, &JsonPath) -> Validation<Value, SchemaErrors> + Send + Sync>>

validators: Vec<Arc<dyn ValueValidator>>

Optional

Value can be null.

Null values pass validation. Non-null values are validated against the inner schema.

Fields

inner: Arc<dyn Fn(&Value, &JsonPath) -> Validation<Value, SchemaErrors> + Send + Sync>

validator: Arc<dyn ValueValidator>

Trait Implementations

impl Clone for CombinatorSchema

fn clone(&self) -> CombinatorSchema

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl SchemaLike for CombinatorSchema

type Output = Value

The output type produced by successful validation.

fn validate( &self, value: &Value, path: &JsonPath, ) -> Validation<Value, SchemaErrors>

Validates a value against this schema.

fn validate_to_value( &self, value: &Value, path: &JsonPath, ) -> Validation<Value, SchemaErrors>

Validates a value and returns the result as a serde_json::Value.

fn validate_with_context( &self, value: &Value, path: &JsonPath, context: &ValidationContext, ) -> Validation<Value, SchemaErrors>

Validates a value with registry context for schema reference resolution.

fn validate_to_value_with_context( &self, value: &Value, path: &JsonPath, context: &ValidationContext, ) -> Validation<Value, SchemaErrors>

Validates a value with context and returns the result as a serde_json::Value.

fn collect_refs(&self, refs: &mut Vec<String>)

Collects all schema reference names used by this schema.

impl ToJsonSchema for CombinatorSchema

fn to_json_schema(&self) -> Value

Converts this schema to a JSON Schema representation.