[][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 Arbitrary for EscapeDebug[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 f64[src]

type Parameters = ()

type Strategy = Any

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 Arbitrary for Stdin[src]

impl Arbitrary for Barrier[src]

impl Arbitrary for i8[src]

type Parameters = ()

type Strategy = Any

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

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

impl Arbitrary for SeekFrom[src]

impl Arbitrary for DefaultHasher[src]

impl Arbitrary for ParseCharError[src]

impl Arbitrary for Arc<str>[src]

impl Arbitrary for f32[src]

type Parameters = ()

type Strategy = Any

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

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

impl Arbitrary for OsString[src]

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

impl Arbitrary for Condvar[src]

impl Arbitrary for BorrowMutError[src]

impl Arbitrary for Ipv4Addr[src]

impl Arbitrary for Vars[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<A> Arbitrary for [A; 19] where
    A: Arbitrary
[src]

impl Arbitrary for JoinPathsError[src]

impl Arbitrary for Stdout[src]

impl Arbitrary for BorrowError[src]

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

impl Arbitrary for i32[src]

type Parameters = ()

type Strategy = Any

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 Arbitrary for AtomicIsize[src]

impl Arbitrary for u128[src]

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

impl<A> Arbitrary for HashSet<A, RandomState> where
    A: Arbitrary + Eq + Hash
[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<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 Arbitrary for AddrParseError[src]

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

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

impl Arbitrary for Stderr[src]

impl Arbitrary for Box<OsStr>[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 Ordering[src]

impl<A> Arbitrary for Vec<A> where
    A: Arbitrary
[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 [A; 15] where
    A: Arbitrary
[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<A> Arbitrary for [A; 26] where
    A: Arbitrary
[src]

impl Arbitrary for Box<str>[src]

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 (Sender<A>, IntoIter<A>) where
    A: Debug
[src]

impl Arbitrary for DecodeUtf16Error[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 SocketAddrV6[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<A> Arbitrary for Empty<A>[src]

type Parameters = ()

type Strategy = Just<Empty<A>>

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

impl Arbitrary for VarsOs[src]

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 Arbitrary for i64[src]

type Parameters = ()

type Strategy = Any

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 Arbitrary for VarError[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 (SyncSender<A>, IntoIter<A>) where
    A: Debug
[src]

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 RefCell<A> where
    A: Arbitrary
[src]

impl Arbitrary for FromUtf8Error[src]

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

impl Arbitrary for Box<CStr>[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; 27] where
    A: Arbitrary
[src]

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

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

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

impl Arbitrary for RecvTimeoutError[src]

impl Arbitrary for CString[src]

impl Arbitrary for BarrierWaitResult[src]

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

impl Arbitrary for IntoStringError[src]

impl Arbitrary for Rc<str>[src]

impl Arbitrary for u64[src]

type Parameters = ()

type Strategy = Any

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

impl Arbitrary for usize[src]

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

impl Arbitrary for ErrorKind[src]

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

impl Arbitrary for Instant[src]

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

impl<A> Arbitrary for [A; 11] where
    A: Arbitrary
[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<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<A> Arbitrary for [A; 30] where
    A: Arbitrary
[src]

impl Arbitrary for Duration[src]

impl<A> Arbitrary for [A; 25] where
    A: Arbitrary
[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 IntoIter<A> where
    A: Arbitrary
[src]

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

impl Arbitrary for ArgsOs[src]

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

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

impl Arbitrary for Once[src]

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

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

impl Arbitrary for SystemTime[src]

impl Arbitrary for i16[src]

type Parameters = ()

type Strategy = Any

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 [A; 13] where
    A: Arbitrary
[src]

impl Arbitrary for FromUtf16Error[src]

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

impl Arbitrary for ParseBoolError[src]

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

impl Arbitrary for RecvError[src]

impl Arbitrary for Ipv6Addr[src]

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 Arbitrary for IpAddr[src]

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

impl<A> Arbitrary for [A; 7] where
    A: Arbitrary
[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 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 Arbitrary for ()[src]

type Parameters = ()

type Strategy = Just<()>

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

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

impl<A> Arbitrary for [A; 1] 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 SocketAddr[src]

impl Arbitrary for AtomicBool[src]

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

impl Arbitrary for u8[src]

type Parameters = ()

type Strategy = Any

impl<A> Arbitrary for [A; 21] 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<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 [A; 22] where
    A: Arbitrary
[src]

impl Arbitrary for Shutdown[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 Arbitrary for DirBuilder[src]

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

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

impl Arbitrary for WaitTimeoutResult[src]

impl Arbitrary for ParseIntError[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<A> Arbitrary for Box<[A]> where
    A: Arbitrary
[src]

impl Arbitrary for EscapeDefault[src]

impl Arbitrary for Repeat[src]

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

impl Arbitrary for Ordering[src]

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

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

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

impl Arbitrary for EscapeUnicode[src]

impl Arbitrary for u32[src]

type Parameters = ()

type Strategy = Any

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

impl Arbitrary for i128[src]

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

impl Arbitrary for Option<!>[src]

impl<A> Arbitrary for IntoIter<A> where
    A: Arbitrary + Ord
[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 Error[src]

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

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

impl Arbitrary for Sink[src]

impl Arbitrary for Builder[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 Arbitrary for StripPrefixError[src]

impl Arbitrary for u16[src]

type Parameters = ()

type Strategy = Any

impl Arbitrary for Args[src]

impl Arbitrary for Empty[src]

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

impl Arbitrary for FromBytesWithNulError[src]

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 bool[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 Arbitrary for Utf8Error[src]

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

impl Arbitrary for AtomicUsize[src]

impl Arbitrary for char[src]

type Parameters = ()

type Strategy = CharStrategy<'static>

impl Arbitrary for RandomState[src]

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

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

impl Arbitrary for FpCategory[src]

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

impl Arbitrary for SocketAddrV4[src]

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

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

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

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

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

impl Arbitrary for Error[src]

impl Arbitrary for ParseFloatError[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<A> Arbitrary for BTreeSet<A> where
    A: Arbitrary + Ord
[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; 14] where
    A: Arbitrary
[src]

impl Arbitrary for isize[src]

impl Arbitrary for EscapeDefault[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...