mz_timely_util/
progress.rs

1// Copyright Materialize, Inc. and contributors. All rights reserved.
2//
3// Licensed under the Apache License, Version 2.0 (the "License");
4// you may not use this file except in compliance with the License.
5// You may obtain a copy of the License in the LICENSE file at the
6// root of this repository, or online at
7//
8//     http://www.apache.org/licenses/LICENSE-2.0
9//
10// Unless required by applicable law or agreed to in writing, software
11// distributed under the License is distributed on an "AS IS" BASIS,
12// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13// See the License for the specific language governing permissions and
14// limitations under the License.
15
16//! Utilities for working with Timely progress tracking.
17
18use proptest::prelude::{Arbitrary, any};
19use proptest::strategy::Strategy;
20use timely::PartialOrder;
21use timely::progress::Antichain;
22
23/// An out-of-crate [`Arbitrary`] implementation for [`Antichain`].
24pub fn any_antichain<T>() -> impl Strategy<Value = Antichain<T>>
25where
26    T: Arbitrary + Ord + PartialOrder,
27{
28    proptest::collection::vec(any::<T>(), 0..11).prop_map(Into::into)
29}