infra
coulomb.ops.algebra.refined.all$.infra$
object infra
Members list
Concise view
Type members
Classlikes
class ASGR[V, P](using alg: AdditiveSemigroup[V], vld: Validate[V, P]) extends AdditiveSemigroup[Refined[V, P]]
Attributes
- Source:
- all.scala
- Graph
- Supertypes
class ASGRE[V, P](using alg: AdditiveSemigroup[Refined[V, P]]) extends AdditiveSemigroup[Either[String, Refined[V, P]]]
Attributes
- Source:
- all.scala
- Graph
- Supertypes
class FPR[V, P](using alg: FractionalPower[V], vld: Validate[V, P]) extends FractionalPower[Refined[V, P]]
Attributes
- Source:
- all.scala
- Graph
- Supertypes
class FPRE[V, P](using alg: FractionalPower[Refined[V, P]]) extends FractionalPower[Either[String, Refined[V, P]]]
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 MGRE[V, P](using alg: MultiplicativeGroup[Refined[V, P]]) extends MMRE[V, P] with MultiplicativeGroup[Either[String, Refined[V, P]]]
Attributes
- Source:
- all.scala
- Graph
- Supertypes
class MMR[V, P](using alg: MultiplicativeMonoid[V], vld: Validate[V, P]) extends MSGR[V, P] with MultiplicativeMonoid[Refined[V, P]]
Attributes
- Source:
- all.scala
- Graph
- Supertypes
- Known subtypes
class MMRE[V, P](using alg: MultiplicativeMonoid[Refined[V, P]]) extends MSGRE[V, P] with MultiplicativeMonoid[Either[String, Refined[V, P]]]
Attributes
- Source:
- all.scala
- Graph
- Supertypes
- Known subtypes
class MSGR[V, P](using alg: MultiplicativeSemigroup[V], vld: Validate[V, P]) extends MultiplicativeSemigroup[Refined[V, P]]
Attributes
- Source:
- all.scala
- Graph
- Supertypes
- Known subtypes
class MSGRE[V, P](using alg: MultiplicativeSemigroup[Refined[V, P]]) extends MultiplicativeSemigroup[Either[String, Refined[V, P]]]
Attributes
- Source:
- all.scala
- Graph
- Supertypes
- Known subtypes