Test.Syd.Mutation.Manifest

One discovered mutation site, as recorded by the plugin.

A group of mutation records produced by applying one operator at one source location. Every group has at least one record in practice, but the type does not enforce non-emptiness — the plugin can drop alternatives during validation.

Within-group fail-fast (in the runner) skips remaining mutations in a group once one of them survives or is uncovered.

All mutation groups discovered in one or more modules by the plugin.

The reserved operator name carried by a control (no-op) mutation.

A control mutation is a deliberate non-diff: the plugin inserts one every few real mutations, wrapping an expression as ifMutation cmid e e - the same expression on both branches. It changes no behaviour, so it is expected to survive. If a control is killed, the mutation testing itself is unsound (a flaky/nondeterministic suite or a harness bug) rather than a real kill, so the report flags it separately and fails the run like a survivor.

The marker rides the existing mutRecOperator field rather than a dedicated record field; isControlOperator is the single point of truth for the test.

Whether an operator name marks a control (no-op) mutation.

Read a MutationManifest from a file, returning the aeson error on parse failure.

Reads strictly so the file handle is closed before this function returns.

Read and concatenate all per-module manifests from a directory. Files that fail to parse are skipped with a warning to stderr. Coverage files (*.coverage.json) are excluded; use readCoverageDir for those.

Write a MutationManifest to dir/moduleName.json.

Read and concatenate all per-module coverage files (*.coverage.json) from a directory. Plain manifest files (*.json) are excluded.

Write a coverage manifest to dir/moduleName.coverage.json.

Codec for 'Path Rel File' as a JSON string.