Documentation
¶
Overview ¶
Package writ compiles policy source into validated IL. Parsing, syntax trees, and static checks are private implementation details of Load; evaluation and programmatic IL construction remain separate packages.
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
Types ¶
This section is empty.
Directories
¶
| Path | Synopsis |
|---|---|
|
Package diag holds source positions and diagnostics for the writ policy language.
|
Package diag holds source positions and diagnostics for the writ policy language. |
|
Package eval is SPEC §8 as a pure function: order-independent evaluation of a compiled policy against one (user, host, account) request.
|
Package eval is SPEC §8 as a pure function: order-independent evaluation of a compiled policy against one (user, host, account) request. |
|
Package il is writ's intermediate language: the compiled rule format per SPEC §10–11.
|
Package il is writ's intermediate language: the compiled rule format per SPEC §10–11. |
|
Package object defines the provider-independent objects consumed by Writ.
|
Package object defines the provider-independent objects consumed by Writ. |
Click to show internal directories.
Click to hide internal directories.