{"library":"nonempty","type":"library","category":null,"description":"Correct by construction non-empty vector ensuring at least one element.","language":"rust","status":"active","version":"0.12.0","tags":["data-structures","non-empty","type-safety"],"last_verified":"Tue Jun 16","install":[{"cmd":"# Cargo.toml\n[dependencies]\nnonempty = \"0.12.0\"","imports":["use nonempty::NonEmpty;"]},{"cmd":"cargo add nonempty","imports":[]}],"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,"compatibility":null}