Extend isinteger(::StaticInt) (#93)

[Tokazama]

No description provided.

[codecov]

Codecov Report

Merging #94 (018a834) into master (ca1f741) will increase coverage by 0.28%.
The diff coverage is 100.00%.

@@            Coverage Diff             @@
##           master      #94      +/-   ##
==========================================
+ Coverage   99.13%   99.42%   +0.28%     
==========================================
  Files           3        3              
  Lines         695      696       +1     
==========================================
+ Hits          689      692       +3     
+ Misses          6        4       -2     

Impacted Files	Coverage Δ
src/Static.jl	99.28% <100.00%> (+0.48%)	⬆️

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[ChrisRackauckas]

Check the invalidations

[Tokazama]

Check the invalidations

It passed invalidation tests so I'm not sure what you mean. Was there a something specific from the invalidation tests you wanted me to see?

[ChrisRackauckas]

Didn't see. Cool, then this seems good.

[jishnub]

Shouldn't this be for StaticIntegers instead of StaticInts? Currently,

julia> static(true) |> isinteger
ERROR: MethodError: no method matching isinteger(::True)
Closest candidates are:
  isinteger(::Integer) at number.jl:20
  isinteger(::Complex) at complex.jl:145
  isinteger(::Rational) at rational.jl:267
  ...
Stacktrace:
 [1] |>(x::True, f::typeof(isinteger))
   @ Base ./operators.jl:911
 [2] top-level scope
   @ REPL[12]:1

julia> true |> isinteger
true

Also, perhaps it should be more general than that, so that something like static(2.0) |> isinteger works as well.

[Tokazama]

If it doesn't cause anymore invalidations that's probably fine. The fate of StaticBool is a bit uncertain to me at the moment. It's sort of a trait that acts like Bool