| [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: rs & "ma" |
| e: rs & "mu" |
| |
| r1: 0..7 & 3..10 |
| } |
| ``` |
| |
| <!-- result --> |
| ``` |
| a: 3.5 |
| b: _|_ |
| c: 3.0 |
| d: "ma" |
| e: _|_ |
| r1: 3..7 |
| ``` |
