1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

//! 区間に関するトレイトです。

use std::ops::{
    Range, RangeBounds, RangeFrom, RangeFull, RangeInclusive, RangeTo,
    RangeToInclusive,
};

/// 左側が有界である区間。
pub trait StartBounded<T>: RangeBounds<T> {}
/// 左側が閉である区間。
pub trait StartInclusive<T>: StartBounded<T> {}
/// 左側が非有界である区間。
pub trait StartUnbounded<T>: RangeBounds<T> {}
/// 右側が有界である区間。
pub trait EndBounded<T>: RangeBounds<T> {}
/// 右側が開である区間。
pub trait EndExclusive<T>: EndBounded<T> {}
/// 右側が閉である区間。
pub trait EndInclusive<T>: EndBounded<T> {}
/// 右側が非有界である区間。
pub trait EndUnbounded<T>: RangeBounds<T> {}

impl<T> StartBounded<T> for Range<T> {}
impl<T> StartBounded<T> for RangeInclusive<T> {}
impl<T> StartBounded<T> for RangeFrom<T> {}
impl<T> StartUnbounded<T> for RangeTo<T> {}
impl<T> StartUnbounded<T> for RangeToInclusive<T> {}
impl<T> StartUnbounded<T> for RangeFull {}

impl<T> StartInclusive<T> for Range<T> {}
impl<T> StartInclusive<T> for RangeInclusive<T> {}
impl<T> StartInclusive<T> for RangeFrom<T> {}

impl<T> EndBounded<T> for Range<T> {}
impl<T> EndBounded<T> for RangeInclusive<T> {}
impl<T> EndUnbounded<T> for RangeFrom<T> {}
impl<T> EndBounded<T> for RangeTo<T> {}
impl<T> EndBounded<T> for RangeToInclusive<T> {}
impl<T> EndUnbounded<T> for RangeFull {}

impl<T> EndExclusive<T> for Range<T> {}
impl<T> EndInclusive<T> for RangeInclusive<T> {}
impl<T> EndExclusive<T> for RangeTo<T> {}
impl<T> EndInclusive<T> for RangeToInclusive<T> {}