Restrict some arguments to Number

Author: p-zubieta

src/anchoredinterval.jl

@@ -178,7 +178,7 @@ span(interval::AnchoredInterval{P}) where P = abs(P)
 
 # Allows an interval to be converted to a scalar when the set contained by the interval only
 # contains a single element.
-function Base.convert(::Type{T}, interval::AnchoredInterval{P,T}) where {P,T}
+function Base.convert(::Type{T}, interval::AnchoredInterval{P,T}) where {P, T <: Number}
     if isclosed(interval) && (sign(P) == 0 || first(interval) == last(interval))
         return first(interval)
     else
@@ -258,10 +258,10 @@ end
 
 ##### ARITHMETIC #####
 
-Base.:+(a::T, b) where {T <: AnchoredInterval} = T(anchor(a) + b)
+Base.:+(a::T, b::Number) where {T <: AnchoredInterval} = T(anchor(a) + b)
 
-Base.:+(a, b::AnchoredInterval) = b + a
-Base.:-(a::AnchoredInterval, b) = a + -b
+Base.:+(a::Number, b::AnchoredInterval) = b + a
+Base.:-(a::AnchoredInterval, b::Number) = a + -b
 
 # Required for StepRange{<:AnchoredInterval}
 Base.:-(a::AnchoredInterval, b::AnchoredInterval) = anchor(a) - anchor(b)

src/endpoint.jl

@@ -145,8 +145,8 @@ function Base.isless(a::RightEndpoint, b::LeftEndpoint)
 end
 
 # Comparisons between Scalars and Endpoints
-Base.:(==)(a, b::Endpoint) = a == b.endpoint && isclosed(b)
-Base.:(==)(a::Endpoint, b) = b == a
+Base.:(==)(a::Number, b::Endpoint) = a == b.endpoint && isclosed(b)
+Base.:(==)(a::Endpoint, b::Number) = b == a
 
 function Base.isless(a, b::LeftEndpoint)
     return (

src/interval.jl

@@ -250,7 +250,7 @@ end
 
 # Allows an interval to be converted to a scalar when the set contained by the interval only
 # contains a single element.
-function Base.convert(::Type{T}, interval::Interval{T}) where T
+function Base.convert(::Type{T}, interval::Interval{T}) where {T <: Number}
     if first(interval) == last(interval) && isclosed(interval)
         return first(interval)
     else
@@ -291,11 +291,11 @@ end
 
 ##### ARITHMETIC #####
 
-Base.:+(a::T, b) where {T <: Interval} = T(first(a) + b, last(a) + b)
+Base.:+(a::T, b::Number) where {T <: Interval} = T(first(a) + b, last(a) + b)
 
-Base.:+(a, b::Interval) = b + a
-Base.:-(a::Interval, b) = a + -b
-Base.:-(a, b::Interval) = a + -b
+Base.:+(a::Number, b::Interval) = b + a
+Base.:-(a::Interval, b::Number) = a + -b
+Base.:-(a::Number, b::Interval) = a + -b
 Base.:-(a::Interval{T,L,R}) where {T,L,R} = Interval{T,R,L}(-last(a), -first(a))
 
 ##### EQUALITY #####