2 unstable releases
0.2.0 | Apr 11, 2023 |
---|---|
0.1.0 | Mar 1, 2023 |
#2746 in Rust patterns
8KB
Valibuk
Valibuk is a library and a set of macros implementing the correct-by-construction pattern.
Correct-by-construction is a pattern that leverages the type system to guard against bugs that can come from improperly validating inputs. It does so by having an "unvalidated" type and a "validated" type. The only way of obtaining an instance of the validated type is to run all the defined validations on the unvalidated type. Then the correctness is achieved by using the correct type.
A small example
See more examples in tests
and examples
.
TODO
- Move validator registrations into macro annotations
- Support fields without validating
- Add UI tests using trybuild
- Support structs with lifetime params
- Support structs with generics
- Support global validators (take the whole struct)
- Add validator combinators
lib.rs
:
Correct-by-construction validators without boilerplate
Correct-by-construction is a pattern that leverages the type system to guard against bugs that can come from improperly validating inputs. It does so by having an "unvalidated" type and a "validated" type. The only way of obtaining an instance of the validated type is to run all the defined validations on the unvalidated type. Then the correctness is achieved by using the correct type.
Minimal Example
use valibuk::Validated;
// 1. Having a T -> Result<T, E> validator
fn is_positive(i: i32) -> Result<i32, String> {
if i > 0 {
Ok(i)
} else {
Err("wrong".to_string())
}
}
// 3. Derive (1) the `unvalidated` type and a `std::convert::TryFrom` trait
#[derive(Validated)]
// 2. And a struct
struct A {
#[validator(is_positive)] // Apply the function from (1) as validator
a: i32,
}
fn main() {
let i: i32 = 1;
// 4. Construct the instance of the original type from the unvalidated version
let a = A::try_from(UnvalidatedA { a: i }).expect("valid instance");
assert_eq!(a.a, i);
}
Walkthrough
- Use
#[derive(Validated)]
to mark the struct you want to use in your code - Mark any fields you want validated using
#[validator(<fn_name>)]
wherefn_name
refers to a validator function already in scope. This fn should have the form offn(T) -> Result<T, E>
whereT
is the type of the field being validated andE
is the error type you wish to use - Then to actually construct an instance of your struct, use
A::try_from(UnvalidatedA { ... })
, whereA
is your struct.
Specifying your own error types
By default, the error type returned by try_from
is Vec<String>
, which also forces the
validator functions to return Result<T, String>
.
You can plug in your own error type using #[validation_error(MyValidationError)]
attribute
annotation.
Dependencies
~1.5MB
~36K SLoC