Trait Bounds 

pub(crate) trait Bounds: Sized {
    type Primitive: Primitive;

    const WHAT: &'static str;
    const MIN: Self::Primitive;
    const MAX: Self::Primitive;

    // Required method
    fn error() -> BoundsError;

    // Provided methods
    fn check(n: impl Into<i64>) -> Result<Self::Primitive, BoundsError> { ... }
    fn check128(n: impl Into<i128>) -> Result<Self::Primitive, BoundsError> { ... }
    fn check_self(n: Self::Primitive) -> Result<Self::Primitive, BoundsError> { ... }
    fn parse(bytes: &[u8]) -> Result<Self::Primitive, Error> { ... }
    fn checked_add(
        n1: Self::Primitive,
        n2: Self::Primitive,
    ) -> Result<Self::Primitive, BoundsError> { ... }
    fn checked_sub(
        n1: Self::Primitive,
        n2: Self::Primitive,
    ) -> Result<Self::Primitive, BoundsError> { ... }
    fn checked_mul(
        n1: Self::Primitive,
        n2: Self::Primitive,
    ) -> Result<Self::Primitive, BoundsError> { ... }
}

An interface for defining boundaries on integer values.

Required Associated Constants

const WHAT: &'static str

A short human readable description of the values represented by these bounds.

const MIN: Self::Primitive

The minimum boundary value.

const MAX: Self::Primitive

The maximum boundary value.

Required Associated Types

type Primitive: Primitive

The primitive integer representation for this boundary type.

This is generally the smallest primitive integer type that fits the minimum and maximum allowed values.

Required Methods

fn error() -> BoundsError

Create an error when a value is outside the bounds for this type.

Provided Methods

fn check(n: impl Into<i64>) -> Result<Self::Primitive, BoundsError>

Converts the 64-bit integer provided into the primitive representation of these bounds.

Errors

This returns an error if the given integer does not fit in the bounds prescribed by this trait implementation.

Panics

This panics when debug_assertions are enabled if the bounds of this implementation exceed what is representable in an i64. In this case, callers must use check128.

fn check128(n: impl Into<i128>) -> Result<Self::Primitive, BoundsError>

Converts the 128-bit integer provided into the primitive representation of these bounds.

Errors

This returns an error if the given integer does not fit in the bounds prescribed by this trait implementation.

fn check_self(n: Self::Primitive) -> Result<Self::Primitive, BoundsError>

Checks whether the given integer, in the same primitive representation as this boundary type, is in bounds.

Errors

This returns an error if the given integer does not fit in the bounds prescribed by this trait implementation.

fn parse(bytes: &[u8]) -> Result<Self::Primitive, Error>

Parses a 64-bit integer from the beginning to the end of the given slice of bytes.

Note that this can never parse a negative integer since it doesn’t look for a sign. On success, the integer returned is always positive.

Errors

If the given slice is not a valid integer (i.e., overflow or contains anything other than [0-9]) or is not in the bounds for this trait implementation, then an error is returned.

Note that the error can either be a parsing error or it can be a boundary error.

fn checked_add( n1: Self::Primitive, n2: Self::Primitive, ) -> Result<Self::Primitive, BoundsError>

Performs checked addition using this boundary type’s primitive representation.

Errors

If the result exceeds the boundaries of the primitive type or of the declared range for this type, then an error is returned.

fn checked_sub( n1: Self::Primitive, n2: Self::Primitive, ) -> Result<Self::Primitive, BoundsError>

Performs checked subtraction using this boundary type’s primitive representation.

Errors

If the result exceeds the boundaries of the primitive type or of the declared range for this type, then an error is returned.

fn checked_mul( n1: Self::Primitive, n2: Self::Primitive, ) -> Result<Self::Primitive, BoundsError>

Performs checked multiplication using this boundary type’s primitive representation.

Errors

If the result exceeds the boundaries of the primitive type or of the declared range for this type, then an error is returned.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl Bounds for Century

const WHAT: &'static str = "century"

const MIN: Self::Primitive = 0

const MAX: Self::Primitive = 99

type Primitive = i8

impl Bounds for CivilDayNanosecond

const WHAT: &'static str = "nanoseconds (in one civil day)"

const MIN: Self::Primitive = 0

const MAX: Self::Primitive

type Primitive = i64

impl Bounds for CivilDaySecond

const WHAT: &'static str = "seconds (in one civil day)"

const MIN: Self::Primitive = 0

const MAX: Self::Primitive

type Primitive = i32

impl Bounds for Day

const WHAT: &'static str = "day"

const MIN: Self::Primitive = 1

const MAX: Self::Primitive = 31

type Primitive = i8

impl Bounds for DayOfYear

const WHAT: &'static str = "day-of-year"

const MIN: Self::Primitive = 1

const MAX: Self::Primitive = 366

type Primitive = i16

impl Bounds for Hour12

const WHAT: &'static str = "hour (12 hour clock)"

const MIN: Self::Primitive = 1

const MAX: Self::Primitive = 12

type Primitive = i8

impl Bounds for Hour

const WHAT: &'static str = "hour"

const MIN: Self::Primitive = 0

const MAX: Self::Primitive = 23

type Primitive = i8

impl Bounds for ISOWeek

const WHAT: &'static str = "iso-week"

const MIN: Self::Primitive = 1

const MAX: Self::Primitive = 53

type Primitive = i8

impl Bounds for ISOYear

const WHAT: &'static str = "iso-year"

const MIN: Self::Primitive = -9999

const MAX: Self::Primitive = 9999

type Primitive = i16

impl Bounds for Increment32

const WHAT: &'static str = "rounding increment"

const MIN: Self::Primitive = 1

const MAX: Self::Primitive = 1_000_000_000

type Primitive = i32

impl Bounds for Increment

const WHAT: &'static str = "rounding increment"

const MIN: Self::Primitive = 1

const MAX: Self::Primitive = 1_000_000_000

type Primitive = i64

impl Bounds for LeapSecond

const WHAT: &'static str = "second"

const MIN: Self::Primitive = 0

const MAX: Self::Primitive = 60

type Primitive = i8

impl Bounds for Microsecond

const WHAT: &'static str = "microsecond"

const MIN: Self::Primitive = 0

const MAX: Self::Primitive = 999

type Primitive = i16

impl Bounds for Millisecond

const WHAT: &'static str = "millisecond"

const MIN: Self::Primitive = 0

const MAX: Self::Primitive = 999

type Primitive = i16

impl Bounds for Minute

const WHAT: &'static str = "minute"

const MIN: Self::Primitive = 0

const MAX: Self::Primitive = 59

type Primitive = i8

impl Bounds for Month

const WHAT: &'static str = "month"

const MIN: Self::Primitive = 1

const MAX: Self::Primitive = 12

type Primitive = i8

impl Bounds for Nanosecond

const WHAT: &'static str = "nanosecond"

const MIN: Self::Primitive = 0

const MAX: Self::Primitive = 999

type Primitive = i16

impl Bounds for NthWeekday

const WHAT: &'static str = "nth weekday"

const MIN: Self::Primitive = SpanWeeks::MIN

const MAX: Self::Primitive = SpanWeeks::MAX

type Primitive = i32

impl Bounds for OffsetHours

const WHAT: &'static str = "time zone offset hours"

const MIN: Self::Primitive = -25

const MAX: Self::Primitive = 25

type Primitive = i8

impl Bounds for OffsetMinutes

const WHAT: &'static str = "time zone offset minutes"

const MIN: Self::Primitive = -59

const MAX: Self::Primitive = 59

type Primitive = i8

impl Bounds for OffsetSeconds

const WHAT: &'static str = "time zone offset seconds"

const MIN: Self::Primitive = -59

const MAX: Self::Primitive = 59

type Primitive = i8

impl Bounds for OffsetTotalSeconds

const WHAT: &'static str = "time zone offset total seconds"

const MIN: Self::Primitive

const MAX: Self::Primitive

type Primitive = i32

impl Bounds for Second

const WHAT: &'static str = "second"

const MIN: Self::Primitive = 0

const MAX: Self::Primitive = 59

type Primitive = i8

impl Bounds for SignedDurationSeconds

const WHAT: &'static str = "signed duration seconds"

const MIN: Self::Primitive = i64::MIN

const MAX: Self::Primitive = i64::MAX

type Primitive = i64

impl Bounds for SignedSubsecNanosecond

const WHAT: &'static str = "subsecond nanosecond"

const MIN: Self::Primitive

const MAX: Self::Primitive = SubsecNanosecond::MAX

type Primitive = i32

impl Bounds for SpanDays

const WHAT: &'static str = "days"

const MIN: Self::Primitive

const MAX: Self::Primitive

type Primitive = i32

impl Bounds for SpanHours

const WHAT: &'static str = "hours"

const MIN: Self::Primitive

const MAX: Self::Primitive

type Primitive = i32

impl Bounds for SpanMicroseconds

const WHAT: &'static str = "microseconds"

const MIN: Self::Primitive

const MAX: Self::Primitive

type Primitive = i64

impl Bounds for SpanMilliseconds

const WHAT: &'static str = "milliseconds"

const MIN: Self::Primitive

const MAX: Self::Primitive

type Primitive = i64

impl Bounds for SpanMinutes

const WHAT: &'static str = "minutes"

const MIN: Self::Primitive

const MAX: Self::Primitive

type Primitive = i64

impl Bounds for SpanMonths

const WHAT: &'static str = "months"

const MIN: Self::Primitive

const MAX: Self::Primitive

type Primitive = i32

impl Bounds for SpanMultiple

const WHAT: &'static str = "span multiple"

const MIN: Self::Primitive

const MAX: Self::Primitive = i64::MAX

type Primitive = i64

impl Bounds for SpanNanoseconds

const WHAT: &'static str = "nanoseconds"

const MIN: Self::Primitive

const MAX: Self::Primitive = i64::MAX

type Primitive = i64

impl Bounds for SpanSeconds

const WHAT: &'static str = "seconds"

const MIN: Self::Primitive

const MAX: Self::Primitive

type Primitive = i64

impl Bounds for SpanWeeks

const WHAT: &'static str = "weeks"

const MIN: Self::Primitive

const MAX: Self::Primitive

type Primitive = i32

impl Bounds for SpanYears

const WHAT: &'static str = "years"

const MIN: Self::Primitive

const MAX: Self::Primitive

type Primitive = i16

impl Bounds for SubsecNanosecond

const WHAT: &'static str = "subsecond nanosecond"

const MIN: Self::Primitive = 0

const MAX: Self::Primitive

type Primitive = i32

impl Bounds for UnixEpochDays

const WHAT: &'static str = "Unix epoch days"

const MIN: Self::Primitive

const MAX: Self::Primitive

type Primitive = i32

impl Bounds for UnixMicroseconds

const WHAT: &'static str = "Unix timestamp microseconds"

const MIN: Self::Primitive

const MAX: Self::Primitive

type Primitive = i64

impl Bounds for UnixMilliseconds

const WHAT: &'static str = "Unix timestamp milliseconds"

const MIN: Self::Primitive

const MAX: Self::Primitive

type Primitive = i64

impl Bounds for UnixSeconds

const WHAT: &'static str = "Unix timestamp seconds"

const MIN: Self::Primitive

const MAX: Self::Primitive

type Primitive = i64

impl Bounds for WeekNum

const WHAT: &'static str = "week-number"

const MIN: Self::Primitive = 0

const MAX: Self::Primitive = 53

type Primitive = i8

impl Bounds for WeekdayMondayOne

const WHAT: &'static str = "weekday (Monday 1-indexed)"

const MIN: Self::Primitive = 1

const MAX: Self::Primitive = 7

type Primitive = i8

impl Bounds for WeekdayMondayZero

const WHAT: &'static str = "weekday (Monday 0-indexed)"

const MIN: Self::Primitive = 0

const MAX: Self::Primitive = 6

type Primitive = i8

impl Bounds for WeekdaySundayOne

const WHAT: &'static str = "weekday (Sunday 1-indexed)"

const MIN: Self::Primitive = 1

const MAX: Self::Primitive = 7

type Primitive = i8

impl Bounds for WeekdaySundayZero

const WHAT: &'static str = "weekday (Sunday 0-indexed)"

const MIN: Self::Primitive = 0

const MAX: Self::Primitive = 6

type Primitive = i8

impl Bounds for Year

const WHAT: &'static str = "year"

const MIN: Self::Primitive = -9999

const MAX: Self::Primitive = 9999

type Primitive = i16

impl Bounds for YearBCE

const WHAT: &'static str = "BCE year"

const MIN: Self::Primitive = 1

const MAX: Self::Primitive

type Primitive = i16

impl Bounds for YearCE

const WHAT: &'static str = "CE year"

const MIN: Self::Primitive = 1

const MAX: Self::Primitive = Year::MAX

type Primitive = i16

impl Bounds for YearTwoDigit

const WHAT: &'static str = "year (2 digits)"

const MIN: Self::Primitive = 0

const MAX: Self::Primitive = 99

type Primitive = i16

impl Bounds for ZonedDayNanoseconds

const WHAT: &'static str = "nanoseconds (in one zoned datetime day)"

const MIN: Self::Primitive

const MAX: Self::Primitive

type Primitive = i64

impl Bounds for ZonedDaySeconds

const WHAT: &'static str = "seconds (in one zoned datetime day)"

const MIN: Self::Primitive = 1

const MAX: Self::Primitive

type Primitive = i32