Type Alias zebra_test::prelude::prop::arbitrary::SMapped

pub type SMapped<I, O> = Map<<I as Arbitrary>::Strategy, fn(_: I) -> O>;

A static map from a strategy of I to O.

Stability

This is provided to make documentation more readable. Do not rely on it existing in your own code.

Aliased Type

struct SMapped<I, O> {
    source: <I as Arbitrary>::Strategy,
    fun: fn(_: I) -> O,
}

Fields

source: <I as Arbitrary>::Strategy

fun: fn(_: I) -> O