proptest::arbitrary::functor

Trait ArbitraryF1

source
pub trait ArbitraryF1<A: Debug>: Debug + Sized {
    type Parameters: Default;

    // Required method
    fn lift1_with<AS>(base: AS, args: Self::Parameters) -> BoxedStrategy<Self>
       where AS: Strategy<Value = A> + 'static;

    // Provided method
    fn lift1<AS>(base: AS) -> BoxedStrategy<Self>
       where AS: Strategy<Value = A> + 'static { ... }
}
Expand description

ArbitraryF1 lets you lift a Strategy to unary type constructors such as Box, Vec, and Option.

The trait corresponds to Haskell QuickCheck’s Arbitrary1 type class.

Required Associated Types§

source

type Parameters: Default

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

Required Methods§

source

fn lift1_with<AS>(base: AS, args: Self::Parameters) -> BoxedStrategy<Self>
where AS: Strategy<Value = A> + 'static,

Lifts a given Strategy to a new Strategy for the (presumably) bigger type. This is useful for lifting a Strategy for SomeType to a container such as Vec of SomeType. The composite strategy is passed the arguments given in args.

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

Provided Methods§

source

fn lift1<AS>(base: AS) -> BoxedStrategy<Self>
where AS: Strategy<Value = A> + 'static,

Lifts a given Strategy to a new Strategy for the (presumably) bigger type. This is useful for lifting a Strategy for SomeType to a container such as Vec<SomeType>.

Calling this for the type X is the equivalent of using X::lift1_with(base, 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<A: Debug + 'static + Clone> ArbitraryF1<A> for Repeat<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static + Ord> ArbitraryF1<A> for IntoIter<A>

source§

type Parameters = SizeRange

source§

fn lift1_with<S>(base: S, args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static + Ord> ArbitraryF1<A> for IntoIter<A>

source§

type Parameters = SizeRange

source§

fn lift1_with<S>(base: S, args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static + Hash + Eq> ArbitraryF1<A> for IntoIter<A>

source§

type Parameters = SizeRange

source§

fn lift1_with<S>(base: S, args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static + DoubleEndedIterator> ArbitraryF1<A> for Rev<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static + Iterator + Clone> ArbitraryF1<A> for Cycle<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static + Iterator> ArbitraryF1<A> for Enumerate<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static + Iterator> ArbitraryF1<A> for Fuse<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static + Iterator<Item = T>, T: Debug> ArbitraryF1<A> for Peekable<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static + Copy> ArbitraryF1<A> for Cell<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static + BufRead> ArbitraryF1<A> for Lines<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static + BufRead> ArbitraryF1<A> for Split<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static + Read> ArbitraryF1<A> for Take<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for Bound<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for Result<A, ParseError>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for Box<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for IntoIter<A>

source§

type Parameters = SizeRange

source§

fn lift1_with<S>(base: S, args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for IntoIter<A>

source§

type Parameters = SizeRange

source§

fn lift1_with<S>(base: S, args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for Rc<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for Arc<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for IntoIter<A>

source§

type Parameters = SizeRange

source§

fn lift1_with<S>(base: S, args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for RefCell<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for UnsafeCell<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for Reverse<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for Once<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for Discriminant<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for Wrapping<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for RangeFrom<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for RangeTo<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for RangeToInclusive<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for IntoIter<A>

source§

type Parameters = Probability

source§

fn lift1_with<S>(base: S, prob: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for AssertUnwindSafe<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for IntoIter<A>

source§

type Parameters = Probability

source§

fn lift1_with<S>(base: S, args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for Cursor<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for Mutex<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static> ArbitraryF1<A> for RwLock<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + 'static, K: Hash + Eq + Arbitrary + 'static> ArbitraryF1<A> for IntoIter<K, A>

source§

type Parameters = (SizeRange, <K as Arbitrary>::Parameters)

source§

fn lift1_with<S>(base: S, args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

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

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + Ord> ArbitraryF1<A> for BinaryHeap<A>

source§

type Parameters = SizeRange

source§

fn lift1_with<S>(base: S, args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + Ord> ArbitraryF1<A> for BTreeSet<A>

source§

type Parameters = SizeRange

source§

fn lift1_with<S>(base: S, args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + PartialOrd> ArbitraryF1<A> for Range<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + PartialOrd> ArbitraryF1<A> for RangeInclusive<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + Debug + 'static + Iterator<Item = T>, B: 'static + Arbitrary + Iterator<Item = T>, T> ArbitraryF1<A> for Chain<B, A>

source§

type Parameters = <B as Arbitrary>::Parameters

source§

fn lift1_with<S>(base: S, args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + Debug + 'static + Iterator, B: 'static + Arbitrary + Iterator> ArbitraryF1<A> for Zip<B, A>

source§

type Parameters = <B as Arbitrary>::Parameters

source§

fn lift1_with<S>(base: S, args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + Hash + Eq> ArbitraryF1<A> for HashSet<A>

source§

type Parameters = SizeRange

source§

fn lift1_with<S>(base: S, args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + Iterator> ArbitraryF1<A> for Skip<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + Iterator> ArbitraryF1<A> for Take<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + Read> ArbitraryF1<A> for BufReader<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + Write> ArbitraryF1<A> for BufWriter<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug + Write> ArbitraryF1<A> for LineWriter<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug> ArbitraryF1<A> for Option<A>

source§

type Parameters = Probability

source§

fn lift1_with<S>(base: S, prob: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug> ArbitraryF1<A> for LinkedList<A>

source§

type Parameters = SizeRange

source§

fn lift1_with<S>(base: S, args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug> ArbitraryF1<A> for VecDeque<A>

source§

type Parameters = SizeRange

source§

fn lift1_with<S>(base: S, args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug> ArbitraryF1<A> for Vec<A>

source§

type Parameters = SizeRange

source§

fn lift1_with<S>(base: S, args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug, E: Arbitrary> ArbitraryF1<A> for Result<A, E>
where E::Strategy: 'static,

source§

type Parameters = (Probability, <E as Arbitrary>::Parameters)

source§

fn lift1_with<AS>(base: AS, args: Self::Parameters) -> BoxedStrategy<Self>
where AS: Strategy<Value = A> + 'static,

source§

impl<A: Debug, K: Ord + Arbitrary + 'static> ArbitraryF1<A> for BTreeMap<K, A>

source§

type Parameters = (SizeRange, <K as Arbitrary>::Parameters)

source§

fn lift1_with<S>(base: S, args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<A: Debug, K: Hash + Eq + Arbitrary + 'static> ArbitraryF1<A> for HashMap<K, A>

source§

type Parameters = (SizeRange, <K as Arbitrary>::Parameters)

source§

fn lift1_with<S>(base: S, args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

source§

impl<T: 'static + Clone, A: Debug + 'static + Iterator<Item = &'static T>> ArbitraryF1<A> for Cloned<A>

source§

type Parameters = ()

source§

fn lift1_with<S>(base: S, _args: Self::Parameters) -> BoxedStrategy<Self>
where S: Strategy<Value = A> + 'static,

Implementors§