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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
pub mod expr;
pub mod value;
pub use typenum;
use expr::{AsBound, Contains};
use shrinkwraprs::Shrinkwrap;
use value::ToValue;
#[derive(Shrinkwrap, Copy, Clone, Debug)]
pub struct Bounded<T, B: AsBound<T>> {
#[shrinkwrap(main_field)]
value: T,
bound: B,
}
impl<T, B: AsBound<T> + Default> Bounded<T, B> {
pub fn new<A>() -> Self
where
A: ToValue<T>,
B: Contains<A, Output = typenum::True>,
{
Bounded {
value: A::value(),
bound: Default::default(),
}
}
}
pub trait Boundable<B> {
type Raw;
type Bound: AsBound<Self::Raw>;
fn bound(self) -> Option<Bounded<Self::Raw, Self::Bound>>;
}
impl<T, B> Boundable<B> for T
where
T: Copy,
B: AsBound<T> + std::default::Default,
{
type Raw = T;
type Bound = B;
fn bound(self) -> Option<Bounded<Self::Raw, Self::Bound>> {
if <Self::Bound as AsBound<T>>::contains(self) {
Some(Bounded {
value: self,
bound: Default::default(),
})
} else {
None
}
}
}
#[cfg(test)]
mod tests {
use super::*;
#[test]
fn bounded_is_copyable() {
use expr::*;
use impls::impls;
use typenum::consts::*;
assert!(impls!(Bounded<u8, Range<U3, U4>>: Copy));
}
}