protocol IntegerType
Inheritance 
BidirectionalIndexType, BitwiseOperationsType, Comparable, CustomStringConvertible, Equatable, ForwardIndexType, Hashable, IntegerArithmeticType, IntegerLiteralConvertible, RandomAccessIndexType, Strideable, _Incrementable, _IntegerArithmeticType, _IntegerType, _RandomAccessAmbiguity, _Strideable
View Protocol Hierarchy →


Associated Types 
Distance : _SignedIntegerType = Int
A type that can represent the number of steps between pairs of
Reachability is defined by the ability to produce one value from
the other via zero or more applications of IntegerLiteralType
Stride : SignedNumberType
A type that can represent the distance between two values of 
Import  import Swift 
Initializers
Create an instance initialized to value
.
Declaration
init(integerLiteral value: Self.IntegerLiteralType)
Declared In
IntegerLiteralConvertible
Static Variables
The empty bitset.
Also the identity element for 
and
^
, and the fixed point for
&
.
Declaration
static var allZeros: Self { get }
Declared In
BitwiseOperationsType
Instance Variables
A textual representation of self
.
Declaration
var description: String { get }
Declared In
CustomStringConvertible
The hash value.
Axiom: x == y
implies x.hashValue == y.hashValue
.
Note: The hash value is not guaranteed to be stable across different invocations of the same program. Do not persist the hash value across program runs.
Declaration
var hashValue: Int { get }
Declared In
Hashable
Static Methods
Add lhs
and rhs
, returning a result and a Bool
that is
true iff the operation caused an arithmetic overflow.
Declaration
static func addWithOverflow(lhs: Self, _ rhs: Self) > (Self, overflow: Bool)
Declared In
_IntegerArithmeticType
Divide lhs
and rhs
, returning a result and a Bool
that is
true iff the operation caused an arithmetic overflow.
Declaration
static func divideWithOverflow(lhs: Self, _ rhs: Self) > (Self, overflow: Bool)
Declared In
_IntegerArithmeticType
Multiply lhs
and rhs
, returning a result and a Bool
that is
true iff the operation caused an arithmetic overflow.
Declaration
static func multiplyWithOverflow(lhs: Self, _ rhs: Self) > (Self, overflow: Bool)
Declared In
_IntegerArithmeticType
Divide lhs
and rhs
, returning the remainder and a Bool
that is
true iff the operation caused an arithmetic overflow.
Declaration
static func remainderWithOverflow(lhs: Self, _ rhs: Self) > (Self, overflow: Bool)
Declared In
_IntegerArithmeticType
Subtract lhs
and rhs
, returning a result and a Bool
that is
true iff the operation caused an arithmetic overflow.
Declaration
static func subtractWithOverflow(lhs: Self, _ rhs: Self) > (Self, overflow: Bool)
Declared In
_IntegerArithmeticType
Instance Methods
Divide lhs
and rhs
, returning the remainder and trapping in case of
arithmetic overflow (except in Ounchecked builds).
Declaration
func %(lhs: Self, rhs: Self) > Self
Declared In
IntegerArithmeticType
Returns the intersection of bits set in lhs
and rhs
.
Complexity: O(1).
Declaration
func &(lhs: Self, rhs: Self) > Self
Declared In
BitwiseOperationsType
Multiply lhs
and rhs
, returning a result and trapping in case of
arithmetic overflow (except in Ounchecked builds).
Declaration
func *(lhs: Self, rhs: Self) > Self
Declared In
IntegerArithmeticType
Add lhs
and rhs
, returning a result and trapping in case of
arithmetic overflow (except in Ounchecked builds).
Declaration
func +(lhs: Self, rhs: Self) > Self
Declared In
IntegerArithmeticType
Divide lhs
and rhs
, returning a result and trapping in case of
arithmetic overflow (except in Ounchecked builds).
Declaration
func /(lhs: Self, rhs: Self) > Self
Declared In
IntegerArithmeticType
A strict total order
over instances of Self
.
Declaration
func <(lhs: Self, rhs: Self) > Bool
Declared In
Comparable
Return true if lhs
is equal to rhs
.
Equality implies substitutability. When x == y
, x
and
y
are interchangeable in any code that only depends on their
values.
Class instance identity as distinguished by tripleequals ===
is notably not part of an instance's value. Exposing other
nonvalue aspects of Equatable
types is discouraged, and any
that are exposed should be explicitly pointed out in
documentation.
Equality is an equivalence relation
x == x
istrue
x == y
impliesy == x
x == y
andy == z
impliesx == z
Inequality is the inverse of equality, i.e. !(x == y)
iff
x != y
.
Declaration
func ==(lhs: Self, rhs: Self) > Bool
Declared In
Equatable
Returns the bits that are set in exactly one of lhs
and rhs
.
Complexity: O(1).
Declaration
func ^(lhs: Self, rhs: Self) > Self
Declared In
BitwiseOperationsType
Returns the union of bits set in lhs
and rhs
.
Complexity: O(1).
Declaration
func (lhs: Self, rhs: Self) > Self
Declared In
BitwiseOperationsType
Returns x ^ ~Self.allZeros
.
Complexity: O(1).
Declaration
prefix func ~(x: Self) > Self
Declared In
BitwiseOperationsType
Subtract lhs
and rhs
, returning a result and trapping in case of
arithmetic overflow (except in Ounchecked builds).
Declaration
func (lhs: Self, rhs: Self) > Self
Declared In
IntegerArithmeticType
Return the result of advancing self
by n
positions.
Returns:
 If n > 0
, the result of applying successor
to self
n
times.
 If n < 0
, the result of applying predecessor
to self
n
times.
 Otherwise, self
.
Requires: n >= 0
if only conforming to ForwardIndexType
Complexity:
 O(1) if conforming to RandomAccessIndexType
 O(abs(n)
) otherwise
Declaration
func advancedBy(n: Self.Distance) > Self
Declared In
ForwardIndexType
, RandomAccessIndexType
, Strideable
, _Strideable
Return the result of advancing self
by n
positions, or until it
equals limit
.
Returns:
 If n > 0
, the result of applying successor
to self
n
times
but not past limit
.
 If n < 0
, the result of applying predecessor
to self
n
times
but not past limit
.
 Otherwise, self
.
Requires: n >= 0
if only conforming to ForwardIndexType
.
Complexity:
 O(1) if conforming to RandomAccessIndexType
 O(abs(n)
) otherwise
Declaration
func advancedBy(n: Self.Distance, limit: Self) > Self
Declared In
ForwardIndexType
, RandomAccessIndexType
Measure the distance between self
and end
.
Requires:
 start
and end
are part of the same sequence when conforming to
RandomAccessSequenceType
.
 end
is reachable from self
by incrementation otherwise.
Complexity:
 O(1) if conforming to RandomAccessIndexType
 O(n
) otherwise, where n
is the function's result.
Declaration
func distanceTo(end: Self) > Self.Distance
Declared In
ForwardIndexType
, RandomAccessIndexType
, Strideable
, _Strideable
Return the previous consecutive value in a discrete sequence.
If self
has a welldefined successor,
self.successor().predecessor() == self
. If self
has a
welldefined predecessor, self.predecessor().successor() ==
self
.
Requires: self
has a welldefined predecessor.
Declaration
func predecessor() > Self
Declared In
BidirectionalIndexType
Return the next consecutive value in a discrete sequence of
Self
values.
Requires: self
has a welldefined successor.
Declaration
func successor() > Self
Declared In
_Incrementable
Explicitly convert to IntMax
, trapping on overflow (except in
Ounchecked builds).
Declaration
func toIntMax() > IntMax
Declared In
IntegerArithmeticType
Default Implementations
Return the result of advancing self
by n
positions.
Returns:
 If n > 0
, the result of applying successor
to self
n
times.
 If n < 0
, the result of applying predecessor
to self
n
times.
 Otherwise, self
.
Requires: n >= 0
if only conforming to ForwardIndexType
Complexity:
 O(1) if conforming to RandomAccessIndexType
 O(abs(n)
) otherwise
Declaration
func advancedBy(n: Self.Distance) > Self
Declared In
BidirectionalIndexType
, _RandomAccessAmbiguity
, ForwardIndexType
Declaration
func advancedBy(n: Self.Distance, limit: Self) > Self
Declared In
RandomAccessIndexType
, BidirectionalIndexType
, ForwardIndexType
Measure the distance between self
and end
.
Requires:
 start
and end
are part of the same sequence when conforming to
RandomAccessSequenceType
.
 end
is reachable from self
by incrementation otherwise.
Complexity:
 O(1) if conforming to RandomAccessIndexType
 O(n
) otherwise, where n
is the function's result.
Declaration
func distanceTo(end: Self) > Self.Distance
Declared In
BidirectionalIndexType
, ForwardIndexType
Return the sequence of values (start
, start + stride
, start +
stride + stride
, ... last) where last is the last value in
the progression less than or equal to end
.
Note: There is no guarantee that end
is an element of the sequence.
Declaration
func stride(through end: Self, by stride: Self.Stride) > StrideThrough<Self>
Declared In
Strideable
Return the sequence of values (self
, self + stride
, self +
stride + stride
, ... last) where last is the last value in
the progression that is less than end
.
Declaration
func stride(to end: Self, by stride: Self.Stride) > StrideTo<Self>
Declared In
Strideable
A set of common requirements for Swift's integer types.