Struct TealResolver 

pub struct TealResolver { /* private fields */ }

Resolves require("a.b") to a/b.tl, a/b/init.tl, or a/b.d.tl under a sandboxed root, type-checking and generating on the fly.

Implementations

impl TealResolver

pub fn new(root: impl Into<PathBuf>) -> Result<Self, InitError>

Strict sandbox (no symlinks out of root).

pub fn new_symlink_aware(root: impl Into<PathBuf>) -> Result<Self, InitError>

Sandbox that follows symlinks directly under root (linked package roots).

pub fn with_sandbox( sandbox: impl SandboxedFs + 'static, root: Option<PathBuf>, ) -> Self

Custom sandbox. Pass root so the Teal checker can also see the tree when resolving requires inside .tl files (it searches package.path).

pub fn with_module_separator(self, sep: char) -> Self

pub fn expect_type(self, type_path: impl Into<String>) -> Self

Require every .tl module served here to be assignable to type_path, written as "<module>.<Type>" (e.g. "defs.Mod", where defs.tl / defs.d.tl declares Mod). A module that does not satisfy it fails at require time even if it never annotates its own return value.

What this catches is what Teal’s record assignability catches: a field of the wrong type (hp = "lots" for hp: integer). On its own it does not catch a missing field: every Teal record field is nilable, so { name = "x" } satisfies Mod with monsters absent. Add require_fields to reject that at run time, or nil-guard optional data on the host side.

pub fn require_fields(self) -> Self

With expect_type: after the type check, every field the record declares must be present (non-nil) in the loaded module, or the require fails naming the missing fields. Use for contracts where every field is mandatory; contracts with optional fields should keep the default and nil-guard instead.

pub fn with_checker_path(self, dir: impl Into<PathBuf>) -> Self

Let the Teal checker also search dir when resolving requires inside served modules (and the module named by expect_type). The sandbox root is always searched; add the project src/ here when defs.tl lives there.

pub fn exclude_modules( self, names: impl IntoIterator<Item = impl Into<String>>, ) -> Self

Modules (by require name) served here that are not held to expect_type / require_fields: an SDK the host writes into the same dir, for instance. The module that declares the expected type is always exempt.

pub fn only_module(self, name: impl Into<String>) -> Self

Hold only this module name to expect_type / require_fields; everything else served here is type-checked as usual but not against the contract.

pub fn for_contract(root: &Path, c: &Contract) -> Result<Vec<Self>, InitError>

Resolvers for one [[contract]] of htl.toml: one per concrete contract dir (a dir with * expands to every subdirectory), each with expect_type(type) (and require_fields() when set), the contract’s exclude / module, and root + root/src visible to the checker. root is the directory holding htl.toml. The contract-unenforced lint of htl check recognises this call.

pub fn for_contract_dir( root: &Path, dir: &Path, c: &Contract, ) -> Result<Self, InitError>

One resolver for the concrete contract directory dir (see for_contract).

Trait Implementations

impl Resolver for TealResolver

fn resolve(&self, lua: &Lua, name: &str) -> Option<Result<Value>>