coulomb-refined
0.8.0
API
Generated with
coulomb-refined/coulomb/coulomb.ops/coulomb.ops.algebra.refined/all/infra/ASGR

ASGR

coulomb.ops.algebra.refined.all.infra.ASGR
class ASGR[V, P](using alg: AdditiveSemigroup[V], vld: Validate[V, P]) extends AdditiveSemigroup[Refined[V, P]]

Attributes

Source
all.scala
Graph
Supertypes
trait AdditiveSemigroup[Refined[V, P]]
trait Serializable
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

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

Attributes

Source
all.scala

Inherited methods

def additive: Semigroup[A]

Attributes

Inherited from:
AdditiveSemigroup
Source
Additive.scala
def sumN(a: Refined[V, P], n: Int): A

Attributes

Inherited from:
AdditiveSemigroup
Source
Additive.scala
def trySum(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

Inherited from:
AdditiveSemigroup
Source
Additive.scala
Generated with