object PosFiniteFloat
The companion object for PosFiniteFloat that offers
factory methods that produce PosFiniteFloats,
implicit widening conversions from PosFiniteFloat to
other numeric types, and maximum and minimum constant values
for PosFiniteFloat.
- Source
- PosFiniteFloat.scala
- Alphabetic
- By Inheritance
- PosFiniteFloat
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Value Members
-   final  def !=(arg0: Any): Boolean- Definition Classes
- AnyRef → Any
 
-   final  def ##: Int- Definition Classes
- AnyRef → Any
 
-   final  def ==(arg0: Any): Boolean- Definition Classes
- AnyRef → Any
 
-   final  val MaxValue: PosFiniteFloatThe largest value representable as a finite positive Float, which isPosFiniteFloat(3.4028235E38).
-   final  val MinPositiveValue: PosFloatThe smallest positive value greater than 0.0d representable as a PosFloat, which is PosFloat(1.4E-45).
-   final  val MinValue: PosFiniteFloatThe smallest value representable as a finite positive Float, which isPosFiniteFloat(1.4E-45).
-   implicit macro  def apply(value: Float): PosFiniteFloatA factory method, implemented via a macro, that produces a PosFiniteFloatif passed a validFloatliteral, otherwise a compile time error.A factory method, implemented via a macro, that produces a PosFiniteFloatif passed a validFloatliteral, otherwise a compile time error.The macro that implements this method will inspect the specified Floatexpression at compile time. If the expression is a finite positiveFloatliteral, it will return aPosFiniteFloatrepresenting that value. Otherwise, the passedFloatexpression 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 fromfactory method in that this method is implemented via a macro that inspectsFloatliterals at compile time, whereasfrominspectsFloatvalues at run time.- value
- the - Floatliteral expression to inspect at compile time, and if finite positive, to return wrapped in a- PosFiniteFloatat run time.
- returns
- the specified, valid - Floatliteral value wrapped in a- PosFiniteFloat. (If the specified expression is not a valid- Floatliteral, the invocation of this method will not compile.)
 
-   final  def asInstanceOf[T0]: T0- Definition Classes
- Any
 
-    def clone(): AnyRef- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
 
-    def ensuringValid(value: Float): PosFiniteFloatA factory/assertion method that produces a PosFiniteFloatgiven a validFloatvalue, or throwsAssertionError, if given an invalidFloatvalue.A factory/assertion method that produces a PosFiniteFloatgiven a validFloatvalue, or throwsAssertionError, if given an invalidFloatvalue.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 ensuringValidcall will always succeed, you should use one of the other factory or validation methods provided on this object instead:isValid,tryingValid,passOrElse,goodOrElse, orrightOrElse.This method will inspect the passed Floatvalue and if it is a finite positiveFloat, it will return aPosFiniteFloatrepresenting that value. Otherwise, the passedFloatvalue is not finite positive, so this method will throwAssertionError.This factory method differs from the applyfactory method in thatapplyis implemented via a macro that inspectsFloatliterals at compile time, whereasfrominspectsFloatvalues at run time. It differs from a vanillaassertorensuringcall in that you get something you didn't already have if the assertion succeeds: a type that promises aFloatis positive.- value
- the - Floatto inspect, and if finite positive, return wrapped in a- PosFiniteFloat.
- returns
- the specified - Floatvalue wrapped in a- PosFiniteFloat, if it is finite positive, else throws- AssertionError.
 - Exceptions thrown
- AssertionErrorif the passed value is not finite positive
 
-   final  def eq(arg0: AnyRef): Boolean- Definition Classes
- AnyRef
 
-    def equals(arg0: AnyRef): Boolean- Definition Classes
- AnyRef → Any
 
-    def finalize(): Unit- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
 
-    def from(value: Float): Option[PosFiniteFloat]A factory method that produces an Option[PosFiniteFloat]given aFloatvalue.A factory method that produces an Option[PosFiniteFloat]given aFloatvalue.This method will inspect the passed Floatvalue and if it is a finite positiveFloat, it will return aPosFiniteFloatrepresenting that value wrapped in aSome. Otherwise, the passedFloatvalue is not finite positive, so this method will returnNone.This factory method differs from the applyfactory method in thatapplyis implemented via a macro that inspectsFloatliterals at compile time, whereasfrominspectsFloatvalues at run time.- value
- the - Floatto inspect, and if finite positive, return wrapped in a- Some[PosFiniteFloat].
- returns
- the specified - Floatvalue wrapped in a- Some[PosFiniteFloat], if it is finite positive, else- None.
 
-    def fromOrElse(value: Float, default: => PosFiniteFloat): PosFiniteFloatA factory method that produces a PosFiniteFloatgiven aFloatvalue and a defaultPosFiniteFloat.A factory method that produces a PosFiniteFloatgiven aFloatvalue and a defaultPosFiniteFloat.This method will inspect the passed Floatvalue and if it is a finite positiveFloat, it will return aPosFiniteFloatrepresenting that value. Otherwise, the passedFloatvalue is not finite positive, so this method will return the passeddefaultvalue.This factory method differs from the applyfactory method in thatapplyis implemented via a macro that inspectsFloatliterals at compile time, whereasfrominspectsFloatvalues at run time.- value
- the - Floatto inspect, and if finite positive, return.
- default
- the - PosFiniteFloatto return if the passed- Floatvalue is not finite positive.
- returns
- the specified - Floatvalue wrapped in a- PosFiniteFloat, if it is finite positive, else the- default- PosFiniteFloatvalue.
 
-   final  def getClass(): Class[_ <: AnyRef]- Definition Classes
- AnyRef → Any
- Annotations
- @native()
 
-    def goodOrElse[B](value: Float)(f: (Float) => B): Or[PosFiniteFloat, B]A factory/validation method that produces a PosFiniteFloat, wrapped in aGood, given a validFloatvalue, or if the givenFloatis invalid, an error value of typeBproduced by passing the given invalidFloatvalue to the given functionf, wrapped in aBad.A factory/validation method that produces a PosFiniteFloat, wrapped in aGood, given a validFloatvalue, or if the givenFloatis invalid, an error value of typeBproduced by passing the given invalidFloatvalue to the given functionf, wrapped in aBad.This method will inspect the passed Floatvalue and if it is a finite positiveFloat, it will return aPosFiniteFloatrepresenting that value, wrapped in aGood. Otherwise, the passedFloatvalue is not finite positive, so this method will return a result of typeBobtained by passing the invalidFloatvalue to the given functionf, wrapped in aBad.This factory method differs from the applyfactory method in thatapplyis implemented via a macro that inspectsFloatliterals at compile time, whereas this method inspectsFloatvalues at run time.- value
- the - Floatto inspect, and if finite positive, return wrapped in a- Good(PosFiniteFloat).
- returns
- the specified - Floatvalue wrapped in a- Good(PosFiniteFloat), if it is finite positive, else a- Bad(f(value)).
 
-    def hashCode(): Int- Definition Classes
- AnyRef → Any
- Annotations
- @native()
 
-   final  def isInstanceOf[T0]: Boolean- Definition Classes
- Any
 
-    def isValid(value: Float): BooleanA predicate method that returns true if a given Floatvalue is finite positive.A predicate method that returns true if a given Floatvalue is finite positive.- value
- the - Floatto inspect, and if finite positive, return true.
- returns
- true if the specified - Floatis finite positive, else false.
 
-   final  def ne(arg0: AnyRef): Boolean- Definition Classes
- AnyRef
 
-   final  def notify(): Unit- Definition Classes
- AnyRef
- Annotations
- @native()
 
-   final  def notifyAll(): Unit- Definition Classes
- AnyRef
- Annotations
- @native()
 
-   implicit  val ordering: Ordering[PosFiniteFloat]Implicit Ordering instance. 
-    def passOrElse[E](value: Float)(f: (Float) => E): Validation[E]A validation method that produces a Passgiven a validFloatvalue, or an error value of typeEproduced by passing the given invalidIntvalue to the given functionf, wrapped in aFail.A validation method that produces a Passgiven a validFloatvalue, or an error value of typeEproduced by passing the given invalidIntvalue to the given functionf, wrapped in aFail.This method will inspect the passed Floatvalue and if it is a finite positiveFloat, it will return aPass. Otherwise, the passedFloatvalue is finite positive, so this method will return a result of typeEobtained by passing the invalidFloatvalue to the given functionf, wrapped in aFail.This factory method differs from the applyfactory method in thatapplyis implemented via a macro that inspectsFloatliterals at compile time, whereas this method inspectsFloatvalues at run time.- value
- the - Floatto validate that it is finite positive.
- returns
- a - Passif the specified- Floatvalue is finite positive, else a- Failcontaining an error value produced by passing the specified- Floatto the given function- f.
 
-    def rightOrElse[L](value: Float)(f: (Float) => L): Either[L, PosFiniteFloat]A factory/validation method that produces a PosFiniteFloat, wrapped in aRight, given a validIntvalue, or if the givenIntis invalid, an error value of typeLproduced by passing the given invalidIntvalue to the given functionf, wrapped in aLeft.A factory/validation method that produces a PosFiniteFloat, wrapped in aRight, given a validIntvalue, or if the givenIntis invalid, an error value of typeLproduced by passing the given invalidIntvalue to the given functionf, wrapped in aLeft.This method will inspect the passed Intvalue and if it is a finite positiveInt, it will return aPosFiniteFloatrepresenting that value, wrapped in aRight. Otherwise, the passedIntvalue is not finite positive, so this method will return a result of typeLobtained by passing the invalidIntvalue to the given functionf, wrapped in aLeft.This factory method differs from the applyfactory method in thatapplyis implemented via a macro that inspectsIntliterals at compile time, whereas this method inspectsIntvalues at run time.- value
- the - Intto inspect, and if finite positive, return wrapped in a- Right(PosFiniteFloat).
- returns
- the specified - Intvalue wrapped in a- Right(PosFiniteFloat), if it is finite positive, else a- Left(f(value)).
 
-   final  def synchronized[T0](arg0: => T0): T0- Definition Classes
- AnyRef
 
-    def toString(): String- Definition Classes
- AnyRef → Any
 
-    def tryingValid(value: Float): Try[PosFiniteFloat]A factory/validation method that produces a PosFiniteFloat, wrapped in aSuccess, given a validFloatvalue, or if the givenFloatis invalid, anAssertionError, wrapped in aFailure.A factory/validation method that produces a PosFiniteFloat, wrapped in aSuccess, given a validFloatvalue, or if the givenFloatis invalid, anAssertionError, wrapped in aFailure.This method will inspect the passed Floatvalue and if it is a finite positiveFloat, it will return aPosFiniteFloatrepresenting that value, wrapped in aSuccess. Otherwise, the passedFloatvalue is not finite positive, so this method will return anAssertionError, wrapped in aFailure.This factory method differs from the applyfactory method in thatapplyis implemented via a macro that inspectsFloatliterals at compile time, whereas this method inspectsFloatvalues at run time.- value
- the - Floatto inspect, and if finite positive, return wrapped in a- Success(PosFiniteFloat).
- returns
- the specified - Floatvalue wrapped in a- Success(PosFiniteFloat), if it is finite positive, else a- Failure(AssertionError).
 
-   final  def wait(): Unit- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
 
-   final  def wait(arg0: Long, arg1: Int): Unit- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
 
-   final  def wait(arg0: Long): Unit- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
 
-   implicit  def widenToDouble(pos: PosFiniteFloat): DoubleImplicit widening conversion from PosFiniteFloattoDouble.Implicit widening conversion from PosFiniteFloattoDouble.- pos
- the - PosFiniteFloatto widen
- returns
- the - Floatvalue underlying the specified- PosFiniteFloat, widened to- Double.
 
-   implicit  def widenToFiniteDouble(pos: PosFiniteFloat): FiniteDoubleImplicit widening conversion from PosFiniteFloattoFiniteDouble.Implicit widening conversion from PosFiniteFloattoFiniteDouble.- pos
- the - PosFiniteFloatto widen
- returns
- the - Floatvalue underlying the specified- PosFiniteFloat, widened to- Doubleand wrapped in a- FiniteDouble.
 
-   implicit  def widenToFiniteFloat(pos: PosFiniteFloat): FiniteFloatImplicit widening conversion from PosFiniteFloattoFiniteFloat.Implicit widening conversion from PosFiniteFloattoFiniteFloat.- pos
- the - PosFiniteFloatto widen
- returns
- the - Floatvalue underlying the specified- PosFiniteFloat, widened to- Floatand wrapped in a- FiniteFloat.
 
-   implicit  def widenToFloat(pos: PosFiniteFloat): FloatImplicit widening conversion from PosFiniteFloattoFloat.Implicit widening conversion from PosFiniteFloattoFloat.- pos
- the - PosFiniteFloatto widen
- returns
- the - Floatvalue underlying the specified- PosFiniteFloat
 
-   implicit  def widenToNonZeroDouble(pos: PosFiniteFloat): NonZeroDoubleImplicit widening conversion from PosFiniteFloattoNonZeroDouble.Implicit widening conversion from PosFiniteFloattoNonZeroDouble.- pos
- the - PosFiniteFloatto widen
- returns
- the - Floatvalue underlying the specified- PosFiniteFloat, widened to- Doubleand wrapped in a- NonZeroDouble.
 
-   implicit  def widenToNonZeroFloat(pos: PosFiniteFloat): NonZeroFloatImplicit widening conversion from PosFiniteFloattoNonZeroFloat.Implicit widening conversion from PosFiniteFloattoNonZeroFloat.- pos
- the - PosFiniteFloatto widen
- returns
- the - Floatvalue underlying the specified- PosFiniteFloat, widened to- Floatand wrapped in a- NonZeroFloat.
 
-   implicit  def widenToPosDouble(pos: PosFiniteFloat): PosDoubleImplicit widening conversion from PosFiniteFloattoPosDouble.Implicit widening conversion from PosFiniteFloattoPosDouble.- pos
- the - PosFiniteFloatto widen
- returns
- the - Floatvalue underlying the specified- PosFiniteFloat, widened to- Doubleand wrapped in a- PosDouble.
 
-   implicit  def widenToPosFiniteDouble(pos: PosFiniteFloat): PosFiniteDoubleImplicit widening conversion from PosFiniteFloattoPosFiniteDouble.Implicit widening conversion from PosFiniteFloattoPosFiniteDouble.- pos
- the - PosFiniteFloatto widen
- returns
- the - Floatvalue underlying the specified- PosFiniteFloat, widened to- Doubleand wrapped in a- PosFiniteDouble.
 
-   implicit  def widenToPosFloat(pos: PosFiniteFloat): PosFloatImplicit widening conversion from PosFiniteFloattoPosFloat.Implicit widening conversion from PosFiniteFloattoPosFloat.- pos
- the - PosFiniteFloatto widen
- returns
- the - Floatvalue underlying the specified- PosFiniteFloat, widened to- Floatand wrapped in a- PosFloat.
 
-   implicit  def widenToPosZDouble(pos: PosFiniteFloat): PosZDoubleImplicit widening conversion from PosFiniteFloattoPosZDouble.Implicit widening conversion from PosFiniteFloattoPosZDouble.- pos
- the - PosFiniteFloatto widen
- returns
- the - Floatvalue underlying the specified- PosFiniteFloat, widened to- Doubleand wrapped in a- PosZDouble.
 
-   implicit  def widenToPosZFiniteDouble(pos: PosFiniteFloat): PosZFiniteDoubleImplicit widening conversion from PosFiniteFloattoPosZFiniteDouble.Implicit widening conversion from PosFiniteFloattoPosZFiniteDouble.- pos
- the - PosFiniteFloatto widen
- returns
- the - Floatvalue underlying the specified- PosFiniteFloat, widened to- Doubleand wrapped in a- PosZFiniteDouble.
 
-   implicit  def widenToPosZFiniteFloat(pos: PosFiniteFloat): PosZFiniteFloatImplicit widening conversion from PosFiniteFloattoPosZFiniteFloat.Implicit widening conversion from PosFiniteFloattoPosZFiniteFloat.- pos
- the - PosFiniteFloatto widen
- returns
- the - Floatvalue underlying the specified- PosFiniteFloat, widened to- Floatand wrapped in a- PosZFiniteFloat.
 
-   implicit  def widenToPosZFloat(pos: PosFiniteFloat): PosZFloatImplicit widening conversion from PosFiniteFloattoPosZFloat.Implicit widening conversion from PosFiniteFloattoPosZFloat.- pos
- the - PosFiniteFloatto widen
- returns
- the - Floatvalue underlying the specified- PosFiniteFloat, widened to- Floatand wrapped in a- PosZFloat.