final class PosZFiniteFloat extends AnyVal
An AnyVal
for finite non-negative Float
s.
Because PosZFiniteFloat
is an AnyVal
it
will usually be as efficient as an Float
, being
boxed only when an Float
would have been boxed.
The PosZFiniteFloat.apply
factory method is implemented
in terms of a macro that checks literals for validity at
compile time. Calling PosZFiniteFloat.apply
with a
literal Float
value will either produce a valid
PosZFiniteFloat
instance at run time or an error at
compile time. Here's an example:
scala> import anyvals._ import anyvals._ scala> PosZFiniteFloat(1.1fF) res0: org.scalactic.anyvals.PosZFiniteFloat = PosZFiniteFloat(1.1f) scala> PosZFiniteFloat(-1.1fF) <console>:14: error: PosZFiniteFloat.apply can only be invoked on a finite non-negative (i >= 0.0f && i != Float.PositiveInfinity) floating point literal, like PosZFiniteFloat(1.1fF). PosZFiniteFloat(1.1fF) ^
PosZFiniteFloat.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 PosZFiniteFloat.apply
, you'll get a compiler error
that suggests you use a different factor method,
PosZFiniteFloat.from
, instead:
scala> val x = 1.1fF x: Float = 1.1f scala> PosZFiniteFloat(x) <console>:15: error: PosZFiniteFloat.apply can only be invoked on a floating point literal, like PosZFiniteFloat(1.1fF). Please use PosZFiniteFloat.from instead. PosZFiniteFloat(x) ^
The PosZFiniteFloat.from
factory method will inspect
the value at runtime and return an
Option[PosZFiniteFloat]
. If the value is valid,
PosZFiniteFloat.from
will return a
Some[PosZFiniteFloat]
, else it will return a
None
. Here's an example:
scala> PosZFiniteFloat.from(x) res3: Option[org.scalactic.anyvals.PosZFiniteFloat] = Some(PosZFiniteFloat(1.1f)) scala> val y = -1.1fF y: Float = -1.1f scala> PosZFiniteFloat.from(y) res4: Option[org.scalactic.anyvals.PosZFiniteFloat] = None
The PosZFiniteFloat.apply
factory method is marked
implicit, so that you can pass literal Float
s
into methods that require PosZFiniteFloat
, and get the
same compile-time checking you get when calling
PosZFiniteFloat.apply
explicitly. Here's an example:
scala> def invert(pos: PosZFiniteFloat): Float = Float.MaxValue - pos invert: (pos: org.scalactic.anyvals.PosZFiniteFloat)Float scala> invert(1.1fF) res5: Float = 3.4028235E38 scala> invert(Float.MaxValue) res6: Float = 0.0 scala> invert(-1.1fF) <console>:15: error: PosZFiniteFloat.apply can only be invoked on a finite non-negative (i >= 0.0f && i != Float.PositiveInfinity) floating point literal, like PosZFiniteFloat(1.1fF). invert(0.0F) ^ scala> invert(-1.1fF) <console>:15: error: PosZFiniteFloat.apply can only be invoked on a finite non-negative (i >= 0.0f && i != Float.PositiveInfinity) floating point literal, like PosZFiniteFloat(1.1fF). invert(-1.1fF) ^
This example also demonstrates that the PosZFiniteFloat
companion object also defines implicit widening conversions
when no loss of precision will occur. This makes it convenient to use a
PosZFiniteFloat
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
PosZFiniteFloat
(the type of pos
), you can
still subtract pos
, because the
PosZFiniteFloat
will be implicitly widened to
Float
.
- Source
- PosZFiniteFloat.scala
- Alphabetic
- By Inheritance
- PosZFiniteFloat
- AnyVal
- Any
- Hide All
- Show All
- Public
- Protected
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): Float
Returns the remainder of the division of this value by
x
. - def %(x: Long): Float
Returns the remainder of the division of this value by
x
. - def %(x: Int): Float
Returns the remainder of the division of this value by
x
. - def %(x: Char): Float
Returns the remainder of the division of this value by
x
. - def %(x: Short): Float
Returns the remainder of the division of this value by
x
. - def %(x: Byte): Float
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): Float
Returns the product of this value and
x
. - def *(x: Long): Float
Returns the product of this value and
x
. - def *(x: Int): Float
Returns the product of this value and
x
. - def *(x: Char): Float
Returns the product of this value and
x
. - def *(x: Short): Float
Returns the product of this value and
x
. - def *(x: Byte): Float
Returns the product of this value and
x
. - def +(x: Double): Double
Returns the sum of this value and
x
. - def +(x: Float): Float
Returns the sum of this value and
x
. - def +(x: Long): Float
Returns the sum of this value and
x
. - def +(x: Int): Float
Returns the sum of this value and
x
. - def +(x: Char): Float
Returns the sum of this value and
x
. - def +(x: Short): Float
Returns the sum of this value and
x
. - def +(x: Byte): Float
Returns the sum of this value and
x
. - def +(x: String): String
Converts this
PosZFiniteFloat
'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): Float
Returns the difference of this value and
x
. - def -(x: Long): Float
Returns the difference of this value and
x
. - def -(x: Int): Float
Returns the difference of this value and
x
. - def -(x: Char): Float
Returns the difference of this value and
x
. - def -(x: Short): Float
Returns the difference of this value and
x
. - def -(x: Byte): Float
Returns the difference of this value and
x
. - def /(x: Double): Double
Returns the quotient of this value and
x
. - def /(x: Float): Float
Returns the quotient of this value and
x
. - def /(x: Long): Float
Returns the quotient of this value and
x
. - def /(x: Int): Float
Returns the quotient of this value and
x
. - def /(x: Char): Float
Returns the quotient of this value and
x
. - def /(x: Short): Float
Returns the quotient of this value and
x
. - def /(x: Byte): Float
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 ceil: PosZFiniteFloat
Returns the smallest (closest to 0)
PosZFiniteFloat
that is greater than or equal to thisPosZFiniteFloat
and represents a mathematical integer. - def ensuringValid(f: (Float) => Float): PosZFiniteFloat
Applies the passed
Float => Float
function to the underlyingFloat
value, and if the result is positive, returns the result wrapped in aPosZFiniteFloat
, else throwsAssertionError
.Applies the passed
Float => Float
function to the underlyingFloat
value, and if the result is positive, returns the result wrapped in aPosZFiniteFloat
, else throwsAssertionError
.This method will inspect the result of applying the given function to this
PosZFiniteFloat
's underlyingFloat
value and if the result is finite non-negative, it will return aPosZFiniteFloat
representing that value. Otherwise, theFloat
value returned by the given function is not finite non-negative, so this method will throwAssertionError
.This method differs from a vanilla
assert
orensuring
call in that you get something you didn't already have if the assertion succeeds: a type that promises anFloat
is finite non-negative. With this method, you are asserting that you are convinced the result of the computation represented by applying the given function to thisPosZFiniteFloat
's value will not produce invalid value. Instead of producing such invalid values, this method will throwAssertionError
.- f
the
Float => Float
function to apply to thisPosZFiniteFloat
's underlyingFloat
value.- returns
the result of applying this
PosZFiniteFloat
's underlyingFloat
value to to the passed function, wrapped in aPosZFiniteFloat
if it is finite non-negative (else throwsAssertionError
).
- Exceptions thrown
AssertionError
if the result of applying thisPosZFiniteFloat
's underlyingFloat
value to to the passed function is not finite non-negative.
- def floor: PosZFiniteFloat
Returns the greatest (closest to infinity)
PosZFiniteFloat
that is less than or equal to thisPosZFiniteFloat
and represents a mathematical integer. - def getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isWhole: Boolean
Indicates whether this
PosZFiniteFloat
has a value that is a whole number: it is finite and it has no fraction part. - def max(that: PosZFiniteFloat): PosZFiniteFloat
Returns
this
ifthis > that
orthat
otherwise. - def min(that: PosZFiniteFloat): PosZFiniteFloat
Returns
this
ifthis < that
orthat
otherwise. - def round: PosZInt
Rounds this
PosZFiniteFloat
value to the nearest whole number value that can be expressed as anPosZInt
, returning the result as aPosZInt
. - def toByte: Byte
Converts this
PosZFiniteFloat
to aByte
. - def toChar: Char
Converts this
PosZFiniteFloat
to aChar
. - 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.
- def toDouble: Double
Converts this
PosZFiniteFloat
to aDouble
. - def toFloat: Float
Converts this
PosZFiniteFloat
to aFloat
. - def toInt: Int
Converts this
PosZFiniteFloat
to anInt
. - def toLong: Long
Converts this
PosZFiniteFloat
to aLong
. - 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.
- def toShort: Short
Converts this
PosZFiniteFloat
to aShort
. - def toString(): String
A string representation of this
PosZFiniteFloat
.A string representation of this
PosZFiniteFloat
.- Definition Classes
- PosZFiniteFloat → Any
- def unary_+: PosZFiniteFloat
Returns this value, unmodified.
- def unary_-: NegZFiniteFloat
Returns the negation of this value.
- val value: Float