min/max

Author: MikeInnes

common/numbers.rv

@@ -1,7 +1,7 @@
 export {
   Number, Real, Float32, Float64, Complex, real, imag
   ==, !=, !, +, -, *, /, ^, >, <, >=, <=, &, |, abs2, div, rem
-  zero?, zero, one, round
+  zero?, zero, one, round, min, max
 }
 
 fn matchTrait(tag"common.core.Float32", x: pack(tag"common.core.Float32", _)) { Some(x) }

common/promote.rv

@@ -63,3 +63,23 @@ fn (a: Real) <= (b: Real) {
   [a, b] = promote(a, b)
   return a <= b
 }
+
+fn min(a: Real, b: Real) {
+  if tag(a) == tag(b) {
+    [a, b] = promote(a, b)
+    if a < b { a } else { b }
+  } else {
+    [a, b] = promote(a, b)
+    min(a, b)
+  }
+}
+
+fn max(a: Real, b: Real) {
+  if tag(a) == tag(b) {
+    [a, b] = promote(a, b)
+    if a > b { a } else { b }
+  } else {
+    [a, b] = promote(a, b)
+    max(a, b)
+  }
+}

common/wasm/numeric.rv

@@ -44,6 +44,14 @@ fn (a: Float32) == (b: Float32) {
   Bool(wasm f32.eq(a: f32, b: f32): i32)
 }
 
+fn min(a: Float64, b: Float64) {
+  wasm f64.min(a: f64, b: f64): f64
+}
+
+fn max(a: Float64, b: Float64) {
+  wasm f64.max(a: f64, b: f64): f64
+}
+
 fn i64trunc(x: Float64) {
   Int64(wasm i64.trunc_f64_s(x: f64): i64)
 }