pub trait MaybeBounded: Sized {
fn min() -> Option<Self>;
fn max() -> Option<Self>;
}
pub trait Bounded {
fn min() -> Self;
fn max() -> Self;
}
impl<T: Bounded> MaybeBounded for T {
fn min() -> Option<Self> {
Some(Self::min())
}
fn max() -> Option<Self> {
Some(Self::max())
}
}
impl Bounded for char {
fn min() -> Self {
'\0'
}
fn max() -> Self {
char::MAX
}
}
macro_rules! impl_int {
($($ty:ident),*) => {
$(
impl Bounded for $ty {
fn min() -> Self {
$ty::MIN
}
fn max() -> Self {
$ty::MAX
}
}
)*
};
}
impl_int!(u8, u16, u32, u64, u128, usize, i8, i16, i32, i64, i128, isize);
macro_rules! impl_float {
($($ty:ident),*) => {
$(
impl Bounded for $ty {
fn min() -> Self {
$ty::NEG_INFINITY
}
fn max() -> Self {
$ty::INFINITY
}
}
)*
};
}
impl_float!(f32, f64);