{"id":64682,"library":"strict-types","title":"Strict Types","description":"Strict types: confined generalized algebraic data types (GADT) for Rust.","status":"active","version":"2.9.1","language":"rust","source_language":null,"source_url":null,"tags":["types","gadt","algebraic","strict"],"install":[{"cmd":"# Cargo.toml\n[dependencies]\nstrict_types = \"2.9.1\"","lang":"toml","label":"Cargo.toml"},{"cmd":"cargo add strict_types","lang":"bash","label":"cargo add"}],"dependencies":[],"imports":[{"symbol":"StrictType","correct":"use strict_types::StrictType;"}],"quickstart":{"code":"use strict_types::StrictType;\n\nfn main() {\n    let value = StrictType::new(42);\n    println!(\"Value: {:?}\", value);\n}","lang":"rust","description":"Creates a strict type wrapping an integer."},"warnings":[],"env_vars":null,"search_vec":"'algebra':7,15 'confin':5 'data':8 'gadt':10,14 'general':6 'rust':12 'strict':1,3,16 'type':2,4,9,13","created_at":"2026-06-17T16:59:02.796623+00:00","updated_at":"2026-06-17T16:59:02.796623+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://strict-types.org","github":null,"docs":"https://docs.rs/strict_types/","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-17","next_check":"2026-12-14","install_tag":null}}