5 commits

Author	SHA1	Message	Date
Simon Cruanes	cc8860c6e3	split into moonpool.private and moonpool; format; remove DLA	2024-02-11 16:39:43 -05:00
Simon Cruanes	27b213e30f	tracing: add optional name for pools	2024-02-07 13:31:48 -05:00
Simon Cruanes	092ad5f2ce	feat: support for trace as a depopt ... one can now give tasks an optional string "name". If `Trace` is present (installed) and enabled, this results in a span around the task's execution. This also plays ok with `await` and other effect-based primitives.	2024-01-30 16:10:11 -05:00
Simon Cruanes	133a0d6128	breaking: change interface for number of threads ... now the user can specify `num_threads`; if not provided a sensible default is picked.	2023-11-08 09:41:57 -05:00
Simon Cruanes	3e614ec992	rename Pool to Ws_pool; deprecated Moonpool.Pool	2023-10-25 23:43:18 -04:00

Renamed from src/pool.mli (Browse further)