[][src]Trait proptest::arbitrary::Arbitrary

pub trait Arbitrary: Sized + Debug {
    type Parameters: Default;
    type Strategy: Strategy<Value = Self>;
    fn arbitrary_with(args: Self::Parameters) -> Self::Strategy;

    fn arbitrary() -> Self::Strategy { ... }
}

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.

Associated Types

type Parameters: Default

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

type Strategy: Strategy<Value = Self>

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

Loading content...

Required methods

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.

Loading content...

Provided methods

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.

Loading content...

Implementations on Foreign Types

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

impl Arbitrary for bool[src]

type Parameters = ()

type Strategy = Any

impl Arbitrary for i8[src]

type Parameters = ()

type Strategy = Any

impl Arbitrary for i16[src]

type Parameters = ()

type Strategy = Any

impl Arbitrary for i32[src]

type Parameters = ()

type Strategy = Any

impl Arbitrary for i64[src]

type Parameters = ()

type Strategy = Any

impl Arbitrary for isize[src]

type Parameters = ()

type Strategy = Any

impl Arbitrary for u8[src]

type Parameters = ()

type Strategy = Any

impl Arbitrary for u16[src]

type Parameters = ()

type Strategy = Any

impl Arbitrary for u32[src]

type Parameters = ()

type Strategy = Any

impl Arbitrary for u64[src]

type Parameters = ()

type Strategy = Any

impl Arbitrary for usize[src]

type Parameters = ()

type Strategy = Any

impl Arbitrary for i128[src]

type Parameters = ()

type Strategy = Any

impl Arbitrary for u128[src]

type Parameters = ()

type Strategy = Any

impl Arbitrary for f32[src]

type Parameters = ()

type Strategy = Any

impl Arbitrary for f64[src]

type Parameters = ()

type Strategy = Any

impl Arbitrary for char[src]

type Parameters = ()

type Strategy = CharStrategy<'static>

impl Arbitrary for ()[src]

type Parameters = ()

type Strategy = Just<Self>

impl<T0: Arbitrary> Arbitrary for (T0,)[src]

impl<T0: Arbitrary, T1: Arbitrary> Arbitrary for (T0, T1)[src]

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

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

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

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

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

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)[src]

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)[src]

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)[src]

impl Arbitrary for EscapeDefault[src]

type Parameters = ()

type Strategy = SMapped<u8, Self>

impl<A: Arbitrary + Copy> Arbitrary for Cell<A>[src]

type Parameters = A::Parameters

type Strategy = MapInto<A::Strategy, Self>

impl<A: Arbitrary> Arbitrary for RefCell<A>[src]

type Parameters = A::Parameters

type Strategy = MapInto<A::Strategy, Self>

impl<A: Arbitrary> Arbitrary for UnsafeCell<A>[src]

type Parameters = A::Parameters

type Strategy = MapInto<A::Strategy, Self>

impl Arbitrary for BorrowError[src]

type Parameters = ()

type Strategy = LazyJust<Self, fn() -> Self>

impl Arbitrary for BorrowMutError[src]

type Parameters = ()

type Strategy = LazyJust<Self, fn() -> Self>

impl<A: Arbitrary> Arbitrary for Reverse<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

impl Arbitrary for Ordering[src]

impl Arbitrary for Error[src]

type Parameters = ()

type Strategy = Just<Self>

impl<A: Arbitrary> Arbitrary for Once<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

impl<A: Arbitrary + Clone> Arbitrary for Repeat<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

impl<A: Arbitrary + Iterator + Clone> Arbitrary for Cycle<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

impl<A: Arbitrary + Iterator> Arbitrary for Enumerate<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

impl<A: Arbitrary + Iterator> Arbitrary for Fuse<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

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

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

impl<A: Arbitrary + DoubleEndedIterator> Arbitrary for Rev<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

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

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

impl<A> Arbitrary for Empty<A>[src]

type Parameters = ()

type Strategy = Just<Self>

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

type Parameters = (A::Parameters, B::Parameters)

type Strategy = SMapped<(A, B), Self>

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

type Parameters = (A::Parameters, B::Parameters)

type Strategy = SMapped<(A, B), Self>

impl<A: Arbitrary + Iterator> Arbitrary for Skip<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<(A, usize), Self>

impl<A: Arbitrary + Iterator> Arbitrary for Take<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<(A, usize), Self>

impl<T: ?Sized> Arbitrary for PhantomData<T>[src]

type Parameters = ()

type Strategy = Just<Self>

impl<A: Arbitrary> Arbitrary for Discriminant<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

impl Arbitrary for ParseFloatError[src]

type Parameters = ()

type Strategy = Just<Self>

impl Arbitrary for ParseIntError[src]

type Parameters = ()

type Strategy = Just<Self>

impl<A: Arbitrary> Arbitrary for Wrapping<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

impl Arbitrary for FpCategory[src]

type Parameters = ()

type Strategy = LazyTupleUnion<(WA<Just<Self>>, WA<Just<Self>>, WA<Just<Self>>, WA<Just<Self>>, WA<Just<Self>>)>

impl Arbitrary for Option<ParseError>[src]

type Parameters = ()

type Strategy = Just<Self>

impl<A: Arbitrary> Arbitrary for Option<A>[src]

impl<A: Arbitrary> Arbitrary for IntoIter<A>[src]

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

type Strategy = SMapped<Option<A>, Self>

impl<A: Arbitrary> Arbitrary for Result<A, ParseError>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

impl<A: Arbitrary> Arbitrary for Result<ParseError, A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

impl<A: Arbitrary, B: Arbitrary> Arbitrary for Result<A, B>[src]

impl<A: Arbitrary> Arbitrary for IntoIter<A>[src]

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

type Strategy = SMapped<Result<A, ()>, Self>

impl<A: Arbitrary + Borrow<B>, B: ToOwned<Owned = A> + Debug> Arbitrary for Cow<'static, B>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

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

type Parameters = A::Parameters

type Strategy = MapInto<A::Strategy, Self>

impl Arbitrary for EscapeDebug[src]

type Parameters = ()

type Strategy = SMapped<char, Self>

impl Arbitrary for EscapeDefault[src]

type Parameters = ()

type Strategy = SMapped<char, Self>

impl Arbitrary for EscapeUnicode[src]

type Parameters = ()

type Strategy = SMapped<char, Self>

impl Arbitrary for DecodeUtf16<<Vec<u16> as IntoIterator>::IntoIter>[src]

type Parameters = ()

type Strategy = SMapped<Vec<u16>, Self>

impl Arbitrary for ParseCharError[src]

type Parameters = ()

type Strategy = IndFlatten<Mapped<bool, Just<Self>>>

impl Arbitrary for DecodeUtf16Error[src]

type Parameters = ()

type Strategy = Map<Range<u16>, fn(_: <Range<u16> as Strategy>::Value) -> Self>

impl<A: Arbitrary> Arbitrary for Vec<A>[src]

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

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

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

impl<A: Arbitrary> Arbitrary for VecDeque<A>[src]

impl<A: Arbitrary> Arbitrary for LinkedList<A>[src]

impl<A: Arbitrary + Ord> Arbitrary for BTreeSet<A>[src]

impl<A: Arbitrary + Ord> Arbitrary for BinaryHeap<A>[src]

impl<A: Arbitrary + Hash + Eq> Arbitrary for HashSet<A>[src]

impl<A: Arbitrary> Arbitrary for IntoIter<A>[src]

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

type Strategy = SMapped<Vec<A>, Self>

impl<A: Arbitrary> Arbitrary for IntoIter<A>[src]

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

type Strategy = SMapped<VecDeque<A>, Self>

impl<A: Arbitrary> Arbitrary for IntoIter<A>[src]

impl<A: Arbitrary + Ord> Arbitrary for IntoIter<A>[src]

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

type Strategy = SMapped<BTreeSet<A>, Self>

impl<A: Arbitrary + Ord> Arbitrary for IntoIter<A>[src]

impl<A: Arbitrary + Hash + Eq> Arbitrary for IntoIter<A>[src]

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

type Strategy = SMapped<HashSet<A>, Self>

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

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

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

type Strategy = SMapped<HashMap<A, B>, Self>

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

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

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

type Strategy = SMapped<BTreeMap<A, B>, Self>

impl<A: Arbitrary> Arbitrary for Bound<A>[src]

type Parameters = A::Parameters

type Strategy = LazyTupleUnion<(WA<Map<Arc<A::Strategy>, fn(_: <Arc<A::Strategy> as Strategy>::Value) -> Self>>, WA<Map<Arc<A::Strategy>, fn(_: <Arc<A::Strategy> as Strategy>::Value) -> Self>>, WA<LazyJustFn<Self>>)>

impl<H: Default + Hasher> Arbitrary for BuildHasherDefault<H>[src]

type Parameters = ()

type Strategy = Just<Self>

impl Arbitrary for DefaultHasher[src]

type Parameters = ()

type Strategy = LazyJust<Self, fn() -> Self>

impl Arbitrary for RandomState[src]

type Parameters = ()

type Strategy = LazyJust<Self, fn() -> Self>

impl Arbitrary for RangeFull[src]

type Parameters = ()

type Strategy = Just<Self>

impl<A: Arbitrary> Arbitrary for RangeFrom<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

impl<A: Arbitrary> Arbitrary for RangeTo<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

impl<A: Arbitrary> Arbitrary for RangeToInclusive<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

impl<A: PartialOrd + Arbitrary> Arbitrary for RangeInclusive<A>[src]

type Parameters = (A::Parameters, A::Parameters)

type Strategy = SMapped<(A, A), Self>

impl<A: PartialOrd + Arbitrary> Arbitrary for Range<A>[src]

type Parameters = (A::Parameters, A::Parameters)

type Strategy = SMapped<(A, A), Self>

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

type Parameters = A::Parameters

type Strategy = MapInto<A::Strategy, Self>

impl Arbitrary for ParseBoolError[src]

type Parameters = ()

type Strategy = Just<Self>

impl Arbitrary for Utf8Error[src]

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

type Parameters = A::Parameters

type Strategy = MapInto<A::Strategy, Self>

impl Arbitrary for AtomicBool[src]

type Parameters = ()

type Strategy = SMapped<bool, Self>

impl Arbitrary for AtomicIsize[src]

type Parameters = ()

type Strategy = SMapped<isize, Self>

impl Arbitrary for AtomicUsize[src]

type Parameters = ()

type Strategy = SMapped<usize, Self>

impl Arbitrary for Ordering[src]

type Parameters = ()

type Strategy = LazyTupleUnion<(WA<Just<Self>>, WA<Just<Self>>, WA<Just<Self>>, WA<Just<Self>>, WA<Just<Self>>)>

impl Arbitrary for Args[src]

type Parameters = ()

type Strategy = LazyJust<Self, fn() -> Self>

impl Arbitrary for ArgsOs[src]

type Parameters = ()

type Strategy = LazyJust<Self, fn() -> Self>

impl Arbitrary for Vars[src]

type Parameters = ()

type Strategy = LazyJust<Self, fn() -> Self>

impl Arbitrary for VarsOs[src]

type Parameters = ()

type Strategy = LazyJust<Self, fn() -> Self>

impl Arbitrary for JoinPathsError[src]

type Parameters = ()

type Strategy = LazyJust<Self, fn() -> Self>

impl Arbitrary for VarError[src]

impl Arbitrary for CString[src]

impl Arbitrary for OsString[src]

impl Arbitrary for Box<CStr>[src]

impl Arbitrary for Box<OsStr>[src]

impl Arbitrary for FromBytesWithNulError[src]

type Parameters = ()

type Strategy = SMapped<Option<u16>, Self>

impl Arbitrary for IntoStringError[src]

type Parameters = ()

type Strategy = Map<BoxedStrategy<Vec<u8>>, fn(_: <BoxedStrategy<Vec<u8>> as Strategy>::Value) -> Self>

impl Arbitrary for DirBuilder[src]

type Parameters = ()

type Strategy = SMapped<bool, Self>

impl<A: Arbitrary + Read> Arbitrary for BufReader<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<(A, Option<u16>), Self>

impl<A: Arbitrary + Write> Arbitrary for BufWriter<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<(A, Option<u16>), Self>

impl<A: Arbitrary + Write> Arbitrary for LineWriter<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<(A, Option<u16>), Self>

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

type Parameters = (A::Parameters, B::Parameters)

type Strategy = SMapped<(A, B), Self>

impl<A: Arbitrary> Arbitrary for Cursor<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

impl Arbitrary for Empty[src]

type Parameters = ()

type Strategy = LazyJust<Self, fn() -> Self>

impl Arbitrary for Sink[src]

type Parameters = ()

type Strategy = LazyJust<Self, fn() -> Self>

impl Arbitrary for Stderr[src]

type Parameters = ()

type Strategy = LazyJust<Self, fn() -> Self>

impl Arbitrary for Stdin[src]

type Parameters = ()

type Strategy = LazyJust<Self, fn() -> Self>

impl Arbitrary for Stdout[src]

type Parameters = ()

type Strategy = LazyJust<Self, fn() -> Self>

impl<A: Arbitrary + BufRead> Arbitrary for Lines<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

impl Arbitrary for Repeat[src]

type Parameters = ()

type Strategy = SMapped<u8, Self>

impl<A: BufRead + Arbitrary> Arbitrary for Split<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<(A, u8), Self>

impl<A: Read + Arbitrary> Arbitrary for Take<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<(A, u64), Self>

impl Arbitrary for ErrorKind[src]

type Parameters = ()

type Strategy = Union<Just<Self>>

impl Arbitrary for SeekFrom[src]

impl Arbitrary for Error[src]

impl Arbitrary for AddrParseError[src]

type Parameters = ()

type Strategy = Just<Self>

impl Arbitrary for Ipv4Addr[src]

type Parameters = ()

type Strategy = LazyTupleUnion<(WA<Just<Self>>, WA<Just<Self>>, WA<MapInto<StrategyFor<u32>, Self>>)>

impl Arbitrary for Ipv6Addr[src]

impl Arbitrary for SocketAddrV4[src]

type Parameters = ()

type Strategy = SMapped<(Ipv4Addr, u16), Self>

impl Arbitrary for SocketAddrV6[src]

type Parameters = ()

type Strategy = SMapped<(Ipv6Addr, u16, u32, u32), Self>

impl Arbitrary for IpAddr[src]

impl Arbitrary for Shutdown[src]

type Parameters = ()

type Strategy = LazyTupleUnion<(WA<Just<Self>>, WA<Just<Self>>, WA<Just<Self>>)>

impl Arbitrary for SocketAddr[src]

impl<A: Arbitrary> Arbitrary for AssertUnwindSafe<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

impl Arbitrary for StripPrefixError[src]

type Parameters = ()

type Strategy = Just<Self>

impl Arbitrary for String[src]

type Parameters = StringParam

type Strategy = &'static str

fn arbitrary_with(args: Self::Parameters) -> Self::Strategy[src]

Panics

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

impl Arbitrary for Box<str>[src]

impl Arbitrary for Rc<str>[src]

impl Arbitrary for Arc<str>[src]

impl Arbitrary for FromUtf16Error[src]

type Parameters = ()

type Strategy = LazyJust<Self, fn() -> Self>

impl Arbitrary for FromUtf8Error[src]

type Parameters = ()

type Strategy = Map<BoxedStrategy<Vec<u8>>, fn(_: <BoxedStrategy<Vec<u8>> as Strategy>::Value) -> Self>

impl<A: Arbitrary> Arbitrary for Mutex<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

impl<A: Arbitrary> Arbitrary for RwLock<A>[src]

type Parameters = A::Parameters

type Strategy = SMapped<A, Self>

impl Arbitrary for Barrier[src]

type Parameters = ()

type Strategy = SMapped<u16, Self>

impl Arbitrary for BarrierWaitResult[src]

impl Arbitrary for Condvar[src]

type Parameters = ()

type Strategy = LazyJust<Self, fn() -> Self>

impl Arbitrary for Once[src]

type Parameters = ()

type Strategy = LazyJust<Self, fn() -> Self>

impl Arbitrary for WaitTimeoutResult[src]

type Parameters = ()

type Strategy = LazyTupleUnion<(WA<Just<Self>>, WA<Just<Self>>)>

impl Arbitrary for RecvError[src]

type Parameters = ()

type Strategy = Just<Self>

impl<T: Arbitrary> Arbitrary for SendError<T>[src]

type Parameters = T::Parameters

type Strategy = SMapped<T, Self>

impl Arbitrary for RecvTimeoutError[src]

type Parameters = ()

type Strategy = LazyTupleUnion<(WA<Just<Self>>, WA<Just<Self>>)>

impl Arbitrary for TryRecvError[src]

type Parameters = ()

type Strategy = LazyTupleUnion<(WA<Just<Self>>, WA<Just<Self>>)>

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

type Parameters = P

type Strategy = LazyTupleUnion<(WA<SMapped<T, Self>>, WA<SMapped<T, Self>>)>

impl<A> Arbitrary for (Sender<A>, Receiver<A>)[src]

type Parameters = ()

type Strategy = LazyJustFn<Self>

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

type Parameters = ()

type Strategy = LazyJustFn<Self>

impl<A> Arbitrary for (SyncSender<A>, Receiver<A>)[src]

type Parameters = ()

type Strategy = SMapped<u16, Self>

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

type Parameters = ()

type Strategy = SMapped<u16, Self>

impl Arbitrary for Builder[src]

impl Arbitrary for Duration[src]

type Parameters = ()

type Strategy = SMapped<(u64, u32), Self>

impl Arbitrary for Instant[src]

type Parameters = ()

type Strategy = Just<Self>

impl Arbitrary for SystemTime[src]

type Parameters = ()

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

Loading content...

Implementors

Loading content...