org.scalactic.anyvals.PosFiniteDouble.scala Maven / Gradle / Ivy
/*
* Copyright 2001-2016 Artima, Inc.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package org.scalactic.anyvals
import scala.collection.immutable.NumericRange
import scala.language.implicitConversions
import scala.util.{Try, Success, Failure}
import org.scalactic.{Validation, Pass, Fail}
import org.scalactic.{Or, Good, Bad}
/**
* An AnyVal for finite positive Doubles.
*
*
*
*
*
*
* Because PosFiniteDouble is an AnyVal it
* will usually be as efficient as an Double, being
* boxed only when a Double would have been boxed.
*
*
*
* The PosFiniteDouble.apply factory method is
* implemented in terms of a macro that checks literals for
* validity at compile time. Calling
* PosFiniteDouble.apply with a literal
* Double value will either produce a valid
* PosFiniteDouble instance at run time or an error at
* compile time. Here's an example:
*
*
*
* scala> import anyvals._
* import anyvals._
*
* scala> PosFiniteDouble(1.1)
* res1: org.scalactic.anyvals.PosFiniteDouble = PosFiniteDouble(1.1)
*
* scala> PosFiniteDouble(-1.1)
* <console>:14: error: PosFiniteDouble.apply can only be invoked on a finite positive (i > 0.0 && i != Double.PositiveInfinity) floating point literal, like PosFiniteDouble(1.1).
* PosFiniteDouble(-1.1)
* ^
*
*
*
* PosFiniteDouble.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 PosFiniteDouble.apply, you'll get a
* compiler error that suggests you use a different factor
* method, PosFiniteDouble.from, instead:
*
*
*
* scala> val x = 1.1
* x: Double = 1.1
*
* scala> PosFiniteDouble(x)
* <console>:15: error: PosFiniteDouble.apply can only be invoked on a floating point literal, like PosFiniteDouble(1.1). Please use PosFiniteDouble.from instead.
* PosFiniteDouble(x)
* ^
*
*
*
* The PosFiniteDouble.from factory method will inspect
* the value at runtime and return an
* Option[PosFiniteDouble]. If the value is valid,
* PosFiniteDouble.from will return a
* Some[PosFiniteDouble], else it will return a
* None. Here's an example:
*
*
*
* scala> PosFiniteDouble.from(x)
* res4: Option[org.scalactic.anyvals.PosFiniteDouble] = Some(PosFiniteDouble(1.1))
*
* scala> val y = -1.1
* y: Double = -1.1
*
* scala> PosFiniteDouble.from(y)
* res5: Option[org.scalactic.anyvals.PosFiniteDouble] = None
*
*
*
* The PosFiniteDouble.apply factory method is marked
* implicit, so that you can pass literal Doubles
* into methods that require PosFiniteDouble, and get the
* same compile-time checking you get when calling
* PosFiniteDouble.apply explicitly. Here's an example:
*
*
*
* scala> def invert(pos: PosFiniteDouble): Double = Double.MaxValue - pos
* invert: (pos: org.scalactic.anyvals.PosFiniteDouble)Double
*
* scala> invert(1.1)
* res6: Double = 1.7976931348623157E308
*
* scala> invert(Double.MaxValue)
* res8: Double = 0.0
*
* scala> invert(-1.1)
* <console>:15: error: PosFiniteDouble.apply can only be invoked on a finite positive (i > 0.0 && i != Double.PositiveInfinity) floating point literal, like PosFiniteDouble(1.1).
* invert(-1.1)
* ^
*
*
*
*
* This example also demonstrates that the
* PosFiniteDouble companion object also defines implicit
* widening conversions when a similar conversion is provided in
* Scala. This makes it convenient to use a
* PosFiniteDouble 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
* PosFiniteDouble (the type of pos), you
* can still subtract pos, because the
* PosFiniteDouble will be implicitly widened to
* Double.
*
*
* @param value The Double value underlying this PosFiniteDouble.
*/
final class PosFiniteDouble private (val value: Double) extends AnyVal {
/**
* A string representation of this PosFiniteDouble.
*/
override def toString: String = s"PosFiniteDouble(${value.toString()})"
/**
* Converts this PosFiniteDouble to a Byte.
*/
def toByte: Byte = value.toByte
/**
* Converts this PosFiniteDouble to a Short.
*/
def toShort: Short = value.toShort
/**
* Converts this PosFiniteDouble to a Char.
*/
def toChar: Char = value.toChar
/**
* Converts this PosFiniteDouble to an Int.
*/
def toInt: Int = value.toInt
/**
* Converts this PosFiniteDouble to a Long.
*/
def toLong: Long = value.toLong
/**
* Converts this PosFiniteDouble to a Float.
*/
def toFloat: Float = value.toFloat
/**
* Converts this PosFiniteDouble to a Double.
*/
def toDouble: Double = value.toDouble
/** Returns this value, unmodified. */
def unary_+ : PosFiniteDouble = this
/** Returns the negation of this value. */
def unary_- : NegFiniteDouble = NegFiniteDouble.ensuringValid(-value)
/**
* Converts this PosFiniteDouble's value to a string then concatenates the given string.
*/
def +(x: String): String = s"${value.toString()}${x.toString()}"
/** Returns `true` if this value is less than x, `false` otherwise. */
def <(x: Byte): Boolean = value < x
/** Returns `true` if this value is less than x, `false` otherwise. */
def <(x: Short): Boolean = value < x
/** Returns `true` if this value is less than x, `false` otherwise. */
def <(x: Char): Boolean = value < x
/** Returns `true` if this value is less than x, `false` otherwise. */
def <(x: Int): Boolean = value < x
/** Returns `true` if this value is less than x, `false` otherwise. */
def <(x: Long): Boolean = value < x
/** Returns `true` if this value is less than x, `false` otherwise. */
def <(x: Float): Boolean = value < x
/** Returns `true` if this value is less than x, `false` otherwise. */
def <(x: Double): Boolean = value < x
/** Returns `true` if this value is less than or equal to x, `false` otherwise. */
def <=(x: Byte): Boolean = value <= x
/** Returns `true` if this value is less than or equal to x, `false` otherwise. */
def <=(x: Short): Boolean = value <= x
/** Returns `true` if this value is less than or equal to x, `false` otherwise. */
def <=(x: Char): Boolean = value <= x
/** Returns `true` if this value is less than or equal to x, `false` otherwise. */
def <=(x: Int): Boolean = value <= x
/** Returns `true` if this value is less than or equal to x, `false` otherwise. */
def <=(x: Long): Boolean = value <= x
/** Returns `true` if this value is less than or equal to x, `false` otherwise. */
def <=(x: Float): Boolean = value <= x
/** Returns `true` if this value is less than or equal to x, `false` otherwise. */
def <=(x: Double): Boolean = value <= x
/** Returns `true` if this value is greater than x, `false` otherwise. */
def >(x: Byte): Boolean = value > x
/** Returns `true` if this value is greater than x, `false` otherwise. */
def >(x: Short): Boolean = value > x
/** Returns `true` if this value is greater than x, `false` otherwise. */
def >(x: Char): Boolean = value > x
/** Returns `true` if this value is greater than x, `false` otherwise. */
def >(x: Int): Boolean = value > x
/** Returns `true` if this value is greater than x, `false` otherwise. */
def >(x: Long): Boolean = value > x
/** Returns `true` if this value is greater than x, `false` otherwise. */
def >(x: Float): Boolean = value > x
/** Returns `true` if this value is greater than x, `false` otherwise. */
def >(x: Double): Boolean = value > x
/** Returns `true` if this value is greater than or equal to x, `false` otherwise. */
def >=(x: Byte): Boolean = value >= x
/** Returns `true` if this value is greater than or equal to x, `false` otherwise. */
def >=(x: Short): Boolean = value >= x
/** Returns `true` if this value is greater than or equal to x, `false` otherwise. */
def >=(x: Char): Boolean = value >= x
/** Returns `true` if this value is greater than or equal to x, `false` otherwise. */
def >=(x: Int): Boolean = value >= x
/** Returns `true` if this value is greater than or equal to x, `false` otherwise. */
def >=(x: Long): Boolean = value >= x
/** Returns `true` if this value is greater than or equal to x, `false` otherwise. */
def >=(x: Float): Boolean = value >= x
/** Returns `true` if this value is greater than or equal to x, `false` otherwise. */
def >=(x: Double): Boolean = value >= x
/** Returns the sum of this value and `x`. */
def +(x: Byte): Double = value + x
/** Returns the sum of this value and `x`. */
def +(x: Short): Double = value + x
/** Returns the sum of this value and `x`. */
def +(x: Char): Double = value + x
/** Returns the sum of this value and `x`. */
def +(x: Int): Double = value + x
/** Returns the sum of this value and `x`. */
def +(x: Long): Double = value + x
/** Returns the sum of this value and `x`. */
def +(x: Float): Double = value + x
/** Returns the sum of this value and `x`. */
def +(x: Double): Double = value + x
/** Returns the difference of this value and `x`. */
def -(x: Byte): Double = value - x
/** Returns the difference of this value and `x`. */
def -(x: Short): Double = value - x
/** Returns the difference of this value and `x`. */
def -(x: Char): Double = value - x
/** Returns the difference of this value and `x`. */
def -(x: Int): Double = value - x
/** Returns the difference of this value and `x`. */
def -(x: Long): Double = value - x
/** Returns the difference of this value and `x`. */
def -(x: Float): Double = value - x
/** Returns the difference of this value and `x`. */
def -(x: Double): Double = value - x
/** Returns the product of this value and `x`. */
def *(x: Byte): Double = value * x
/** Returns the product of this value and `x`. */
def *(x: Short): Double = value * x
/** Returns the product of this value and `x`. */
def *(x: Char): Double = value * x
/** Returns the product of this value and `x`. */
def *(x: Int): Double = value * x
/** Returns the product of this value and `x`. */
def *(x: Long): Double = value * x
/** Returns the product of this value and `x`. */
def *(x: Float): Double = value * x
/** Returns the product of this value and `x`. */
def *(x: Double): Double = value * x
/** Returns the quotient of this value and `x`. */
def /(x: Byte): Double = value / x
/** Returns the quotient of this value and `x`. */
def /(x: Short): Double = value / x
/** Returns the quotient of this value and `x`. */
def /(x: Char): Double = value / x
/** Returns the quotient of this value and `x`. */
def /(x: Int): Double = value / x
/** Returns the quotient of this value and `x`. */
def /(x: Long): Double = value / x
/** Returns the quotient of this value and `x`. */
def /(x: Float): Double = value / x
/** Returns the quotient of this value and `x`. */
def /(x: Double): Double = value / x
/** Returns the remainder of the division of this value by `x`. */
def %(x: Byte): Double = value % x
/** Returns the remainder of the division of this value by `x`. */
def %(x: Short): Double = value % x
/** Returns the remainder of the division of this value by `x`. */
def %(x: Char): Double = value % x
/** Returns the remainder of the division of this value by `x`. */
def %(x: Int): Double = value % x
/** Returns the remainder of the division of this value by `x`. */
def %(x: Long): Double = value % x
/** Returns the remainder of the division of this value by `x`. */
def %(x: Float): Double = value % x
/** Returns the remainder of the division of this value by `x`. */
def %(x: Double): Double = value % x
// TODO: Need Scaladoc
// Stuff from RichDouble
/**
* Returns this if this > that or that otherwise.
*/
def max(that: PosFiniteDouble): PosFiniteDouble = if (math.max(value, that.value) == value) this else that
/**
* Returns this if this < that or that otherwise.
*/
def min(that: PosFiniteDouble): PosFiniteDouble = if (math.min(value, that.value) == value) this else that
/**
* Indicates whether this `PosFiniteDouble` has a value that is a whole number: it is finite and it has no fraction part.
*/
def isWhole = {
val longValue = value.toLong
longValue.toDouble == value || longValue == Long.MaxValue && value < Double.PositiveInfinity || longValue == Long.MinValue && value > Double.NegativeInfinity
}
/** Converts an angle measured in degrees to an approximately equivalent
* angle measured in radians.
*
* @return the measurement of the angle x in radians.
*/
def toRadians: Double = math.toRadians(value)
/** Converts an angle measured in radians to an approximately equivalent
* angle measured in degrees.
* @return the measurement of the angle x in degrees.
*/
def toDegrees: Double = math.toDegrees(value)
/**
* Applies the passed Double => Double function to the underlying Double
* value, and if the result is positive, returns the result wrapped in a PosFiniteDouble,
* else throws AssertionError.
*
*
* This method will inspect the result of applying the given function to this
* PosFiniteDouble's underlying Double value and if the result
* is greater than 0.0, it will return a PosFiniteDouble 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 PosFiniteDouble'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.
*
*
* @param f the Double => Double function to apply to this PosFiniteDouble's
* underlying Double value.
* @return the result of applying this PosFiniteDouble's underlying Double value to
* to the passed function, wrapped in a PosFiniteDouble if it is positive (else throws AssertionError).
* @throws AssertionError if the result of applying this PosFiniteDouble's underlying Double value to
* to the passed function is not positive.
*/
def ensuringValid(f: Double => Double): PosFiniteDouble = {
val candidateResult: Double = f(value)
if (PosFiniteDoubleMacro.isValid(candidateResult)) new PosFiniteDouble(candidateResult)
else throw new AssertionError(s"${candidateResult.toString()}, the result of applying the passed function to ${value.toString()}, was not a valid PosFiniteDouble")
}
/**
* Rounds this `PosFiniteDouble` value to the nearest whole number value that can be expressed as an `PosZLong`, returning the result as a `PosZLong`.
*/
def round: PosZLong = PosZLong.ensuringValid(math.round(value))
/**
* Returns the smallest (closest to 0) `PosFiniteDouble` that is greater than or equal to this `PosFiniteDouble`
* and represents a mathematical integer.
*/
def ceil: PosFiniteDouble = PosFiniteDouble.ensuringValid(math.ceil(value).toDouble)
/**
* Returns the greatest (closest to infinity) `PosZFiniteDouble` that is less than or equal to
* this `PosZFiniteDouble` and represents a mathematical integer.
*/
def floor: PosZFiniteDouble = PosZFiniteDouble.ensuringValid(math.floor(value).toDouble)
}
/**
* The companion object for PosFiniteDouble that offers
* factory methods that produce PosFiniteDoubles,
* implicit widening conversions from PosFiniteDouble to
* other numeric types, and maximum and minimum constant values
* for PosFiniteDouble.
*/
object PosFiniteDouble {
/**
* The largest value representable as a finite positive Double,
* which is PosFiniteDouble(1.7976931348623157E308).
*/
final val MaxValue: PosFiniteDouble = PosFiniteDouble.ensuringValid(Double.MaxValue)
/**
* The smallest value representable as a finite positive
* Double, which is PosFiniteDouble(4.9E-324).
*/
final val MinValue: PosFiniteDouble = PosFiniteDouble.ensuringValid(Double.MinPositiveValue) // Can't use the macro here
/**
* A factory method that produces an Option[PosFiniteDouble] given a
* Double value.
*
*
* This method will inspect the passed Double value and if
* it is a finite positive Double, it will return a PosFiniteDouble
* representing that value, wrapped in a Some. Otherwise, the passed Double
* value is not finite positive, 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 Double literals at
* compile time, whereas from inspects
* Double values at run time.
*
*
* @param value the Double to inspect, and if finite positive, return
* wrapped in a Some[PosFiniteDouble].
* @return the specified Double value wrapped in a
* Some[PosFiniteDouble], if it is PosFiniteDouble, else
* None.
*/
def from(value: Double): Option[PosFiniteDouble] =
if (PosFiniteDoubleMacro.isValid(value)) Some(new PosFiniteDouble(value)) else None
/**
* A factory/assertion method that produces a PosFiniteDouble given a
* valid Double value, or throws AssertionError,
* if given an invalid Double value.
*
*
* This method will inspect the passed Double value and if
* it is a finite positive Double, it will return a PosFiniteDouble
* representing that value. Otherwise, the passed Double value is not finite positive,
* so this method will throw AssertionError.
*
*
*
* This factory method differs from the apply
* factory method in that apply is implemented
* via a macro that inspects Double literals at
* compile time, whereas from inspects
* Double values at run time.
* It 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 a Double is finite positive.
*
*
* @param value the Double to inspect, and if finite positive, return
* wrapped in a PosFiniteDouble.
* @return the specified Double value wrapped in a
* PosFiniteDouble, if it is finite positive, else
* throws AssertionError.
* @throws AssertionError if the passed value is not finite positive
*/
def ensuringValid(value: Double): PosFiniteDouble =
if (PosFiniteDoubleMacro.isValid(value)) new PosFiniteDouble(value) else {
throw new AssertionError(s"${value.toString()} was not a valid PosFiniteDouble")
}
/**
* A factory/validation method that produces a PosFiniteDouble, wrapped
* in a Success, given a valid Float value, or if the
* given Float is invalid, an AssertionError, wrapped
* in a Failure.
*
* Note: you should use this method only when you are convinced that it will
* always succeed, i.e., never throw an exception. It is good practice to
* add a comment near the invocation of this method indicating ''why'' you think
* it will always succeed to document your reasoning. If you are not sure an
* `ensuringValid` call will always succeed, you should use one of the other
* factory or validation methods provided on this object instead: `isValid`,
* `tryingValid`, `passOrElse`, `goodOrElse`, or `rightOrElse`.
*
*
* This method will inspect the passed Float value and if
* it is a finite positive Float, it will return a PosFiniteDouble
* representing that value, wrapped in a Success.
* Otherwise, the passed Float value is not finite positive, so this
* method will return an AssertionError, wrapped in a Failure.
*
*
*
* This factory method differs from the apply factory method
* in that apply is implemented via a macro that inspects
* Float literals at compile time, whereas this method inspects
* Float values at run time.
*
*
* @param value the Float to inspect, and if finite positive, return
* wrapped in a Success(PosFiniteDouble).
* @return the specified Float value wrapped
* in a Success(PosFiniteDouble), if it is finite positive, else a Failure(AssertionError).
*/
def tryingValid(value: Double): Try[PosFiniteDouble] =
if (PosFiniteDoubleMacro.isValid(value))
Success(new PosFiniteDouble(value))
else
Failure(new AssertionError(s"${value.toString()} was not a valid PosFiniteDouble"))
/**
* A validation method that produces a Pass
* given a valid Double value, or
* an error value of type E produced by passing the
* given invalid Int value
* to the given function f, wrapped in a Fail.
*
*
* This method will inspect the passed Double value and if
* it is a finite positive Double, it will return a Pass.
* Otherwise, the passed Double value is finite positive, so this
* method will return a result of type E obtained by passing
* the invalid Double value to the given function f,
* wrapped in a `Fail`.
*
*
*
* This factory method differs from the apply factory method
* in that apply is implemented via a macro that inspects
* Double literals at compile time, whereas this method inspects
* Double values at run time.
*
*
* @param value the `Int` to validate that it is finite positive.
* @return a `Pass` if the specified `Int` value is finite positive,
* else a `Fail` containing an error value produced by passing the
* specified `Double` to the given function `f`.
*/
def passOrElse[E](value: Double)(f: Double => E): Validation[E] =
if (PosFiniteDoubleMacro.isValid(value)) Pass else Fail(f(value))
/**
* A factory/validation method that produces a PosFiniteDouble, wrapped
* in a Good, given a valid Double value, or if the
* given Double is invalid, an error value of type B
* produced by passing the given invalid Double value
* to the given function f, wrapped in a Bad.
*
*
* This method will inspect the passed Double value and if
* it is a finite positive Double, it will return a PosFiniteDouble
* representing that value, wrapped in a Good.
* Otherwise, the passed Double value is not finite positive, so this
* method will return a result of type B obtained by passing
* the invalid Double value to the given function f,
* wrapped in a `Bad`.
*
*
*
* This factory method differs from the apply factory method
* in that apply is implemented via a macro that inspects
* Double literals at compile time, whereas this method inspects
* Double values at run time.
*
*
* @param value the Double to inspect, and if finite positive, return
* wrapped in a Good(PosFiniteDouble).
* @return the specified Double value wrapped
* in a Good(PosFiniteDouble), if it is finite positive, else a Bad(f(value)).
*/
def goodOrElse[B](value: Double)(f: Double => B): PosFiniteDouble Or B =
if (PosFiniteDoubleMacro.isValid(value)) Good(PosFiniteDouble.ensuringValid(value)) else Bad(f(value))
/**
* A factory/validation method that produces a PosFiniteDouble, wrapped
* in a Right, given a valid Double value, or if the
* given Double is invalid, an error value of type L
* produced by passing the given invalid Double value
* to the given function f, wrapped in a Left.
*
*
* This method will inspect the passed Double value and if
* it is a finite positive Double, it will return a PosFiniteDouble
* representing that value, wrapped in a Right.
* Otherwise, the passed Double value is not finite positive, so this
* method will return a result of type L obtained by passing
* the invalid Double value to the given function f,
* wrapped in a `Left`.
*
*
*
* This factory method differs from the apply factory method
* in that apply is implemented via a macro that inspects
* Double literals at compile time, whereas this method inspects
* Double values at run time.
*
*
* @param value the Double to inspect, and if finite positive, return
* wrapped in a Right(PosFiniteDouble).
* @return the specified Double value wrapped
* in a Right(PosFiniteDouble), if it is finite positive, else a Left(f(value)).
*/
def rightOrElse[L](value: Double)(f: Double => L): Either[L, PosFiniteDouble] =
if (PosFiniteDoubleMacro.isValid(value)) Right(PosFiniteDouble.ensuringValid(value)) else Left(f(value))
/**
* A predicate method that returns true if a given
* Double value is finite positive.
*
* @param value the Double to inspect, and if finite positive, return true.
* @return true if the specified Double is positive, else false.
*/
def isValid(value: Double): Boolean = PosFiniteDoubleMacro.isValid(value)
/**
* A factory method that produces a PosFiniteDouble given a
* Double value and a default PosFiniteDouble.
*
*
* This method will inspect the passed Double value and if
* it is a finite positive Double, it will return a PosFiniteDouble
* representing that value. Otherwise, the passed Double value is finite positive,
* so this method will return the passed default value.
*
*
*
* This factory method differs from the apply
* factory method in that apply is implemented
* via a macro that inspects Double literals at
* compile time, whereas from inspects
* Double values at run time.
*
*
* @param value the Double to inspect, and if finite positive, return.
* @param default the PosFiniteDouble to return if the passed
* Double value is not finite positive.
* @return the specified Double value wrapped in a
* PosFiniteDouble, if it is finite positive, else the
* default PosFiniteDouble value.
*/
def fromOrElse(value: Double, default: => PosFiniteDouble): PosFiniteDouble =
if (PosFiniteDoubleMacro.isValid(value)) new PosFiniteDouble(value) else default
import language.experimental.macros
import scala.language.implicitConversions
/**
* A factory method, implemented via a macro, that produces a
* PosFiniteDouble if passed a valid Double
* literal, otherwise a compile time error.
*
*
* The macro that implements this method will inspect the
* specified Double expression at compile time. If
* the expression is a finite positive Double literal,
* it will return a PosFiniteDouble representing that value.
* Otherwise, the passed Double expression is either a literal
* that is not finite positive, 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 Double literals at compile
* time, whereas from inspects Double
* values at run time.
*
*
* @param value the Double literal expression to
* inspect at compile time, and if finite positive, to return
* wrapped in a PosFiniteDouble at run time.
* @return the specified, valid Double literal
* value wrapped in a PosFiniteDouble. (If the
* specified expression is not a valid Double
* literal, the invocation of this method will not
* compile.)
*/
inline implicit def apply(value: => Double): PosFiniteDouble = ${ PosFiniteDoubleMacro('{value}) }
/**
* Implicit widening conversion from PosFiniteDouble to
* Double.
*
* @param pos the PosFiniteDouble to widen
* @return the Double value underlying the specified
* PosFiniteDouble
*/
implicit def widenToDouble(pos: PosFiniteDouble): Double = pos.value
/**
* Implicit widening conversion from PosFiniteDouble to PosDouble.
*
* @param pos the PosFiniteDouble to widen
* @return the Double value underlying the specified PosFiniteDouble,
* widened to Double and wrapped in a PosDouble.
*/
implicit def widenToPosDouble(pos: PosFiniteDouble): PosDouble = PosDouble.ensuringValid(pos.value)
/**
* Implicit widening conversion from PosFiniteDouble to PosZDouble.
*
* @param pos the PosFiniteDouble to widen
* @return the Double value underlying the specified PosFiniteDouble,
* widened to Double and wrapped in a PosZDouble.
*/
implicit def widenToPosZDouble(pos: PosFiniteDouble): PosZDouble = PosZDouble.ensuringValid(pos.value)
/**
* Implicit widening conversion from PosFiniteDouble to NonZeroDouble.
*
* @param pos the PosFiniteDouble to widen
* @return the Double value underlying the specified PosFiniteDouble,
* widened to Double and wrapped in a NonZeroDouble.
*/
implicit def widenToNonZeroDouble(pos: PosFiniteDouble): NonZeroDouble = NonZeroDouble.ensuringValid(pos.value)
/**
* Implicit widening conversion from PosFiniteDouble to PosZFiniteDouble.
*
* @param pos the PosFiniteDouble to widen
* @return the Double value underlying the specified PosFiniteDouble,
* widened to Double and wrapped in a PosZFiniteDouble.
*/
implicit def widenToPosZFiniteDouble(pos: PosFiniteDouble): PosZFiniteDouble = PosZFiniteDouble.ensuringValid(pos.value)
/**
* Implicit widening conversion from PosFiniteDouble to FiniteDouble.
*
* @param pos the PosFiniteDouble to widen
* @return the Double value underlying the specified PosFiniteDouble,
* widened to Double and wrapped in a FiniteDouble.
*/
implicit def widenToFiniteDouble(pos: PosFiniteDouble): FiniteDouble = FiniteDouble.ensuringValid(pos.value)
/**
* Implicit Ordering instance.
*/
implicit val ordering: Ordering[PosFiniteDouble] =
new Ordering[PosFiniteDouble] {
def compare(x: PosFiniteDouble, y: PosFiniteDouble): Int = x.toDouble.compare(y.toDouble)
}
/**
* The smallest positive value greater than 0.0d representable as a PosFiniteDouble, which is PosFiniteDouble(4.9E-324).
*/
final val MinPositiveValue: PosFiniteDouble = PosFiniteDouble.ensuringValid(Double.MinPositiveValue)
}