Expand description
Shared standard-library mapping metadata.
This crate intentionally has no frontend AST dependencies. Frontends parse source syntax into local call shapes, ask this crate for a rule identity, and then perform their own typed lowering.
Re-exports§
pub use category::DiagnosticCategory;pub use classes::MATCH_CLASS_NAME;pub use classes::MATCH_GROUPS_CLASS_NAME;pub use classes::StdlibClass;pub use classes::TYPED_ARRAY_CLASS_NAMES;pub use classes::is_typed_array_class_name;pub use classes::typescript_stdlib_class;pub use deps::BackendDependency;pub use diagnostics::StdlibDiagnostic;pub use diagnostics::UnsupportedForm;pub use fields::FieldRule;pub use fields::typescript_field_rule;pub use globals::GlobalPresence;pub use globals::global_member_presence;pub use globals::is_javascript_global_builtin;pub use host_object::HOST_OBJECTS;pub use host_object::HostObject;pub use host_object::host_object_by_class;pub use host_object::host_object_marker;pub use host_object::host_object_markers;pub use recognition::CallRecognition;pub use recognition::MethodRecognition;pub use recognition::TYPESCRIPT_CALLS;pub use recognition::TYPESCRIPT_METHODS;pub use recognition::TypeScriptReceiverKind;pub use recognition::typescript_call_rule;pub use recognition::typescript_method_rule;pub use rules::ApiNamespace;pub use rules::ApiShape;pub use rules::ArgShape;pub use rules::EffectKind;pub use rules::ReceiverKind;pub use rules::ReturnShape;pub use rules::RuleId;pub use rules::SourceLanguage;
Modules§
- category
- Diagnostic categories shared across the TypeScript and Python frontends.
- classes
- Synthetic standard-library class recognition shared by frontends and codegen.
- deps
- Backend dependency metadata for standard-library mappings.
- diagnostics
- Diagnostics for recognized but unsupported standard-library forms.
- fields
- Exact source field-name recognition metadata shared by frontends and codegen.
- globals
- Recognition of well-known language builtins that Smelt does not model.
- host_
object - Canonical registry for host-object identities.
- recognition
- Exact source-call recognition metadata shared by frontends.
- rules
- Rule identities and source-shape metadata for standard-library mappings.
- runtime_
symbols - The codegen↔runtime helper symbol contract.