yoke 0.8.3: yoke::Yoke

# This file is automatically @generated by Cargo.
# It is not intended for manual editing.
version = 4

[[package]]
name = "sample-yoke"
version = "1.0.0"
dependencies = [
 "yoke",
]

[[package]]
name = "stable_deref_trait"
version = "1.2.1"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "6ce2be8dc25455e1f91df71bfa12ad37d7af1092ae736f3a6cd0e37bc7810596"

[[package]]
name = "yoke"
version = "0.8.3"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "709fe23a0424b6a435d82152b1bd3fdfb0833487d5fa90d05d42762a9891fef5"
dependencies = [
 "stable_deref_trait",
 "zerofrom",
]

[[package]]
name = "zerofrom"
version = "0.1.8"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "0ec05a11813ea801ff6d75110ad09cd0824ddba17dfe17128ea0d5f68e6c5272"

[package]
name = "sample-yoke"
version = "1.0.0"
edition = "2021"
publish = false

[dependencies]
yoke = "=0.8.3"

[[bin]]
name = "contract"
path = "test/contract.rs"

Clean-room public code sample — generation instructions

Write a brand-new, minimal, self-contained code sample in this clean-room directory.
Do not copy, paraphrase, or reference any existing project source. Work only from this spec.

A csx.json manifest scaffold already exists. Do not recreate it from memory. Preserve its case.goal, packages and symbols; fill its empty case.contract with exact assertions and correct its environment, commands and verifierAdapter for the files you generate.

Goal: verify yoke::Yoke in pkg:cargo/yoke@0.8.3
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:cargo/yoke@0.8.3
Demonstrate these symbols/APIs:
  - yoke::Yoke

Rules:
  - One focused purpose; the smallest project that proves the goal.
  - Include a contract test (test/contract.*) that runs OFFLINE and exits 0 exactly when the goal behavior works.
  - Pin every dependency with a lockfile so resolution is reproducible.
  - No secrets, credentials, or tokens. No real URLs (only example.com or localhost). No absolute paths.
  - No personal names, emails, company names, or project identifiers of any kind.
  - No binaries and no generated output (node_modules, dist, target, venv, .git, .env).
  - Keep it under 200 files and 256KB packed.

{"case":{"caseId":"case:sha256:9cd51611c6b53b066f0e11eab264a8ecd4545e0d94b941ef57d03ad4a2287590","contract":["Yoke::attach_to_cart attaches a borrowed object to a backing cart and get provides access to the yoked reference","Yoke::try_attach_to_cart constructs Yoke when closure succeeds and propagates errors on failure","Yoke::attach_to_zero_copy_cart constructs Yoke by zero-copy cloning the cart via ZeroFrom","Yoke::map_project transforms yoked data into a new projection borrowing from the same cart","Yoke::with_mut allows in-place mutation of the inner yokeable data","Yoke::new_always_owned and into_yokeable wrap and recover unborrowed static data without a cart","Yoke clones when cart implements CloneableCart and into_backing_cart yields the owned cart"],"goal":"verify yoke::Yoke in pkg:cargo/yoke@0.8.3","kind":"HOW","packages":["pkg:cargo/yoke@0.8.3"],"schemaVersion":1,"symbols":["yoke::Yoke"]},"contractCommand":["cargo","run","--offline"],"environment":{"arch":"x64","distro":"alpine","ecosystem":"cargo","libc":"musl","os":"linux","packageManager":"cargo","schemaVersion":1},"license":"MIT-0","packages":["pkg:cargo/yoke@0.8.3"],"schemaVersion":1,"subject":"pkg:cargo/yoke@0.8.3","symbols":["yoke::Yoke"],"verifierAdapter":"cargo@1"}

{
  "schemaVersion": 1,
  "goal": "verify yoke::Yoke in pkg:cargo/yoke@0.8.3",
  "kind": "HOW",
  "packages": [
    "pkg:cargo/yoke@0.8.3"
  ],
  "symbols": [
    "yoke::Yoke"
  ]
}

//! Clean-room verification sample for yoke.

pub use yoke::*;

use std::borrow::Cow;
use std::rc::Rc;
use yoke::Yoke;

fn main() {
    // 1. Yoke::attach_to_cart attaches a borrowed object to a backing cart and get provides access to the yoked reference
    let cart: Rc<String> = Rc::new("hello world yoke".to_string());
    let yoke: Yoke<Cow<'static, str>, Rc<String>> =
        Yoke::attach_to_cart(cart, |s: &String| Cow::Borrowed(&s[0..5]));
    assert_eq!(yoke.get().as_ref(), "hello");

    // 2. Yoke::try_attach_to_cart constructs Yoke when closure succeeds and propagates errors on failure
    let ok_yoke: Result<Yoke<&'static str, Rc<String>>, ()> =
        Yoke::try_attach_to_cart(Rc::new("valid".to_string()), |s| Ok(s.as_str()));
    assert!(ok_yoke.is_ok());
    assert_eq!(*ok_yoke.unwrap().get(), "valid");

    let err_yoke: Result<Yoke<&'static str, Rc<String>>, &'static str> =
        Yoke::try_attach_to_cart(Rc::new("err".to_string()), |_| Err("parse error"));
    assert_eq!(err_yoke.unwrap_err(), "parse error");

    // 3. Yoke::attach_to_zero_copy_cart constructs Yoke by zero-copy cloning the cart via ZeroFrom
    let zc_yoke: Yoke<Cow<'static, str>, String> =
        Yoke::<Cow<'static, str>, String>::attach_to_zero_copy_cart("zero-copy-string".to_string());
    assert_eq!(zc_yoke.get().as_ref(), "zero-copy-string");

    // 4. Yoke::map_project transforms yoked data into a new projection borrowing from the same cart
    let str_yoke: Yoke<&'static str, Rc<String>> =
        Yoke::attach_to_cart(Rc::new("abcdef".to_string()), |s| &s[0..4]);
    let projected: Yoke<&'static str, Rc<String>> = str_yoke.map_project(|s, _| &s[0..2]);
    assert_eq!(*projected.get(), "ab");

    // 5. Yoke::with_mut allows in-place mutation of the inner yokeable data
    let mut mut_yoke: Yoke<Cow<'static, str>, Rc<String>> =
        Yoke::attach_to_cart(Rc::new("original".to_string()), |s| Cow::Borrowed(s.as_str()));
    mut_yoke.with_mut(|cow| {
        let m = cow.to_mut();
        m.push_str(" updated");
    });
    assert_eq!(mut_yoke.get().as_ref(), "original updated");

    // 6. Yoke::new_always_owned and into_yokeable wrap and recover unborrowed static data without a cart
    let owned_cow: Cow<'static, str> = Cow::Owned("static data".to_string());
    let owned_yoke: Yoke<Cow<'static, str>, ()> = Yoke::new_always_owned(owned_cow);
    assert_eq!(owned_yoke.get().as_ref(), "static data");
    let recovered = owned_yoke.into_yokeable();
    assert_eq!(recovered.as_ref(), "static data");

    // 7. Yoke clones when cart implements CloneableCart and into_backing_cart yields the owned cart
    let rc_cart = Rc::new("shared cart".to_string());
    let y1: Yoke<Cow<'static, str>, Rc<String>> =
        Yoke::attach_to_cart(rc_cart, |s| Cow::Borrowed(s.as_str()));
    let y2 = y1.clone();
    assert_eq!(y1.get().as_ref(), "shared cart");
    assert_eq!(y2.get().as_ref(), "shared cart");
    let back = y1.into_backing_cart();
    assert_eq!(back.as_str(), "shared cart");

    println!("All yoke::Yoke contract assertions passed successfully.");
}