cats-docs/cats/InvariantMonoidal

InvariantMonoidal

object InvariantMonoidal
Companion:
class
class Object
trait Matchable
class Any

Type members

Classlikes

trait AllOps[F[_], A] extends Ops[F, A] with AllOps[F, A]
trait Ops[F[_], A] extends Serializable
trait ToInvariantMonoidalOps extends Serializable

Deprecated classlikes

@deprecated("Use cats.syntax object imports", "2.2.0")
object nonInheritedOps extends ToInvariantMonoidalOps
Deprecated
@deprecated("Use cats.syntax object imports", "2.2.0")
object ops
Deprecated

Value members

Concrete methods

def apply[F[_]](implicit instance: InvariantMonoidal[F]): InvariantMonoidal[F]

Summon an instance of InvariantMonoidal for F.

Summon an instance of InvariantMonoidal for F.

def monoid[F[_], A](implicit F: InvariantMonoidal[F], A: Monoid[A]): Monoid[F[A]]

Gives a Monoid instance if A itself has a Monoid instance.

Gives a Monoid instance if A itself has a Monoid instance.