ShieldedData objects must have at least one spend or output; using Either ensures that at least one must be present. This is similar to the JoinSplitData case, but slightly more complicated: rather than enforcing that one list has at least one element (which can be done as `(first, rest)`), here we need to use Either. This has the downside that it is possible to construct multiple equivalent internal representations (choosing whether a spend or output goes in the `first` slot), but this easily fixed with a custom PartialEq implementation. |
||
|---|---|---|
| .. | ||
| proptest-regressions | ||
| src | ||
| Cargo.toml | ||