final class PosFloat extends AnyVal

An AnyVal for positive Floats.

Note: a PosFloat may not equal 0. If you want positive number or 0, use PosZFloat.

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

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

scala> import anyvals._
import anyvals._
scala> PosFloat(1.0F)
res0: org.scalactic.anyvals.PosFloat = PosFloat(1.0)
scala> PosFloat(0.0F)
<console>:14: error: PosFloat.apply can only be invoked on a positive (i > 0.0F) floating point literal, like PosFloat(42.0F).
 PosFloat(0.0F)
 ^

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

scala> val x = 1.0F
x: Float = 1.0
scala> PosFloat(x)
<console>:15: error: PosFloat.apply can only be invoked on a floating point literal, like PosFloat(42.0F). Please use PosFloat.from instead.
 PosFloat(x)
 ^

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

scala> PosFloat.from(x)
res3: Option[org.scalactic.anyvals.PosFloat] = Some(PosFloat(1.0))
scala> val y = 0.0F
y: Float = 0.0
scala> PosFloat.from(y)
res4: Option[org.scalactic.anyvals.PosFloat] = None

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

scala> def invert(pos: PosFloat): Float = Float.MaxValue - pos
invert: (pos: org.scalactic.anyvals.PosFloat)Float
scala> invert(1.1F)
res5: Float = 3.4028235E38
scala> invert(Float.MaxValue)
res6: Float = 0.0
scala> invert(0.0F)
<console>:15: error: PosFloat.apply can only be invoked on a positive (i > 0.0F) floating point literal, like PosFloat(42.0F).
 invert(0.0F)
 ^
scala> invert(-1.1F)
<console>:15: error: PosFloat.apply can only be invoked on a positive (i > 0.0F) floating point literal, like PosFloat(42.0F).
 invert(-1.1F)
 ^

This example also demonstrates that the PosFloat companion object also defines implicit widening conversions when no loss of precision will occur. This makes it convenient to use a PosFloat 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 PosFloat (the type of pos), you can still subtract pos, because the PosFloat will be implicitly widened to Float.

Source: PosFloat.scala

Linear Supertypes

AnyVal, Any

Ordering

Alphabetic
By Inheritance

Inherited

PosFloat
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): Float
Permalink
Returns the remainder of the division of this value by x.
def %(x: Int): Float
Permalink
Returns the remainder of the division of this value by x.
def %(x: Char): Float
Permalink
Returns the remainder of the division of this value by x.
def %(x: Short): Float
Permalink
Returns the remainder of the division of this value by x.
def %(x: Byte): Float
Permalink
Returns the remainder of the division of this value by x.
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): Float
Permalink
Returns the product of this value and x.
def *(x: Int): Float
Permalink
Returns the product of this value and x.
def *(x: Char): Float
Permalink
Returns the product of this value and x.
def *(x: Short): Float
Permalink
Returns the product of this value and x.
def *(x: Byte): Float
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): Float
Permalink
Returns the sum of this value and x.
def +(x: Int): Float
Permalink
Returns the sum of this value and x.
def +(x: Char): Float
Permalink
Returns the sum of this value and x.
def +(x: Short): Float
Permalink
Returns the sum of this value and x.
def +(x: Byte): Float
Permalink
Returns the sum of this value and x.
def +(x: String): String
Permalink
Converts this PosFloat's value to a string then concatenates the given string.
Converts this PosFloat'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): Float
Permalink
Returns the difference of this value and x.
def -(x: Int): Float
Permalink
Returns the difference of this value and x.
def -(x: Char): Float
Permalink
Returns the difference of this value and x.
def -(x: Short): Float
Permalink
Returns the difference of this value and x.
def -(x: Byte): Float
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): Float
Permalink
Returns the quotient of this value and x.
def /(x: Int): Float
Permalink
Returns the quotient of this value and x.
def /(x: Char): Float
Permalink
Returns the quotient of this value and x.
def /(x: Short): Float
Permalink
Returns the quotient of this value and x.
def /(x: Byte): Float
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: 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.
final def asInstanceOf[T0]: T0
Permalink

Definition Classes
Any
def ceil: PosFloat
Permalink
def floor: PosZFloat
Permalink
def getClass(): Class[_ <: AnyVal]
Permalink

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

Definition Classes
Any
def isPosInfinity: Boolean
Permalink
def isWhole: Boolean
Permalink
def max(that: PosFloat ): PosFloat
Permalink
Returns this if this > that or that otherwise.
Returns this if this > that or that otherwise.
def min(that: PosFloat ): PosFloat
Permalink
Returns this if this < that or that otherwise.
Returns this if this < that or that otherwise.
def round: PosZInt
Permalink
def to(end: Float, step: Float): Inclusive[Float]
Permalink
Create an inclusive Range from this PosFloat value to the specified end with the specified step value.
Create an inclusive Range from this PosFloat 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.NumericRange.Inclusive[Float] from this up to and including end.
def to(end: Float): Partial[Float, NumericRange[Float]]
Permalink
Create an inclusive Range from this PosFloat value to the specified end with step value 1.
Create an inclusive Range from this PosFloat value to the specified end with step value 1.
end
The final bound of the range to make.
returns
A NumericRange[Float] from this up to and including end.
def toByte: Byte
Permalink
Converts this PosFloat to a Byte.
Converts this PosFloat to a Byte.
def toChar: Char
Permalink
Converts this PosFloat to a Char.
Converts this PosFloat to a Char.
def toDegrees: Float
Permalink
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
Permalink
Converts this PosFloat to a Double.
Converts this PosFloat to a Double.
def toFloat: Float
Permalink
Converts this PosFloat to a Float.
Converts this PosFloat to a Float.
def toInt: Int
Permalink
Converts this PosFloat to an Int.
Converts this PosFloat to an Int.
def toLong: Long
Permalink
Converts this PosFloat to a Long.
Converts this PosFloat to a Long.
def toRadians: Float
Permalink
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
Permalink
Converts this PosFloat to a Short.
Converts this PosFloat to a Short.
def toString(): String
Permalink
A string representation of this PosFloat.
A string representation of this PosFloat.

Definition Classes
PosFloat → Any
def unary_+: PosFloat
Permalink
Returns this value, unmodified.
def unary_-: Float
Permalink
Returns the negation of this value.
def until(end: Float, step: Float): Exclusive[Float]
Permalink
Create a Range (exclusive) from this PosFloat value until the specified end (exclusive) with the specified step value.
Create a Range (exclusive) from this PosFloat 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.NumericRange.Exclusive[Float] from this up to but not including end.
def until(end: Float): Partial[Float, NumericRange[Float]]
Permalink
Create a Range from this PosFloat value until the specified end (exclusive) with step value 1.
Create a Range from this PosFloat value until the specified end (exclusive) with step value 1.
end
The final bound of the range to make.
returns
A NumericRange[Float]] from this up to but not including end.
val value: Float
Permalink
The Float value underlying this PosFloat.
The Float value underlying this PosFloat.

PosFloat

Related Docs: object PosFloat | package anyvals

final class PosFloat extends AnyVal

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def %(x: Double): Double

def %(x: Float): Float

def %(x: Long): Float

def %(x: Int): Float

def %(x: Char): Float

def %(x: Short): Float

def %(x: Byte): Float

def *(x: Double): Double

def *(x: Float): Float

def *(x: Long): Float

def *(x: Int): Float

def *(x: Char): Float

def *(x: Short): Float

def *(x: Byte): Float

def +(x: Double): Double

def +(x: Float): Float

def +(x: Long): Float

def +(x: Int): Float

def +(x: Char): Float

def +(x: Short): Float

def +(x: Byte): Float

def +(x: String): String

def -(x: Double): Double

def -(x: Float): Float

def -(x: Long): Float

def -(x: Int): Float

def -(x: Char): Float

def -(x: Short): Float

def -(x: Byte): Float

def /(x: Double): Double

def /(x: Float): Float

def /(x: Long): Float

def /(x: Int): Float

def /(x: Char): Float

def /(x: Short): Float

def /(x: Byte): Float

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 ceil: PosFloat

def floor: PosZFloat

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

final def isInstanceOf[T0]: Boolean

def isPosInfinity: Boolean

def isWhole: Boolean

def max(that: PosFloat ): PosFloat

def min(that: PosFloat ): PosFloat