spire.std
package spire.std
Type members
Classlikes
trait AnyInstances extends BooleanInstances with CharInstances with ByteInstances with ShortInstances with IntInstances with LongInstances with FloatInstances with DoubleInstances with BigIntInstances with BigIntegerInstances with BigDecimalInstances with StringInstances with IterableInstances with ArrayInstances with SeqInstances with MapInstances with ProductInstances with OptionInstances with UnitInstances
@SerialVersionUID(0L)
class ArrayCoordinateSpace[@specialized(Int, Long, Float, Double) A](val dimensions: Int)(implicit evidence$10: ClassTag[A], val scalar: Field[A]) extends CoordinateSpace[Array[A], A] with Serializable
@SerialVersionUID(0L)
class ArrayVectorEq[@specialized(Int, Long, Float, Double) A] extends Eq[Array[A]] with Serializable
@SerialVersionUID(0L)
class ArrayVectorOrder[@specialized(Int, Long, Float, Double) A] extends Order[Array[A]] with Serializable
@SerialVersionUID(0L)
class BigDecimalAlgebra extends BigDecimalIsField with BigDecimalIsNRoot with BigDecimalIsReal with Serializable
@SerialVersionUID(0L)
class BigIntAlgebra extends BigIntIsEuclideanRing with BigIntIsNRoot with BigIntIsMetricSpace with BigIntIsReal with Serializable
@SerialVersionUID(0L)
class BigIntegerAlgebra extends BigIntegerIsEuclideanRing with BigIntegerIsNRoot with BigIntegerIsMetricSpace with BigIntegerIsReal with Serializable
trait BigIntegerIsReal extends IsIntegral[BigInteger] with BigIntegerTruncatedDivision with Serializable
@SerialVersionUID(0L)
class DoubleAlgebra extends DoubleIsField with DoubleIsNRoot with DoubleIsTrig with DoubleIsReal with Serializable
@SerialVersionUID(0L)
class FloatAlgebra extends FloatIsField with FloatIsNRoot with FloatIsTrig with FloatIsReal with Serializable
@SerialVersionUID(0L)
final
class IterableMonoid[A, SA <: IterableOps[A, Iterable, SA]](implicit cbf: Factory[A, SA]) extends Monoid[SA] with Serializable
@SerialVersionUID(0L)
class MapCRng[K, V](implicit val scalar: CommutativeRing[V]) extends MapCSemiring[K, V] with CommutativeRng[Map[K, V]] with CModule[Map[K, V], V] with Serializable
@SerialVersionUID(0L)
class MapCSemiring[K, V](implicit val scalar: CommutativeSemiring[V]) extends CommutativeSemiring[Map[K, V]] with Serializable
@SerialVersionUID(0L)
class MapInnerProductSpace[K, V] extends MapVectorSpace[K, V] with InnerProductSpace[Map[K, V], V] with Serializable
@SerialVersionUID(0L)
class MapMonoid[K, V](implicit val scalar: Semigroup[V]) extends Monoid[Map[K, V]] with Serializable
@SerialVersionUID(0L)
class MapVectorEq[K, V](implicit V: Eq[V], scalar: AdditiveMonoid[V]) extends Eq[Map[K, V]] with Serializable
@SerialVersionUID(0L)
class MapVectorSpace[K, V](implicit val scalar: Field[V]) extends MapCRng[K, V] with VectorSpace[Map[K, V], V] with Serializable
trait ProductInstances extends SemigroupProductInstances with MonoidProductInstances with GroupProductInstances with AbGroupProductInstances with SemiringProductInstances with RngProductInstances with RigProductInstances with RingProductInstances with EqProductInstances with OrderProductInstances
@SerialVersionUID(0L)
class SeqCModule[A, SA <: SeqOps[A, Seq, SA]](implicit val scalar: CommutativeRing[A], cbf: Factory[A, SA]) extends CModule[SA, A] with Serializable
@SerialVersionUID(0L)
class SeqCoordinateSpace[A, SA <: SeqOps[A, Seq, SA]](val dimensions: Int)(implicit evidence$2: Field[A], cbf: Factory[A, SA]) extends SeqInnerProductSpace[A, SA] with CoordinateSpace[SA, A] with Serializable
@SerialVersionUID(0L)
class SeqInnerProductSpace[A, SA <: SeqOps[A, Seq, SA]](implicit evidence$1: Field[A], cbf: Factory[A, SA]) extends SeqVectorSpace[A, SA] with InnerProductSpace[SA, A] with Serializable
@SerialVersionUID(0L)
class SeqLpNormedVectorSpace[A, SA <: SeqOps[A, Seq, SA]](val p: Int)(implicit evidence$3: Field[A], evidence$4: NRoot[A], evidence$5: Signed[A], cbf: Factory[A, SA]) extends SeqVectorSpace[A, SA] with NormedVectorSpace[SA, A] with Serializable
The L_p norm is equal to the p
-th root of the sum of each element to the power p
. For instance, if p = 1
we
have the Manhattan distance. If you'd like the Euclidean norm (p = 2
), then you'd probably be best to use an
RealInnerProductSpace
instead.
The L_p norm is equal to the p
-th root of the sum of each element to the power p
. For instance, if p = 1
we
have the Manhattan distance. If you'd like the Euclidean norm (p = 2
), then you'd probably be best to use an
RealInnerProductSpace
instead.
@SerialVersionUID(0L)
class SeqMaxNormedVectorSpace[A, SA <: SeqOps[A, Seq, SA]](implicit evidence$6: Field[A], evidence$7: Order[A], evidence$8: Signed[A], cbf: Factory[A, SA]) extends SeqVectorSpace[A, SA] with NormedVectorSpace[SA, A] with Serializable
The norm here uses the absolute maximum of the coordinates (ie. the L_inf norm).
The norm here uses the absolute maximum of the coordinates (ie. the L_inf norm).
@SerialVersionUID(0L)
class SeqVectorEq[A, SA <: SeqOps[A, Seq, SA]](implicit evidence$11: Eq[A], scalar: AdditiveMonoid[A]) extends Eq[SA] with Serializable
@SerialVersionUID(0L)
class SeqVectorOrder[A, SA <: SeqOps[A, Seq, SA]](implicit evidence$12: Order[A], scalar: AdditiveMonoid[A]) extends SeqVectorEq[A, SA] with Order[SA] with Serializable
@SerialVersionUID(0L)
class SeqVectorSpace[A, SA <: SeqOps[A, Seq, SA]](implicit val scalar: Field[A], cbf: Factory[A, SA]) extends SeqCModule[A, SA] with VectorSpace[SA, A] with Serializable