Function run_batch_collected

explainshell/extraction/runner.py:713–733

Like ``run_batch``, but collects per-file results into a list.

(
    extractor: BatchExtractor,
    gz_files: list[str],
    *,
    manifest: BatchManifestWriter,
    batch_size: int = 50,
    jobs: int = 1,
    on_start: Callable[[str], None] | None = None,
)

def run_batch_collected(
    extractor: BatchExtractor,
    gz_files: list[str],
    *,
    manifest: BatchManifestWriter,
    batch_size: int = 50,
    jobs: int = 1,
    on_start: Callable[[str], None] | None = None,
) -> tuple[BatchResult, list[ExtractionResult]]:
    """Like ``run_batch``, but collects per-file results into a list."""
    files: list[ExtractionResult] = []
    batch = run_batch(
        extractor,
        gz_files,
        batch_size=batch_size,
        jobs=jobs,
        on_start=on_start,
        on_result=lambda _p, e: files.append(e),
        manifest=manifest,
    )
    return batch, files