     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
    85
    86
    87
    88
    89
    90
    91
    92
    93
    94
    95
    96
    97
    98
    99

    use core::{usize, u8, u16, u32, u64};
    use core::{isize, i8, i16, i32, i64};
    use core::{f32, f64};
    use core::num::Wrapping;

    /// Numbers which have upper and lower bounds
    pub trait Bounded {
        // FIXME (#5527): These should be associated constants
        /// returns the smallest finite number this type can represent
        fn min_value() -> Self;
        /// returns the largest finite number this type can represent
        fn max_value() -> Self;
    }

    macro_rules! bounded_impl {
        ($t:ty, $min:expr, $max:expr) => {
            impl Bounded for $t {
                #[inline]
                fn min_value() -> $t { $min }

                #[inline]
                fn max_value() -> $t { $max }
            }
        }
    }

    bounded_impl!(usize, usize::MIN, usize::MAX);
    bounded_impl!(u8,    u8::MIN,    u8::MAX);
    bounded_impl!(u16,   u16::MIN,   u16::MAX);
    bounded_impl!(u32,   u32::MIN,   u32::MAX);
    bounded_impl!(u64,   u64::MIN,   u64::MAX);

    bounded_impl!(isize, isize::MIN, isize::MAX);
    bounded_impl!(i8,    i8::MIN,    i8::MAX);
    bounded_impl!(i16,   i16::MIN,   i16::MAX);
    bounded_impl!(i32,   i32::MIN,   i32::MAX);
    bounded_impl!(i64,   i64::MIN,   i64::MAX);

    impl<T: Bounded> Bounded for Wrapping<T> {
        fn min_value() -> Self { Wrapping(T::min_value()) }
        fn max_value() -> Self { Wrapping(T::max_value()) }
    }

    bounded_impl!(f32, f32::MIN, f32::MAX);

    macro_rules! for_each_tuple_ {
        ( $m:ident !! ) => (
            $m! { }
        );
        ( $m:ident !! $h:ident, $($t:ident,)* ) => (
            $m! { $h $($t)* }
            for_each_tuple_! { $m !! $($t,)* }
        );
    }
    macro_rules! for_each_tuple {
        ( $m:ident ) => (
            for_each_tuple_! { $m !! A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, }
        );
    }

    macro_rules! bounded_tuple {
        ( $($name:ident)* ) => (
            impl<$($name: Bounded,)*> Bounded for ($($name,)*) {
                #[inline]
                fn min_value() -> Self {
                    ($($name::min_value(),)*)
                }
                #[inline]
                fn max_value() -> Self {
                    ($($name::max_value(),)*)
                }
            }
        );
    }

    for_each_tuple!(bounded_tuple);
    bounded_impl!(f64, f64::MIN, f64::MAX);

    #[test]
    fn wrapping_bounded() {
        macro_rules! test_wrapping_bounded {
            ($($t:ty)+) => {
                $(
                    assert_eq!(Wrapping::<$t>::min_value().0, <$t>::min_value());
                    assert_eq!(Wrapping::<$t>::max_value().0, <$t>::max_value());
                )+
            };
        }

        test_wrapping_bounded!(usize u8 u16 u32 u64 isize i8 i16 i32 i64);
    }

    #[test]
    fn wrapping_is_bounded() {
        fn require_bounded<T: Bounded>(_: &T) {}
        require_bounded(&Wrapping(42_u32));
        require_bounded(&Wrapping(-42));
    }

# Help

## Keyboard Shortcuts

`?`
  Show this help dialog
`S`
  Focus the search field
`↑`
  Move up in search results
`↓`
  Move down in search results
`↹`
  Switch tab
`⏎`
  Go to active search result
`+`
  Expand all sections
`-`
  Collapse all sections

## Search Tricks

Prefix searches with a type followed by a colon (e.g. `fn:`) to restrict the search to a given type.

Accepted types are: `fn`, `mod`, `struct`, `enum`, `trait`, `type`, `macro`, and `const`.

Search functions by type signature (e.g. `vec -> usize` or `* -> vec`)