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: PosFiniteFloat
The largest value representable as a finite positive
Float, which isPosFiniteFloat(3.4028235E38). - final val MinPositiveValue: PosFloat
The smallest positive value greater than 0.0d representable as a
PosFloat, which is PosFloat(1.4E-45). - final val MinValue: PosFiniteFloat
The smallest value representable as a finite positive
Float, which isPosFiniteFloat(1.4E-45). - implicit macro def apply(value: Float): PosFiniteFloat
A 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 aPosFiniteFloatat run time.- returns
the specified, valid
Floatliteral value wrapped in aPosFiniteFloat. (If the specified expression is not a validFloatliteral, 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): PosFiniteFloat
A 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 aPosFiniteFloat.- returns
the specified
Floatvalue wrapped in aPosFiniteFloat, if it is finite positive, else throwsAssertionError.
- 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 aSome[PosFiniteFloat].- returns
the specified
Floatvalue wrapped in aSome[PosFiniteFloat], if it is finite positive, elseNone.
- def fromOrElse(value: Float, default: => PosFiniteFloat): PosFiniteFloat
A 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 passedFloatvalue is not finite positive.- returns
the specified
Floatvalue wrapped in aPosFiniteFloat, if it is finite positive, else thedefaultPosFiniteFloatvalue.
- 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 aGood(PosFiniteFloat).- returns
the specified
Floatvalue wrapped in aGood(PosFiniteFloat), if it is finite positive, else aBad(f(value)).
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isValid(value: Float): Boolean
A 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 specifiedFloatvalue is finite positive, else aFailcontaining an error value produced by passing the specifiedFloatto the given functionf.
- 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 aRight(PosFiniteFloat).- returns
the specified
Intvalue wrapped in aRight(PosFiniteFloat), if it is finite positive, else aLeft(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 aSuccess(PosFiniteFloat).- returns
the specified
Floatvalue wrapped in aSuccess(PosFiniteFloat), if it is finite positive, else aFailure(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): Double
Implicit widening conversion from
PosFiniteFloattoDouble.Implicit widening conversion from
PosFiniteFloattoDouble.- pos
the
PosFiniteFloatto widen- returns
the
Floatvalue underlying the specifiedPosFiniteFloat, widened toDouble.
- implicit def widenToFiniteDouble(pos: PosFiniteFloat): FiniteDouble
Implicit widening conversion from
PosFiniteFloattoFiniteDouble.Implicit widening conversion from
PosFiniteFloattoFiniteDouble.- pos
the
PosFiniteFloatto widen- returns
the
Floatvalue underlying the specifiedPosFiniteFloat, widened toDoubleand wrapped in aFiniteDouble.
- implicit def widenToFiniteFloat(pos: PosFiniteFloat): FiniteFloat
Implicit widening conversion from
PosFiniteFloattoFiniteFloat.Implicit widening conversion from
PosFiniteFloattoFiniteFloat.- pos
the
PosFiniteFloatto widen- returns
the
Floatvalue underlying the specifiedPosFiniteFloat, widened toFloatand wrapped in aFiniteFloat.
- implicit def widenToFloat(pos: PosFiniteFloat): Float
Implicit widening conversion from
PosFiniteFloattoFloat.Implicit widening conversion from
PosFiniteFloattoFloat.- pos
the
PosFiniteFloatto widen- returns
the
Floatvalue underlying the specifiedPosFiniteFloat
- implicit def widenToNonZeroDouble(pos: PosFiniteFloat): NonZeroDouble
Implicit widening conversion from
PosFiniteFloattoNonZeroDouble.Implicit widening conversion from
PosFiniteFloattoNonZeroDouble.- pos
the
PosFiniteFloatto widen- returns
the
Floatvalue underlying the specifiedPosFiniteFloat, widened toDoubleand wrapped in aNonZeroDouble.
- implicit def widenToNonZeroFloat(pos: PosFiniteFloat): NonZeroFloat
Implicit widening conversion from
PosFiniteFloattoNonZeroFloat.Implicit widening conversion from
PosFiniteFloattoNonZeroFloat.- pos
the
PosFiniteFloatto widen- returns
the
Floatvalue underlying the specifiedPosFiniteFloat, widened toFloatand wrapped in aNonZeroFloat.
- implicit def widenToPosDouble(pos: PosFiniteFloat): PosDouble
Implicit widening conversion from
PosFiniteFloattoPosDouble.Implicit widening conversion from
PosFiniteFloattoPosDouble.- pos
the
PosFiniteFloatto widen- returns
the
Floatvalue underlying the specifiedPosFiniteFloat, widened toDoubleand wrapped in aPosDouble.
- implicit def widenToPosFiniteDouble(pos: PosFiniteFloat): PosFiniteDouble
Implicit widening conversion from
PosFiniteFloattoPosFiniteDouble.Implicit widening conversion from
PosFiniteFloattoPosFiniteDouble.- pos
the
PosFiniteFloatto widen- returns
the
Floatvalue underlying the specifiedPosFiniteFloat, widened toDoubleand wrapped in aPosFiniteDouble.
- implicit def widenToPosFloat(pos: PosFiniteFloat): PosFloat
Implicit widening conversion from
PosFiniteFloattoPosFloat.Implicit widening conversion from
PosFiniteFloattoPosFloat.- pos
the
PosFiniteFloatto widen- returns
the
Floatvalue underlying the specifiedPosFiniteFloat, widened toFloatand wrapped in aPosFloat.
- implicit def widenToPosZDouble(pos: PosFiniteFloat): PosZDouble
Implicit widening conversion from
PosFiniteFloattoPosZDouble.Implicit widening conversion from
PosFiniteFloattoPosZDouble.- pos
the
PosFiniteFloatto widen- returns
the
Floatvalue underlying the specifiedPosFiniteFloat, widened toDoubleand wrapped in aPosZDouble.
- implicit def widenToPosZFiniteDouble(pos: PosFiniteFloat): PosZFiniteDouble
Implicit widening conversion from
PosFiniteFloattoPosZFiniteDouble.Implicit widening conversion from
PosFiniteFloattoPosZFiniteDouble.- pos
the
PosFiniteFloatto widen- returns
the
Floatvalue underlying the specifiedPosFiniteFloat, widened toDoubleand wrapped in aPosZFiniteDouble.
- implicit def widenToPosZFiniteFloat(pos: PosFiniteFloat): PosZFiniteFloat
Implicit widening conversion from
PosFiniteFloattoPosZFiniteFloat.Implicit widening conversion from
PosFiniteFloattoPosZFiniteFloat.- pos
the
PosFiniteFloatto widen- returns
the
Floatvalue underlying the specifiedPosFiniteFloat, widened toFloatand wrapped in aPosZFiniteFloat.
- implicit def widenToPosZFloat(pos: PosFiniteFloat): PosZFloat
Implicit widening conversion from
PosFiniteFloattoPosZFloat.Implicit widening conversion from
PosFiniteFloattoPosZFloat.- pos
the
PosFiniteFloatto widen- returns
the
Floatvalue underlying the specifiedPosFiniteFloat, widened toFloatand wrapped in aPosZFloat.