Trait proptest::arbitrary::Arbitrary

source ·
pub trait Arbitrary: Sized + Debug {
    type Parameters: Default;
    type Strategy: Strategy<Value = Self>;

    // Required method
    fn arbitrary_with(args: Self::Parameters) -> Self::Strategy;

    // Provided method
    fn arbitrary() -> Self::Strategy { ... }
}
Expand description

Arbitrary determines a canonical Strategy for the implementing type.

It provides the method arbitrary_with which generates a Strategy for producing arbitrary values of the implementing type (Self). In general, these strategies will produce the entire set of values possible for the type, up to some size limitation or constraints set by their parameters. When this is not desired, strategies to produce the desired values can be built by combining Strategys as described in the crate documentation.

This trait analogous to Haskell QuickCheck’s implementation of Arbitrary. In this interpretation of Arbitrary, Strategy is the equivalent of the Gen monad. Unlike in QuickCheck, Arbitrary is not a core component; types do not need to implement Arbitrary unless one wants to use any or other free functions in this module.

Arbitrary currently only works for types which represent owned data as opposed to borrowed data. This is a fundamental restriction of proptest which may be lifted in the future as the generic associated types (GAT) feature of Rust is implemented and stabilized.

Required Associated Types§

source

type Parameters: Default

The type of parameters that arbitrary_with accepts for configuration of the generated Strategy. Parameters must implement Default.

source

type Strategy: Strategy<Value = Self>

The type of Strategy used to generate values of type Self.

Required Methods§

source

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

Generates a Strategy for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

If you wish to use the default() arguments, use arbitrary instead.

Provided Methods§

source

fn arbitrary() -> Self::Strategy

Generates a Strategy for producing arbitrary values of type the implementing type (Self).

Calling this for the type X is the equivalent of using X::arbitrary_with(Default::default()).

This method is defined in the trait for optimization for the default if you want to do that. It is a logic error to not preserve the semantics when overriding.

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl Arbitrary for Ordering

source§

impl Arbitrary for IpAddr

source§

impl Arbitrary for SocketAddr

source§

impl Arbitrary for FpCategory

source§

impl Arbitrary for Option<ParseError>

source§

impl Arbitrary for Ordering

source§

impl Arbitrary for VarError

source§

impl Arbitrary for SeekFrom

source§

impl Arbitrary for ErrorKind

source§

impl Arbitrary for Shutdown

source§

impl Arbitrary for RecvTimeoutError

source§

impl Arbitrary for TryRecvError

source§

impl Arbitrary for bool

source§

impl Arbitrary for char

§

type Parameters = ()

§

type Strategy = CharStrategy<'static>

source§

fn arbitrary_with(_args: Self::Parameters) -> Self::Strategy

source§

impl Arbitrary for f32

source§

impl Arbitrary for f64

source§

impl Arbitrary for i8

source§

impl Arbitrary for i16

source§

impl Arbitrary for i32

source§

impl Arbitrary for i64

source§

impl Arbitrary for i128

source§

impl Arbitrary for isize

source§

impl Arbitrary for u8

source§

impl Arbitrary for u16

source§

impl Arbitrary for u32

source§

impl Arbitrary for u64

source§

impl Arbitrary for u128

source§

impl Arbitrary for ()

source§

impl Arbitrary for usize

source§

impl Arbitrary for Box<str>

source§

impl Arbitrary for Box<CStr>

source§

impl Arbitrary for Box<OsStr>

source§

impl Arbitrary for CString

source§

impl Arbitrary for IntoStringError

source§

impl Arbitrary for Rc<str>

source§

impl Arbitrary for FromUtf8Error

source§

impl Arbitrary for FromUtf16Error

source§

impl Arbitrary for String

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

§Panics

This implementation panics if the input is not a valid regex proptest can handle.

§

type Parameters = StringParam

§

type Strategy = &'static str

source§

impl Arbitrary for Arc<str>

source§

impl Arbitrary for EscapeDefault

source§

impl Arbitrary for BorrowError

source§

impl Arbitrary for BorrowMutError

source§

impl Arbitrary for ParseCharError

source§

impl Arbitrary for DecodeUtf16Error

source§

impl Arbitrary for EscapeDebug

source§

impl Arbitrary for EscapeDefault

source§

impl Arbitrary for EscapeUnicode

source§

impl Arbitrary for FromBytesWithNulError

source§

impl Arbitrary for Error

source§

impl Arbitrary for Ipv4Addr

source§

impl Arbitrary for Ipv6Addr

source§

impl Arbitrary for AddrParseError

source§

impl Arbitrary for SocketAddrV4

source§

impl Arbitrary for SocketAddrV6

source§

impl Arbitrary for ParseFloatError

source§

impl Arbitrary for ParseIntError

source§

impl Arbitrary for RangeFull

source§

impl Arbitrary for ParseBoolError

source§

impl Arbitrary for Utf8Error

§

type Parameters = ()

§

type Strategy = Map<(<u16 as Arbitrary>::Strategy, TupleUnion<((u32, Arc<Just<&'static [u8]>>), (u32, Arc<Just<&'static [u8]>>), (u32, Arc<Just<&'static [u8]>>), (u32, Arc<Just<&'static [u8]>>))>), fn(_: <(<u16 as Arbitrary>::Strategy, TupleUnion<((u32, Arc<Just<&'static [u8]>>), (u32, Arc<Just<&'static [u8]>>), (u32, Arc<Just<&'static [u8]>>), (u32, Arc<Just<&'static [u8]>>))>) as Strategy>::Value) -> Utf8Error>

source§

fn arbitrary_with(_args: Self::Parameters) -> Self::Strategy

source§

impl Arbitrary for AtomicBool

source§

impl Arbitrary for AtomicIsize

source§

impl Arbitrary for AtomicUsize

source§

impl Arbitrary for Duration

§

type Parameters = ()

§

type Strategy = Map<<(u64, u32) as Arbitrary>::Strategy, fn(_: (u64, u32)) -> Duration>

source§

fn arbitrary_with(_args: Self::Parameters) -> Self::Strategy

source§

impl Arbitrary for Args

source§

impl Arbitrary for ArgsOs

source§

impl Arbitrary for JoinPathsError

source§

impl Arbitrary for Vars

source§

impl Arbitrary for VarsOs

source§

impl Arbitrary for OsString

source§

impl Arbitrary for DirBuilder

source§

impl Arbitrary for DefaultHasher

source§

impl Arbitrary for RandomState

source§

impl Arbitrary for Error

source§

impl Arbitrary for Stderr

source§

impl Arbitrary for Stdin

source§

impl Arbitrary for Stdout

source§

impl Arbitrary for Empty

source§

impl Arbitrary for Repeat

§

type Parameters = ()

§

type Strategy = Map<<u8 as Arbitrary>::Strategy, fn(_: u8) -> Repeat>

source§

fn arbitrary_with(_args: Self::Parameters) -> Self::Strategy

source§

impl Arbitrary for Sink

source§

impl Arbitrary for StripPrefixError

source§

impl Arbitrary for Barrier

source§

impl Arbitrary for BarrierWaitResult

source§

impl Arbitrary for Condvar

source§

impl Arbitrary for WaitTimeoutResult

source§

impl Arbitrary for RecvError

source§

impl Arbitrary for Once

source§

impl Arbitrary for Builder

source§

impl Arbitrary for Instant

source§

impl Arbitrary for SystemTime

§

type Parameters = ()

§

type Strategy = Map<(Any, Range<u32>), fn(_: (i32, u32)) -> SystemTime>

source§

fn arbitrary_with(_args: Self::Parameters) -> Self::Strategy

source§

impl Arbitrary for NonZeroI8

source§

impl Arbitrary for NonZeroI16

source§

impl Arbitrary for NonZeroI32

source§

impl Arbitrary for NonZeroI64

source§

impl Arbitrary for NonZeroI128

source§

impl Arbitrary for NonZeroIsize

source§

impl Arbitrary for NonZeroU8

source§

impl Arbitrary for NonZeroU16

source§

impl Arbitrary for NonZeroU32

source§

impl Arbitrary for NonZeroU64

source§

impl Arbitrary for NonZeroU128

source§

impl Arbitrary for NonZeroUsize

source§

impl<'a, T: 'a + Clone, A: Arbitrary + Iterator<Item = &'a T>> Arbitrary for Cloned<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> Cloned<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A> Arbitrary for (Sender<A>, Receiver<A>)

§

type Parameters = ()

§

type Strategy = LazyJust<(Sender<A>, Receiver<A>), fn() -> (Sender<A>, Receiver<A>)>

source§

fn arbitrary_with(_args: Self::Parameters) -> Self::Strategy

source§

impl<A> Arbitrary for (SyncSender<A>, Receiver<A>)

§

type Parameters = ()

§

type Strategy = Map<<u16 as Arbitrary>::Strategy, fn(_: u16) -> (SyncSender<A>, Receiver<A>)>

source§

fn arbitrary_with(_args: Self::Parameters) -> Self::Strategy

source§

impl<A> Arbitrary for Empty<A>

§

type Parameters = ()

§

type Strategy = Just<Empty<A>>

source§

fn arbitrary_with(_args: Self::Parameters) -> Self::Strategy

source§

impl<A: PartialOrd + Arbitrary> Arbitrary for Range<A>

source§

impl<A: PartialOrd + Arbitrary> Arbitrary for RangeInclusive<A>

source§

impl<A: Debug> Arbitrary for (Sender<A>, IntoIter<A>)

§

type Parameters = ()

§

type Strategy = LazyJust<(Sender<A>, IntoIter<A>), fn() -> (Sender<A>, IntoIter<A>)>

source§

fn arbitrary_with(_args: Self::Parameters) -> Self::Strategy

source§

impl<A: Debug> Arbitrary for (SyncSender<A>, IntoIter<A>)

§

type Parameters = ()

§

type Strategy = Map<<u16 as Arbitrary>::Strategy, fn(_: u16) -> (SyncSender<A>, IntoIter<A>)>

source§

fn arbitrary_with(_args: Self::Parameters) -> Self::Strategy

source§

impl<A: BufRead + Arbitrary> Arbitrary for Split<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<(A, u8) as Arbitrary>::Strategy, fn(_: (A, u8)) -> Split<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Read + Arbitrary> Arbitrary for Take<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<(A, u64) as Arbitrary>::Strategy, fn(_: (A, u64)) -> Take<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Read + Arbitrary, B: Read + Arbitrary> Arbitrary for Chain<A, B>

source§

impl<A: Arbitrary + Borrow<B>, B: ToOwned<Owned = A> + Debug + ?Sized> Arbitrary for Cow<'static, B>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> Cow<'static, B>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary + Clone> Arbitrary for Repeat<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> Repeat<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary + Ord> Arbitrary for BinaryHeap<A>

source§

impl<A: Arbitrary + Ord> Arbitrary for IntoIter<A>

source§

impl<A: Arbitrary + Ord> Arbitrary for BTreeSet<A>

source§

impl<A: Arbitrary + Ord> Arbitrary for IntoIter<A>

source§

impl<A: Arbitrary + Ord, B: Arbitrary> Arbitrary for BTreeMap<A, B>

source§

impl<A: Arbitrary + Ord, B: Arbitrary> Arbitrary for IntoIter<A, B>

§

type Parameters = <BTreeMap<A, B> as Arbitrary>::Parameters

§

type Strategy = Map<<BTreeMap<A, B> as Arbitrary>::Strategy, fn(_: BTreeMap<A, B>) -> IntoIter<A, B>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary + Hash + Eq> Arbitrary for HashSet<A>

source§

impl<A: Arbitrary + Hash + Eq> Arbitrary for IntoIter<A>

source§

impl<A: Arbitrary + Hash + Eq, B: Arbitrary> Arbitrary for HashMap<A, B>

source§

impl<A: Arbitrary + Hash + Eq, B: Arbitrary> Arbitrary for IntoIter<A, B>

§

type Parameters = <HashMap<A, B> as Arbitrary>::Parameters

§

type Strategy = Map<<HashMap<A, B> as Arbitrary>::Strategy, fn(_: HashMap<A, B>) -> IntoIter<A, B>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary + DoubleEndedIterator> Arbitrary for Rev<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> Rev<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary + Iterator + Clone> Arbitrary for Cycle<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> Cycle<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary + Iterator> Arbitrary for Enumerate<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> Enumerate<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary + Iterator> Arbitrary for Fuse<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> Fuse<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary + Iterator> Arbitrary for Skip<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<(A, usize) as Arbitrary>::Strategy, fn(_: (A, usize)) -> Skip<A>>

source§

fn arbitrary_with(a: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary + Iterator> Arbitrary for Take<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<(A, usize) as Arbitrary>::Strategy, fn(_: (A, usize)) -> Take<A>>

source§

fn arbitrary_with(a: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary + Iterator<Item = T>, T: Debug> Arbitrary for Peekable<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> Peekable<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary + Iterator, B: Arbitrary + Iterator> Arbitrary for Zip<A, B>

§

type Parameters = (<A as Arbitrary>::Parameters, <B as Arbitrary>::Parameters)

§

type Strategy = Map<<(A, B) as Arbitrary>::Strategy, fn(_: (A, B)) -> Zip<A, B>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary + Copy> Arbitrary for Cell<A>

source§

impl<A: Arbitrary + BufRead> Arbitrary for Lines<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> Lines<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary + Read> Arbitrary for BufReader<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<(A, Option<u16>) as Arbitrary>::Strategy, fn(_: (A, Option<u16>)) -> BufReader<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary + Write> Arbitrary for BufWriter<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<(A, Option<u16>) as Arbitrary>::Strategy, fn(_: (A, Option<u16>)) -> BufWriter<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary + Write> Arbitrary for LineWriter<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<(A, Option<u16>) as Arbitrary>::Strategy, fn(_: (A, Option<u16>)) -> LineWriter<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary> Arbitrary for Bound<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = TupleUnion<((u32, Arc<Map<Arc<<A as Arbitrary>::Strategy>, fn(_: <Arc<<A as Arbitrary>::Strategy> as Strategy>::Value) -> Bound<A>>>), (u32, Arc<Map<Arc<<A as Arbitrary>::Strategy>, fn(_: <Arc<<A as Arbitrary>::Strategy> as Strategy>::Value) -> Bound<A>>>), (u32, Arc<LazyJust<Bound<A>, fn() -> Bound<A>>>))>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary> Arbitrary for Option<A>

source§

impl<A: Arbitrary> Arbitrary for Result<ParseError, A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> Result<Infallible, A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary> Arbitrary for Result<A, ParseError>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> Result<A, Infallible>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary> Arbitrary for [A; 1]

source§

impl<A: Arbitrary> Arbitrary for [A; 2]

source§

impl<A: Arbitrary> Arbitrary for [A; 3]

source§

impl<A: Arbitrary> Arbitrary for [A; 4]

source§

impl<A: Arbitrary> Arbitrary for [A; 5]

source§

impl<A: Arbitrary> Arbitrary for [A; 6]

source§

impl<A: Arbitrary> Arbitrary for [A; 7]

source§

impl<A: Arbitrary> Arbitrary for [A; 8]

source§

impl<A: Arbitrary> Arbitrary for [A; 9]

source§

impl<A: Arbitrary> Arbitrary for [A; 10]

source§

impl<A: Arbitrary> Arbitrary for [A; 11]

source§

impl<A: Arbitrary> Arbitrary for [A; 12]

source§

impl<A: Arbitrary> Arbitrary for [A; 13]

source§

impl<A: Arbitrary> Arbitrary for [A; 14]

source§

impl<A: Arbitrary> Arbitrary for [A; 15]

source§

impl<A: Arbitrary> Arbitrary for [A; 16]

source§

impl<A: Arbitrary> Arbitrary for [A; 17]

source§

impl<A: Arbitrary> Arbitrary for [A; 18]

source§

impl<A: Arbitrary> Arbitrary for [A; 19]

source§

impl<A: Arbitrary> Arbitrary for [A; 20]

source§

impl<A: Arbitrary> Arbitrary for [A; 21]

source§

impl<A: Arbitrary> Arbitrary for [A; 22]

source§

impl<A: Arbitrary> Arbitrary for [A; 23]

source§

impl<A: Arbitrary> Arbitrary for [A; 24]

source§

impl<A: Arbitrary> Arbitrary for [A; 25]

source§

impl<A: Arbitrary> Arbitrary for [A; 26]

source§

impl<A: Arbitrary> Arbitrary for [A; 27]

source§

impl<A: Arbitrary> Arbitrary for [A; 28]

source§

impl<A: Arbitrary> Arbitrary for [A; 29]

source§

impl<A: Arbitrary> Arbitrary for [A; 30]

source§

impl<A: Arbitrary> Arbitrary for [A; 31]

source§

impl<A: Arbitrary> Arbitrary for [A; 32]

source§

impl<A: Arbitrary> Arbitrary for Box<[A]>

source§

impl<A: Arbitrary> Arbitrary for Box<A>

source§

impl<A: Arbitrary> Arbitrary for IntoIter<A>

source§

impl<A: Arbitrary> Arbitrary for LinkedList<A>

source§

impl<A: Arbitrary> Arbitrary for IntoIter<A>

source§

impl<A: Arbitrary> Arbitrary for VecDeque<A>

source§

impl<A: Arbitrary> Arbitrary for Rc<[A]>

source§

impl<A: Arbitrary> Arbitrary for Rc<A>

source§

impl<A: Arbitrary> Arbitrary for Arc<[A]>

source§

impl<A: Arbitrary> Arbitrary for Arc<A>

source§

impl<A: Arbitrary> Arbitrary for IntoIter<A>

§

type Parameters = <Vec<A> as Arbitrary>::Parameters

§

type Strategy = Map<<Vec<A> as Arbitrary>::Strategy, fn(_: Vec<A>) -> IntoIter<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary> Arbitrary for Vec<A>

source§

impl<A: Arbitrary> Arbitrary for RefCell<A>

source§

impl<A: Arbitrary> Arbitrary for UnsafeCell<A>

source§

impl<A: Arbitrary> Arbitrary for Reverse<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> Reverse<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary> Arbitrary for Once<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> Once<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary> Arbitrary for Discriminant<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> Discriminant<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary> Arbitrary for Wrapping<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> Wrapping<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary> Arbitrary for RangeFrom<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> RangeFrom<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary> Arbitrary for RangeTo<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> RangeTo<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary> Arbitrary for RangeToInclusive<A>

source§

impl<A: Arbitrary> Arbitrary for IntoIter<A>

source§

impl<A: Arbitrary> Arbitrary for AssertUnwindSafe<A>

source§

impl<A: Arbitrary> Arbitrary for IntoIter<A>

§

type Parameters = <Result<A, ()> as Arbitrary>::Parameters

§

type Strategy = Map<<Result<A, ()> as Arbitrary>::Strategy, fn(_: Result<A, ()>) -> IntoIter<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary> Arbitrary for Cursor<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> Cursor<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary> Arbitrary for Mutex<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> Mutex<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary> Arbitrary for RwLock<A>

§

type Parameters = <A as Arbitrary>::Parameters

§

type Strategy = Map<<A as Arbitrary>::Strategy, fn(_: A) -> RwLock<A>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<A: Arbitrary, B: Arbitrary> Arbitrary for Result<A, B>

source§

impl<H: Default + Hasher> Arbitrary for BuildHasherDefault<H>

source§

impl<P: Clone + Default, T: Arbitrary<Parameters = P>> Arbitrary for TrySendError<T>

§

type Parameters = P

§

type Strategy = TupleUnion<((u32, Arc<Map<<T as Arbitrary>::Strategy, fn(_: T) -> TrySendError<T>>>), (u32, Arc<Map<<T as Arbitrary>::Strategy, fn(_: T) -> TrySendError<T>>>))>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<T0: Arbitrary> Arbitrary for (T0,)

§

type Parameters = (<T0 as Arbitrary>::Parameters,)

§

type Strategy = (<T0 as Arbitrary>::Strategy,)

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<T0: Arbitrary, T1: Arbitrary> Arbitrary for (T0, T1)

§

type Parameters = (<T0 as Arbitrary>::Parameters, <T1 as Arbitrary>::Parameters)

§

type Strategy = (<T0 as Arbitrary>::Strategy, <T1 as Arbitrary>::Strategy)

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<T0: Arbitrary, T1: Arbitrary, T2: Arbitrary> Arbitrary for (T0, T1, T2)

§

type Parameters = (<T0 as Arbitrary>::Parameters, <T1 as Arbitrary>::Parameters, <T2 as Arbitrary>::Parameters)

§

type Strategy = (<T0 as Arbitrary>::Strategy, <T1 as Arbitrary>::Strategy, <T2 as Arbitrary>::Strategy)

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<T0: Arbitrary, T1: Arbitrary, T2: Arbitrary, T3: Arbitrary> Arbitrary for (T0, T1, T2, T3)

§

type Parameters = (<T0 as Arbitrary>::Parameters, <T1 as Arbitrary>::Parameters, <T2 as Arbitrary>::Parameters, <T3 as Arbitrary>::Parameters)

§

type Strategy = (<T0 as Arbitrary>::Strategy, <T1 as Arbitrary>::Strategy, <T2 as Arbitrary>::Strategy, <T3 as Arbitrary>::Strategy)

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<T0: Arbitrary, T1: Arbitrary, T2: Arbitrary, T3: Arbitrary, T4: Arbitrary> Arbitrary for (T0, T1, T2, T3, T4)

§

type Parameters = (<T0 as Arbitrary>::Parameters, <T1 as Arbitrary>::Parameters, <T2 as Arbitrary>::Parameters, <T3 as Arbitrary>::Parameters, <T4 as Arbitrary>::Parameters)

§

type Strategy = (<T0 as Arbitrary>::Strategy, <T1 as Arbitrary>::Strategy, <T2 as Arbitrary>::Strategy, <T3 as Arbitrary>::Strategy, <T4 as Arbitrary>::Strategy)

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<T0: Arbitrary, T1: Arbitrary, T2: Arbitrary, T3: Arbitrary, T4: Arbitrary, T5: Arbitrary> Arbitrary for (T0, T1, T2, T3, T4, T5)

§

type Parameters = (<T0 as Arbitrary>::Parameters, <T1 as Arbitrary>::Parameters, <T2 as Arbitrary>::Parameters, <T3 as Arbitrary>::Parameters, <T4 as Arbitrary>::Parameters, <T5 as Arbitrary>::Parameters)

§

type Strategy = (<T0 as Arbitrary>::Strategy, <T1 as Arbitrary>::Strategy, <T2 as Arbitrary>::Strategy, <T3 as Arbitrary>::Strategy, <T4 as Arbitrary>::Strategy, <T5 as Arbitrary>::Strategy)

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<T0: Arbitrary, T1: Arbitrary, T2: Arbitrary, T3: Arbitrary, T4: Arbitrary, T5: Arbitrary, T6: Arbitrary> Arbitrary for (T0, T1, T2, T3, T4, T5, T6)

§

type Parameters = (<T0 as Arbitrary>::Parameters, <T1 as Arbitrary>::Parameters, <T2 as Arbitrary>::Parameters, <T3 as Arbitrary>::Parameters, <T4 as Arbitrary>::Parameters, <T5 as Arbitrary>::Parameters, <T6 as Arbitrary>::Parameters)

§

type Strategy = (<T0 as Arbitrary>::Strategy, <T1 as Arbitrary>::Strategy, <T2 as Arbitrary>::Strategy, <T3 as Arbitrary>::Strategy, <T4 as Arbitrary>::Strategy, <T5 as Arbitrary>::Strategy, <T6 as Arbitrary>::Strategy)

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<T0: Arbitrary, T1: Arbitrary, T2: Arbitrary, T3: Arbitrary, T4: Arbitrary, T5: Arbitrary, T6: Arbitrary, T7: Arbitrary> Arbitrary for (T0, T1, T2, T3, T4, T5, T6, T7)

§

type Parameters = (<T0 as Arbitrary>::Parameters, <T1 as Arbitrary>::Parameters, <T2 as Arbitrary>::Parameters, <T3 as Arbitrary>::Parameters, <T4 as Arbitrary>::Parameters, <T5 as Arbitrary>::Parameters, <T6 as Arbitrary>::Parameters, <T7 as Arbitrary>::Parameters)

§

type Strategy = (<T0 as Arbitrary>::Strategy, <T1 as Arbitrary>::Strategy, <T2 as Arbitrary>::Strategy, <T3 as Arbitrary>::Strategy, <T4 as Arbitrary>::Strategy, <T5 as Arbitrary>::Strategy, <T6 as Arbitrary>::Strategy, <T7 as Arbitrary>::Strategy)

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<T0: Arbitrary, T1: Arbitrary, T2: Arbitrary, T3: Arbitrary, T4: Arbitrary, T5: Arbitrary, T6: Arbitrary, T7: Arbitrary, T8: Arbitrary> Arbitrary for (T0, T1, T2, T3, T4, T5, T6, T7, T8)

§

type Parameters = (<T0 as Arbitrary>::Parameters, <T1 as Arbitrary>::Parameters, <T2 as Arbitrary>::Parameters, <T3 as Arbitrary>::Parameters, <T4 as Arbitrary>::Parameters, <T5 as Arbitrary>::Parameters, <T6 as Arbitrary>::Parameters, <T7 as Arbitrary>::Parameters, <T8 as Arbitrary>::Parameters)

§

type Strategy = (<T0 as Arbitrary>::Strategy, <T1 as Arbitrary>::Strategy, <T2 as Arbitrary>::Strategy, <T3 as Arbitrary>::Strategy, <T4 as Arbitrary>::Strategy, <T5 as Arbitrary>::Strategy, <T6 as Arbitrary>::Strategy, <T7 as Arbitrary>::Strategy, <T8 as Arbitrary>::Strategy)

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<T0: Arbitrary, T1: Arbitrary, T2: Arbitrary, T3: Arbitrary, T4: Arbitrary, T5: Arbitrary, T6: Arbitrary, T7: Arbitrary, T8: Arbitrary, T9: Arbitrary> Arbitrary for (T0, T1, T2, T3, T4, T5, T6, T7, T8, T9)

§

type Parameters = (<T0 as Arbitrary>::Parameters, <T1 as Arbitrary>::Parameters, <T2 as Arbitrary>::Parameters, <T3 as Arbitrary>::Parameters, <T4 as Arbitrary>::Parameters, <T5 as Arbitrary>::Parameters, <T6 as Arbitrary>::Parameters, <T7 as Arbitrary>::Parameters, <T8 as Arbitrary>::Parameters, <T9 as Arbitrary>::Parameters)

§

type Strategy = (<T0 as Arbitrary>::Strategy, <T1 as Arbitrary>::Strategy, <T2 as Arbitrary>::Strategy, <T3 as Arbitrary>::Strategy, <T4 as Arbitrary>::Strategy, <T5 as Arbitrary>::Strategy, <T6 as Arbitrary>::Strategy, <T7 as Arbitrary>::Strategy, <T8 as Arbitrary>::Strategy, <T9 as Arbitrary>::Strategy)

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<T, A: Arbitrary + Iterator<Item = T>, B: Arbitrary + Iterator<Item = T>> Arbitrary for Chain<A, B>

source§

impl<T: Arbitrary> Arbitrary for SendError<T>

§

type Parameters = <T as Arbitrary>::Parameters

§

type Strategy = Map<<T as Arbitrary>::Strategy, fn(_: T) -> SendError<T>>

source§

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy

source§

impl<T: ?Sized> Arbitrary for PhantomData<T>

Implementors§