STRONG

Rust is a statically and strongly typed systems programming language. We can create a new type wrapping primitives.

struct Age(i32);
struct Email(String);

There is a problem here, there are two types of strings in Rust, and it is hard to create strong types for both String and &str.

STRONG provides two types owned StrongBuf and unsized Strong.

use strong::{StrongBuf, Strong, Email, Validator}

fn login(email: &Strong<Email>, password: &strong<Password>) { .. }

let email: StrongBuf<Email> = ..
let password: StrongBuf<Password> = ..
login(&email, &password);

Getting Started

use strong::{StrongBuf, Strong, Validator}

enum Password {}
impl<T> Validator for Password {
    type Err = std::convert::Infallible;
}

License

Licensed under MIT license (LICENSE-MIT or https://opensource.org/licenses/MIT)

Contributing

welcome!