diff options
| author | Matthias Schiffer <mschiffer@universe-factory.net> | 2024-04-20 16:07:14 +0200 |
|---|---|---|
| committer | Matthias Schiffer <mschiffer@universe-factory.net> | 2024-04-20 16:12:43 +0200 |
| commit | 712d356b969540c7f09fad08c141e3c6aadde00f (patch) | |
| tree | 74bf4e9ad38dea0f42210b4765c8d9c9ef3a16f7 /crates/rebel/src/task.rs | |
| parent | bb076e62bbfad0386c420b55cd185131460bc345 (diff) | |
| download | rebel-712d356b969540c7f09fad08c141e3c6aadde00f.tar rebel-712d356b969540c7f09fad08c141e3c6aadde00f.zip | |
Introduce TaskIDRef type
A borrowed version of a TaskID, allowing to avoid allocations in some
places. Tasks are now stored in a two-level map in Context.
Diffstat (limited to 'crates/rebel/src/task.rs')
0 files changed, 0 insertions, 0 deletions