Expand description
Lua surface profile for the SIM runtime.
The kernel defines the codec, eval-policy, and Expr contracts; this crate
is a loadable language profile presenting a Lua surface syntax over the
shared Expr graph, not a standalone interpreter.
Structs§
- LuaEnv
- Lexical local environment used by the Lua core eval policy.
- LuaEval
Policy - Eval policy for the Lua core profile.
- LuaTable
- Lua table handle backed by the mutation organ’s runtime-keyed table.
- LuaTable
Policy - Lua table key policy over the shared runtime-keyed mutation table.
- LuaThread
- Lua coroutine handle.
- Reuse
Ledger Entry - One row in the Lua shared-substrate reuse ledger.
Enums§
- LuaNumber
- Lua numeric subtype used by the core operator layer.
- LuaOp
- Lua core binary and unary operators covered by the current profile.
- LuaResult
- Result of evaluating a Lua core form.
Constants§
- REUSE_
LEDGER - Lua reuse ledger for the shared language-runtime substrate.
Statics§
- RECIPES
- Cookbook recipes for this lib, embedded at build time.
Functions§
- install_
lua_ core_ profile - Installs the Lua core profile and its organ claims into a registry.
- lua_
binary - Applies a Lua binary operator using metamethods before primitive behavior.
- lua_
conformance_ test_ symbol - Stable symbol for the Lua core control/mutation conformance test.
- lua_
control_ fidelity_ symbol - Stable symbol for the Lua coroutine-control fidelity badge.
- lua_
core_ matrix_ row - Builds the Lua core matrix row.
- lua_
core_ profile - Builds the
LanguageProfiledescribing the Lua core surface profile. - lua_
core_ source_ cases - Minimal source cases for the Lua core matrix row.
- lua_
coroutine - Builds a Lua coroutine that alternates between two ref lanes.
- lua_
coroutine_ frame_ value - Build a Lua coroutine handle over a shared producer/consumer frame.
- lua_
eval_ policy_ symbol - Stable symbol naming the Lua core eval policy.
- lua_
float_ value - Builds a runtime value from a Lua float.
- lua_
full_ runtime_ fidelity_ symbol - Stable symbol for the Lua full-runtime fidelity badge (limited support).
- lua_get
- Performs Lua indexed read with the shared metaobject protocol.
- lua_
get_ metatable - Returns a Lua table metatable, if one is installed.
- lua_
index_ slot - Stable Lua metatable slot for indexed reads.
- lua_
integer_ value - Builds a runtime value from a Lua integer.
- lua_len
- Applies Lua length over strings and tables, with
__lenfallback. - lua_
lowering_ symbol - Stable symbol for the Lua lowering from surface forms to
Expr. - lua_
metamethod - Reads a raw metamethod from a value’s metatable.
- lua_
mutation_ fidelity_ symbol - Stable symbol for the Lua table-mutation fidelity badge.
- lua_
number_ from_ value - Converts a SIM value to a Lua number, including Lua string-to-number coercion.
- lua_
profile_ symbol - Stable symbol identifying the Lua core language profile.
- lua_
rawdel - Deletes a raw Lua table entry without consulting
__newindex. - lua_
rawget - Performs a raw Lua table read without consulting
__index. - lua_
rawset - Performs a raw Lua table write without consulting
__newindex. - lua_
reader_ symbol - Stable symbol for the reader codec the Lua surface decodes through.
- lua_
set_ metatable - Installs a Lua table metatable.
- lua_
table - Constructs a Lua table from symbol-keyed entries.
- lua_
table_ from_ values - Constructs a Lua table from value-keyed entries.
- lua_
table_ value - Borrows the Lua table behind
value. - run_
lua_ core_ conformance_ case - Runs one Lua core source conformance case.
- run_
lua_ core_ matrix_ row - Runs the Lua core matrix row and publishes claim-backed cells.