Type Definition proptest::strategy::NewTree [] [src]

type NewTree<S> = Result<<S as Strategy>::Value, Reason>;

A new ValueTree from a Strategy when Ok or otherwise Err when a new value-tree can not be produced for some reason such as in the case of filtering with a predicate which always returns false. You should pass in your strategy as the type parameter.