Explicitly merge a union type to a supertype (which might not be a union type itself).
Explicitly merge a union type to a supertype (which might not be a union type itself).
This needs evidence that A <: B
.
(unionOps: StringAdd).self
(unionOps: StringFormat).self
(unionOps: ArrowAssoc[UnionOps[A]]).x
(Since version 2.10.0) Use leftOfArrow
instead
(unionOps: Ensuring[UnionOps[A]]).x
(Since version 2.10.0) Use resultOfEnsuring
instead
Operations on union types.