tiny.mprompt.on

1/// Returns a clause that answers an operation with `handler` under clause kind `kind`, so a caller2/// writes one per operation in the clauses passed to a typed `handle`. A `kind` of `.forward` is a3/// compile error that points to `forward()`, and `.null_op` is a compile error. For `tail_noop`,4/// `tail`, `abort` and `never`, the handler takes `()`, `(arg)` or `(context, arg)`, and the empty5/// form needs a `void` argument. For `scoped_once`, `scoped`, `once` and `multi`, the handler takes6/// `(continuation)`, `(continuation, arg)` or `(continuation, context, arg)`, and the one-parameter7/// form needs a `void` argument. The `tail_noop` and `tail` handlers return the operation's result,8/// and the other kinds return the result type of `handle`. The handler must be a function with a9/// declared return type, and a generic handler is a compile error.10pub fn on(comptime kind: OperationKind, comptime handler: anytype) HandlerClause(@TypeOf(handler)) {11    if (kind == .forward) {12        @compileError("use forward() for forwarded operations");13    }14    if (kind == .null_op) {15        @compileError("null operations are only used to terminate raw handler tables");16    }17    return .{ .kind = kind, .handler = handler };18}

1pub const on = effect.on;