final class PosZInt extends AnyVal

An AnyVal for non-negative Ints.

Because PosZInt is an AnyVal it will usually be as efficient as an Int, being boxed only when an Int would have been boxed.

The PosZInt.apply factory method is implemented in terms of a macro that checks literals for validity at compile time. Calling PosZInt.apply with a literal Int value will either produce a valid PosZInt instance at run time or an error at compile time. Here's an example:

scala> import anyvals._
import anyvals._
scala> PosZInt(1)
res0: org.scalactic.anyvals.PosZInt = PosZInt(1)
scala> PosZInt(0)
res1: org.scalactic.anyvals.PosZInt = PosZInt(0)
scala> PosZInt(-1)
<console>:14: error: PosZInt.apply can only be invoked on a non-negative (i >= 0) integer literal, like PosZInt(42).
 PosZInt(-1)
 ^

PosZInt.apply cannot be used if the value being passed is a variable (i.e., not a literal), because the macro cannot determine the validity of variables at compile time (just literals). If you try to pass a variable to PosZInt.apply, you'll get a compiler error that suggests you use a different factor method, PosZInt.from, instead:

scala> val x = 1
x: Int = 1
scala> PosZInt(x)
<console>:15: error: PosZInt.apply can only be invoked on an integer literal, like PosZInt(42). Please use PosZInt.from instead.
 PosZInt(x)
 ^

The PosZInt.from factory method will inspect the value at runtime and return an Option[PosZInt]. If the value is valid, PosZInt.from will return a Some[PosZInt], else it will return a None. Here's an example:

scala> PosZInt.from(x)
res4: Option[org.scalactic.anyvals.PosZInt] = Some(PosZInt(1))
scala> val y = -1
y: Int = -1
scala> PosZInt.from(y)
res5: Option[org.scalactic.anyvals.PosZInt] = None

The PosZInt.apply factory method is marked implicit, so that you can pass literal Ints into methods that require PosZInt, and get the same compile-time checking you get when calling PosZInt.apply explicitly. Here's an example:

scala> def invert(pos: PosZInt): Int = Int.MaxValue - pos
invert: (pos: org.scalactic.anyvals.PosZInt)Int
scala> invert(0)
res7: Int = 2147483647
scala> invert(Int.MaxValue)
res8: Int = 0
scala> invert(-1)
<console>:15: error: PosZInt.apply can only be invoked on a non-negative (i >= 0) integer literal, like PosZInt(42).
 invert(-1)
 ^

This example also demonstrates that the PosZInt companion object also defines implicit widening conversions when either no loss of precision will occur or a similar conversion is provided in Scala. (For example, the implicit conversion from Int to Float in Scala can lose precision.) This makes it convenient to use a PosZInt where an Int or wider type is needed. An example is the subtraction in the body of the invert method defined above, Int.MaxValue - pos. Although Int.MaxValue is an Int, which has no - method that takes a PosZInt (the type of pos), you can still subtract pos, because the PosZInt will be implicitly widened to Int.

Source: PosZInt.scala

Linear Supertypes

AnyVal, Any

Ordering

Alphabetic
By Inheritance

Inherited

PosZInt
AnyVal
Any

Hide All
Show All

Visibility

Public
All

Value Members

final def !=(arg0: Any): Boolean
Permalink

Definition Classes
Any
final def ##(): Int
Permalink

Definition Classes
Any
def %(x: Double): Double
Permalink
Returns the remainder of the division of this value by x.
def %(x: Float): Float
Permalink
Returns the remainder of the division of this value by x.
def %(x: Long): Long
Permalink
Returns the remainder of the division of this value by x.
def %(x: Int): Int
Permalink
Returns the remainder of the division of this value by x.
def %(x: Char): Int
Permalink
Returns the remainder of the division of this value by x.
def %(x: Short): Int
Permalink
Returns the remainder of the division of this value by x.
def %(x: Byte): Int
Permalink
Returns the remainder of the division of this value by x.
def &(x: Long): Long
Permalink
Returns the bitwise AND of this value and x.
Returns the bitwise AND of this value and x.
Example:
1. (0xf0 & 0xaa) == 0xa0 // in binary: 11110000 // & 10101010 // -------- // 10100000
def &(x: Int): Int
Permalink
Returns the bitwise AND of this value and x.
Returns the bitwise AND of this value and x.
Example:
1. (0xf0 & 0xaa) == 0xa0 // in binary: 11110000 // & 10101010 // -------- // 10100000
def &(x: Char): Int
Permalink
Returns the bitwise AND of this value and x.
Returns the bitwise AND of this value and x.
Example:
1. (0xf0 & 0xaa) == 0xa0 // in binary: 11110000 // & 10101010 // -------- // 10100000
def &(x: Short): Int
Permalink
Returns the bitwise AND of this value and x.
Returns the bitwise AND of this value and x.
Example:
1. (0xf0 & 0xaa) == 0xa0 // in binary: 11110000 // & 10101010 // -------- // 10100000
def &(x: Byte): Int
Permalink
Returns the bitwise AND of this value and x.
Returns the bitwise AND of this value and x.
Example:
1. (0xf0 & 0xaa) == 0xa0 // in binary: 11110000 // & 10101010 // -------- // 10100000
def *(x: Double): Double
Permalink
Returns the product of this value and x.
def *(x: Float): Float
Permalink
Returns the product of this value and x.
def *(x: Long): Long
Permalink
Returns the product of this value and x.
def *(x: Int): Int
Permalink
Returns the product of this value and x.
def *(x: Char): Int
Permalink
Returns the product of this value and x.
def *(x: Short): Int
Permalink
Returns the product of this value and x.
def *(x: Byte): Int
Permalink
Returns the product of this value and x.
def +(x: Double): Double
Permalink
Returns the sum of this value and x.
def +(x: Float): Float
Permalink
Returns the sum of this value and x.
def +(x: Long): Long
Permalink
Returns the sum of this value and x.
def +(x: Int): Int
Permalink
Returns the sum of this value and x.
def +(x: Char): Int
Permalink
Returns the sum of this value and x.
def +(x: Short): Int
Permalink
Returns the sum of this value and x.
def +(x: Byte): Int
Permalink
Returns the sum of this value and x.
def +(x: String): String
Permalink
Converts this PosZInt's value to a string then concatenates the given string.
Converts this PosZInt's value to a string then concatenates the given string.
def -(x: Double): Double
Permalink
Returns the difference of this value and x.
def -(x: Float): Float
Permalink
Returns the difference of this value and x.
def -(x: Long): Long
Permalink
Returns the difference of this value and x.
def -(x: Int): Int
Permalink
Returns the difference of this value and x.
def -(x: Char): Int
Permalink
Returns the difference of this value and x.
def -(x: Short): Int
Permalink
Returns the difference of this value and x.
def -(x: Byte): Int
Permalink
Returns the difference of this value and x.
def /(x: Double): Double
Permalink
Returns the quotient of this value and x.
def /(x: Float): Float
Permalink
Returns the quotient of this value and x.
def /(x: Long): Long
Permalink
Returns the quotient of this value and x.
def /(x: Int): Int
Permalink
Returns the quotient of this value and x.
def /(x: Char): Int
Permalink
Returns the quotient of this value and x.
def /(x: Short): Int
Permalink
Returns the quotient of this value and x.
def /(x: Byte): Int
Permalink
Returns the quotient of this value and x.
def <(x: Double): Boolean
Permalink
Returns true if this value is less than x, false otherwise.
def <(x: Float): Boolean
Permalink
Returns true if this value is less than x, false otherwise.
def <(x: Long): Boolean
Permalink
Returns true if this value is less than x, false otherwise.
def <(x: Int): Boolean
Permalink
Returns true if this value is less than x, false otherwise.
def <(x: Char): Boolean
Permalink
Returns true if this value is less than x, false otherwise.
def <(x: Short): Boolean
Permalink
Returns true if this value is less than x, false otherwise.
def <(x: Byte): Boolean
Permalink
Returns true if this value is less than x, false otherwise.
def <<(x: Long): Int
Permalink
Returns this value bit-shifted left by the specified number of bits, filling in the new right bits with zeroes.
Returns this value bit-shifted left by the specified number of bits, filling in the new right bits with zeroes.
Example:
1. 6 << 3 == 48 // in binary: 0110 << 3 == 0110000
def <<(x: Int): Int
Permalink
Returns this value bit-shifted left by the specified number of bits, filling in the new right bits with zeroes.
Returns this value bit-shifted left by the specified number of bits, filling in the new right bits with zeroes.
Example:
1. 6 << 3 == 48 // in binary: 0110 << 3 == 0110000
def <=(x: Double): Boolean
Permalink
Returns true if this value is less than or equal to x, false otherwise.
def <=(x: Float): Boolean
Permalink
Returns true if this value is less than or equal to x, false otherwise.
def <=(x: Long): Boolean
Permalink
Returns true if this value is less than or equal to x, false otherwise.
def <=(x: Int): Boolean
Permalink
Returns true if this value is less than or equal to x, false otherwise.
def <=(x: Char): Boolean
Permalink
Returns true if this value is less than or equal to x, false otherwise.
def <=(x: Short): Boolean
Permalink
Returns true if this value is less than or equal to x, false otherwise.
def <=(x: Byte): Boolean
Permalink
Returns true if this value is less than or equal to x, false otherwise.
final def ==(arg0: Any): Boolean
Permalink

Definition Classes
Any
def >(x: Double): Boolean
Permalink
Returns true if this value is greater than x, false otherwise.
def >(x: Float): Boolean
Permalink
Returns true if this value is greater than x, false otherwise.
def >(x: Long): Boolean
Permalink
Returns true if this value is greater than x, false otherwise.
def >(x: Int): Boolean
Permalink
Returns true if this value is greater than x, false otherwise.
def >(x: Char): Boolean
Permalink
Returns true if this value is greater than x, false otherwise.
def >(x: Short): Boolean
Permalink
Returns true if this value is greater than x, false otherwise.
def >(x: Byte): Boolean
Permalink
Returns true if this value is greater than x, false otherwise.
def >=(x: Double): Boolean
Permalink
Returns true if this value is greater than or equal to x, false otherwise.
def >=(x: Float): Boolean
Permalink
Returns true if this value is greater than or equal to x, false otherwise.
def >=(x: Long): Boolean
Permalink
Returns true if this value is greater than or equal to x, false otherwise.
def >=(x: Int): Boolean
Permalink
Returns true if this value is greater than or equal to x, false otherwise.
def >=(x: Char): Boolean
Permalink
Returns true if this value is greater than or equal to x, false otherwise.
def >=(x: Short): Boolean
Permalink
Returns true if this value is greater than or equal to x, false otherwise.
def >=(x: Byte): Boolean
Permalink
Returns true if this value is greater than or equal to x, false otherwise.
def >>(x: Long): Int
Permalink
Returns this value bit-shifted left by the specified number of bits, filling in the right bits with the same value as the left-most bit of this.
Returns this value bit-shifted left by the specified number of bits, filling in the right bits with the same value as the left-most bit of this. The effect of this is to retain the sign of the value.
Example:
1. -21 >> 3 == -3 // in binary: 11111111 11111111 11111111 11101011>> 3 == // 11111111 11111111 11111111 11111101
def >>(x: Int): Int
Permalink
Returns this value bit-shifted left by the specified number of bits, filling in the right bits with the same value as the left-most bit of this.
Returns this value bit-shifted left by the specified number of bits, filling in the right bits with the same value as the left-most bit of this. The effect of this is to retain the sign of the value.
Example:
1. -21 >> 3 == -3 // in binary: 11111111 11111111 11111111 11101011>> 3 == // 11111111 11111111 11111111 11111101
def >>>(x: Long): Int
Permalink
Returns this value bit-shifted right by the specified number of bits, filling the new left bits with zeroes.
Returns this value bit-shifted right by the specified number of bits, filling the new left bits with zeroes.
Examples:
1. -21 >>> 3 == 536870909 // in binary: 11111111 11111111 11111111 11101011>>> 3 == // 00011111 11111111 11111111 11111101
2. 21 >>> 3 == 2 // in binary: 010101>>> 3 == 010
def >>>(x: Int): Int
Permalink
Returns this value bit-shifted right by the specified number of bits, filling the new left bits with zeroes.
Returns this value bit-shifted right by the specified number of bits, filling the new left bits with zeroes.
Examples:
1. -21 >>> 3 == 536870909 // in binary: 11111111 11111111 11111111 11101011>>> 3 == // 00011111 11111111 11111111 11111101
2. 21 >>> 3 == 2 // in binary: 010101>>> 3 == 010
def ^(x: Long): Long
Permalink
Returns the bitwise XOR of this value and x.
Returns the bitwise XOR of this value and x.
Example:
1. (0xf0 ^ 0xaa) == 0x5a // in binary: 11110000 // ^ 10101010 // -------- // 01011010
def ^(x: Int): Int
Permalink
Returns the bitwise XOR of this value and x.
Returns the bitwise XOR of this value and x.
Example:
1. (0xf0 ^ 0xaa) == 0x5a // in binary: 11110000 // ^ 10101010 // -------- // 01011010
def ^(x: Char): Int
Permalink
Returns the bitwise XOR of this value and x.
Returns the bitwise XOR of this value and x.
Example:
1. (0xf0 ^ 0xaa) == 0x5a // in binary: 11110000 // ^ 10101010 // -------- // 01011010
def ^(x: Short): Int
Permalink
Returns the bitwise XOR of this value and x.
Returns the bitwise XOR of this value and x.
Example:
1. (0xf0 ^ 0xaa) == 0x5a // in binary: 11110000 // ^ 10101010 // -------- // 01011010
def ^(x: Byte): Int
Permalink
Returns the bitwise XOR of this value and x.
Returns the bitwise XOR of this value and x.
Example:
1. (0xf0 ^ 0xaa) == 0x5a // in binary: 11110000 // ^ 10101010 // -------- // 01011010
final def asInstanceOf[T0]: T0
Permalink

Definition Classes
Any
def getClass(): Class[_ <: AnyVal]
Permalink

Definition Classes
AnyVal → Any
final def isInstanceOf[T0]: Boolean
Permalink

Definition Classes
Any
def max(that: PosZInt ): PosZInt
Permalink
Returns this if this > that or that otherwise.
Returns this if this > that or that otherwise.
def min(that: PosZInt ): PosZInt
Permalink
Returns this if this < that or that otherwise.
Returns this if this < that or that otherwise.
def to(end: Int, step: Int): Inclusive
Permalink
Create an inclusive Range from this PosZInt value to the specified end with the specified step value.
Create an inclusive Range from this PosZInt value to the specified end with the specified step value.
end
The final bound of the range to make.
step
The number to increase by for each step of the range.
returns
A scala.collection.immutable.Range from this up to and including end.
def to(end: Int): Inclusive
Permalink
Create an inclusive Range from this PosZInt value to the specified end with step value 1.
Create an inclusive Range from this PosZInt value to the specified end with step value 1.
end
The final bound of the range to make.
returns
A scala.collection.immutable.Range from this up to and including end.
def toBinaryString: String
Permalink
Returns a string representation of this PosZInt's underlying Int as an unsigned integer in base 2.
Returns a string representation of this PosZInt's underlying Int as an unsigned integer in base 2.
The unsigned integer value is the argument plus 2³² if this PosZInt's underlying Int is negative; otherwise it is equal to the underlying Int. This value is converted to a string of ASCII digits in binary (base 2) with no extra leading 0s. If the unsigned magnitude is zero, it is represented by a single zero character '0' ('\u0030'); otherwise, the first character of the representation of the unsigned magnitude will not be the zero character. The characters '0' ('\u0030') and '1' ('\u0031') are used as binary digits.
returns
the string representation of the unsigned integer value represented by this PosZInt's underlying Int in binary (base 2).
def toByte: Byte
Permalink
Converts this PosZInt to a Byte.
Converts this PosZInt to a Byte.
def toChar: Char
Permalink
Converts this PosZInt to a Char.
Converts this PosZInt to a Char.
def toDouble: Double
Permalink
Converts this PosZInt to a Double.
Converts this PosZInt to a Double.
def toFloat: Float
Permalink
Converts this PosZInt to a Float.
Converts this PosZInt to a Float.
def toHexString: String
Permalink
Returns a string representation of this PosZInt's underlying Int as an unsigned integer in base 16.
Returns a string representation of this PosZInt's underlying Int as an unsigned integer in base 16.
The unsigned integer value is the argument plus 2³² if this PosZInt's underlying Int is negative; otherwise, it is equal to the this PosZInt's underlying Int This value is converted to a string of ASCII digits in hexadecimal (base 16) with no extra leading 0s. If the unsigned magnitude is zero, it is represented by a single zero character '0' ('\u0030'); otherwise, the first character of the representation of the unsigned magnitude will not be the zero character. The following characters are used as hexadecimal digits:
0123456789abcdef
These are the characters '\u0030' through '\u0039' and '\u0061' through '\u0066'. If uppercase letters are desired, the toUpperCase method may be called on the result.
returns
the string representation of the unsigned integer value represented by this PosZInt's underlying Int in hexadecimal (base 16).
def toInt: Int
Permalink
Converts this PosZInt to an Int.
Converts this PosZInt to an Int.
def toLong: Long
Permalink
Converts this PosZInt to a Long.
Converts this PosZInt to a Long.
def toOctalString: String
Permalink
Returns a string representation of this PosZInt's underlying Int as an unsigned integer in base 8.
Returns a string representation of this PosZInt's underlying Int as an unsigned integer in base 8.
The unsigned integer value is this PosZInt's underlying Int plus 2³² if the underlying Int is negative; otherwise, it is equal to the underlying Int. This value is converted to a string of ASCII digits in octal (base 8) with no extra leading 0s.
If the unsigned magnitude is zero, it is represented by a single zero character '0' ('\u0030'); otherwise, the first character of the representation of the unsigned magnitude will not be the zero character. The following characters are used as octal digits:
01234567
These are the characters '\u0030' through '\u0037'.
returns
the string representation of the unsigned integer value represented by this PosZInt's underlying Int in octal (base 8).
def toShort: Short
Permalink
Converts this PosZInt to a Short.
Converts this PosZInt to a Short.
def toString(): String
Permalink
A string representation of this PosZInt.
A string representation of this PosZInt.

Definition Classes
PosZInt → Any
def unary_+: PosZInt
Permalink
Returns this value, unmodified.
def unary_-: Int
Permalink
Returns the negation of this value.
def unary_~: Int
Permalink
Returns the bitwise negation of this value.
Returns the bitwise negation of this value.
Example:
1. ~5 == -6 // in binary: ~00000101 == // 11111010
def until(end: Int, step: Int): Range
Permalink
Create a Range from this PosZInt value until the specified end (exclusive) with the specified step value.
Create a Range from this PosZInt value until the specified end (exclusive) with the specified step value.
end
The final bound of the range to make.
step
The number to increase by for each step of the range.
returns
A scala.collection.immutable.Range from this up to but not including end.
def until(end: Int): Range
Permalink
Create a Range from this PosZInt value until the specified end (exclusive) with step value 1.
Create a Range from this PosZInt value until the specified end (exclusive) with step value 1.
end
The final bound of the range to make.
returns
A scala.collection.immutable.Range from this up to but not including end.
val value: Int
Permalink
The Int value underlying this PosZInt.
The Int value underlying this PosZInt.
def |(x: Long): Long
Permalink
Returns the bitwise OR of this value and x.
Returns the bitwise OR of this value and x.
Example:
1. (0xf0 | 0xaa) == 0xfa // in binary: 11110000 // | 10101010 // -------- // 11111010
def |(x: Int): Int
Permalink
Returns the bitwise OR of this value and x.
Returns the bitwise OR of this value and x.
Example:
1. (0xf0 | 0xaa) == 0xfa // in binary: 11110000 // | 10101010 // -------- // 11111010
def |(x: Char): Int
Permalink
Returns the bitwise OR of this value and x.
Returns the bitwise OR of this value and x.
Example:
1. (0xf0 | 0xaa) == 0xfa // in binary: 11110000 // | 10101010 // -------- // 11111010
def |(x: Short): Int
Permalink
Returns the bitwise OR of this value and x.
Returns the bitwise OR of this value and x.
Example:
1. (0xf0 | 0xaa) == 0xfa // in binary: 11110000 // | 10101010 // -------- // 11111010
def |(x: Byte): Int
Permalink
Returns the bitwise OR of this value and x.
Returns the bitwise OR of this value and x.
Example:
1. (0xf0 | 0xaa) == 0xfa // in binary: 11110000 // | 10101010 // -------- // 11111010

PosZInt

Related Docs: object PosZInt | package anyvals

final class PosZInt extends AnyVal

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def %(x: Double): Double

def %(x: Float): Float

def %(x: Long): Long

def %(x: Int): Int

def %(x: Char): Int

def %(x: Short): Int

def %(x: Byte): Int

def &(x: Long): Long

def &(x: Int): Int

def &(x: Char): Int

def &(x: Short): Int

def &(x: Byte): Int

def *(x: Double): Double

def *(x: Float): Float

def *(x: Long): Long

def *(x: Int): Int

def *(x: Char): Int

def *(x: Short): Int

def *(x: Byte): Int

def +(x: Double): Double

def +(x: Float): Float

def +(x: Long): Long

def +(x: Int): Int

def +(x: Char): Int

def +(x: Short): Int

def +(x: Byte): Int

def +(x: String): String

def -(x: Double): Double

def -(x: Float): Float

def -(x: Long): Long

def -(x: Int): Int

def -(x: Char): Int

def -(x: Short): Int

def -(x: Byte): Int

def /(x: Double): Double

def /(x: Float): Float

def /(x: Long): Long

def /(x: Int): Int

def /(x: Char): Int

def /(x: Short): Int

def /(x: Byte): Int

def <(x: Double): Boolean

def <(x: Float): Boolean

def <(x: Long): Boolean

def <(x: Int): Boolean

def <(x: Char): Boolean

def <(x: Short): Boolean

def <(x: Byte): Boolean

def <<(x: Long): Int

def <<(x: Int): Int

def <=(x: Double): Boolean

def <=(x: Float): Boolean

def <=(x: Long): Boolean

def <=(x: Int): Boolean

def <=(x: Char): Boolean

def <=(x: Short): Boolean

def <=(x: Byte): Boolean

final def ==(arg0: Any): Boolean

def >(x: Double): Boolean

def >(x: Float): Boolean

def >(x: Long): Boolean

def >(x: Int): Boolean

def >(x: Char): Boolean

def >(x: Short): Boolean

def >(x: Byte): Boolean

def >=(x: Double): Boolean

def >=(x: Float): Boolean

def >=(x: Long): Boolean

def >=(x: Int): Boolean

def >=(x: Char): Boolean

def >=(x: Short): Boolean

def >=(x: Byte): Boolean

def >>(x: Long): Int

def >>(x: Int): Int