plus–minus ± scala.compiletime.ops?

[3xau1o]

The following type operation is valid

import scala.compiletime.ops.int.+

val a: 2 + 2 = 4

Is also valid to have union type operations

import scala.compiletime.ops.int.-

val b: (2 + 2) | (2 - 2) = 4

Can it be less verbose with a± math operator?

var c: 2 +- 2 = 4 // ok
c = 0 // ok

[szymon-rd]

It may be a better idea to introduce a type like this in your codebase:

type +-[A <: Int, B <: Int] = A + B | A - B

The cost of introducing new types like this in stdlib is possible confusion and growing complexity. Other types in compiletime.ops are impossible to implement using just type defs, this one is.