//! For these reasons, the traits here are deliberatly
//! not exported in a convenient way.
-use std_facade::fmt;
+use crate::std_facade::fmt;
-use strategy::{Strategy, BoxedStrategy};
+use crate::strategy::{BoxedStrategy, Strategy};
/// `ArbitraryF1` lets you lift a [`Strategy`] to unary
/// type constructors such as `Box`, `Vec`, and `Option`.
/// [`X::lift1_with(base, Default::default())`]:
/// trait.ArbitraryF1.html#tymethod.lift1_with
fn lift1<AS>(base: AS) -> BoxedStrategy<Self>
- where AS: Strategy<Value = A> + 'static {
+ where
+ AS: Strategy<Value = A> + 'static,
+ {
Self::lift1_with(base, Self::Parameters::default())
}
/// [`default()`]:
/// https://doc.rust-lang.org/nightly/std/default/trait.Default.html
fn lift1_with<AS>(base: AS, args: Self::Parameters) -> BoxedStrategy<Self>
- where AS: Strategy<Value = A> + 'static;
+ where
+ AS: Strategy<Value = A> + 'static;
}
/// `ArbitraryF2` lets you lift [`Strategy`] to binary
/// https://hackage.haskell.org/package/QuickCheck-2.10.1/docs/Test-QuickCheck-Arbitrary.html#t:Arbitrary2
///
/// [`Strategy`]: ../proptest/strategy/trait.Strategy.html
-pub trait ArbitraryF2<A: fmt::Debug, B: fmt::Debug>: fmt::Debug + Sized {
+pub trait ArbitraryF2<A: fmt::Debug, B: fmt::Debug>:
+ fmt::Debug + Sized
+{
/// The type of parameters that [`lift2_with`] accepts for
/// configuration of the lifted and generated [`Strategy`]. Parameters
/// must implement [`Default`].
///
/// [`default()`]:
/// https://doc.rust-lang.org/nightly/std/default/trait.Default.html
- fn lift2_with<AS, BS>(fst: AS, snd: BS, args: Self::Parameters)
- -> BoxedStrategy<Self>
+ fn lift2_with<AS, BS>(
+ fst: AS,
+ snd: BS,
+ args: Self::Parameters,
+ ) -> BoxedStrategy<Self>
where
AS: Strategy<Value = A> + 'static,
BS: Strategy<Value = B> + 'static;