Support iseven and isodd (#76)

Author: Tokazama

Project.toml

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

src/Static.jl

@@ -312,6 +312,9 @@ Base.inv(x::StaticNumber{N}) where {N} = one(x) / x
 @inline Base.iszero(@nospecialize x::StaticNumber) = false
 @inline Base.isone(::Union{One, FloatOne, True}) = true
 @inline Base.isone(@nospecialize x::StaticNumber) = false
+@inline Base.iseven(@nospecialize x::StaticNumber) = iseven(known(x))
+@inline Base.isodd(@nospecialize x::StaticNumber) = isodd(known(x))
+
 
 Base.AbstractFloat(x::StaticNumber) = StaticFloat64(x)
 

test/runtests.jl

@@ -29,6 +29,8 @@ end
     @test @inferred(one(StaticInt)) === StaticInt(1)
     @test @inferred(zero(StaticInt)) === StaticInt(0) === StaticInt(StaticInt(Val(0)))
     @test eltype(one(StaticInt)) <: Int
+    @test @inferred(isodd(one(StaticInt)))
+    @test @inferred(iseven(zero(StaticInt)))
 
     x = StaticInt(1)
     y = static(3)