given_NormedAdditiveMonoid_String_Int

com.alecdorrington.scalgebra.evidence.collection.StringIsNormedAdditiveMonoid.given_NormedAdditiveMonoid_String_Int

Attributes

Graph
Supertypes
trait NormedAdditiveMonoid[String, Int]
trait NormedAdditiveIdentity[String, Int]
trait NormedAdditiveSemigroup[String, Int]
trait Normed[String, Int]
trait AdditiveMonoid[String]
trait AdditiveIdentity[String]
trait AdditiveSemigroup[String]
trait Root[String]
class Object
trait Matchable
class Any
Show all
Self type

Members list

Value members

Concrete methods

inline override def add(x: String, y: String): String

Computes the sum of two values x and y, i.e. x + y.

Computes the sum of two values x and y, i.e. x + y.

Attributes

Note

All implementations must be associative, i.e. (x + y) + z == x + (y + z).

Definition Classes
inline override def norm(x: String): Int

Computes the length (norm) of x.

Computes the length (norm) of x.

Attributes

Definition Classes
override def zero: String

The unique representation of the additive identity (0) in this algebra system. Typically corresponds to values such as 0, 0.0F, or Seq.empty.

The unique representation of the additive identity (0) in this algebra system. Typically corresponds to values such as 0, 0.0F, or Seq.empty.

Attributes

Note

All implementations must obey the identity property, i.e. x + zero == zero + x == x.

Definition Classes

Inherited methods

inline def isZero(x: String): Boolean

Attributes

Returns

true if x equals zero.

Inherited from:
AdditiveIdentity
override def scale(x: String, n: Int): String

Computes x multiplied by n, for any non-negative n.

Computes x multiplied by n, for any non-negative n.

Attributes

Throws
IllegalArgumentException

if n < 0.

Definition Classes
Inherited from:
AdditiveMonoid
final inline def sum(x: String, xs: String*): String

Computes the sum of x and all values in xs, i.e. x + xs₁ + xs₂ + ….

Computes the sum of x and all values in xs, i.e. x + xs₁ + xs₂ + ….

Attributes

Inherited from:
AdditiveSemigroup
final inline def sum(xs: Iterable[String]): String

Computes the sum of all values in xs, i.e. xs₁ + xs₂ + …, or else zero if xs is empty.

Computes the sum of all values in xs, i.e. xs₁ + xs₂ + …, or else zero if xs is empty.

Attributes

Inherited from:
AdditiveMonoid
final def sumOption(xs: Iterable[String]): Option[String]

Computes the sum of all values in xs, i.e. xs₁ + xs₂ + …, or else None if xs is empty.

Computes the sum of all values in xs, i.e. xs₁ + xs₂ + …, or else None if xs is empty.

Attributes

Inherited from:
AdditiveSemigroup

Extensions

Inherited extensions

extension (x: String)
inline def length: Int

Computes the length (norm) of x.

Computes the length (norm) of x.

Attributes

Inherited from:
Normed
extension (x: String)
inline def isZero: Boolean

Attributes

Returns

true if x equals zero.

Inherited from:
AdditiveIdentity
extension (x: String)
infix inline def *:(n: Int): String

Alias of scale, with the factor on the left.

Alias of scale, with the factor on the left.

Attributes

Inherited from:
AdditiveSemigroup
infix inline def +(y: String): String

Computes the sum of two values x and y, i.e. x + y.

Computes the sum of two values x and y, i.e. x + y.

Attributes

Inherited from:
AdditiveSemigroup
infix inline def :*(n: Int): String

Alias of scale, with the factor on the right.

Alias of scale, with the factor on the right.

Attributes

Inherited from:
AdditiveSemigroup