Refined: Simple Refinement Types for Rust
jordankaye.dev
jordankaye.dev
Also, the post talks about how one should prefer parsers over validators, but the library `refined` actually makes you to write validators not parsers: https://docs.rs/refined/latest/refined/trait.Predicate.html -- the library them combines validatators