Refined: Simple Refinement Types for Rust(jordankaye.dev) |
Refined: Simple Refinement Types for Rust(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