org.scalactic.anyvals

NegZFiniteFloat

final class NegZFiniteFloat extends AnyVal

An AnyVal for finite non-positive Floats.

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

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

scala> import anyvals._
import anyvals._

scala> NegZFiniteFloat(-1.1fF)
res0: org.scalactic.anyvals.NegZFiniteFloat = NegZFiniteFloat(-1.1f)

scala> NegZFiniteFloat(1.1fF)
<console>:14: error: NegZFiniteFloat.apply can only be invoked on a finite non-positive (i <= 0.0f && i != Float.NegativeInfinity) floating point literal, like NegZFiniteFloat(-1.1fF).
              NegZFiniteFloat(-1.1fF)
                      ^

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

scala> val x = -1.1fF
x: Float = -1.1f

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

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

scala> NegZFiniteFloat.from(x)
res3: Option[org.scalactic.anyvals.NegZFiniteFloat] = Some(NegZFiniteFloat(-1.1f))

scala> val y = 1.1fF
y: Float = 1.1f

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

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

scala> def invert(pos: NegZFiniteFloat): Float = Float.MaxValue - pos
invert: (pos: org.scalactic.anyvals.NegZFiniteFloat)Float

scala> invert(-1.1fF)
res5: Float = 3.4028235E38

scala> invert(Float.MaxValue)
res6: Float = 0.0

scala> invert(1.1fF)
<console>:15: error: NegZFiniteFloat.apply can only be invoked on a finite non-positive (i <= 0.0f && i != Float.NegativeInfinity) floating point literal, like NegZFiniteFloat(-1.1fF).
              invert(0.0F)
                     ^

scala> invert(1.1fF)
<console>:15: error: NegZFiniteFloat.apply can only be invoked on a finite non-positive (i <= 0.0f && i != Float.NegativeInfinity) floating point literal, like NegZFiniteFloat(-1.1fF).
              invert(1.1fF)
                      ^

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

Source
NegZFiniteFloat.scala
Linear Supertypes
AnyVal, NotNull, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. NegZFiniteFloat
  2. AnyVal
  3. NotNull
  4. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Value Members

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

    Definition Classes
    Any
  2. final def ##(): Int

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

    Returns the remainder of the division of this value by x.

  4. def %(x: Float): Float

    Returns the remainder of the division of this value by x.

  5. def %(x: Long): Float

    Returns the remainder of the division of this value by x.

  6. def %(x: Int): Float

    Returns the remainder of the division of this value by x.

  7. def %(x: Char): Float

    Returns the remainder of the division of this value by x.

  8. def %(x: Short): Float

    Returns the remainder of the division of this value by x.

  9. def %(x: Byte): Float

    Returns the remainder of the division of this value by x.

  10. def *(x: Double): Double

    Returns the product of this value and x.

  11. def *(x: Float): Float

    Returns the product of this value and x.

  12. def *(x: Long): Float

    Returns the product of this value and x.

  13. def *(x: Int): Float

    Returns the product of this value and x.

  14. def *(x: Char): Float

    Returns the product of this value and x.

  15. def *(x: Short): Float

    Returns the product of this value and x.

  16. def *(x: Byte): Float

    Returns the product of this value and x.

  17. def +(x: Double): Double

    Returns the sum of this value and x.

  18. def +(x: Float): Float

    Returns the sum of this value and x.

  19. def +(x: Long): Float

    Returns the sum of this value and x.

  20. def +(x: Int): Float

    Returns the sum of this value and x.

  21. def +(x: Char): Float

    Returns the sum of this value and x.

  22. def +(x: Short): Float

    Returns the sum of this value and x.

  23. def +(x: Byte): Float

    Returns the sum of this value and x.

  24. def +(x: String): String

    Converts this NegZFiniteFloat's value to a string then concatenates the given string.

    Converts this NegZFiniteFloat's value to a string then concatenates the given string.

  25. def -(x: Double): Double

    Returns the difference of this value and x.

  26. def -(x: Float): Float

    Returns the difference of this value and x.

  27. def -(x: Long): Float

    Returns the difference of this value and x.

  28. def -(x: Int): Float

    Returns the difference of this value and x.

  29. def -(x: Char): Float

    Returns the difference of this value and x.

  30. def -(x: Short): Float

    Returns the difference of this value and x.

  31. def -(x: Byte): Float

    Returns the difference of this value and x.

  32. def /(x: Double): Double

    Returns the quotient of this value and x.

  33. def /(x: Float): Float

    Returns the quotient of this value and x.

  34. def /(x: Long): Float

    Returns the quotient of this value and x.

  35. def /(x: Int): Float

    Returns the quotient of this value and x.

  36. def /(x: Char): Float

    Returns the quotient of this value and x.

  37. def /(x: Short): Float

    Returns the quotient of this value and x.

  38. def /(x: Byte): Float

    Returns the quotient of this value and x.

  39. def <(x: Double): Boolean

    Returns true if this value is less than x, false otherwise.

  40. def <(x: Float): Boolean

    Returns true if this value is less than x, false otherwise.

  41. def <(x: Long): Boolean

    Returns true if this value is less than x, false otherwise.

  42. def <(x: Int): Boolean

    Returns true if this value is less than x, false otherwise.

  43. def <(x: Char): Boolean

    Returns true if this value is less than x, false otherwise.

  44. def <(x: Short): Boolean

    Returns true if this value is less than x, false otherwise.

  45. def <(x: Byte): Boolean

    Returns true if this value is less than x, false otherwise.

  46. def <=(x: Double): Boolean

    Returns true if this value is less than or equal to x, false otherwise.

  47. def <=(x: Float): Boolean

    Returns true if this value is less than or equal to x, false otherwise.

  48. def <=(x: Long): Boolean

    Returns true if this value is less than or equal to x, false otherwise.

  49. def <=(x: Int): Boolean

    Returns true if this value is less than or equal to x, false otherwise.

  50. def <=(x: Char): Boolean

    Returns true if this value is less than or equal to x, false otherwise.

  51. def <=(x: Short): Boolean

    Returns true if this value is less than or equal to x, false otherwise.

  52. def <=(x: Byte): Boolean

    Returns true if this value is less than or equal to x, false otherwise.

  53. final def ==(arg0: Any): Boolean

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

    Returns true if this value is greater than x, false otherwise.

  55. def >(x: Float): Boolean

    Returns true if this value is greater than x, false otherwise.

  56. def >(x: Long): Boolean

    Returns true if this value is greater than x, false otherwise.

  57. def >(x: Int): Boolean

    Returns true if this value is greater than x, false otherwise.

  58. def >(x: Char): Boolean

    Returns true if this value is greater than x, false otherwise.

  59. def >(x: Short): Boolean

    Returns true if this value is greater than x, false otherwise.

  60. def >(x: Byte): Boolean

    Returns true if this value is greater than x, false otherwise.

  61. def >=(x: Double): Boolean

    Returns true if this value is greater than or equal to x, false otherwise.

  62. def >=(x: Float): Boolean

    Returns true if this value is greater than or equal to x, false otherwise.

  63. def >=(x: Long): Boolean

    Returns true if this value is greater than or equal to x, false otherwise.

  64. def >=(x: Int): Boolean

    Returns true if this value is greater than or equal to x, false otherwise.

  65. def >=(x: Char): Boolean

    Returns true if this value is greater than or equal to x, false otherwise.

  66. def >=(x: Short): Boolean

    Returns true if this value is greater than or equal to x, false otherwise.

  67. def >=(x: Byte): Boolean

    Returns true if this value is greater than or equal to x, false otherwise.

  68. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  69. def ceil: NegZFiniteFloat

    Returns the smallest (closest to 0) NegZFiniteFloat that is greater than or equal to this NegZFiniteFloat and represents a mathematical integer.

  70. def ensuringValid(f: (Float) ⇒ Float): NegZFiniteFloat

    Applies the passed Float => Float function to the underlying Float value, and if the result is positive, returns the result wrapped in a NegZFiniteFloat, else throws AssertionError.

    Applies the passed Float => Float function to the underlying Float value, and if the result is positive, returns the result wrapped in a NegZFiniteFloat, else throws AssertionError.

    This method will inspect the result of applying the given function to this NegZFiniteFloat's underlying Float value and if the result is finite non-positive, it will return a NegZFiniteFloat representing that value. Otherwise, the Float value returned by the given function is not finite non-positive, 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 Float is finite non-positive. With this method, you are asserting that you are convinced the result of the computation represented by applying the given function to this NegZFiniteFloat's value will not produce invalid value. Instead of producing such invalid values, this method will throw AssertionError.

    f

    the Float => Float function to apply to this NegZFiniteFloat's underlying Float value.

    returns

    the result of applying this NegZFiniteFloat's underlying Float value to to the passed function, wrapped in a NegZFiniteFloat if it is finite non-positive (else throws AssertionError).

    Exceptions thrown
    AssertionError

    if the result of applying this NegZFiniteFloat's underlying Float value to to the passed function is not finite non-positive.

  71. def floor: NegZFiniteFloat

    Returns the greatest (closest to infinity) NegZFiniteFloat that is less than or equal to this NegZFiniteFloat and represents a mathematical integer.

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

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

    Definition Classes
    Any
  74. def isWhole: Boolean

    Indicates whether this NegZFiniteFloat has a value that is a whole number: it is finite and it has no fraction part.

  75. def max(that: NegZFiniteFloat): NegZFiniteFloat

    Returns this if this > that or that otherwise.

    Returns this if this > that or that otherwise.

  76. def min(that: NegZFiniteFloat): NegZFiniteFloat

    Returns this if this < that or that otherwise.

    Returns this if this < that or that otherwise.

  77. def round: NegZInt

    Rounds this NegZFiniteFloat value to the nearest whole number value that can be expressed as an NegZInt, returning the result as a NegZInt.

  78. def toByte: Byte

    Converts this NegZFiniteFloat to a Byte.

    Converts this NegZFiniteFloat to a Byte.

  79. def toChar: Char

    Converts this NegZFiniteFloat to a Char.

    Converts this NegZFiniteFloat to a Char.

  80. def toDegrees: Float

    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.

  81. def toDouble: Double

    Converts this NegZFiniteFloat to a Double.

    Converts this NegZFiniteFloat to a Double.

  82. def toFloat: Float

    Converts this NegZFiniteFloat to a Float.

    Converts this NegZFiniteFloat to a Float.

  83. def toInt: Int

    Converts this NegZFiniteFloat to an Int.

    Converts this NegZFiniteFloat to an Int.

  84. def toLong: Long

    Converts this NegZFiniteFloat to a Long.

    Converts this NegZFiniteFloat to a Long.

  85. def toRadians: Float

    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.

  86. def toShort: Short

    Converts this NegZFiniteFloat to a Short.

    Converts this NegZFiniteFloat to a Short.

  87. def toString(): String

    A string representation of this NegZFiniteFloat.

    A string representation of this NegZFiniteFloat.

    Definition Classes
    NegZFiniteFloat → Any
  88. def unary_+: NegZFiniteFloat

    Returns this value, unmodified.

  89. def unary_-: PosZFiniteFloat

    Returns the negation of this value.

  90. val value: Float

    The Float value underlying this NegZFiniteFloat.

    The Float value underlying this NegZFiniteFloat.

Inherited from AnyVal

Inherited from NotNull

Inherited from Any

Ungrouped