Popagate StaticInt on max/min/minmax (#57)

Author: Tokazama

Project.toml

@@ -1,7 +1,7 @@
 name = "Static"
 uuid = "aedffcd0-7271-4cad-89d0-dc628f76c6d3"
 authors = ["chriselrod", "ChrisRackauckas", "Tokazama"]
-version = "0.6.3"
+version = "0.6.4"
 
 [deps]
 IfElse = "615f187c-cbe4-4ef1-ba3b-2fcf58d6d173"

src/int.jl

@@ -75,10 +75,12 @@ Base.:(*)(::Zero, ::Zero) = Zero()
 
 @inline Base.:(-)(::StaticInt{M}) where {M} = StaticInt{-M}()
 
-for f in [:(+), :(-), :(*), :(÷), :(%), :(<<), :(>>), :(>>>), :(&), :(|), :(⊻)]
+for f in [:(+), :(-), :(*), :(÷), :(%), :(<<), :(>>), :(>>>), :(&), :(|), :(⊻), :min, :max]
     eval(:(Base.$f(::StaticInt{M}, ::StaticInt{N}) where {M,N} = StaticInt{$f(M,N)}()))
 end
 
+Base.minmax(x::StaticInt, y::StaticInt) = y < x ? (y, x) : (x, y)
+
 for f in [:(<<), :(>>), :(>>>)]
     @eval begin
         Base.$f(@nospecialize(x::StaticInt), y::UInt) = $f(Int(x), y)

test/runtests.jl

@@ -18,6 +18,8 @@ using Test
         @test eltype(one(StaticInt)) <: Int
 
         x = StaticInt(1)
+        y = static(3)
+        @test @inferred(minmax(x, y)) == @inferred(minmax(y, x)) == minmax(1, 3)
         @test @inferred(Bool(x)) isa Bool
         @test @inferred(BigInt(x)) isa BigInt
         @test @inferred(Integer(x)) === x
@@ -26,7 +28,7 @@ using Test
         for i ∈ Any[StaticInt(0), StaticInt(1), StaticInt(2), 3]
             for j ∈ Any[StaticInt(0), StaticInt(1), StaticInt(2), 3]
                 i === j === 3 && continue
-                for f ∈ [+, -, *, ÷, %, <<, >>, >>>, &, |, ⊻, ==, ≤, ≥]
+                for f ∈ [+, -, *, ÷, %, <<, >>, >>>, &, |, ⊻, ==, ≤, ≥, min, max]
                     (iszero(j) && ((f === ÷) || (f === %))) && continue # integer division error
                     @test convert(Int, @inferred(f(i,j))) == f(convert(Int, i), convert(Int, j))
                 end