coulomb-docs
0.7.3
API
Generated with
coulomb-docs/coulomb.ops.algebra.refined/all/infra/MGR

MGR

coulomb.ops.algebra.refined.all$.infra$.MGR
class MGR[V, P](using alg: MultiplicativeGroup[V], vld: Validate[V, P]) extends MMR[V, P] with MultiplicativeGroup[Refined[V, P]]

Attributes

Source:
all.scala
Graph
Supertypes
class MMR[V, P]
class MSGR[V, P]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

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

Attributes

Source:
all.scala

Inherited methods

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

Tests if a is one.

Tests if a is one.

Attributes

Inherited from:
MultiplicativeMonoid
Source:
Multiplicative.scala
def one: Refined[V, P]

Attributes

Inherited from:
MMR
Source:
all.scala
override def pow(a: Refined[V, P], n: Int): A
def product(as: IterableOnce[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: Refined[V, P]): A

Attributes

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

Attributes

Inherited from:
MSGR
Source:
all.scala
override def tryProduct(as: IterableOnce[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
Generated with