Union and intersection of Ranges

[jgaskins]

Combined with #14487, it would be useful to have Range methods that, when given another range, would return a new range that contains the union or intersection of both ranges.

For example:

a = 1..5
b = 3..7

a.union(b)        # => 1..7
a.intersection(b) # => 3..5

If there is no overlap between them, I'm not 100% sure what should happen but I feel like returning nil makes sense.

a = 1..5
c = 10..20

a.union(c)        # => nil
a.intersection(c) # => nil

There are probably some other edge cases to work out, as well, such as:

• what happens when ranges are infinite in one direction?
  • should the union be infinite in that direction?
  • should the intersection use whichever one has a finite value?
• for ranges like 1...10 and 10..20 where there's nooverlap, but they are adjacent:
  • should the union be 1..20 — the union of adjacent ranges providing continuity
  • should the intersection be nil (or whatever the non-overlap result is deemed to be)?
• should (1...10).union(1..10) be 1..10?
• should (1...10).intersection(1..10) be 1...10?
• any other edge cases?

[ysbaddaden]

I wonder about actual use cases, yet the methods make sense.

[straight-shoota]

Using nil to signal there's no overlap is a bit nasty because you'll need nil handling in order to do something with the result. I'm not sure what's the best solution. Raising may be an option, but having no overlap is not really exceptional. Theoretically we could also use something like 0...0 to express an empty range. This would be formally correct, but may be a cause for confusion because Range#begin is usually expected to be part of the range.

About the edge cases: Considering adjacency makes sense. x < 10 || x >= 10 is continuous (but no intersection).

[jgaskins]

I wonder about actual use cases

My use case for this is scheduling. Basically:

• A requested meeting time must be completely contained within a segment of the requestee's availability

  • availabilities.any? do |availability|
      suggested_time_range.intersection(availability.time_range) == event.time_range
    end

• The requested meeting time must not overlap with any of the requestee's existing calendar events

  • existing_events.none? do |event|
      suggested_time_range.union(event.time_range)
    end