Skip to main content

Module provider

Module provider 

Source
Expand description

The injected source-access seam. proef-core never reads a file; it asks a SourceProvider for the units under a suite and for their bytes. The CLI provides a disk-backed impl; the LSP provides an overlay-then-disk impl. This is the ADR-0012 pattern — IO at the edge, injected into the sans-IO core.

Structs§

ProviderError
A source-access failure (missing file, unreadable path, walk error).

Traits§

SourceProvider
Discovers and reads the feature files and macro packs of one suite.