Crates.io | arbitrary_ext |
lib.rs | arbitrary_ext |
version | 0.3.0 |
source | src |
created_at | 2022-10-18 15:20:30.932267 |
updated_at | 2022-11-23 16:39:04.021195 |
description | Provides combinator functions to generate standard collections with custom arbitrary function. |
homepage | |
repository | |
max_upload_size | |
id | 691017 |
size | 10,199 |
Since 1.2.0
Arbitrary supports custom arbitrary implementation for fields on derive.
But it still remains tricky, if a type that does not implement Arbitrary
is wrapped into a generic type.
This crate provides s set of function combinators to support the containers and collections form the standard library.
See the example below.
use arbitrary_ext::{arbitrary_option, arbitrary_vec, arbitrary_hash_map};
use std::collections::HashMap;
// Imagine this is a foreign type, that by some reason does not implement Arbitrary trait.
#[derive(Debug, PartialEq, Eq, PartialOrd, Ord, Hash)]
struct Number(u32);
// Our custom function to generate arbitrary Number out of Unstructured.
fn arbitrary_number(u: &mut Unstructured) -> arbitrary::Result<Number> {
let value = u.int_in_range(0..=1000)?;
Ok(Number(value))
}
#[derive(Debug, Arbitrary)]
struct Example {
#[arbitrary(with = arbitrary_number)]
number: Number,
#[arbitrary(with = arbitrary_option(arbitrary_number))]
option: Option<Number>,
#[arbitrary(with = arbitrary_vec(arbitrary_number))]
vec: Vec<Number>,
#[arbitrary(
with = arbitrary_hash_map(
arbitrary_number,
arbitrary_vec(arbitrary_option(arbitrary_number))
)
)]
hash_map: HashMap<Number, Vec<Option<Number>>>,
}
Without having arbitrary_option
, arbitrary_vec
, arbitrary_hash_map
combinators, would be forced to implement out custom functions to generate
arbitrary Option<Number>
, Vec<Number>
and HashMap<Number, Vec<Option<Number>>>
. e.g.:
fn arbitrary_option_number(u: &mut Unstructured) -> arbitrary::Result<Option<Number>>;
fn arbitrary_vec_number(u: &mut Unstructured) -> arbitrary::Result<Vec<Number>>;
fn arbitrary_hash_map_of_numbers(u: &mut Unstructured) -> arbitrary::Result<HashMap<Number, Vec<Option<Number>>>>;
But this becomes tedious very quickly.
Initially the crate was created to workaround this Arbitrary issue but it was later addressed in this PR.