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

infra

coulomb.ops.algebra.refined.all.infra
object infra

Attributes

Source
all.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
infra.type

Members list

Type members

Classlikes

class ASGR[V, P](using alg: AdditiveSemigroup[V], vld: Validate[V, P]) extends AdditiveSemigroup[Refined[V, P]]

Attributes

Source
all.scala
Supertypes
trait AdditiveSemigroup[Refined[V, P]]
trait Serializable
class Object
trait Matchable
class Any
class ASGRE[V, P](using alg: AdditiveSemigroup[Refined[V, P]]) extends AdditiveSemigroup[Either[String, Refined[V, P]]]

Attributes

Source
all.scala
Supertypes
trait AdditiveSemigroup[Either[String, Refined[V, P]]]
trait Serializable
class Object
trait Matchable
class Any
class FPR[V, P](using alg: FractionalPower[V], vld: Validate[V, P]) extends FractionalPower[Refined[V, P]]

Attributes

Source
all.scala
Supertypes
class FractionalPower[Refined[V, P]]
class Object
trait Matchable
class Any
class FPRE[V, P](using alg: FractionalPower[Refined[V, P]]) extends FractionalPower[Either[String, Refined[V, P]]]

Attributes

Source
all.scala
Supertypes
class FractionalPower[Either[String, Refined[V, P]]]
class Object
trait Matchable
class Any
class MGR[V, P](using alg: MultiplicativeGroup[V], vld: Validate[V, P]) extends MMR[V, P], MultiplicativeGroup[Refined[V, P]]

Attributes

Source
all.scala
Supertypes
class MMR[V, P]
class MSGR[V, P]
trait Serializable
class Object
trait Matchable
class Any
Show all
class MGRE[V, P](using alg: MultiplicativeGroup[Refined[V, P]]) extends MMRE[V, P], MultiplicativeGroup[Either[String, Refined[V, P]]]

Attributes

Source
all.scala
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
class MMR[V, P](using alg: MultiplicativeMonoid[V], vld: Validate[V, P]) extends MSGR[V, P], MultiplicativeMonoid[Refined[V, P]]

Attributes

Source
all.scala
Supertypes
class MSGR[V, P]
trait Serializable
class Object
trait Matchable
class Any
Show all
Known subtypes
class MGR[V, P]
class MMRE[V, P](using alg: MultiplicativeMonoid[Refined[V, P]]) extends MSGRE[V, P], MultiplicativeMonoid[Either[String, Refined[V, P]]]

Attributes

Source
all.scala
Supertypes
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
Known subtypes
class MGRE[V, P]
class MSGR[V, P](using alg: MultiplicativeSemigroup[V], vld: Validate[V, P]) extends MultiplicativeSemigroup[Refined[V, P]]

Attributes

Source
all.scala
Supertypes
trait Serializable
class Object
trait Matchable
class Any
Known subtypes
class MMR[V, P]
class MGR[V, P]
class MSGRE[V, P](using alg: MultiplicativeSemigroup[Refined[V, P]]) extends MultiplicativeSemigroup[Either[String, Refined[V, P]]]

Attributes

Source
all.scala
Supertypes
trait MultiplicativeSemigroup[Either[String, Refined[V, P]]]
trait Serializable
class Object
trait Matchable
class Any
Known subtypes
class MMRE[V, P]
class MGRE[V, P]
Generated with