Returns a new spec with the suite labels distinguished by Left
, and the
test labels distinguished by Right
.
Determines if any node in the spec is satisfied by the given predicate.
Folds over all nodes to produce a final result.
Effectfully folds over all nodes according to the execution strategy of suites, utilizing the specified default for other cases.
Determines if all node in the spec are satisfied by the given predicate.
Iterates over the spec with the sequential strategy as the default, and effectfully transforming every test with the provided function, finally reconstructing the spec with the same structure.
Iterates over the spec with the specified default execution strategy, and effectfully transforming every test with the provided function, finally reconstructing the spec with the same structure.
Iterates over the spec with the parallel strategy as the default, and effectfully transforming every test with the provided function, finally reconstructing the spec with the same structure.
Iterates over the spec with the parallel (n
) strategy as the default, and
effectfully transforming every test with the provided function, finally
reconstructing the spec with the same structure.
Returns a new spec with remapped labels.
Returns a new spec with remapped tests.
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.
A
Spec[L, T]
is the backbone of _ZIO Test_. Every spec is either a suite, which contains other specs, or a test of typeT
. All specs are annotated with labels of typeL
.