antcolony

2.8 KB

1. file(String path) {
2. return __native("fs.file", path)
3. }
5. readFile(String path) {
6. return __native("fs.read_file", path)
7. }
9. listDir(String path) {
10. return __native("fs.list_dir", path)
11. }
13. \* Does this path exist? (mission 077) The one call in hl:fs that cannot fail:
14. it answers true/false, never an Error event — probing a path is a question,
15. not an operation. Relative paths resolve against the SCRIPT's directory like
16. every other hl:fs path. *\
17. exists(String path) {
18. return __native("fs.exists", path)
19. }
21. \* Watch a directory tree for changes (the dev-reload bell): an ordinary
22. event-loop source — register it and every save arrives as an event.
24. __native("eventloop.register", watch("."), "changed")
25. on changed(ev) { … ev.name … }
27. `exclude` (2026-08-30) names directories the descent must NOT enter — a
28. path string, or a list of them. Omit it and the whole tree is watched, as
29. it always was. The paths are compared RESOLVED (relative ones against the
30. script's directory, like every hl:fs path) and normalised, so `./sessions`,
31. `sessions` and `var/../sessions` are the same directory, and a sibling
32. named `sessions-old` is NOT inside `sessions`.
34. watch(".", "./sessions")
35. watch(".", ["./sessions", "/var/cache/app"])
37. A program that writes to a directory it also watches needs this: without
38. it the only escape was that the walker skips dot-directories (which it
39. still does — `.git` is the reason), i.e. renaming the directory. *\
40. watch(String path, exclude) {
41. return __native("fs.watch", path, exclude)
42. }
44. \* Write a whole file, ATOMICALLY (2026-08-28). Everything above this line
45. reads; hl:fs could report a file's `chmod` and never set one, which is why
46. nothing in this language could persist anything until now.
48. The write goes to a sibling temp file, is fsynced, and is then renamed over
49. the target — so a concurrent reader sees the whole OLD file or the whole NEW
50. one, never a half of either. That matters more than it sounds: the first
51. caller is the session store, and a truncated session file does not read as
52. an error, it reads as a logged-out user.
54. `mode` defaults to 0600 — a file this program wrote, for this program. Pass
55. one to loosen it; nothing here consults the umask on your behalf. *\
56. writeFile(String path, String contents, Number mode) {
57. return __native("fs.write_file", path, contents, mode)
58. }
60. \* Make a directory and every missing parent. Already-there is SUCCESS: the
61. caller wants the directory to exist, not to be the one who created it.
62. `mode` defaults to 0700. *\
63. mkDir(String path, Number mode) {
64. return __native("fs.mk_dir", path, mode)
65. }
67. \* Delete a path. IDEMPOTENT: true when the path is gone on return, and a path
68. that was already gone counts. A sweep must not fail because something else
69. deleted the file first. *\
70. remove(String path) {
71. return __native("fs.remove", path)
72. }