Skip to main content

Module template

Module template 

Source
Expand description

Pure rustev.template/1 language machinery (spec 037, 3.3 and 3.4). This module does not construct contract documents or authorize generation. Callers supply resolved static types and exact values; graph provenance and parameter binding checks belong to the future generation compiler.

Structs§

Bounds
Field
Options
Rendered
Template

Enums§

BindingSource
Class
Error
Escape
Lines
Locale
Mode
Overflow
Type
Value

Constants§

HELPERS
LANGUAGE

Functions§

list_backstop
Check a literal list backstop against the resolved field vocabulary.
parameter_binding
Check a resolved parameter binding’s type and class. Reference location and graph lineage are checked by the future compiler before calling this helper.
prompt_canonical
Canonicalize the complete supplied prompt document using the existing contract writer. This does not validate or introduce a contract document type.
prompt_digest
Digest a complete prompt document, including id, version and declarations. The caller is responsible for document validation in the compilation layer.
prompt_header
Pure syntax checks for the future prompt document’s id and version. Versions are three canonical unsigned decimal components, without suffixes.

Type Aliases§

Schema
Values