Skip to main content

Crate sim_lib_lang_clojure

Crate sim_lib_lang_clojure 

Source
Expand description

Clojure 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 Clojure/EDN surface syntax over the shared Expr graph, not a standalone interpreter.

Structs§

ClojureEdnCodec
Decoder that reads Clojure/EDN surface syntax into the shared Expr graph.
ClojureEdnCodecLib
Loadable Lib that registers the ClojureEdnCodec as a runtime codec object.

Functions§

clojure_conformance_test_symbol
Stable symbol identifying the Clojure-core organ conformance test.
clojure_control_fidelity_symbol
Stable symbol for the control-organ fidelity badge of this profile.
clojure_core_matrix_row
Builds the Clojure core matrix row.
clojure_core_namespace
Builds the clojure.core namespace mapping surface names onto organ targets.
clojure_core_namespace_symbol
Stable symbol naming the generated clojure.core namespace.
clojure_core_profile
Describes the Clojure-core language profile as standard-distribution data.
clojure_core_profile_symbol
Stable symbol identifying the Clojure-core language profile.
clojure_core_source_cases
Minimal source cases for the Clojure core matrix row.
clojure_edn_reader_symbol
Stable symbol under which the EDN reader codec is registered.
clojure_loop_prompt
Runs body inside the Clojure loop prompt so a nested clojure_recur can rebind it.
clojure_loop_prompt_ref
Returns the control-prompt Ref that delimits a Clojure loop/recur target.
clojure_lowering_symbol
Stable symbol identifying the Clojure-core lowering pass.
clojure_namespace_fidelity_symbol
Stable symbol for the namespace-organ fidelity badge of this profile.
clojure_persistent_data
Builds a Clojure persistent vector value from the given items.
clojure_profile_sequence
Builds a sequence value tagged for the Clojure-core profile from the given items.
clojure_recur
Aborts to the enclosing Clojure loop prompt with new bindings, implementing recur.
clojure_recur_prompt_symbol
Stable symbol naming the control prompt used by loop/recur.
clojure_sequence_fidelity_symbol
Stable symbol for the sequence-organ fidelity badge of this profile.
clojure_transduce
Runs a transducer pipeline over a source sequence using the sequence organ.
decode_clojure_edn_tree
Decodes EDN source into a LocatedExprTree, interning source text and enforcing decode budgets.
edn_expr_to_value
Realizes a decoded EDN Expr as a runtime Value using the sequence organ.
install_clojure_core_profile
Installs the Clojure-core profile into a ProfileRegistry, publishing organ claims.
parse_clojure_edn_source
Parses a single top-level EDN value from source text into a LocatedExprTree.
run_clojure_core_conformance_case
Runs one Clojure core source conformance case.
run_clojure_core_matrix_row
Runs the Clojure core matrix row and publishes claim-backed cells.

Type Aliases§

ClojureReducer
Reducer step used to fold sequence values during a Clojure-profile transduce.