Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  final val MaxValue: PosZInt

   The largest value representable as a non-negative Int, which is PosZInt(2147483647).

5.  final val MinValue: PosZInt

   The smallest value representable as a non-negative Int, which is PosZInt(0).

6.  implicit macro def apply(value: Int): PosZInt

   A factory method, implemented via a macro, that produces a PosZInt if passed a valid Int literal, otherwise a compile time error.

   A factory method, implemented via a macro, that produces a PosZInt if passed a valid Int literal, otherwise a compile time error.

   The macro that implements this method will inspect the specified Int expression at compile time. If the expression is a non-negative Int literal, i.e., with a value greater than or equal to 0, it will return a PosZInt representing that value. Otherwise, the passed Int expression is either a literal that is negative, or is not a literal, so this method will give a compiler error.

   This factory method differs from the from factory method in that this method is implemented via a macro that inspects Int literals at compile time, whereas from inspects Int values at run time.

   value

   the Int literal expression to inspect at compile time, and if non-negative, to return wrapped in a PosZInt at run time.

   returns

   the specified, valid Int literal value wrapped in a PosZInt. (If the specified expression is not a valid Int literal, the invocation of this method will not compile.)

7.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

8.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @native() @throws( ... )

9.  final def eq(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

10.  def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

11.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

12.  def from(value: Int): Option[PosZInt]

    A factory method that produces an Option[PosZInt] given an Int value.

    A factory method that produces an Option[PosZInt] given an Int value.

    This method will inspect the passed Int value and if it is a non-negative Int, i.e., a value greater than or equal to 0, it will return a PosZInt representing that value, wrapped in a Some. Otherwise, the passed Int value is negative, so this method will return None.

    This factory method differs from the apply factory method in that apply is implemented via a macro that inspects Int literals at compile time, whereas from inspects Int values at run time.

    value

    the Int to inspect, and if non-negative, return wrapped in a Some[PosZInt].

    returns

    the specified Int value wrapped in a Some[PosZInt], if it is positive, else None.

13.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

14.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

15.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

16.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

17.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

18.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

19.  implicit val posZIntOrd: Ordering[PosZInt]

    Implicit Ordering instance.

20.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

21.  def toString(): String

    Definition Classes

    AnyRef → Any

22.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

23.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

24.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @native() @throws( ... )

25.  implicit def widenToDouble(poz: PosZInt): Double

    Implicit widening conversion from PosZInt to Double.

    Implicit widening conversion from PosZInt to Double.

    returns

    the Int value underlying the specified PosZInt, widened to Double.

26.  implicit def widenToFloat(poz: PosZInt): Float

    Implicit widening conversion from PosZInt to Float.

    Implicit widening conversion from PosZInt to Float.

    returns

    the Int value underlying the specified PosZInt, widened to Float.

27.  implicit def widenToInt(poz: PosZInt): Int

    Implicit widening conversion from PosZInt to Int.

    Implicit widening conversion from PosZInt to Int.

    returns

    the Int value underlying the specified PosZInt.

28.  implicit def widenToLong(poz: PosZInt): Long

    Implicit widening conversion from PosZInt to Long.

    Implicit widening conversion from PosZInt to Long.

    returns

    the Int value underlying the specified PosZInt, widened to Long.

29.  implicit def widenToPosZDouble(poz: PosZInt): PosZDouble

    Implicit widening conversion from PosZInt to PosZDouble.

    Implicit widening conversion from PosZInt to PosZDouble.

    returns

    the Int value underlying the specified PosZInt, widened to Double and wrapped in a PosZDouble.

30.  implicit def widenToPosZFloat(poz: PosZInt): PosZFloat

    Implicit widening conversion from PosZInt to PosZFloat.

    Implicit widening conversion from PosZInt to PosZFloat.

    returns

    the Int value underlying the specified PosZInt, widened to Float and wrapped in a PosZFloat.

31.  implicit def widenToPosZLong(poz: PosZInt): PosZLong

    Implicit widening conversion from PosZInt to PosZLong.

    Implicit widening conversion from PosZInt to PosZLong.

    returns

    the Int value underlying the specified PosZInt, widened to Long and wrapped in a PosZLong.