cue-rs 0.1.4

//! Validate a [`serde_yml::Value`] against a CUE schema.
//!
//! The approach:
//! 1. Compile the CUE schema string into a [`cue_rs::Value`].
//! 2. Convert the YAML value to a [`serde_json::Value`] (via serde's
//!    serialize/deserialize).
//! 3. Serialize the JSON value to bytes and compile it into a second [`cue_rs::Value`].
//! 4. Unify the schema and the data — in CUE, unification is the `&` operator.
//! 5. Call [`cue_rs::Value::is_valid`] on the result; a bottom value (`_|_`) means the
//!    data does not conform to the schema.

use cue_rs::{Ctx, Value};

/// Converts `data` to JSON, then validates it against `schema` by unifying and
/// checking [`Value::is_valid`].
fn validate(
    ctx: &Ctx,
    schema: &Value,
    data: &yaml_serde::Value,
) -> Result<(), Box<dyn std::error::Error>> {
    let json_val = serde_json::to_value(data)?;
    let json_bytes = serde_json::to_vec(&json_val)?;
    let data_val = Value::compile_bytes(ctx, &json_bytes)?;
    Value::unify(schema, &data_val).is_valid()?;
    Ok(())
}

fn main() -> Result<(), Box<dyn std::error::Error>> {
    let ctx = Ctx::new()?;

    // CUE schema: an object with a `string` name and a non-negative `int` age.
    let schema = Value::compile_string(&ctx, r"{ name: string, age: int & >=0 }")?;

    // ✓ Valid: both fields satisfy the schema.
    let valid: yaml_serde::Value = yaml_serde::from_str("name: alice\nage: 30")?;
    match validate(&ctx, &schema, &valid) {
        Ok(()) => println!("valid:    {valid:?}"),
        Err(e) => println!("unexpected failure: {e}"),
    }

    // ✗ Invalid: `age` is negative, violating `>=0`.
    let invalid_age: yaml_serde::Value = yaml_serde::from_str("name: bob\nage: -1")?;
    match validate(&ctx, &schema, &invalid_age) {
        Ok(()) => println!("unexpected success"),
        Err(e) => println!("invalid:  {invalid_age:?}  ({e})"),
    }

    // ✗ Invalid: `name` is an integer, not a string.
    let invalid_type: yaml_serde::Value = yaml_serde::from_str("name: 42\nage: 25")?;
    match validate(&ctx, &schema, &invalid_type) {
        Ok(()) => println!("unexpected success"),
        Err(e) => println!("invalid:  {invalid_type:?}  ({e})"),
    }

    Ok(())
}