zebra_chain/ironwood/arbitrary.rs
1//! Randomised data generation for Ironwood types.
2
3use proptest::prelude::*;
4
5use crate::{ironwood::Nullifier, orchard};
6
7impl Arbitrary for Nullifier {
8 type Parameters = ();
9
10 fn arbitrary_with(_args: Self::Parameters) -> Self::Strategy {
11 any::<orchard::Nullifier>().prop_map(Nullifier).boxed()
12 }
13
14 type Strategy = BoxedStrategy<Self>;
15}