Closed pdimov closed 7 months ago
Actually, for result<void>
, maybe r & v
should also work.
r & v
would be ambiguous with r & f
, because it's unconstrained; any v
works and produces result<V>
. Won't be provided for now.
Now r = r & f;
works for result<void>
, but r &= f;
does not. It's not a very useful operation, but should probably work for consistency reasons.
Should accept a nullary
f
.