MultiplicativeMonoidFunctions
trait MultiplicativeMonoidFunctions[M <: ([T] =>> MultiplicativeMonoid[T])] extends MultiplicativeSemigroupFunctions[M]
object CommutativeRig
trait MultiplicativeGroupFunctions[G]
trait FieldFunctions[F]
object Field
object MultiplicativeGroup
object MultiplicativeMonoid
object Rig
trait RingFunctions[R]
object BoolRing
object CommutativeRing
object Ring