MGRE

coulomb.ops.algebra.refined.all.infra.MGRE
class MGRE[V, P](using alg: MultiplicativeGroup[Refined[V, P]]) extends MMRE[V, P], MultiplicativeGroup[Either[String, Refined[V, P]]]

Attributes

Source
all.scala
Graph
Supertypes
trait MultiplicativeGroup[Either[String, Refined[V, P]]]
class MMRE[V, P]
trait MultiplicativeMonoid[Either[String, Refined[V, P]]]
class MSGRE[V, P]
trait MultiplicativeSemigroup[Either[String, Refined[V, P]]]
trait Serializable
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def div(x: Either[String, Refined[V, P]], y: Either[String, Refined[V, P]]): Either[String, Refined[V, P]]

Attributes

Source
all.scala

Inherited methods

def isOne(a: Either[String, Refined[V, P]])(implicit ev: Eq[Either[String, Refined[V, P]]]): Boolean

Tests if a is one.

Tests if a is one.

Attributes

Inherited from:
MultiplicativeMonoid
Source
Multiplicative.scala
override def multiplicative: Group[A]
def one: Either[String, Refined[V, P]]

Attributes

Inherited from:
MMRE
Source
all.scala
override def pow(a: Either[String, Refined[V, P]], n: Int): A
def product(as: IterableOnce[Either[String, Refined[V, P]]]): A

Given a sequence of as, compute the product.

Given a sequence of as, compute the product.

Attributes

Inherited from:
MultiplicativeMonoid
Source
Multiplicative.scala
def reciprocal(x: Either[String, Refined[V, P]]): A

Attributes

Inherited from:
MultiplicativeGroup
Source
Multiplicative.scala
def times(x: Either[String, Refined[V, P]], y: Either[String, Refined[V, P]]): Either[String, Refined[V, P]]

Attributes

Inherited from:
MSGRE
Source
all.scala
override def tryProduct(as: IterableOnce[Either[String, Refined[V, P]]]): Option[A]

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).

Attributes

Definition Classes
Inherited from:
MultiplicativeMonoid
Source
Multiplicative.scala