Function generate_array_of

crates/sats/src/proptest.rs:178–187

Generates an array value given an element generator `gen_elem`.

(gen_elem: S)

/// Generates an array value given an element generator `gen_elem`.
fn generate_array_of<S>(gen_elem: S) -> BoxedStrategy<ArrayValue>
where
    S: Strategy + 'static,
    Box<[S::Value]>: 'static + Into<ArrayValue>,
{
    vec(gen_elem, 0..=SIZE)
        .prop_map(Vec::into_boxed_slice)
        .prop_map_into()
        .boxed()
}

/// Generates an array value with elements typed at `ty`.
fn generate_array_value(ty: AlgebraicType) -> BoxedStrategy<ArrayValue> {