{"id":58244,"library":"nonempty","title":"Nonempty","description":"Correct by construction non-empty vector ensuring at least one element.","status":"active","version":"0.12.0","language":"rust","source_language":null,"source_url":"https://github.com/cloudhead/nonempty","tags":["data-structures","non-empty","type-safety"],"install":[{"cmd":"# Cargo.toml\n[dependencies]\nnonempty = \"0.12.0\"","lang":"toml","label":"Cargo.toml"},{"cmd":"cargo add nonempty","lang":"bash","label":"cargo add"}],"dependencies":[],"imports":[{"symbol":"NonEmpty","correct":"use nonempty::NonEmpty;"}],"quickstart":{"code":"use nonempty::NonEmpty;\n\nfn main() {\n    let v = NonEmpty::new(1);\n    println!(\"First: {}\", v.first);\n}","lang":"rust","description":"Creates a non-empty vector with a single element."},"warnings":[],"env_vars":null,"search_vec":"'construct':4 'correct':2 'data':15 'data-structur':14 'element':13 'empti':7,19 'ensur':9 'least':11 'non':6,18 'non-empti':5,17 'nonempti':1 'one':12 'safeti':22 'structur':16 'type':21 'type-safeti':20 'vector':8","created_at":"2026-06-16T16:16:40.672391+00:00","updated_at":"2026-06-16T16:16:40.672391+00:00","problems":[],"ecosystem":"crates","meta_description":null,"install_score":null,"quickstart_score":null,"quickstart_tag":null,"pypi_latest":null,"cli_name":null,"cli_version":null,"type":"library","homepage":"https://github.com/cloudhead/nonempty","github":"https://github.com/cloudhead/nonempty","docs":"https://docs.rs/nonempty/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"categories":["utility"],"base_url":null,"auth_type":null,"provenance":{"verified_status":null,"verified_at":null,"last_verified":"2026-06-16","next_check":"2026-12-13","install_tag":null}}