[TOC](Readme.md) [Prev](numbers.md) [Next](rangedef.md)

_Types ~~and~~ are Values_

# Ranges

Ranges define an inclusive range of valid values.
They work on numbers, strings, and bytes.

The type of a range is the unification of the types of the start and end
value.

Unifying two ranges results in the overlapping range or an error if there
is no overlap.

<!-- CUE editor -->
```
rn: 3..5       // type int | float
ri: 3..5 & int // type int
rf: 3..5.0     // type float
rs: "a".."mo"

{
    a: rn & 3.5
    b: ri & 3.5
    c: rf & 3
    d: "ma"
    e: "mu"

    r1: 0..7 & 3..10
}
```

<!-- result -->
```
a:  3.5
b:  _|_
c:  3   <!-- jba: this should be 3.0, right? -->
d:  "ma"
e:  _|_
r1: 3..7
```