coro: refactor quite a bit

Wakeup and yields must be matched with expected state.
Reaps and deinits should now be memory safe.
And some other improvements.

docs/pages/aio-immediate.mdx

@@ -20,8 +20,8 @@ try aio.single(aio.Write{.file = f, .buffer = "contents"});
 
 #### Using multi
 
-Completes a list of operations immediately, blocks until complete
-Returns `error.SomeOperationFailed` if any operation failed
+Completes a list of operations immediately, blocks until complete.
+Returns `error.SomeOperationFailed` if any operation failed.
 Returns `void` if there were no errors.
 
 ```zig
@@ -35,7 +35,7 @@ try aio.multi(.{
 ```
 
 The `.link_next` field of operation can be used to link the operation to the next operation.
-When linking operations, the next operation won't start until the previous operation is complete.
+When linking operations, the next operation won't start until this operation is complete.
 
 #### Using batch
 

docs/pages/aio-operations.mdx

@@ -21,10 +21,10 @@ counter: Counter = .nop,
 link_next: bool = false,
 ```
 
-If `out_id` is set, the id of the operation will be written into that address.
+If `out_id` is set, the id of the operation will be stored into that address.
 The `id` can then be used in future operations to refer to this operation.
-If `out_error` is set, the error of the operation will be written into that address, in case the operation failed.
-If there was no failure a `error.Success` will be store in that address.
+If `out_error` is set, the error of the operation will be stored into that address, in case the operation failed.
+If there was no failure a `error.Success` will be stored in that address.
 `counter` can be used to set either decreasing or increasing counter.
 When operation completes it will either decrease or increase the `u16` stored at the address.
 `link_next` can be used to link the next operation into this operation.

docs/pages/coro-context-switches.mdx

@@ -1,23 +1,39 @@
 # CORO API
 
-:::warning
+## Paired context switches
 
-This part of the API is likely to change.
+To yield running task to the caller use the following.
+The function takes a enum value as a argument representing the yield state of the task.
+
+```zig
+coro.yield(SomeEnum.value);
+```
+
+To continue running the task from where it left, you need to issue the same enum value to the following function.
+If the task currently isn't being yielded in the supplied state, the call is no-op.
 
-:::
+```zig
+coro.wakeupFromState(task, SomeEnum.value);
+```
 
+This is the preferred way to handle the control flow between tasks.
 
-## Context switches
+## Canceling IO
 
-To yield running task to the caller use the following.
+While it's possible to cancel IO by using the `aio.Cancel` operations. It is also possible to cancel
+all IO operations currently blocking a task by doing the following.
+If the task currently isn't being yielded by IO then the call is no-op.
 
 ```zig
-coro.yield();
+coro.wakeupFromIo(task);
 ```
 
-To continue running the task from where it left, use the following.
-This can also be used to cancel any IO operations.
+## Unpaired wakeup
+
+Sometimes it's useful to be able to wakeup the task from any yielding state.
 
 ```zig
-coro.wakeup();
+coro.wakeup(task);
 ```
+
+In this case the task will wake up no matter what its yielding state is currently.

docs/pages/coro-io.mdx

@@ -24,4 +24,5 @@ Below is a full example of simple server / client program using the `coro` api.
 Use `aio.Cancel` operation to cancel the currently running operations in a task.
 The `out_error` of such operation will then be set as `error.OperationCanceled`.
 
-Alternatively it's possible to call `scheduler.wakeup(task);` which also cancels all currently running io on that task.
+Alternatively it's possible to call `scheduler.wakeup(task);` or `scheduler.wakeupFromIo(task)`
+which also cancels all currently running io on that task.

docs/pages/coro-scheduler.mdx

@@ -34,12 +34,14 @@ var task = try scheduler.spawn(entrypoint, .{ 1, "args" }, .{});
 ### Reaping tasks
 
 Following removes a task, freeing its memory and canceling all running IO operations for that task.
+The reap may be delayed in case the task is currently doing IO, the IO operations will be actively canceled.
 
 ```zig
 scheduler.reap(task);
 ```
 
 Alternatively reap all the tasks using the following.
+The reap may be delayed in case the tasks are currently doing IO, the IO operations will be actively canceled.
 
 ```zig
 scheduler.reapAll();

src/aio.zig

@@ -53,6 +53,8 @@ pub const Dynamic = struct {
         const ti = @typeInfo(@TypeOf(operations));
         if (comptime ti == .Struct and ti.Struct.is_tuple) {
             return self.io.queue(operations.len, &struct { ops: @TypeOf(operations) }{ .ops = operations });
+        } else if (comptime ti == .Array) {
+            return self.io.queue(operations.len, &struct { ops: @TypeOf(operations) }{ .ops = operations });
         } else {
             return self.io.queue(1, &struct { ops: @TypeOf(.{operations}) }{ .ops = .{operations} });
         }
@@ -78,8 +80,10 @@ pub inline fn batch(operations: anytype) ImmediateError!CompletionResult {
     const ti = @typeInfo(@TypeOf(operations));
     if (comptime ti == .Struct and ti.Struct.is_tuple) {
         return IO.immediate(operations.len, &struct { ops: @TypeOf(operations) }{ .ops = operations });
+    } else if (comptime ti == .Array) {
+        return IO.immediate(operations.len, &struct { ops: @TypeOf(operations) }{ .ops = operations });
     } else {
-        @compileError("expected a tuple of operations");
+        @compileError("expected a tuple or array of operations");
     }
 }
 
@@ -93,7 +97,7 @@ pub inline fn multi(operations: anytype) (ImmediateError || error{SomeOperationF
 /// Completes a single operation immediately, blocks until complete
 pub inline fn single(operation: anytype) (ImmediateError || OperationError)!void {
     var op: @TypeOf(operation) = operation;
-    var err: @TypeOf(op.out_error.?.*) = error.Success;
+    var err: @TypeOf(operation).Error = error.Success;
     op.out_error = &err;
     _ = try batch(.{op});
     if (err != error.Success) return err;