The continuation of a BaseBinaryOperator: a pair of sub-evolutions that evolve and dispose together.
The continuation of a BaseBinaryOperator: a pair of sub-evolutions that evolve and dispose together.
Concrete operators implement apply alone — the reassembly of the two continuations into the operator's own shape — and inherit the two halves of the shared contract:
evolve selects both continuations on the same status, the right one first, and hands them to apply;
dispose releases both through h8io.stages.Evolution.dispose, right first, so that a failure of one still leaves the other released and is reported as suppressed.
Type parameters
E
the shared error type (covariant)
I
the shared input type (contravariant)
LO
the left output type (invariant: consumed and produced by the sub-evolution)