Commit graph

2 commits

Author SHA1 Message Date
Simon Cruanes
21ac980fb2 rename no_runner to immediate_runner 2023-11-08 09:41:57 -05:00
Simon Cruanes
056f80b318 add No_runner: a runner that doesn't do anything in the background
The idea is that you might have APIs that want a runner, but the work is
too trivial to require a full actual thread pool. In this case use
`No_runner.runner` and calls to `run_async runner f` will turn into `f()`.
2023-11-08 09:41:57 -05:00