rich_range

Range calculation helper.

The author of this crate is not good at English.
Forgive me if the document is hard to read.

Examples

use rich_range::prelude::*;

let r = rw::new(30..60) & rw::new(40..70);
assert_eq!(r.0, 40..60);

let r = ru::new(30..) & ru::new(..60);
assert_eq!(r, ru::new(30..60));

Highlights

This crate is designed with the following focus.

• Multiple range operations with sufficient variety.
• Abstraction and normalization of bound variants.
• Interoperability with Rust standard ranges in short code.
• Similar usage style to Rust new range API (nightly as of 2025).

Core items

• RichRangeBounds<T> - Rich version of RangeBounds<T>
• RangeUniv<T> - For universal bound types (from ru::new)
• RangeView<'a, R, T> - For all range type abstraction (from rv::new)
• RangeWrapper<R, T> - For type keeping calculation (from rw::new)

Cheat sheet

Following is a rough list of items.

• Value(s) -> Range

  RangeUniv ⋯ new, new_broken, new_cursor, new_point

• Range -> Boolean

  is_empty, is_broken, is_cursor, is_cursor_fwd, is_cursor_bwd, is_point, is_wide, is_full

• Range -> Value

  head, tail, prev, next, cursor, point, len, size, width, start_edge, end_edge, bounds, edges, iter

  RangeUniv ⋯ start, end

• Range -> Range(s)

  as_ref, cast, try_cast, to_range, into_option, flip, flip_adv

  RangeUniv ⋯ from, RangeXXX<T>::try_from

  RangeView ⋯ new, to_univ

  RangeWrapper ⋯ new, from_ref

• Range + Value -> Boolean

  contains

• Range + Value -> Range(s)

  add_start, add_end, sub_start, sub_end, calc_start, calc_end, align_start, align_end, map, try_map, checked_shl, checked_shr, checked_add_start, checked_add_end, checked_sub_start, checked_sub_end, checked_calc_start, checked_calc_end, checked_align_start, checked_align_end, cut

  RangeUniv ⋯ <<, >>, <<=, >>=, with_start_bound, with_end_bound

  RangeWrapper ⋯ <<, >>, <<=, >>=

• Range + Range -> Boolean

  equiv, intersects, includes, included, adjoins, adjoins_prev, adjoins_next, touches, touches_prev, touches_next

  RangeUniv ⋯ <, >, <=, >=, ==, !=

  RangeWrapper ⋯ <, >, <=, >=, ==, !=

• Range + Range -> Value

  rel

• Range + Range -> Range(s)

  interval, interval_adv, prod, enwrap, union, diff, diff_adv

  RangeUniv ⋯ &, |, ^, &=, |=, ^=

  RangeWrapper ⋯ &, |, ^, &=, |=, ^=

• Indexing

  RangeUniv ⋯ [T]::index, [T]::index_mut

History

See CHANGELOG.