Determines if any node in the spec is satisfied by the given predicate.
Folds over all nodes to produce a final result.
Determines if all nodes in the spec are satisfied by the given predicate.
Computes the size of the spec, i.e.
Computes the size of the spec, i.e. the number of tests in the spec.
Transforms the spec one layer at a time.
Transforms the spec statefully, one layer at a time.
An
ExecutedSpec
is a spec that has been run to produce test results.