[][src]Trait un_algebra::tests::config::prop::arbitrary::Arbitrary

pub trait Arbitrary: Debug where
    <Self::Strategy as Strategy>::Value == Self, 
{ type Parameters: Default; type Strategy: Strategy; 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

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 for Result<A, !> where
    A: Arbitrary
[src]

type Parameters = <A as Arbitrary>::Parameters

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

impl Arbitrary for JoinPathsError[src]

impl Arbitrary for u32[src]

type Parameters = ()

type Strategy = Any

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

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

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

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)

impl Arbitrary for Utf8Error[src]

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

type Parameters = <A as Arbitrary>::Parameters

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

impl Arbitrary for Duration[src]

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

impl Arbitrary for TryRecvError[src]

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

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

type Parameters = <A as Arbitrary>::Parameters

type Strategy = MapInto<<A as Arbitrary>::Strategy, Rc<A>>

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

type Parameters = <A as Arbitrary>::Parameters

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

impl Arbitrary for DefaultHasher[src]

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

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

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

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

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

impl Arbitrary for i32[src]

type Parameters = ()

type Strategy = Any

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

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

type Parameters = <A as Arbitrary>::Parameters

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

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

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

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

impl Arbitrary for u8[src]

type Parameters = ()

type Strategy = Any

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

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

impl Arbitrary for Error[src]

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

type Parameters = <A as Arbitrary>::Parameters

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

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

impl Arbitrary for ()[src]

type Parameters = ()

type Strategy = Just<()>

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

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

impl Arbitrary for Instant[src]

impl Arbitrary for u64[src]

type Parameters = ()

type Strategy = Any

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

impl Arbitrary for VarError[src]

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

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

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

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

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

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

impl Arbitrary for Repeat[src]

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

impl Arbitrary for Stdin[src]

impl Arbitrary for DirBuilder[src]

impl Arbitrary for Vars[src]

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

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

type Parameters = <A as Arbitrary>::Parameters

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

impl Arbitrary for AddrParseError[src]

impl Arbitrary for i128[src]

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

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)

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

type Parameters = <A as Arbitrary>::Parameters

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

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

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

impl Arbitrary for IntoStringError[src]

impl Arbitrary for isize[src]

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

type Parameters = <A as Arbitrary>::Parameters

type Strategy = MapInto<<A as Arbitrary>::Strategy, Arc<A>>

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

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

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

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

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

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

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

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

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

type Parameters = <A as Arbitrary>::Parameters

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

impl Arbitrary for f32[src]

type Parameters = ()

type Strategy = Any

impl Arbitrary for Box<CStr>[src]

impl Arbitrary for Ordering[src]

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

type Parameters = <A as Arbitrary>::Parameters

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

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

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

impl Arbitrary for ArgsOs[src]

impl Arbitrary for WaitTimeoutResult[src]

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

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)

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

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

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

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

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

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

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

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

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

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

type Parameters = <A as Arbitrary>::Parameters

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

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

type Parameters = <A as Arbitrary>::Parameters

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

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

type Parameters = <A as Arbitrary>::Parameters

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

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

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

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

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

impl Arbitrary for Box<OsStr>[src]

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

impl Arbitrary for Shutdown[src]

impl Arbitrary for BorrowMutError[src]

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

impl Arbitrary for FpCategory[src]

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

impl Arbitrary for String[src]

type Parameters = StringParam

type Strategy = &'static str

fn arbitrary_with(
    args: <String as Arbitrary>::Parameters
) -> <String as Arbitrary>::Strategy
[src]

Panics

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

impl Arbitrary for Once[src]

impl Arbitrary for u128[src]

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

type Parameters = <A as Arbitrary>::Parameters

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

impl Arbitrary for EscapeDefault[src]

impl Arbitrary for Arc<str>[src]

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

type Parameters = <A as Arbitrary>::Parameters

type Strategy = MapInto<<A as Arbitrary>::Strategy, Cell<A>>

impl Arbitrary for Condvar[src]

impl Arbitrary for Stderr[src]

impl Arbitrary for SocketAddr[src]

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

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

impl Arbitrary for CString[src]

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

type Parameters = <A as Arbitrary>::Parameters

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

impl Arbitrary for VarsOs[src]

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

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

type Parameters = <A as Arbitrary>::Parameters

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

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

impl Arbitrary for char[src]

type Parameters = ()

type Strategy = CharStrategy<'static>

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

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)

impl Arbitrary for RecvError[src]

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

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

type Parameters = <A as Arbitrary>::Parameters

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

impl Arbitrary for Args[src]

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

impl Arbitrary for IpAddr[src]

impl Arbitrary for SystemTime[src]

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

impl Arbitrary for Option<!>[src]

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

impl Arbitrary for EscapeDefault[src]

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

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)

impl Arbitrary for i16[src]

type Parameters = ()

type Strategy = Any

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

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

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

impl Arbitrary for Rc<str>[src]

impl Arbitrary for Barrier[src]

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

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)

impl Arbitrary for bool[src]

impl Arbitrary for SeekFrom[src]

impl Arbitrary for Error[src]

impl Arbitrary for Box<str>[src]

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

impl Arbitrary for FromUtf8Error[src]

impl Arbitrary for f64[src]

type Parameters = ()

type Strategy = Any

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

impl Arbitrary for Ordering[src]

impl Arbitrary for EscapeUnicode[src]

impl Arbitrary for RecvTimeoutError[src]

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

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

impl Arbitrary for ParseFloatError[src]

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

type Parameters = <A as Arbitrary>::Parameters

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

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

impl Arbitrary for Sink[src]

impl Arbitrary for AtomicBool[src]

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

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

impl Arbitrary for i64[src]

type Parameters = ()

type Strategy = Any

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

impl Arbitrary for ParseBoolError[src]

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

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

type Parameters = <A as Arbitrary>::Parameters

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

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

type Parameters = <A as Arbitrary>::Parameters

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

impl Arbitrary for SocketAddrV6[src]

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

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

impl Arbitrary for BorrowError[src]

impl Arbitrary for SocketAddrV4[src]

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

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)

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

impl Arbitrary for i8[src]

type Parameters = ()

type Strategy = Any

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

type Parameters = ()

type Strategy = Just<Empty<A>>

impl Arbitrary for RandomState[src]

impl Arbitrary for Empty[src]

impl Arbitrary for Builder[src]

impl Arbitrary for AtomicUsize[src]

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

impl Arbitrary for DecodeUtf16Error[src]

impl Arbitrary for ErrorKind[src]

impl Arbitrary for FromUtf16Error[src]

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

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)

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

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

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

type Parameters = <A as Arbitrary>::Parameters

type Strategy = MapInto<<A as Arbitrary>::Strategy, Box<A>>

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

impl Arbitrary for Stdout[src]

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

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

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

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

type Parameters = <A as Arbitrary>::Parameters

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

impl Arbitrary for ParseIntError[src]

impl Arbitrary for OsString[src]

impl Arbitrary for usize[src]

impl Arbitrary for AtomicIsize[src]

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

impl Arbitrary for BarrierWaitResult[src]

impl Arbitrary for StripPrefixError[src]

impl Arbitrary for Ipv6Addr[src]

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

impl Arbitrary for FromBytesWithNulError[src]

impl Arbitrary for ParseCharError[src]

impl Arbitrary for EscapeDebug[src]

impl Arbitrary for u16[src]

type Parameters = ()

type Strategy = Any

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

impl Arbitrary for Ipv4Addr[src]

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

Loading content...

Implementors

impl Arbitrary for SizeRange[src]

impl Arbitrary for Probability[src]

impl Arbitrary for Index[src]

impl Arbitrary for Selector[src]

impl Arbitrary for RangeFull[src]

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

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

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

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

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

type Parameters = <A as Arbitrary>::Parameters

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

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

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

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

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

type Parameters = <A as Arbitrary>::Parameters

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

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

Loading content...