class FloatAlgebra extends Field[Float] with Serializable
Due to the way floating-point equality works, this instance is not lawful under equality, but is correct when taken as an approximation of an exact value.
If you would prefer an absolutely lawful fractional value, you'll need to investigate rational numbers or more exotic types.
- Source
- float.scala
- Alphabetic
- By Inheritance
- FloatAlgebra
- Field
- MultiplicativeCommutativeGroup
- MultiplicativeGroup
- CommutativeRing
- CommutativeRng
- CommutativeRig
- MultiplicativeCommutativeMonoid
- CommutativeSemiring
- MultiplicativeCommutativeSemigroup
- Ring
- Rng
- AdditiveCommutativeGroup
- AdditiveGroup
- Rig
- MultiplicativeMonoid
- Semiring
- MultiplicativeSemigroup
- AdditiveCommutativeMonoid
- AdditiveCommutativeSemigroup
- AdditiveMonoid
- AdditiveSemigroup
- Serializable
- Serializable
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new FloatAlgebra()
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
-
def
additive: CommutativeGroup[Float]
- Definition Classes
- AdditiveCommutativeGroup → AdditiveCommutativeMonoid → AdditiveCommutativeSemigroup → AdditiveGroup → AdditiveMonoid → AdditiveSemigroup
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native() @HotSpotIntrinsicCandidate()
-
def
div(x: Float, y: Float): Float
- Definition Classes
- FloatAlgebra → MultiplicativeGroup
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
fromBigInt(n: BigInt): Float
Convert the given BigInt to an instance of A.
Convert the given BigInt to an instance of A.
This is equivalent to
nrepeated summations of this ring'sone, or-nsummations of-oneifnis negative.Most type class instances should consider overriding this method for performance reasons.
- Definition Classes
- FloatAlgebra → Ring
-
def
fromDouble(x: Double): Float
This is implemented in terms of basic Field ops.
This is implemented in terms of basic Field ops. However, this is probably significantly less efficient than can be done with a specific type. So, it is recommended that this method be overriden.
This is possible because a Double is a rational number.
- Definition Classes
- FloatAlgebra → Field
-
def
fromInt(x: Int): Float
Convert the given integer to an instance of A.
Convert the given integer to an instance of A.
Defined to be equivalent to
sumN(one, n).That is,
nrepeated summations of this ring'sone, or-nsummations of-oneifnis negative.Most type class instances should consider overriding this method for performance reasons.
- Definition Classes
- FloatAlgebra → Ring
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
isOne(a: Float)(implicit ev: Eq[Float]): Boolean
Tests if
ais one.Tests if
ais one.- Definition Classes
- MultiplicativeMonoid
-
def
isZero(a: Float)(implicit ev: Eq[Float]): Boolean
Tests if
ais zero.Tests if
ais zero.- Definition Classes
- AdditiveMonoid
-
def
minus(x: Float, y: Float): Float
- Definition Classes
- FloatAlgebra → AdditiveGroup
- def multiplicative: CommutativeGroup[Float]
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
negate(x: Float): Float
- Definition Classes
- FloatAlgebra → AdditiveGroup
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
-
def
one: Float
- Definition Classes
- FloatAlgebra → MultiplicativeMonoid
-
def
plus(x: Float, y: Float): Float
- Definition Classes
- FloatAlgebra → AdditiveSemigroup
-
def
positivePow(a: Float, n: Int): Float
- Attributes
- protected[this]
- Definition Classes
- MultiplicativeSemigroup
-
def
positiveSumN(a: Float, n: Int): Float
- Attributes
- protected[this]
- Definition Classes
- AdditiveSemigroup
-
def
pow(x: Float, y: Int): Float
- Definition Classes
- FloatAlgebra → MultiplicativeGroup → MultiplicativeMonoid → MultiplicativeSemigroup
-
def
product(as: TraversableOnce[Float]): Float
Given a sequence of
as, compute the product.Given a sequence of
as, compute the product.- Definition Classes
- MultiplicativeMonoid
-
def
reciprocal(x: Float): Float
- Definition Classes
- FloatAlgebra → MultiplicativeGroup
-
def
sum(as: TraversableOnce[Float]): Float
Given a sequence of
as, compute the sum.Given a sequence of
as, compute the sum.- Definition Classes
- AdditiveMonoid
-
def
sumN(a: Float, n: Int): Float
- Definition Classes
- AdditiveGroup → AdditiveMonoid → AdditiveSemigroup
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
times(x: Float, y: Float): Float
- Definition Classes
- FloatAlgebra → MultiplicativeSemigroup
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
def
tryProduct(as: TraversableOnce[Float]): Option[Float]
Given a sequence of
as, combine them and return the total.Given a sequence of
as, combine them and return the total.If the sequence is empty, returns None. Otherwise, returns Some(total).
- Definition Classes
- MultiplicativeMonoid → MultiplicativeSemigroup
-
def
trySum(as: TraversableOnce[Float]): Option[Float]
Given a sequence of
as, combine them and return the total.Given a sequence of
as, combine them and return the total.If the sequence is empty, returns None. Otherwise, returns Some(total).
- Definition Classes
- AdditiveMonoid → AdditiveSemigroup
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
def
zero: Float
- Definition Classes
- FloatAlgebra → AdditiveMonoid