Skip to main content

Module mirror

Module mirror 

Structsยง

Operation ๐Ÿ”’
One recorded, hand-written unsafe operation.
Relaxation ๐Ÿ”’
One recorded, deliberate difference between the workspace table and the mirror.

Enumsยง

Kind ๐Ÿ”’
The kinds of hand-written unsafe the inventory distinguishes.

Constantsยง

MIRROR_CRATE ๐Ÿ”’
The crate whose lint table is a hand-written mirror.
MIRROR_SRC ๐Ÿ”’
The source tree the OPERATIONS inventory covers.
OPERATIONS ๐Ÿ”’
Every hand-written unsafe operation the relaxation is there to permit.
RELAXATIONS ๐Ÿ”’
The lints the mirror is allowed to state differently, and why.
TABLES ๐Ÿ”’
The two lint tables, in the order they are reported.

Functionsยง

check_relaxation ๐Ÿ”’
The failures for a recorded relaxation that is no longer what was recorded.
compare ๐Ÿ”’
Compares one table, returning a failure per drifted lint.
display ๐Ÿ”’
Renders a path relative to the repository root where possible.
diverged ๐Ÿ”’
The failure for two tables that state the same lint differently.
document ๐Ÿ”’
Reads and parses a manifest.
lints ๐Ÿ”’
Extracts one lint table as lint -> rendered value.
missing ๐Ÿ”’
The failure for a workspace lint the mirror never gained.
missing_relaxation ๐Ÿ”’
The failure for a relaxed lint that the mirror does not state at all.
run ๐Ÿ”’
Runs the check.