Add methods for float(::Interval) (#96)

* add methods for float(::Interval)

* add tests for float(::Interval)

* remove unnecessary float

Co-authored-by: Sheehan Olver <[email protected]>

Co-authored-by: Sheehan Olver <[email protected]>

Author: hyrodium

src/IntervalSets.jl

@@ -2,7 +2,7 @@ module IntervalSets
 
 using Base: @pure
 import Base: eltype, convert, show, in, length, isempty, isequal, issubset, ==, hash,
-             union, intersect, minimum, maximum, extrema, range, clamp, ⊇, ⊊, ⊋
+             union, intersect, minimum, maximum, extrema, range, clamp, float, ⊇, ⊊, ⊋
 
 using Statistics
 import Statistics: mean

src/interval.jl

@@ -232,6 +232,6 @@ end
 ClosedInterval{T}(i::AbstractUnitRange{I}) where {T,I<:Integer} = ClosedInterval{T}(minimum(i), maximum(i))
 ClosedInterval(i::AbstractUnitRange{I}) where {I<:Integer} = ClosedInterval{I}(minimum(i), maximum(i))
 
-
-
 Base.promote_rule(::Type{Interval{L,R,T1}}, ::Type{Interval{L,R,T2}}) where {L,R,T1,T2} = Interval{L,R,promote_type(T1, T2)}
+
+float(i::Interval{L, R, T}) where {L,R,T} = Interval{L, R, float(T)}(endpoints(i)...)

test/runtests.jl

@@ -729,5 +729,24 @@ struct IncompleteInterval <: AbstractInterval{Int} end
         @test_throws ErrorException closedendpoints(I)
     end
 
+    @testset "float" begin
+        i1 = 1..2
+        @test i1 isa ClosedInterval{Int}
+        @test float(i1) isa ClosedInterval{Float64}
+        @test float(i1) == i1
+        i2 = big(1)..2
+        @test i2 isa ClosedInterval{BigInt}
+        @test float(i2) isa ClosedInterval{BigFloat}
+        @test float(i2) == i2
+        i3 = OpenInterval(1,2)
+        @test i3 isa OpenInterval{Int}
+        @test float(i3) isa OpenInterval{Float64}
+        @test float(i3) == i3
+        i4 = OpenInterval(1.,2.)
+        @test i4 isa OpenInterval{Float64}
+        @test float(i4) isa OpenInterval{Float64}
+        @test float(i4) == i4
+    end
+
     include("findall.jl")
 end