NonZeroFiniteDouble

An AnyVal for finite non-zero Doubles.

Note: a NonZeroFiniteDouble may not equal 0.0.

Because NonZeroFiniteDouble is an AnyVal it will usually be as efficient as an Double, being boxed only when a Double would have been boxed.

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

scala> import anyvals._
import anyvals._

scala> NonZeroFiniteDouble(1.1)
res1: org.scalactic.anyvals.NonZeroFiniteDouble = NonZeroFiniteDouble(1.1)

scala> NonZeroFiniteDouble(0.0)
<console>:14: error: NonZeroFiniteDouble.apply can only be invoked on a finite non-zero (i != 0.0 && !i.isNaN && i != Double.PositiveInfinity && i != Double.NegativeInfinity) floating point literal, like NonZeroFiniteDouble(1.1).
              NonZeroFiniteDouble(0.0)
                       ^

NonZeroFiniteDouble.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 NonZeroFiniteDouble.apply, you'll get a compiler error that suggests you use a different factor method, NonZeroFiniteDouble.from, instead:

scala> val x = 1.1
x: Double = 1.1

scala> NonZeroFiniteDouble(x)
<console>:15: error: NonZeroFiniteDouble.apply can only be invoked on a floating point literal, like NonZeroFiniteDouble(1.1). Please use NonZeroFiniteDouble.from instead.
              NonZeroFiniteDouble(x)
                       ^

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

scala> NonZeroFiniteDouble.from(x)
res4: Option[org.scalactic.anyvals.NonZeroFiniteDouble] = Some(NonZeroFiniteDouble(1.1))

scala> val y = 0.0
y: Double = 0.0

scala> NonZeroFiniteDouble.from(y)
res5: Option[org.scalactic.anyvals.NonZeroFiniteDouble] = None

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

scala> def invert(pos: NonZeroFiniteDouble): Double = Double.MaxValue - pos
invert: (pos: org.scalactic.anyvals.NonZeroFiniteDouble)Double

scala> invert(1.1)
res6: Double = 1.7976931348623157E308

scala> invert(Double.MaxValue)
res8: Double = 0.0

scala> invert(0.0)
<console>:15: error: NonZeroFiniteDouble.apply can only be invoked on a finite non-zero (i != 0.0 && !i.isNaN && i != Double.PositiveInfinity && i != Double.NegativeInfinity) floating point literal, like NonZeroFiniteDouble(1.1).
              invert(0.0)
                     ^

This example also demonstrates that the NonZeroFiniteDouble companion object also defines implicit widening conversions when a similar conversion is provided in Scala. This makes it convenient to use a NonZeroFiniteDouble where a Double is needed. An example is the subtraction in the body of the invert method defined above, Double.MaxValue - pos. Although Double.MaxValue is a Double, which has no - method that takes a NonZeroFiniteDouble (the type of pos), you can still subtract pos, because the NonZeroFiniteDouble will be implicitly widened to Double.

Source: NonZeroFiniteDouble.scala

Linear Supertypes

AnyVal, Any

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
Any
def %(x: Double): Double

Returns the remainder of the division of this value by x.
def %(x: Float): Double

Returns the remainder of the division of this value by x.
def %(x: Long): Double

Returns the remainder of the division of this value by x.
def %(x: Int): Double

Returns the remainder of the division of this value by x.
def %(x: Char): Double

Returns the remainder of the division of this value by x.
def %(x: Short): Double

Returns the remainder of the division of this value by x.
def %(x: Byte): Double

Returns the remainder of the division of this value by x.
def *(x: Double): Double

Returns the product of this value and x.
def *(x: Float): Double

Returns the product of this value and x.
def *(x: Long): Double

Returns the product of this value and x.
def *(x: Int): Double

Returns the product of this value and x.
def *(x: Char): Double

Returns the product of this value and x.
def *(x: Short): Double

Returns the product of this value and x.
def *(x: Byte): Double

Returns the product of this value and x.
def +(x: Double): Double

Returns the sum of this value and x.
def +(x: Float): Double

Returns the sum of this value and x.
def +(x: Long): Double

Returns the sum of this value and x.
def +(x: Int): Double

Returns the sum of this value and x.
def +(x: Char): Double

Returns the sum of this value and x.
def +(x: Short): Double

Returns the sum of this value and x.
def +(x: Byte): Double

Returns the sum of this value and x.
def +(x: String): String

Converts this NonZeroFiniteDouble's value to a string then concatenates the given string.
Converts this NonZeroFiniteDouble's value to a string then concatenates the given string.
def -(x: Double): Double

Returns the difference of this value and x.
def -(x: Float): Double

Returns the difference of this value and x.
def -(x: Long): Double

Returns the difference of this value and x.
def -(x: Int): Double

Returns the difference of this value and x.
def -(x: Char): Double

Returns the difference of this value and x.
def -(x: Short): Double

Returns the difference of this value and x.
def -(x: Byte): Double

Returns the difference of this value and x.
def /(x: Double): Double

Returns the quotient of this value and x.
def /(x: Float): Double

Returns the quotient of this value and x.
def /(x: Long): Double

Returns the quotient of this value and x.
def /(x: Int): Double

Returns the quotient of this value and x.
def /(x: Char): Double

Returns the quotient of this value and x.
def /(x: Short): Double

Returns the quotient of this value and x.
def /(x: Byte): Double

Returns the quotient of this value and x.
def <(x: Double): Boolean

Returns true if this value is less than x, false otherwise.
def <(x: Float): Boolean

Returns true if this value is less than x, false otherwise.
def <(x: Long): Boolean

Returns true if this value is less than x, false otherwise.
def <(x: Int): Boolean

Returns true if this value is less than x, false otherwise.
def <(x: Char): Boolean

Returns true if this value is less than x, false otherwise.
def <(x: Short): Boolean

Returns true if this value is less than x, false otherwise.
def <(x: Byte): Boolean

Returns true if this value is less than x, false otherwise.
def <=(x: Double): Boolean

Returns true if this value is less than or equal to x, false otherwise.
def <=(x: Float): Boolean

Returns true if this value is less than or equal to x, false otherwise.
def <=(x: Long): Boolean

Returns true if this value is less than or equal to x, false otherwise.
def <=(x: Int): Boolean

Returns true if this value is less than or equal to x, false otherwise.
def <=(x: Char): Boolean

Returns true if this value is less than or equal to x, false otherwise.
def <=(x: Short): Boolean

Returns true if this value is less than or equal to x, false otherwise.
def <=(x: Byte): Boolean

Returns true if this value is less than or equal to x, false otherwise.
final def ==(arg0: Any): Boolean

Definition Classes
Any
def >(x: Double): Boolean

Returns true if this value is greater than x, false otherwise.
def >(x: Float): Boolean

Returns true if this value is greater than x, false otherwise.
def >(x: Long): Boolean

Returns true if this value is greater than x, false otherwise.
def >(x: Int): Boolean

Returns true if this value is greater than x, false otherwise.
def >(x: Char): Boolean

Returns true if this value is greater than x, false otherwise.
def >(x: Short): Boolean

Returns true if this value is greater than x, false otherwise.
def >(x: Byte): Boolean

Returns true if this value is greater than x, false otherwise.
def >=(x: Double): Boolean

Returns true if this value is greater than or equal to x, false otherwise.
def >=(x: Float): Boolean

Returns true if this value is greater than or equal to x, false otherwise.
def >=(x: Long): Boolean

Returns true if this value is greater than or equal to x, false otherwise.
def >=(x: Int): Boolean

Returns true if this value is greater than or equal to x, false otherwise.
def >=(x: Char): Boolean

Returns true if this value is greater than or equal to x, false otherwise.
def >=(x: Short): Boolean

Returns true if this value is greater than or equal to x, false otherwise.
def >=(x: Byte): Boolean

Returns true if this value is greater than or equal to x, false otherwise.
final def asInstanceOf[T0]: T0

Definition Classes
Any
def ensuringValid(f: (Double) ⇒ Double): NonZeroFiniteDouble

Applies the passed Double => Double function to the underlying Double value, and if the result is positive, returns the result wrapped in a NonZeroFiniteDouble, else throws AssertionError.
Applies the passed Double => Double function to the underlying Double value, and if the result is positive, returns the result wrapped in a NonZeroFiniteDouble, else throws AssertionError.
This method will inspect the result of applying the given function to this NonZeroFiniteDouble's underlying Double value and if the result is greater than 0.0, it will return a NonZeroFiniteDouble representing that value. Otherwise, the Double value returned by the given function is 0.0 or negative, so this method will throw AssertionError.
This method differs from a vanilla assert or ensuring call in that you get something you didn't already have if the assertion succeeds: a type that promises an Double is positive. With this method, you are asserting that you are convinced the result of the computation represented by applying the given function to this NonZeroFiniteDouble's value will not produce zero, a negative number, including Double.NegativeInfinity, or Double.NaN. Instead of producing such invalid values, this method will throw AssertionError.
f
the Double => Double function to apply to this NonZeroFiniteDouble's underlying Double value.
returns
the result of applying this NonZeroFiniteDouble's underlying Double value to to the passed function, wrapped in a NonZeroFiniteDouble if it is positive (else throws AssertionError).

Exceptions thrown
AssertionError if the result of applying this NonZeroFiniteDouble's underlying Double value to to the passed function is not positive.
def getClass(): Class[_ <: AnyVal]

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

Definition Classes
Any
def isWhole: Boolean

Indicates whether this NonZeroFiniteDouble has a value that is a whole number: it is finite and it has no fraction part.
def max(that: NonZeroFiniteDouble): NonZeroFiniteDouble

Returns this if this > that or that otherwise.
Returns this if this > that or that otherwise.
def min(that: NonZeroFiniteDouble): NonZeroFiniteDouble

Returns this if this < that or that otherwise.
Returns this if this < that or that otherwise.
def toByte: Byte

Converts this NonZeroFiniteDouble to a Byte.
Converts this NonZeroFiniteDouble to a Byte.
def toChar: Char

Converts this NonZeroFiniteDouble to a Char.
Converts this NonZeroFiniteDouble to a Char.
def toDegrees: Double

Converts an angle measured in radians to an approximately equivalent angle measured in degrees.
Converts an angle measured in radians to an approximately equivalent angle measured in degrees.
returns
the measurement of the angle x in degrees.
def toDouble: Double

Converts this NonZeroFiniteDouble to a Double.
Converts this NonZeroFiniteDouble to a Double.
def toFloat: Float

Converts this NonZeroFiniteDouble to a Float.
Converts this NonZeroFiniteDouble to a Float.
def toInt: Int

Converts this NonZeroFiniteDouble to an Int.
Converts this NonZeroFiniteDouble to an Int.
def toLong: Long

Converts this NonZeroFiniteDouble to a Long.
Converts this NonZeroFiniteDouble to a Long.
def toRadians: Double

Converts an angle measured in degrees to an approximately equivalent angle measured in radians.
Converts an angle measured in degrees to an approximately equivalent angle measured in radians.
returns
the measurement of the angle x in radians.
def toShort: Short

Converts this NonZeroFiniteDouble to a Short.
Converts this NonZeroFiniteDouble to a Short.
def toString(): String

A string representation of this NonZeroFiniteDouble.
A string representation of this NonZeroFiniteDouble.

Definition Classes
NonZeroFiniteDouble → Any
def unary_+: NonZeroFiniteDouble

Returns this value, unmodified.
def unary_-: NonZeroFiniteDouble

Returns the negation of this value.
val value: Double

The Double value underlying this NonZeroFiniteDouble.
The Double value underlying this NonZeroFiniteDouble.

Related Docs: object NonZeroFiniteDouble | package anyvals

final class NonZeroFiniteDouble extends AnyVal

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def %(x: Double): Double

def %(x: Float): Double

def %(x: Long): Double

def %(x: Int): Double

def %(x: Char): Double

def %(x: Short): Double

def %(x: Byte): Double

def *(x: Double): Double

def *(x: Float): Double

def *(x: Long): Double

def *(x: Int): Double

def *(x: Char): Double

def *(x: Short): Double

def *(x: Byte): Double

def +(x: Double): Double

def +(x: Float): Double

def +(x: Long): Double

def +(x: Int): Double

def +(x: Char): Double

def +(x: Short): Double

def +(x: Byte): Double

def +(x: String): String

def -(x: Double): Double

def -(x: Float): Double

def -(x: Long): Double

def -(x: Int): Double

def -(x: Char): Double

def -(x: Short): Double

def -(x: Byte): Double

def /(x: Double): Double

def /(x: Float): Double

def /(x: Long): Double

def /(x: Int): Double

def /(x: Char): Double

def /(x: Short): Double

def /(x: Byte): Double

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

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

final def asInstanceOf[T0]: T0

def ensuringValid(f: (Double) ⇒ Double): NonZeroFiniteDouble

def getClass(): Class[_ <: AnyVal]

final def isInstanceOf[T0]: Boolean

def isWhole: Boolean

def max(that: NonZeroFiniteDouble): NonZeroFiniteDouble

def min(that: NonZeroFiniteDouble): NonZeroFiniteDouble

def toByte: Byte

def toChar: Char