Module int

Source

Expand description

Predicates for integers.

Structs§

I8Eq: Checks whether the given value is equal to N.
I8EqError: Represents errors that occur when provided value is not equal to some bound.
I8Ge: Checks whether the given value is greater than or equal to N.
I8GeError: Represents errors that occur when provided value is less than some bound.
I8Gt: Checks whether the given value is greater than N.
I8GtError: Represents errors that occur when provided value is less than or equal to some bound.
I8Le: Checks whether the given value is less than or equal to N.
I8LeError: Represents errors that occur when provided value is greater than some bound.
I8Lt: Checks whether the given value is less than N.
I8LtError: Represents errors that occur when provided value is greater than or equal to some bound.
I8Mod: Checks whether the given value divided by D has modulo M.
I8ModError: Represents errors when the provided value divided by divisor does not equal modulo.
I8Ne: Checks whether the given value is not equal to N.
I8NeError: Represents errors that occur when provided value is equal to some bound.
I16Eq: Checks whether the given value is equal to N.
I16EqError: Represents errors that occur when provided value is not equal to some bound.
I16Ge: Checks whether the given value is greater than or equal to N.
I16GeError: Represents errors that occur when provided value is less than some bound.
I16Gt: Checks whether the given value is greater than N.
I16GtError: Represents errors that occur when provided value is less than or equal to some bound.
I16Le: Checks whether the given value is less than or equal to N.
I16LeError: Represents errors that occur when provided value is greater than some bound.
I16Lt: Checks whether the given value is less than N.
I16LtError: Represents errors that occur when provided value is greater than or equal to some bound.
I16Mod: Checks whether the given value divided by D has modulo M.
I16ModError: Represents errors when the provided value divided by divisor does not equal modulo.
I16Ne: Checks whether the given value is not equal to N.
I16NeError: Represents errors that occur when provided value is equal to some bound.
I32Eq: Checks whether the given value is equal to N.
I32EqError: Represents errors that occur when provided value is not equal to some bound.
I32Ge: Checks whether the given value is greater than or equal to N.
I32GeError: Represents errors that occur when provided value is less than some bound.
I32Gt: Checks whether the given value is greater than N.
I32GtError: Represents errors that occur when provided value is less than or equal to some bound.
I32Le: Checks whether the given value is less than or equal to N.
I32LeError: Represents errors that occur when provided value is greater than some bound.
I32Lt: Checks whether the given value is less than N.
I32LtError: Represents errors that occur when provided value is greater than or equal to some bound.
I32Mod: Checks whether the given value divided by D has modulo M.
I32ModError: Represents errors when the provided value divided by divisor does not equal modulo.
I32Ne: Checks whether the given value is not equal to N.
I32NeError: Represents errors that occur when provided value is equal to some bound.
I64Eq: Checks whether the given value is equal to N.
I64EqError: Represents errors that occur when provided value is not equal to some bound.
I64Ge: Checks whether the given value is greater than or equal to N.
I64GeError: Represents errors that occur when provided value is less than some bound.
I64Gt: Checks whether the given value is greater than N.
I64GtError: Represents errors that occur when provided value is less than or equal to some bound.
I64Le: Checks whether the given value is less than or equal to N.
I64LeError: Represents errors that occur when provided value is greater than some bound.
I64Lt: Checks whether the given value is less than N.
I64LtError: Represents errors that occur when provided value is greater than or equal to some bound.
I64Mod: Checks whether the given value divided by D has modulo M.
I64ModError: Represents errors when the provided value divided by divisor does not equal modulo.
I64Ne: Checks whether the given value is not equal to N.
I64NeError: Represents errors that occur when provided value is equal to some bound.
I128Eq: Checks whether the given value is equal to N.
I128EqError: Represents errors that occur when provided value is not equal to some bound.
I128Ge: Checks whether the given value is greater than or equal to N.
I128GeError: Represents errors that occur when provided value is less than some bound.
I128Gt: Checks whether the given value is greater than N.
I128GtError: Represents errors that occur when provided value is less than or equal to some bound.
I128Le: Checks whether the given value is less than or equal to N.
I128LeError: Represents errors that occur when provided value is greater than some bound.
I128Lt: Checks whether the given value is less than N.
I128LtError: Represents errors that occur when provided value is greater than or equal to some bound.
I128Mod: Checks whether the given value divided by D has modulo M.
I128ModError: Represents errors when the provided value divided by divisor does not equal modulo.
I128Ne: Checks whether the given value is not equal to N.
I128NeError: Represents errors that occur when provided value is equal to some bound.
IsizeEq: Checks whether the given value is equal to N.
IsizeEqError: Represents errors that occur when provided value is not equal to some bound.
IsizeGe: Checks whether the given value is greater than or equal to N.
IsizeGeError: Represents errors that occur when provided value is less than some bound.
IsizeGt: Checks whether the given value is greater than N.
IsizeGtError: Represents errors that occur when provided value is less than or equal to some bound.
IsizeLe: Checks whether the given value is less than or equal to N.
IsizeLeError: Represents errors that occur when provided value is greater than some bound.
IsizeLt: Checks whether the given value is less than N.
IsizeLtError: Represents errors that occur when provided value is greater than or equal to some bound.
IsizeMod: Checks whether the given value divided by D has modulo M.
IsizeModError: Represents errors when the provided value divided by divisor does not equal modulo.
IsizeNe: Checks whether the given value is not equal to N.
IsizeNeError: Represents errors that occur when provided value is equal to some bound.
U8Eq: Checks whether the given value is equal to N.
U8EqError: Represents errors that occur when provided value is not equal to some bound.
U8Ge: Checks whether the given value is greater than or equal to N.
U8GeError: Represents errors that occur when provided value is less than some bound.
U8Gt: Checks whether the given value is greater than N.
U8GtError: Represents errors that occur when provided value is less than or equal to some bound.
U8Le: Checks whether the given value is less than or equal to N.
U8LeError: Represents errors that occur when provided value is greater than some bound.
U8Lt: Checks whether the given value is less than N.
U8LtError: Represents errors that occur when provided value is greater than or equal to some bound.
U8Mod: Checks whether the given value divided by D has modulo M.
U8ModError: Represents errors when the provided value divided by divisor does not equal modulo.
U8Ne: Checks whether the given value is not equal to N.
U8NeError: Represents errors that occur when provided value is equal to some bound.
U16Eq: Checks whether the given value is equal to N.
U16EqError: Represents errors that occur when provided value is not equal to some bound.
U16Ge: Checks whether the given value is greater than or equal to N.
U16GeError: Represents errors that occur when provided value is less than some bound.
U16Gt: Checks whether the given value is greater than N.
U16GtError: Represents errors that occur when provided value is less than or equal to some bound.
U16Le: Checks whether the given value is less than or equal to N.
U16LeError: Represents errors that occur when provided value is greater than some bound.
U16Lt: Checks whether the given value is less than N.
U16LtError: Represents errors that occur when provided value is greater than or equal to some bound.
U16Mod: Checks whether the given value divided by D has modulo M.
U16ModError: Represents errors when the provided value divided by divisor does not equal modulo.
U16Ne: Checks whether the given value is not equal to N.
U16NeError: Represents errors that occur when provided value is equal to some bound.
U32Eq: Checks whether the given value is equal to N.
U32EqError: Represents errors that occur when provided value is not equal to some bound.
U32Ge: Checks whether the given value is greater than or equal to N.
U32GeError: Represents errors that occur when provided value is less than some bound.
U32Gt: Checks whether the given value is greater than N.
U32GtError: Represents errors that occur when provided value is less than or equal to some bound.
U32Le: Checks whether the given value is less than or equal to N.
U32LeError: Represents errors that occur when provided value is greater than some bound.
U32Lt: Checks whether the given value is less than N.
U32LtError: Represents errors that occur when provided value is greater than or equal to some bound.
U32Mod: Checks whether the given value divided by D has modulo M.
U32ModError: Represents errors when the provided value divided by divisor does not equal modulo.
U32Ne: Checks whether the given value is not equal to N.
U32NeError: Represents errors that occur when provided value is equal to some bound.
U64Eq: Checks whether the given value is equal to N.
U64EqError: Represents errors that occur when provided value is not equal to some bound.
U64Ge: Checks whether the given value is greater than or equal to N.
U64GeError: Represents errors that occur when provided value is less than some bound.
U64Gt: Checks whether the given value is greater than N.
U64GtError: Represents errors that occur when provided value is less than or equal to some bound.
U64Le: Checks whether the given value is less than or equal to N.
U64LeError: Represents errors that occur when provided value is greater than some bound.
U64Lt: Checks whether the given value is less than N.
U64LtError: Represents errors that occur when provided value is greater than or equal to some bound.
U64Mod: Checks whether the given value divided by D has modulo M.
U64ModError: Represents errors when the provided value divided by divisor does not equal modulo.
U64Ne: Checks whether the given value is not equal to N.
U64NeError: Represents errors that occur when provided value is equal to some bound.
U128Eq: Checks whether the given value is equal to N.
U128EqError: Represents errors that occur when provided value is not equal to some bound.
U128Ge: Checks whether the given value is greater than or equal to N.
U128GeError: Represents errors that occur when provided value is less than some bound.
U128Gt: Checks whether the given value is greater than N.
U128GtError: Represents errors that occur when provided value is less than or equal to some bound.
U128Le: Checks whether the given value is less than or equal to N.
U128LeError: Represents errors that occur when provided value is greater than some bound.
U128Lt: Checks whether the given value is less than N.
U128LtError: Represents errors that occur when provided value is greater than or equal to some bound.
U128Mod: Checks whether the given value divided by D has modulo M.
U128ModError: Represents errors when the provided value divided by divisor does not equal modulo.
U128Ne: Checks whether the given value is not equal to N.
U128NeError: Represents errors that occur when provided value is equal to some bound.
UsizeEq: Checks whether the given value is equal to N.
UsizeEqError: Represents errors that occur when provided value is not equal to some bound.
UsizeGe: Checks whether the given value is greater than or equal to N.
UsizeGeError: Represents errors that occur when provided value is less than some bound.
UsizeGt: Checks whether the given value is greater than N.
UsizeGtError: Represents errors that occur when provided value is less than or equal to some bound.
UsizeLe: Checks whether the given value is less than or equal to N.
UsizeLeError: Represents errors that occur when provided value is greater than some bound.
UsizeLt: Checks whether the given value is less than N.
UsizeLtError: Represents errors that occur when provided value is greater than or equal to some bound.
UsizeMod: Checks whether the given value divided by D has modulo M.
UsizeModError: Represents errors when the provided value divided by divisor does not equal modulo.
UsizeNe: Checks whether the given value is not equal to N.
UsizeNeError: Represents errors that occur when provided value is equal to some bound.

Type Aliases§

I8Closed: Represents [M, N] intervals.
I8ClosedOpen: Represents [M, N) intervals.
I8Div: Checks whether the given value is divisible by D.
I8Even: Checks whether the given value is even.
I8Negative: Checks whether the given value is negative.
I8NonNegative: Checks whether the given value is non-negative (positive or zero).
I8NonPositive: Checks whether the given value is non-positive (negative or zero).
I8NonZero: Checks whether the given value is non-zero.
I8Odd: Checks whether the given value is odd.
I8Open: Represents (M, N) intervals.
I8OpenClosed: Represents (M, N] intervals.
I8Positive: Checks whether the given value is positive.
I8Zero: Checks whether the given value is zero.
I16Closed: Represents [M, N] intervals.
I16ClosedOpen: Represents [M, N) intervals.
I16Div: Checks whether the given value is divisible by D.
I16Even: Checks whether the given value is even.
I16Negative: Checks whether the given value is negative.
I16NonNegative: Checks whether the given value is non-negative (positive or zero).
I16NonPositive: Checks whether the given value is non-positive (negative or zero).
I16NonZero: Checks whether the given value is non-zero.
I16Odd: Checks whether the given value is odd.
I16Open: Represents (M, N) intervals.
I16OpenClosed: Represents (M, N] intervals.
I16Positive: Checks whether the given value is positive.
I16Zero: Checks whether the given value is zero.
I32Closed: Represents [M, N] intervals.
I32ClosedOpen: Represents [M, N) intervals.
I32Div: Checks whether the given value is divisible by D.
I32Even: Checks whether the given value is even.
I32Negative: Checks whether the given value is negative.
I32NonNegative: Checks whether the given value is non-negative (positive or zero).
I32NonPositive: Checks whether the given value is non-positive (negative or zero).
I32NonZero: Checks whether the given value is non-zero.
I32Odd: Checks whether the given value is odd.
I32Open: Represents (M, N) intervals.
I32OpenClosed: Represents (M, N] intervals.
I32Positive: Checks whether the given value is positive.
I32Zero: Checks whether the given value is zero.
I64Closed: Represents [M, N] intervals.
I64ClosedOpen: Represents [M, N) intervals.
I64Div: Checks whether the given value is divisible by D.
I64Even: Checks whether the given value is even.
I64Negative: Checks whether the given value is negative.
I64NonNegative: Checks whether the given value is non-negative (positive or zero).
I64NonPositive: Checks whether the given value is non-positive (negative or zero).
I64NonZero: Checks whether the given value is non-zero.
I64Odd: Checks whether the given value is odd.
I64Open: Represents (M, N) intervals.
I64OpenClosed: Represents (M, N] intervals.
I64Positive: Checks whether the given value is positive.
I64Zero: Checks whether the given value is zero.
I128Closed: Represents [M, N] intervals.
I128ClosedOpen: Represents [M, N) intervals.
I128Div: Checks whether the given value is divisible by D.
I128Even: Checks whether the given value is even.
I128Negative: Checks whether the given value is negative.
I128NonNegative: Checks whether the given value is non-negative (positive or zero).
I128NonPositive: Checks whether the given value is non-positive (negative or zero).
I128NonZero: Checks whether the given value is non-zero.
I128Odd: Checks whether the given value is odd.
I128Open: Represents (M, N) intervals.
I128OpenClosed: Represents (M, N] intervals.
I128Positive: Checks whether the given value is positive.
I128Zero: Checks whether the given value is zero.
IsizeClosed: Represents [M, N] intervals.
IsizeClosedOpen: Represents [M, N) intervals.
IsizeDiv: Checks whether the given value is divisible by D.
IsizeEven: Checks whether the given value is even.
IsizeNegative: Checks whether the given value is negative.
IsizeNonNegative: Checks whether the given value is non-negative (positive or zero).
IsizeNonPositive: Checks whether the given value is non-positive (negative or zero).
IsizeNonZero: Checks whether the given value is non-zero.
IsizeOdd: Checks whether the given value is odd.
IsizeOpen: Represents (M, N) intervals.
IsizeOpenClosed: Represents (M, N] intervals.
IsizePositive: Checks whether the given value is positive.
IsizeZero: Checks whether the given value is zero.
U8Closed: Represents [M, N] intervals.
U8ClosedOpen: Represents [M, N) intervals.
U8Div: Checks whether the given value is divisible by D.
U8Even: Checks whether the given value is even.
U8NonZero: Checks whether the given value is non-zero.
U8Odd: Checks whether the given value is odd.
U8Open: Represents (M, N) intervals.
U8OpenClosed: Represents (M, N] intervals.
U8Zero: Checks whether the given value is zero.
U16Closed: Represents [M, N] intervals.
U16ClosedOpen: Represents [M, N) intervals.
U16Div: Checks whether the given value is divisible by D.
U16Even: Checks whether the given value is even.
U16NonZero: Checks whether the given value is non-zero.
U16Odd: Checks whether the given value is odd.
U16Open: Represents (M, N) intervals.
U16OpenClosed: Represents (M, N] intervals.
U16Zero: Checks whether the given value is zero.
U32Closed: Represents [M, N] intervals.
U32ClosedOpen: Represents [M, N) intervals.
U32Div: Checks whether the given value is divisible by D.
U32Even: Checks whether the given value is even.
U32NonZero: Checks whether the given value is non-zero.
U32Odd: Checks whether the given value is odd.
U32Open: Represents (M, N) intervals.
U32OpenClosed: Represents (M, N] intervals.
U32Zero: Checks whether the given value is zero.
U64Closed: Represents [M, N] intervals.
U64ClosedOpen: Represents [M, N) intervals.
U64Div: Checks whether the given value is divisible by D.
U64Even: Checks whether the given value is even.
U64NonZero: Checks whether the given value is non-zero.
U64Odd: Checks whether the given value is odd.
U64Open: Represents (M, N) intervals.
U64OpenClosed: Represents (M, N] intervals.
U64Zero: Checks whether the given value is zero.
U128Closed: Represents [M, N] intervals.
U128ClosedOpen: Represents [M, N) intervals.
U128Div: Checks whether the given value is divisible by D.
U128Even: Checks whether the given value is even.
U128NonZero: Checks whether the given value is non-zero.
U128Odd: Checks whether the given value is odd.
U128Open: Represents (M, N) intervals.
U128OpenClosed: Represents (M, N] intervals.
U128Zero: Checks whether the given value is zero.
UsizeClosed: Represents [M, N] intervals.
UsizeClosedOpen: Represents [M, N) intervals.
UsizeDiv: Checks whether the given value is divisible by D.
UsizeEven: Checks whether the given value is even.
UsizeNonZero: Checks whether the given value is non-zero.
UsizeOdd: Checks whether the given value is odd.
UsizeOpen: Represents (M, N) intervals.
UsizeOpenClosed: Represents (M, N] intervals.
UsizeZero: Checks whether the given value is zero.

Module intCopy item path

Structs§

Type Aliases§

Module int