mt-lang 0.2.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +7 -0
- data/.ruby-version +1 -0
- data/AUTHORS +3 -0
- data/Gemfile +19 -0
- data/Gemfile.lock +82 -0
- data/LICENSE +21 -0
- data/README.md +1208 -0
- data/Rakefile +332 -0
- data/bin/mtc +8 -0
- data/bin/profile-mtc-checks +133 -0
- data/bin/tracy-profiler +0 -0
- data/docs/build-guide.md +536 -0
- data/docs/index.html +2778 -0
- data/docs/language-design.md +1519 -0
- data/docs/language-manual.md +1534 -0
- data/lib/milk_tea/base.rb +49 -0
- data/lib/milk_tea/bindings/bindgen/ast_parser.rb +398 -0
- data/lib/milk_tea/bindings/bindgen/declaration.rb +319 -0
- data/lib/milk_tea/bindings/bindgen/emitter.rb +387 -0
- data/lib/milk_tea/bindings/bindgen/overrides.rb +134 -0
- data/lib/milk_tea/bindings/bindgen/type_mapper.rb +622 -0
- data/lib/milk_tea/bindings/bindgen.rb +207 -0
- data/lib/milk_tea/bindings/cli.rb +121 -0
- data/lib/milk_tea/bindings/imported_bindings/defaults.rb +210 -0
- data/lib/milk_tea/bindings/imported_bindings/generator.rb +1114 -0
- data/lib/milk_tea/bindings/imported_bindings/method_source.rb +190 -0
- data/lib/milk_tea/bindings/imported_bindings/naming.rb +286 -0
- data/lib/milk_tea/bindings/imported_bindings.rb +215 -0
- data/lib/milk_tea/bindings/opengl_registry.rb +547 -0
- data/lib/milk_tea/bindings/raw_bindings/defaults.rb +1338 -0
- data/lib/milk_tea/bindings/raw_bindings.rb +269 -0
- data/lib/milk_tea/bindings/steamworks.rb +629 -0
- data/lib/milk_tea/bindings/upstream_sources.rb +352 -0
- data/lib/milk_tea/bindings/vendored_box2d.rb +79 -0
- data/lib/milk_tea/bindings/vendored_c_library.rb +322 -0
- data/lib/milk_tea/bindings/vendored_cjson.rb +52 -0
- data/lib/milk_tea/bindings/vendored_flecs.rb +78 -0
- data/lib/milk_tea/bindings/vendored_glfw.rb +77 -0
- data/lib/milk_tea/bindings/vendored_libuv.rb +75 -0
- data/lib/milk_tea/bindings/vendored_pcre2.rb +84 -0
- data/lib/milk_tea/bindings/vendored_raylib.rb +131 -0
- data/lib/milk_tea/bindings/vendored_sdl3.rb +78 -0
- data/lib/milk_tea/bindings/vendored_steamworks.rb +71 -0
- data/lib/milk_tea/bindings/vendored_tool.rb +71 -0
- data/lib/milk_tea/bindings/vendored_tools.rb +23 -0
- data/lib/milk_tea/bindings/vendored_tracy.rb +37 -0
- data/lib/milk_tea/bindings.rb +23 -0
- data/lib/milk_tea/core/ast.rb +311 -0
- data/lib/milk_tea/core/async_runtime_installer.rb +28 -0
- data/lib/milk_tea/core/binding_types.rb +18 -0
- data/lib/milk_tea/core/bindings/attribute_binding.rb +58 -0
- data/lib/milk_tea/core/bindings/function_binding.rb +5 -0
- data/lib/milk_tea/core/bindings/module_binding.rb +58 -0
- data/lib/milk_tea/core/bindings/value_binding.rb +21 -0
- data/lib/milk_tea/core/c_backend/aggregate_utils.rb +103 -0
- data/lib/milk_tea/core/c_backend/control_flow_emission.rb +412 -0
- data/lib/milk_tea/core/c_backend/expressions.rb +468 -0
- data/lib/milk_tea/core/c_backend/feature_detection.rb +483 -0
- data/lib/milk_tea/core/c_backend/reachability.rb +398 -0
- data/lib/milk_tea/core/c_backend/reinterpret.rb +226 -0
- data/lib/milk_tea/core/c_backend/runtime_helpers.rb +1080 -0
- data/lib/milk_tea/core/c_backend/statements.rb +563 -0
- data/lib/milk_tea/core/c_backend/type_collectors.rb +1545 -0
- data/lib/milk_tea/core/c_backend/type_declaration.rb +223 -0
- data/lib/milk_tea/core/c_backend/type_system.rb +345 -0
- data/lib/milk_tea/core/c_backend.rb +287 -0
- data/lib/milk_tea/core/compatibility_helpers.rb +79 -0
- data/lib/milk_tea/core/compile_time/const_eval.rb +187 -0
- data/lib/milk_tea/core/compile_time.rb +329 -0
- data/lib/milk_tea/core/control_flow/builder.rb +582 -0
- data/lib/milk_tea/core/control_flow/constant_propagation.rb +143 -0
- data/lib/milk_tea/core/control_flow/dataflow.rb +74 -0
- data/lib/milk_tea/core/control_flow/definite_assignment.rb +79 -0
- data/lib/milk_tea/core/control_flow/graph.rb +90 -0
- data/lib/milk_tea/core/control_flow/liveness.rb +24 -0
- data/lib/milk_tea/core/control_flow/nullability_flow.rb +43 -0
- data/lib/milk_tea/core/control_flow/reachability.rb +22 -0
- data/lib/milk_tea/core/control_flow/termination.rb +31 -0
- data/lib/milk_tea/core/control_flow.rb +34 -0
- data/lib/milk_tea/core/cst.rb +48 -0
- data/lib/milk_tea/core/cst_builder.rb +19 -0
- data/lib/milk_tea/core/ir.rb +85 -0
- data/lib/milk_tea/core/keywords.rb +97 -0
- data/lib/milk_tea/core/lexer/character_classes.rb +60 -0
- data/lib/milk_tea/core/lexer/format_strings.rb +225 -0
- data/lib/milk_tea/core/lexer/heredocs.rb +199 -0
- data/lib/milk_tea/core/lexer/indentation.rb +62 -0
- data/lib/milk_tea/core/lexer/numbers.rb +96 -0
- data/lib/milk_tea/core/lexer/recovery.rb +32 -0
- data/lib/milk_tea/core/lexer/strings.rb +167 -0
- data/lib/milk_tea/core/lexer/symbols.rb +71 -0
- data/lib/milk_tea/core/lexer/trivia.rb +53 -0
- data/lib/milk_tea/core/lexer.rb +430 -0
- data/lib/milk_tea/core/lowering/artifacts.rb +26 -0
- data/lib/milk_tea/core/lowering/async/analysis.rb +245 -0
- data/lib/milk_tea/core/lowering/async/lowering.rb +1399 -0
- data/lib/milk_tea/core/lowering/async/normalization.rb +459 -0
- data/lib/milk_tea/core/lowering/async.rb +714 -0
- data/lib/milk_tea/core/lowering/block.rb +1052 -0
- data/lib/milk_tea/core/lowering/calls.rb +1565 -0
- data/lib/milk_tea/core/lowering/declarations.rb +214 -0
- data/lib/milk_tea/core/lowering/dyn.rb +206 -0
- data/lib/milk_tea/core/lowering/events.rb +1054 -0
- data/lib/milk_tea/core/lowering/expressions.rb +1645 -0
- data/lib/milk_tea/core/lowering/foreign_cstr.rb +206 -0
- data/lib/milk_tea/core/lowering/functions.rb +242 -0
- data/lib/milk_tea/core/lowering/loops.rb +1087 -0
- data/lib/milk_tea/core/lowering/lowering_context.rb +80 -0
- data/lib/milk_tea/core/lowering/proc.rb +419 -0
- data/lib/milk_tea/core/lowering/resolve.rb +2516 -0
- data/lib/milk_tea/core/lowering/scans.rb +220 -0
- data/lib/milk_tea/core/lowering/str_buffer.rb +125 -0
- data/lib/milk_tea/core/lowering/utils.rb +1453 -0
- data/lib/milk_tea/core/lowering.rb +378 -0
- data/lib/milk_tea/core/module_binder.rb +181 -0
- data/lib/milk_tea/core/module_loader/errors.rb +21 -0
- data/lib/milk_tea/core/module_loader.rb +479 -0
- data/lib/milk_tea/core/module_path_resolver.rb +153 -0
- data/lib/milk_tea/core/module_roots.rb +88 -0
- data/lib/milk_tea/core/parser/attributes.rb +71 -0
- data/lib/milk_tea/core/parser/blocks.rb +119 -0
- data/lib/milk_tea/core/parser/declarations.rb +749 -0
- data/lib/milk_tea/core/parser/expressions.rb +624 -0
- data/lib/milk_tea/core/parser/recovery.rb +131 -0
- data/lib/milk_tea/core/parser/statements.rb +756 -0
- data/lib/milk_tea/core/parser/types.rb +271 -0
- data/lib/milk_tea/core/parser.rb +400 -0
- data/lib/milk_tea/core/prelude_installer.rb +29 -0
- data/lib/milk_tea/core/pretty_printer/ast_formatter.rb +917 -0
- data/lib/milk_tea/core/pretty_printer/base_formatter.rb +87 -0
- data/lib/milk_tea/core/pretty_printer/ir_formatter.rb +300 -0
- data/lib/milk_tea/core/pretty_printer.rb +17 -0
- data/lib/milk_tea/core/semantic_analyzer/analysis_context.rb +314 -0
- data/lib/milk_tea/core/semantic_analyzer/attributes.rb +184 -0
- data/lib/milk_tea/core/semantic_analyzer/calls.rb +992 -0
- data/lib/milk_tea/core/semantic_analyzer/expressions.rb +1735 -0
- data/lib/milk_tea/core/semantic_analyzer/flow_refinement.rb +355 -0
- data/lib/milk_tea/core/semantic_analyzer/foreign_functions.rb +155 -0
- data/lib/milk_tea/core/semantic_analyzer/function_binding.rb +354 -0
- data/lib/milk_tea/core/semantic_analyzer/generics.rb +383 -0
- data/lib/milk_tea/core/semantic_analyzer/interface_conformance.rb +78 -0
- data/lib/milk_tea/core/semantic_analyzer/module_context.rb +35 -0
- data/lib/milk_tea/core/semantic_analyzer/name_resolution.rb +1438 -0
- data/lib/milk_tea/core/semantic_analyzer/nullability.rb +421 -0
- data/lib/milk_tea/core/semantic_analyzer/statements.rb +1308 -0
- data/lib/milk_tea/core/semantic_analyzer/top_level.rb +588 -0
- data/lib/milk_tea/core/semantic_analyzer/type_compatibility.rb +307 -0
- data/lib/milk_tea/core/semantic_analyzer/type_declaration.rb +851 -0
- data/lib/milk_tea/core/semantic_analyzer.rb +327 -0
- data/lib/milk_tea/core/token.rb +26 -0
- data/lib/milk_tea/core/token_stream.rb +30 -0
- data/lib/milk_tea/core/types/layout.rb +243 -0
- data/lib/milk_tea/core/types/predicates.rb +609 -0
- data/lib/milk_tea/core/types/registry.rb +83 -0
- data/lib/milk_tea/core/types/types.rb +1696 -0
- data/lib/milk_tea/core/types/visitor.rb +442 -0
- data/lib/milk_tea/core.rb +25 -0
- data/lib/milk_tea/dap/backends/lldb_dap.rb +158 -0
- data/lib/milk_tea/dap/protocol.rb +58 -0
- data/lib/milk_tea/dap/server/breakpoints.rb +66 -0
- data/lib/milk_tea/dap/server/debug_map.rb +291 -0
- data/lib/milk_tea/dap/server/handlers.rb +374 -0
- data/lib/milk_tea/dap/server/launch.rb +261 -0
- data/lib/milk_tea/dap/server/lldb_backend.rb +380 -0
- data/lib/milk_tea/dap/server/pause_diagnostics.rb +109 -0
- data/lib/milk_tea/dap/server/utilities.rb +160 -0
- data/lib/milk_tea/dap/server/wire.rb +55 -0
- data/lib/milk_tea/dap/server.rb +131 -0
- data/lib/milk_tea/dap/session.rb +152 -0
- data/lib/milk_tea/dap.rb +6 -0
- data/lib/milk_tea/lsp/dependency_resolution.rb +52 -0
- data/lib/milk_tea/lsp/diagnostics.rb +611 -0
- data/lib/milk_tea/lsp/protocol.rb +104 -0
- data/lib/milk_tea/lsp/server/call_hierarchy.rb +274 -0
- data/lib/milk_tea/lsp/server/code_actions.rb +446 -0
- data/lib/milk_tea/lsp/server/code_lens.rb +97 -0
- data/lib/milk_tea/lsp/server/completion.rb +1099 -0
- data/lib/milk_tea/lsp/server/configuration.rb +167 -0
- data/lib/milk_tea/lsp/server/debug_info.rb +45 -0
- data/lib/milk_tea/lsp/server/definition.rb +779 -0
- data/lib/milk_tea/lsp/server/diagnostics_scheduling.rb +239 -0
- data/lib/milk_tea/lsp/server/execute_command.rb +25 -0
- data/lib/milk_tea/lsp/server/folding_range.rb +153 -0
- data/lib/milk_tea/lsp/server/formatting.rb +575 -0
- data/lib/milk_tea/lsp/server/hover.rb +1465 -0
- data/lib/milk_tea/lsp/server/inlay_hints.rb +204 -0
- data/lib/milk_tea/lsp/server/lifecycle.rb +234 -0
- data/lib/milk_tea/lsp/server/linked_editing_range.rb +43 -0
- data/lib/milk_tea/lsp/server/on_type_formatting.rb +73 -0
- data/lib/milk_tea/lsp/server/progress.rb +47 -0
- data/lib/milk_tea/lsp/server/references.rb +433 -0
- data/lib/milk_tea/lsp/server/rename.rb +598 -0
- data/lib/milk_tea/lsp/server/selection_range.rb +130 -0
- data/lib/milk_tea/lsp/server/semantic_tokens.rb +1745 -0
- data/lib/milk_tea/lsp/server/signature_help.rb +200 -0
- data/lib/milk_tea/lsp/server/text_documents.rb +125 -0
- data/lib/milk_tea/lsp/server/type_hierarchy.rb +167 -0
- data/lib/milk_tea/lsp/server/utilities.rb +520 -0
- data/lib/milk_tea/lsp/server.rb +415 -0
- data/lib/milk_tea/lsp/workspace/analysis.rb +209 -0
- data/lib/milk_tea/lsp/workspace/caches.rb +260 -0
- data/lib/milk_tea/lsp/workspace/collection.rb +98 -0
- data/lib/milk_tea/lsp/workspace/definition_index.rb +184 -0
- data/lib/milk_tea/lsp/workspace/dependency_graph.rb +282 -0
- data/lib/milk_tea/lsp/workspace/store.rb +154 -0
- data/lib/milk_tea/lsp/workspace/utilities.rb +490 -0
- data/lib/milk_tea/lsp/workspace.rb +127 -0
- data/lib/milk_tea/lsp.rb +13 -0
- data/lib/milk_tea/packages/atomic_write.rb +63 -0
- data/lib/milk_tea/packages/dependency_solver.rb +194 -0
- data/lib/milk_tea/packages/graph.rb +139 -0
- data/lib/milk_tea/packages/lock.rb +421 -0
- data/lib/milk_tea/packages/manager_cli.rb +485 -0
- data/lib/milk_tea/packages/manifest.rb +356 -0
- data/lib/milk_tea/packages/manifest_editor.rb +134 -0
- data/lib/milk_tea/packages/registry_metadata_provider.rb +34 -0
- data/lib/milk_tea/packages/registry_store.rb +420 -0
- data/lib/milk_tea/packages/services.rb +41 -0
- data/lib/milk_tea/packages/source_cache.rb +71 -0
- data/lib/milk_tea/packages/source_fetcher.rb +124 -0
- data/lib/milk_tea/packages/source_resolver.rb +389 -0
- data/lib/milk_tea/packages/version.rb +164 -0
- data/lib/milk_tea/packages.rb +16 -0
- data/lib/milk_tea/tooling/asset_pack.rb +141 -0
- data/lib/milk_tea/tooling/build.rb +1124 -0
- data/lib/milk_tea/tooling/build_cache.rb +240 -0
- data/lib/milk_tea/tooling/cli.rb +2688 -0
- data/lib/milk_tea/tooling/cst_formatter.rb +13 -0
- data/lib/milk_tea/tooling/debug_info_formatter.rb +456 -0
- data/lib/milk_tea/tooling/debug_map.rb +248 -0
- data/lib/milk_tea/tooling/docs_app.rb +369 -0
- data/lib/milk_tea/tooling/error_formatter.rb +86 -0
- data/lib/milk_tea/tooling/formatter.rb +787 -0
- data/lib/milk_tea/tooling/linter/doc_tags.rb +212 -0
- data/lib/milk_tea/tooling/linter/fix_engine.rb +237 -0
- data/lib/milk_tea/tooling/linter/flow_rules.rb +380 -0
- data/lib/milk_tea/tooling/linter/imports_platform.rb +841 -0
- data/lib/milk_tea/tooling/linter/release_rules.rb +744 -0
- data/lib/milk_tea/tooling/linter/reserved_names.rb +199 -0
- data/lib/milk_tea/tooling/linter/rules.rb +593 -0
- data/lib/milk_tea/tooling/linter/source_helpers.rb +407 -0
- data/lib/milk_tea/tooling/linter/trailing_comma.rb +139 -0
- data/lib/milk_tea/tooling/linter/visitors.rb +1286 -0
- data/lib/milk_tea/tooling/linter.rb +798 -0
- data/lib/milk_tea/tooling/project_scaffold.rb +82 -0
- data/lib/milk_tea/tooling/public/css/docs.css +166 -0
- data/lib/milk_tea/tooling/public/js/docs.js +94 -0
- data/lib/milk_tea/tooling/run.rb +408 -0
- data/lib/milk_tea/tooling/templates/wasm_shell.html +48 -0
- data/lib/milk_tea/tooling/toolchain_cli.rb +157 -0
- data/lib/milk_tea/tooling/views/404.erb +7 -0
- data/lib/milk_tea/tooling/views/index.erb +87 -0
- data/lib/milk_tea/tooling/views/layout.erb +69 -0
- data/lib/milk_tea/tooling/views/module.erb +97 -0
- data/lib/milk_tea/tooling/views/stdlib.erb +21 -0
- data/lib/milk_tea/tooling.rb +20 -0
- data/lib/milk_tea.rb +8 -0
- metadata +426 -0
|
@@ -0,0 +1,82 @@
|
|
|
1
|
+
# frozen_string_literal: true
|
|
2
|
+
|
|
3
|
+
require "fileutils"
|
|
4
|
+
|
|
5
|
+
module MilkTea
|
|
6
|
+
class ProjectScaffoldError < StandardError; end
|
|
7
|
+
|
|
8
|
+
class ProjectScaffold
|
|
9
|
+
Result = Data.define(:root_path, :manifest_path, :entry_path, :package_name)
|
|
10
|
+
|
|
11
|
+
def self.create(path)
|
|
12
|
+
new(path).create
|
|
13
|
+
end
|
|
14
|
+
|
|
15
|
+
def initialize(path)
|
|
16
|
+
@path = File.expand_path(path)
|
|
17
|
+
end
|
|
18
|
+
|
|
19
|
+
def create
|
|
20
|
+
validate_target!
|
|
21
|
+
|
|
22
|
+
FileUtils.mkdir_p(entry_dir)
|
|
23
|
+
File.write(manifest_path, render_manifest)
|
|
24
|
+
File.write(entry_path, render_entry_source)
|
|
25
|
+
|
|
26
|
+
Result.new(
|
|
27
|
+
root_path: @path,
|
|
28
|
+
manifest_path: manifest_path,
|
|
29
|
+
entry_path: entry_path,
|
|
30
|
+
package_name: PackageManifest.default_package_name_for_root(@path),
|
|
31
|
+
)
|
|
32
|
+
end
|
|
33
|
+
|
|
34
|
+
private
|
|
35
|
+
|
|
36
|
+
def validate_target!
|
|
37
|
+
if File.exist?(@path) && !File.directory?(@path)
|
|
38
|
+
raise ProjectScaffoldError, "project path is not a directory: #{@path}"
|
|
39
|
+
end
|
|
40
|
+
|
|
41
|
+
return unless File.directory?(@path)
|
|
42
|
+
return if Dir.children(@path).empty?
|
|
43
|
+
|
|
44
|
+
raise ProjectScaffoldError, "project directory already exists and is not empty: #{@path}"
|
|
45
|
+
end
|
|
46
|
+
|
|
47
|
+
def manifest_path
|
|
48
|
+
File.join(@path, "package.toml")
|
|
49
|
+
end
|
|
50
|
+
|
|
51
|
+
def entry_dir
|
|
52
|
+
File.join(@path, "src")
|
|
53
|
+
end
|
|
54
|
+
|
|
55
|
+
def entry_path
|
|
56
|
+
File.join(entry_dir, "main.mt")
|
|
57
|
+
end
|
|
58
|
+
|
|
59
|
+
def package_name
|
|
60
|
+
PackageManifest.default_package_name_for_root(@path)
|
|
61
|
+
end
|
|
62
|
+
|
|
63
|
+
def render_manifest
|
|
64
|
+
<<~TOML
|
|
65
|
+
[package]
|
|
66
|
+
name = "#{package_name}"
|
|
67
|
+
version = "0.1.0"
|
|
68
|
+
source_root = "src"
|
|
69
|
+
|
|
70
|
+
[build]
|
|
71
|
+
entry = "src/main.mt"
|
|
72
|
+
TOML
|
|
73
|
+
end
|
|
74
|
+
|
|
75
|
+
def render_entry_source
|
|
76
|
+
<<~MT
|
|
77
|
+
function main() -> int:
|
|
78
|
+
return 0
|
|
79
|
+
MT
|
|
80
|
+
end
|
|
81
|
+
end
|
|
82
|
+
end
|
|
@@ -0,0 +1,166 @@
|
|
|
1
|
+
/* ── Reset ──────────────────────────────────────────────────── */
|
|
2
|
+
*,*::before,*::after{box-sizing:border-box;margin:0;padding:0}
|
|
3
|
+
html{scroll-padding-top:4rem}
|
|
4
|
+
body{font-family:system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Oxygen,Ubuntu,sans-serif;line-height:1.65;color:var(--fg);background:var(--bg);transition:color .2s,background .2s}
|
|
5
|
+
a{color:var(--link);text-decoration:none}
|
|
6
|
+
a:hover{text-decoration:underline}
|
|
7
|
+
pre,code{font-family:"SF Mono","Cascadia Code","JetBrains Mono","Fira Code",Menlo,Consolas,monospace;font-size:.875em}
|
|
8
|
+
table{border-collapse:collapse;width:100%}
|
|
9
|
+
th,td{padding:.5rem .75rem;text-align:left;border:1px solid var(--border)}
|
|
10
|
+
th{font-weight:600;background:var(--surface)}
|
|
11
|
+
|
|
12
|
+
/* ── Theme ──────────────────────────────────────────────────── */
|
|
13
|
+
:root,[data-theme=light]{
|
|
14
|
+
--bg:#fefaf5; --surface:#faf3ea; --raised:#fff7ef; --border:#e8d9c5;
|
|
15
|
+
--fg:#3b2b1e; --fg-dim:#7a6a5c; --fg-faint:#b8a898;
|
|
16
|
+
--link:#b05a2a; --link-hover:#8a3d18;
|
|
17
|
+
--primary:#c4713b; --primary-dim:#e8945c; --primary-bg:#fdf0e4;
|
|
18
|
+
--accent:#4a9a6e; --accent-bg:#eaf7f0;
|
|
19
|
+
--code-bg:#fdf6ee; --code-fg:#3b2b1e;
|
|
20
|
+
--sidebar-bg:#faf3ea; --sidebar-width:15rem;
|
|
21
|
+
--shadow:0 1px 3px rgba(59,43,30,.08);
|
|
22
|
+
}
|
|
23
|
+
[data-theme=dark]{
|
|
24
|
+
--bg:#1a1410; --surface:#241c15; --raised:#2a2219; --border:#3a2a1a;
|
|
25
|
+
--fg:#e8d5c4; --fg-dim:#a89880; --fg-faint:#6a5a4a;
|
|
26
|
+
--link:#e8945c; --link-hover:#f0a870;
|
|
27
|
+
--primary:#e8945c; --primary-dim:#f0a870; --primary-bg:#2a1a10;
|
|
28
|
+
--accent:#5ab882; --accent-bg:#1a2a20;
|
|
29
|
+
--code-bg:#241c15; --code-fg:#e8d5c4;
|
|
30
|
+
--sidebar-bg:#1f1813;
|
|
31
|
+
--shadow:0 1px 3px rgba(0,0,0,.3);
|
|
32
|
+
}
|
|
33
|
+
|
|
34
|
+
/* ── Layout ─────────────────────────────────────────────────── */
|
|
35
|
+
body{display:flex;min-height:100vh}
|
|
36
|
+
.sidebar{position:fixed;top:0;left:0;bottom:0;width:var(--sidebar-width);background:var(--sidebar-bg);border-right:1px solid var(--border);overflow-y:auto;overflow-x:hidden;z-index:100;padding:1rem;display:flex;flex-direction:column;transition:transform .25s ease}
|
|
37
|
+
.main{margin-left:var(--sidebar-width);flex:1;min-width:0;padding:2rem 2.5rem 4rem;max-width:56rem}
|
|
38
|
+
|
|
39
|
+
/* ── Sidebar ────────────────────────────────────────────────── */
|
|
40
|
+
.sidebar-logo{display:flex;align-items:center;gap:.5rem;padding:.5rem 0 1rem;font-size:1.15rem;font-weight:700;color:var(--fg);user-select:none}
|
|
41
|
+
.sidebar-search{margin-bottom:.5rem}
|
|
42
|
+
.sidebar-search input{width:100%;padding:.35rem .5rem;border:1px solid var(--border);border-radius:.375rem;background:var(--raised);color:var(--fg);font-size:.8rem;outline:none;transition:border-color .2s}
|
|
43
|
+
.sidebar-search input:focus{border-color:var(--primary-dim)}
|
|
44
|
+
.sidebar-nav{flex:1;overflow-y:auto;font-size:.88rem}
|
|
45
|
+
.sidebar-nav > a{display:block;padding:.35rem .5rem;border-radius:.375rem;color:var(--fg-dim);margin-bottom:.15rem;transition:background .15s,color .15s}
|
|
46
|
+
.sidebar-nav > a:hover{color:var(--fg);background:var(--raised);text-decoration:none}
|
|
47
|
+
.sidebar-nav > a.active{color:var(--primary);background:var(--primary-bg);font-weight:500}
|
|
48
|
+
.mod-category{margin-top:.5rem}
|
|
49
|
+
.mod-category summary{padding:.3rem .5rem;border-radius:.375rem;cursor:pointer;color:var(--fg-dim);font-weight:600;user-select:none;transition:background .15s;list-style:none;font-size:.82rem}
|
|
50
|
+
.mod-category summary::-webkit-details-marker{display:none}
|
|
51
|
+
.mod-category summary:hover{background:var(--raised)}
|
|
52
|
+
.mod-category[open] > summary{color:var(--fg)}
|
|
53
|
+
.mod-link{display:block;padding:.2rem .5rem .2rem 1.5rem;border-radius:.375rem;color:var(--fg-dim);font-size:.82rem;transition:background .15s,color .15s;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}
|
|
54
|
+
.mod-link:hover{color:var(--fg);background:var(--raised);text-decoration:none}
|
|
55
|
+
.mod-link.active{color:var(--primary);background:var(--primary-bg);font-weight:500}
|
|
56
|
+
.mod-link.hidden{display:none}
|
|
57
|
+
.mod-category.empty-cat{display:none}
|
|
58
|
+
.mod-category:has(.mod-link:not(.hidden)) .mod-filter-none{display:none}
|
|
59
|
+
.mod-filter-none{display:none;padding:.2rem .5rem;color:var(--fg-faint);font-size:.78rem;font-style:italic}
|
|
60
|
+
.sidebar-footer{padding-top:.75rem;border-top:1px solid var(--border);display:flex;align-items:center;justify-content:space-between;font-size:.8rem;color:var(--fg-faint)}
|
|
61
|
+
|
|
62
|
+
/* ── Topbar (mobile) ────────────────────────────────────────── */
|
|
63
|
+
.topbar{display:none;position:sticky;top:0;z-index:99;background:var(--bg);border-bottom:1px solid var(--border);padding:.65rem 1rem;align-items:center;gap:.75rem}
|
|
64
|
+
.topbar .menu-btn{background:none;border:none;color:var(--fg);font-size:1.35rem;cursor:pointer;padding:.25rem;line-height:1}
|
|
65
|
+
.topbar .logo-text{font-weight:700;font-size:1rem}
|
|
66
|
+
.theme-btn{background:none;border:1px solid var(--border);color:var(--fg-dim);font-size:.9rem;cursor:pointer;padding:.25rem .4rem;border-radius:.375rem;transition:background .15s,border-color .15s;display:flex;align-items:center;gap:.25rem}
|
|
67
|
+
.theme-btn:hover{background:var(--surface);border-color:var(--fg-dim)}
|
|
68
|
+
|
|
69
|
+
/* ── Breadcrumbs ────────────────────────────────────────────── */
|
|
70
|
+
.breadcrumbs{padding:.65rem 0;margin-bottom:.75rem;font-size:.82rem;color:var(--fg-faint)}
|
|
71
|
+
.breadcrumbs a{color:var(--fg-dim)}
|
|
72
|
+
.breadcrumbs a:hover{color:var(--link);text-decoration:none}
|
|
73
|
+
.bc-sep{margin:0 .4rem;color:var(--fg-faint)}
|
|
74
|
+
|
|
75
|
+
/* ── Hero ───────────────────────────────────────────────────── */
|
|
76
|
+
.hero{padding:2rem 0 1.5rem;margin-bottom:1rem;border-bottom:1px solid var(--border)}
|
|
77
|
+
.hero h1{font-size:2.4rem;font-weight:800;letter-spacing:-.02em;line-height:1.15;margin-bottom:.4rem}
|
|
78
|
+
.hero h1 span{color:var(--primary)}
|
|
79
|
+
.hero h1 code{font-size:2rem;background:var(--code-bg);padding:.1rem .4rem;border-radius:.375rem}
|
|
80
|
+
.hero .tagline{font-size:1.1rem;color:var(--fg-dim);margin-bottom:1rem;max-width:36rem}
|
|
81
|
+
.badges{display:flex;flex-wrap:wrap;gap:.4rem;margin-bottom:.5rem}
|
|
82
|
+
.badge{display:inline-flex;align-items:center;gap:.3rem;padding:.25rem .65rem;border-radius:3rem;font-size:.8rem;font-weight:500;background:var(--primary-bg);color:var(--primary)}
|
|
83
|
+
.badge.ac{background:var(--accent-bg);color:var(--accent)}
|
|
84
|
+
|
|
85
|
+
/* ── Sections ───────────────────────────────────────────────── */
|
|
86
|
+
section{padding:1.5rem 0;border-bottom:1px solid var(--border)}
|
|
87
|
+
section:last-of-type{border-bottom:none}
|
|
88
|
+
.section-header{display:flex;align-items:baseline;gap:.75rem;margin-bottom:.5rem}
|
|
89
|
+
.section-header h3{margin:0}
|
|
90
|
+
.source-inline{font-size:.75rem;color:var(--fg-faint);border:1px solid var(--border);padding:.1rem .4rem;border-radius:.25rem;text-decoration:none}
|
|
91
|
+
.source-inline:hover{background:var(--surface);text-decoration:none}
|
|
92
|
+
.hl-inline{border-color:var(--primary-dim);color:var(--primary)}
|
|
93
|
+
h2{font-size:1.5rem;font-weight:700;margin-bottom:.75rem;color:var(--fg)}
|
|
94
|
+
h3{font-size:1.15rem;font-weight:600;margin:1rem 0 .5rem;color:var(--fg)}
|
|
95
|
+
h4{font-size:1rem;font-weight:600;margin:1rem 0 .4rem;color:var(--fg-dim)}
|
|
96
|
+
p{margin-bottom:.75rem;max-width:44rem}
|
|
97
|
+
|
|
98
|
+
/* ── Code ───────────────────────────────────────────────────── */
|
|
99
|
+
.code-wrap{position:relative;margin:1rem 0 1.5rem;border-radius:.5rem;overflow:hidden;border:1px solid var(--border);background:var(--code-bg);box-shadow:var(--shadow)}
|
|
100
|
+
.code-wrap .copy-btn{position:absolute;top:.4rem;right:.4rem;background:var(--raised);border:1px solid var(--border);color:var(--fg-dim);font-size:.7rem;cursor:pointer;padding:.15rem .45rem;border-radius:.375rem;opacity:0;transition:opacity .2s}
|
|
101
|
+
.code-wrap:hover .copy-btn{opacity:1}
|
|
102
|
+
.code-wrap pre{margin:0;padding:1rem 1.2rem;overflow-x:auto;line-height:1.55;color:var(--code-fg);tab-size:4}
|
|
103
|
+
.code-wrap pre code{font-size:.85rem;white-space:pre}
|
|
104
|
+
.code-inline{background:var(--code-bg);padding:.12rem .4rem;border-radius:.375rem;font-size:.88em;border:1px solid var(--border)}
|
|
105
|
+
.doc-block{background:var(--accent-bg);border-left:3px solid var(--accent);padding:.85rem 1rem;margin:1rem 0;border-radius:.375rem;font-size:.9rem;color:var(--fg-dim)}
|
|
106
|
+
.kind-badge{display:inline-block;font-size:.75rem;font-weight:600;padding:.1rem .4rem;border-radius:.375rem;background:var(--primary-bg);color:var(--primary);text-transform:uppercase;letter-spacing:.03em}
|
|
107
|
+
.meth-row td{background:var(--surface);border-top-style:dashed}
|
|
108
|
+
.meth-indent{color:var(--fg-faint);font-size:.75rem;margin-right:.3rem}
|
|
109
|
+
.decl-doc{margin-top:.25rem;font-size:.78rem;color:var(--fg-dim);font-style:italic}
|
|
110
|
+
.extend-header td{background:var(--primary-bg);font-size:.78rem;color:var(--primary-dim);padding:.3rem .75rem}
|
|
111
|
+
.extend-label{text-transform:uppercase;letter-spacing:.04em;font-size:.72rem;margin-right:.3rem;color:var(--primary)}
|
|
112
|
+
.permalink{opacity:0;margin-left:.35rem;color:var(--fg-faint);font-size:.8rem;text-decoration:none}
|
|
113
|
+
tr:hover .permalink{opacity:1}
|
|
114
|
+
.permalink:hover{color:var(--link);text-decoration:none}
|
|
115
|
+
|
|
116
|
+
/* ── Tables ─────────────────────────────────────────────────── */
|
|
117
|
+
.table-wrap{overflow-x:auto;margin:.5rem 0 1rem}
|
|
118
|
+
.attr-table th{font-size:.82rem;color:var(--fg-dim);white-space:nowrap}
|
|
119
|
+
.attr-table td{font-size:.85rem}
|
|
120
|
+
.attr-table td:first-child{white-space:nowrap}
|
|
121
|
+
.attr-table td:first-child code{background:var(--code-bg);padding:.08rem .35rem;border-radius:.375rem;font-size:.88em}
|
|
122
|
+
.attr-table tr:hover td{background:var(--surface)}
|
|
123
|
+
|
|
124
|
+
/* ── Cards ──────────────────────────────────────────────────── */
|
|
125
|
+
.cards{display:grid;grid-template-columns:repeat(auto-fit,minmax(16rem,1fr));gap:1rem;margin:1.5rem 0}
|
|
126
|
+
.card{display:block;padding:1.25rem;border:1px solid var(--border);border-radius:.5rem;background:var(--surface);transition:border-color .2s,box-shadow .2s;color:var(--fg);text-decoration:none;box-shadow:var(--shadow)}
|
|
127
|
+
.card:hover{border-color:var(--primary-dim);box-shadow:0 4px 12px rgba(196,113,59,.1);text-decoration:none}
|
|
128
|
+
.card h2{font-size:1.1rem;margin-bottom:.4rem}
|
|
129
|
+
.card p{font-size:.88rem;color:var(--fg-dim);margin:0}
|
|
130
|
+
.card code{background:var(--code-bg);padding:.08rem .3rem;border-radius:.25rem;font-size:.85em}
|
|
131
|
+
|
|
132
|
+
/* ── Stdlib grid ────────────────────────────────────────────── */
|
|
133
|
+
.stdlib-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(12rem,1fr));gap:.4rem;margin:.75rem 0}
|
|
134
|
+
.stdlib-item{display:flex;justify-content:space-between;align-items:center;padding:.4rem .65rem;border:1px solid var(--border);border-radius:.375rem;color:var(--fg);text-decoration:none;font-size:.85rem;transition:border-color .15s,background .15s}
|
|
135
|
+
.stdlib-item:hover{border-color:var(--primary-dim);background:var(--primary-bg);text-decoration:none}
|
|
136
|
+
.stdlib-name{font-weight:500}
|
|
137
|
+
.stdlib-kind{font-size:.72rem;color:var(--fg-faint)}
|
|
138
|
+
|
|
139
|
+
/* ── Source files ───────────────────────────────────────────── */
|
|
140
|
+
.source-files{display:flex;flex-wrap:wrap;gap:.5rem;margin:.5rem 0}
|
|
141
|
+
.source-link{display:inline-block;padding:.3rem .6rem;border:1px solid var(--border);border-radius:.375rem;color:var(--link);font-size:.85rem;transition:background .15s,color .15s}
|
|
142
|
+
.source-link:hover{background:var(--surface);text-decoration:none}
|
|
143
|
+
.hl-link{border-color:var(--primary-dim);color:var(--primary);font-size:.75rem}
|
|
144
|
+
.hl-link:hover{background:var(--primary-bg)}
|
|
145
|
+
.source-file-group{display:flex;align-items:center;gap:.3rem}
|
|
146
|
+
|
|
147
|
+
/* ── Progress bar ─────────────────────────────────────────────── */
|
|
148
|
+
.progress{position:fixed;top:0;left:0;height:3px;background:linear-gradient(90deg,var(--primary),var(--accent));z-index:50;width:0;pointer-events:none}
|
|
149
|
+
|
|
150
|
+
/* ── Responsive ─────────────────────────────────────────────── */
|
|
151
|
+
@media (max-width:767px){
|
|
152
|
+
:root{--sidebar-width:15rem}
|
|
153
|
+
.sidebar{transform:translateX(-100%)}
|
|
154
|
+
.sidebar.open{transform:translateX(0)}
|
|
155
|
+
.main{margin-left:0;padding:1.25rem 1rem 3rem}
|
|
156
|
+
.topbar{display:flex}
|
|
157
|
+
.hero h1{font-size:1.8rem}
|
|
158
|
+
.hero{padding:1rem 0}
|
|
159
|
+
.breadcrumbs{padding:.4rem 0}
|
|
160
|
+
.code-wrap pre{padding:.75rem .85rem;font-size:.82rem}
|
|
161
|
+
h2{font-size:1.3rem}
|
|
162
|
+
h3{font-size:1.05rem}
|
|
163
|
+
}
|
|
164
|
+
@media (min-width:768px){
|
|
165
|
+
.theme-btn-desktop{display:flex!important}
|
|
166
|
+
}
|
|
@@ -0,0 +1,94 @@
|
|
|
1
|
+
(function() {
|
|
2
|
+
'use strict';
|
|
3
|
+
|
|
4
|
+
var sidebar = document.getElementById('sidebar');
|
|
5
|
+
var overlay = document.getElementById('overlay');
|
|
6
|
+
var menuBtn = document.getElementById('menu-btn');
|
|
7
|
+
var themeToggle = document.getElementById('theme-toggle');
|
|
8
|
+
var themeToggleMbl = document.getElementById('theme-toggle-mbl');
|
|
9
|
+
var progress = document.getElementById('progress');
|
|
10
|
+
var modFilter = document.getElementById('mod-filter');
|
|
11
|
+
|
|
12
|
+
// ── Mobile sidebar toggle ──────────────────────────────────
|
|
13
|
+
if (menuBtn) {
|
|
14
|
+
menuBtn.addEventListener('click', function() {
|
|
15
|
+
sidebar.classList.toggle('open');
|
|
16
|
+
overlay.classList.toggle('visible');
|
|
17
|
+
});
|
|
18
|
+
}
|
|
19
|
+
if (overlay) {
|
|
20
|
+
overlay.addEventListener('click', function() {
|
|
21
|
+
sidebar.classList.remove('open');
|
|
22
|
+
overlay.classList.remove('visible');
|
|
23
|
+
});
|
|
24
|
+
}
|
|
25
|
+
|
|
26
|
+
// ── Theme ──────────────────────────────────────────────────
|
|
27
|
+
function setTheme(theme) {
|
|
28
|
+
document.documentElement.setAttribute('data-theme', theme);
|
|
29
|
+
try { localStorage.setItem('mt-docs-theme', theme); } catch(e) {}
|
|
30
|
+
}
|
|
31
|
+
function toggleTheme() {
|
|
32
|
+
var cur = document.documentElement.getAttribute('data-theme');
|
|
33
|
+
setTheme(cur === 'dark' ? 'light' : 'dark');
|
|
34
|
+
}
|
|
35
|
+
function loadTheme() {
|
|
36
|
+
var saved;
|
|
37
|
+
try { saved = localStorage.getItem('mt-docs-theme'); } catch(e) {}
|
|
38
|
+
if (saved === 'dark' || saved === 'light') setTheme(saved);
|
|
39
|
+
}
|
|
40
|
+
if (themeToggle) themeToggle.addEventListener('click', toggleTheme);
|
|
41
|
+
if (themeToggleMbl) themeToggleMbl.addEventListener('click', toggleTheme);
|
|
42
|
+
loadTheme();
|
|
43
|
+
|
|
44
|
+
// ── Module sidebar filter ──────────────────────────────────
|
|
45
|
+
if (modFilter) {
|
|
46
|
+
var links = sidebar.querySelectorAll('.mod-link');
|
|
47
|
+
var categories = sidebar.querySelectorAll('.mod-category');
|
|
48
|
+
|
|
49
|
+
modFilter.addEventListener('input', function() {
|
|
50
|
+
var q = modFilter.value.toLowerCase().trim();
|
|
51
|
+
|
|
52
|
+
links.forEach(function(link) {
|
|
53
|
+
var name = (link.getAttribute('data-mod') || '').toLowerCase();
|
|
54
|
+
if (!q || name.indexOf(q) !== -1) {
|
|
55
|
+
link.classList.remove('hidden');
|
|
56
|
+
} else {
|
|
57
|
+
link.classList.add('hidden');
|
|
58
|
+
}
|
|
59
|
+
});
|
|
60
|
+
|
|
61
|
+
categories.forEach(function(cat) {
|
|
62
|
+
var visible = cat.querySelectorAll('.mod-link:not(.hidden)');
|
|
63
|
+
if (visible.length === 0) {
|
|
64
|
+
cat.classList.add('empty-cat');
|
|
65
|
+
} else {
|
|
66
|
+
cat.classList.remove('empty-cat');
|
|
67
|
+
}
|
|
68
|
+
});
|
|
69
|
+
});
|
|
70
|
+
}
|
|
71
|
+
|
|
72
|
+
// ── Scroll progress ────────────────────────────────────────
|
|
73
|
+
if (progress) {
|
|
74
|
+
window.addEventListener('scroll', function() {
|
|
75
|
+
var scrollTop = window.scrollY || document.documentElement.scrollTop;
|
|
76
|
+
var docHeight = document.documentElement.scrollHeight - window.innerHeight;
|
|
77
|
+
progress.style.width = docHeight > 0 ? ((scrollTop / docHeight) * 100) + '%' : '0%';
|
|
78
|
+
}, { passive: true });
|
|
79
|
+
}
|
|
80
|
+
|
|
81
|
+
// ── Copy code buttons ──────────────────────────────────────
|
|
82
|
+
window.copyCode = function(btn) {
|
|
83
|
+
var pre = btn.parentElement.querySelector('pre');
|
|
84
|
+
if (!pre) return;
|
|
85
|
+
navigator.clipboard.writeText(pre.textContent || '').then(function() {
|
|
86
|
+
btn.textContent = 'Copied!';
|
|
87
|
+
btn.classList.add('copied');
|
|
88
|
+
setTimeout(function() { btn.textContent = 'Copy'; btn.classList.remove('copied'); }, 2000);
|
|
89
|
+
}).catch(function() {
|
|
90
|
+
btn.textContent = 'Error';
|
|
91
|
+
setTimeout(function() { btn.textContent = 'Copy'; }, 2000);
|
|
92
|
+
});
|
|
93
|
+
};
|
|
94
|
+
})();
|