object PosFiniteFloat
The companion object for PosFiniteFloat
that offers
factory methods that produce PosFiniteFloat
s,
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
PosFiniteFloat
if passed a validFloat
literal, otherwise a compile time error.A factory method, implemented via a macro, that produces a
PosFiniteFloat
if passed a validFloat
literal, otherwise a compile time error.The macro that implements this method will inspect the specified
Float
expression at compile time. If the expression is a finite positiveFloat
literal, it will return aPosFiniteFloat
representing that value. Otherwise, the passedFloat
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 inspectsFloat
literals at compile time, whereasfrom
inspectsFloat
values at run time.- value
the
Float
literal expression to inspect at compile time, and if finite positive, to return wrapped in aPosFiniteFloat
at run time.- returns
the specified, valid
Float
literal value wrapped in aPosFiniteFloat
. (If the specified expression is not a validFloat
literal, 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
PosFiniteFloat
given a validFloat
value, or throwsAssertionError
, if given an invalidFloat
value.A factory/assertion method that produces a
PosFiniteFloat
given a validFloat
value, or throwsAssertionError
, if given an invalidFloat
value.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
, orrightOrElse
.This method will inspect the passed
Float
value and if it is a finite positiveFloat
, it will return aPosFiniteFloat
representing that value. Otherwise, the passedFloat
value is not finite positive, so this method will throwAssertionError
.This factory method differs from the
apply
factory method in thatapply
is implemented via a macro that inspectsFloat
literals at compile time, whereasfrom
inspectsFloat
values at run time. It differs from a vanillaassert
orensuring
call in that you get something you didn't already have if the assertion succeeds: a type that promises aFloat
is positive.- value
the
Float
to inspect, and if finite positive, return wrapped in aPosFiniteFloat
.- returns
the specified
Float
value wrapped in aPosFiniteFloat
, if it is finite positive, else throwsAssertionError
.
- Exceptions thrown
AssertionError
if 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 aFloat
value.A factory method that produces an
Option[PosFiniteFloat]
given aFloat
value.This method will inspect the passed
Float
value and if it is a finite positiveFloat
, it will return aPosFiniteFloat
representing that value wrapped in aSome
. Otherwise, the passedFloat
value is not finite positive, so this method will returnNone
.This factory method differs from the
apply
factory method in thatapply
is implemented via a macro that inspectsFloat
literals at compile time, whereasfrom
inspectsFloat
values at run time.- value
the
Float
to inspect, and if finite positive, return wrapped in aSome[PosFiniteFloat]
.- returns
the specified
Float
value wrapped in aSome[PosFiniteFloat]
, if it is finite positive, elseNone
.
- def fromOrElse(value: Float, default: => PosFiniteFloat): PosFiniteFloat
A factory method that produces a
PosFiniteFloat
given aFloat
value and a defaultPosFiniteFloat
.A factory method that produces a
PosFiniteFloat
given aFloat
value and a defaultPosFiniteFloat
.This method will inspect the passed
Float
value and if it is a finite positiveFloat
, it will return aPosFiniteFloat
representing that value. Otherwise, the passedFloat
value is not finite positive, so this method will return the passeddefault
value.This factory method differs from the
apply
factory method in thatapply
is implemented via a macro that inspectsFloat
literals at compile time, whereasfrom
inspectsFloat
values at run time.- value
the
Float
to inspect, and if finite positive, return.- default
the
PosFiniteFloat
to return if the passedFloat
value is not finite positive.- returns
the specified
Float
value wrapped in aPosFiniteFloat
, if it is finite positive, else thedefault
PosFiniteFloat
value.
- 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 validFloat
value, or if the givenFloat
is invalid, an error value of typeB
produced by passing the given invalidFloat
value to the given functionf
, wrapped in aBad
.A factory/validation method that produces a
PosFiniteFloat
, wrapped in aGood
, given a validFloat
value, or if the givenFloat
is invalid, an error value of typeB
produced by passing the given invalidFloat
value to the given functionf
, wrapped in aBad
.This method will inspect the passed
Float
value and if it is a finite positiveFloat
, it will return aPosFiniteFloat
representing that value, wrapped in aGood
. Otherwise, the passedFloat
value is not finite positive, so this method will return a result of typeB
obtained by passing the invalidFloat
value to the given functionf
, wrapped in aBad
.This factory method differs from the
apply
factory method in thatapply
is implemented via a macro that inspectsFloat
literals at compile time, whereas this method inspectsFloat
values at run time.- value
the
Float
to inspect, and if finite positive, return wrapped in aGood(PosFiniteFloat)
.- returns
the specified
Float
value 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
Float
value is finite positive.A predicate method that returns true if a given
Float
value is finite positive.- value
the
Float
to inspect, and if finite positive, return true.- returns
true if the specified
Float
is 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
Pass
given a validFloat
value, or an error value of typeE
produced by passing the given invalidInt
value to the given functionf
, wrapped in aFail
.A validation method that produces a
Pass
given a validFloat
value, or an error value of typeE
produced by passing the given invalidInt
value to the given functionf
, wrapped in aFail
.This method will inspect the passed
Float
value and if it is a finite positiveFloat
, it will return aPass
. Otherwise, the passedFloat
value is finite positive, so this method will return a result of typeE
obtained by passing the invalidFloat
value to the given functionf
, wrapped in aFail
.This factory method differs from the
apply
factory method in thatapply
is implemented via a macro that inspectsFloat
literals at compile time, whereas this method inspectsFloat
values at run time.- value
the
Float
to validate that it is finite positive.- returns
a
Pass
if the specifiedFloat
value is finite positive, else aFail
containing an error value produced by passing the specifiedFloat
to 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 validInt
value, or if the givenInt
is invalid, an error value of typeL
produced by passing the given invalidInt
value to the given functionf
, wrapped in aLeft
.A factory/validation method that produces a
PosFiniteFloat
, wrapped in aRight
, given a validInt
value, or if the givenInt
is invalid, an error value of typeL
produced by passing the given invalidInt
value to the given functionf
, wrapped in aLeft
.This method will inspect the passed
Int
value and if it is a finite positiveInt
, it will return aPosFiniteFloat
representing that value, wrapped in aRight
. Otherwise, the passedInt
value is not finite positive, so this method will return a result of typeL
obtained by passing the invalidInt
value to the given functionf
, wrapped in aLeft
.This factory method differs from the
apply
factory method in thatapply
is implemented via a macro that inspectsInt
literals at compile time, whereas this method inspectsInt
values at run time.- value
the
Int
to inspect, and if finite positive, return wrapped in aRight(PosFiniteFloat)
.- returns
the specified
Int
value 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 validFloat
value, or if the givenFloat
is invalid, anAssertionError
, wrapped in aFailure
.A factory/validation method that produces a
PosFiniteFloat
, wrapped in aSuccess
, given a validFloat
value, or if the givenFloat
is invalid, anAssertionError
, wrapped in aFailure
.This method will inspect the passed
Float
value and if it is a finite positiveFloat
, it will return aPosFiniteFloat
representing that value, wrapped in aSuccess
. Otherwise, the passedFloat
value is not finite positive, so this method will return anAssertionError
, wrapped in aFailure
.This factory method differs from the
apply
factory method in thatapply
is implemented via a macro that inspectsFloat
literals at compile time, whereas this method inspectsFloat
values at run time.- value
the
Float
to inspect, and if finite positive, return wrapped in aSuccess(PosFiniteFloat)
.- returns
the specified
Float
value 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
PosFiniteFloat
toDouble
.Implicit widening conversion from
PosFiniteFloat
toDouble
.- pos
the
PosFiniteFloat
to widen- returns
the
Float
value underlying the specifiedPosFiniteFloat
, widened toDouble
.
- implicit def widenToFiniteDouble(pos: PosFiniteFloat): FiniteDouble
Implicit widening conversion from
PosFiniteFloat
toFiniteDouble
.Implicit widening conversion from
PosFiniteFloat
toFiniteDouble
.- pos
the
PosFiniteFloat
to widen- returns
the
Float
value underlying the specifiedPosFiniteFloat
, widened toDouble
and wrapped in aFiniteDouble
.
- implicit def widenToFiniteFloat(pos: PosFiniteFloat): FiniteFloat
Implicit widening conversion from
PosFiniteFloat
toFiniteFloat
.Implicit widening conversion from
PosFiniteFloat
toFiniteFloat
.- pos
the
PosFiniteFloat
to widen- returns
the
Float
value underlying the specifiedPosFiniteFloat
, widened toFloat
and wrapped in aFiniteFloat
.
- implicit def widenToFloat(pos: PosFiniteFloat): Float
Implicit widening conversion from
PosFiniteFloat
toFloat
.Implicit widening conversion from
PosFiniteFloat
toFloat
.- pos
the
PosFiniteFloat
to widen- returns
the
Float
value underlying the specifiedPosFiniteFloat
- implicit def widenToNonZeroDouble(pos: PosFiniteFloat): NonZeroDouble
Implicit widening conversion from
PosFiniteFloat
toNonZeroDouble
.Implicit widening conversion from
PosFiniteFloat
toNonZeroDouble
.- pos
the
PosFiniteFloat
to widen- returns
the
Float
value underlying the specifiedPosFiniteFloat
, widened toDouble
and wrapped in aNonZeroDouble
.
- implicit def widenToNonZeroFloat(pos: PosFiniteFloat): NonZeroFloat
Implicit widening conversion from
PosFiniteFloat
toNonZeroFloat
.Implicit widening conversion from
PosFiniteFloat
toNonZeroFloat
.- pos
the
PosFiniteFloat
to widen- returns
the
Float
value underlying the specifiedPosFiniteFloat
, widened toFloat
and wrapped in aNonZeroFloat
.
- implicit def widenToPosDouble(pos: PosFiniteFloat): PosDouble
Implicit widening conversion from
PosFiniteFloat
toPosDouble
.Implicit widening conversion from
PosFiniteFloat
toPosDouble
.- pos
the
PosFiniteFloat
to widen- returns
the
Float
value underlying the specifiedPosFiniteFloat
, widened toDouble
and wrapped in aPosDouble
.
- implicit def widenToPosFiniteDouble(pos: PosFiniteFloat): PosFiniteDouble
Implicit widening conversion from
PosFiniteFloat
toPosFiniteDouble
.Implicit widening conversion from
PosFiniteFloat
toPosFiniteDouble
.- pos
the
PosFiniteFloat
to widen- returns
the
Float
value underlying the specifiedPosFiniteFloat
, widened toDouble
and wrapped in aPosFiniteDouble
.
- implicit def widenToPosFloat(pos: PosFiniteFloat): PosFloat
Implicit widening conversion from
PosFiniteFloat
toPosFloat
.Implicit widening conversion from
PosFiniteFloat
toPosFloat
.- pos
the
PosFiniteFloat
to widen- returns
the
Float
value underlying the specifiedPosFiniteFloat
, widened toFloat
and wrapped in aPosFloat
.
- implicit def widenToPosZDouble(pos: PosFiniteFloat): PosZDouble
Implicit widening conversion from
PosFiniteFloat
toPosZDouble
.Implicit widening conversion from
PosFiniteFloat
toPosZDouble
.- pos
the
PosFiniteFloat
to widen- returns
the
Float
value underlying the specifiedPosFiniteFloat
, widened toDouble
and wrapped in aPosZDouble
.
- implicit def widenToPosZFiniteDouble(pos: PosFiniteFloat): PosZFiniteDouble
Implicit widening conversion from
PosFiniteFloat
toPosZFiniteDouble
.Implicit widening conversion from
PosFiniteFloat
toPosZFiniteDouble
.- pos
the
PosFiniteFloat
to widen- returns
the
Float
value underlying the specifiedPosFiniteFloat
, widened toDouble
and wrapped in aPosZFiniteDouble
.
- implicit def widenToPosZFiniteFloat(pos: PosFiniteFloat): PosZFiniteFloat
Implicit widening conversion from
PosFiniteFloat
toPosZFiniteFloat
.Implicit widening conversion from
PosFiniteFloat
toPosZFiniteFloat
.- pos
the
PosFiniteFloat
to widen- returns
the
Float
value underlying the specifiedPosFiniteFloat
, widened toFloat
and wrapped in aPosZFiniteFloat
.
- implicit def widenToPosZFloat(pos: PosFiniteFloat): PosZFloat
Implicit widening conversion from
PosFiniteFloat
toPosZFloat
.Implicit widening conversion from
PosFiniteFloat
toPosZFloat
.- pos
the
PosFiniteFloat
to widen- returns
the
Float
value underlying the specifiedPosFiniteFloat
, widened toFloat
and wrapped in aPosZFloat
.