InvariantMonoidal

cats.InvariantMonoidal$
See theInvariantMonoidal companion trait

Attributes

Companion:
trait
Source:
InvariantMonoidal.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Type members

Classlikes

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

Attributes

Source:
InvariantMonoidal.scala
Graph
Supertypes
trait AllOps[F, A]
trait AllOps[F, A]
trait Ops[F, A]
trait AllOps[F, A]
trait Ops[F, A]
trait Ops[F, A]
trait Ops[F, A]
class Object
trait Matchable
class Any
Known subtypes
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait Ops[F[_], A] extends Serializable

Attributes

Source:
InvariantMonoidal.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]
trait AllOps[F, A]

Attributes

Source:
InvariantMonoidal.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object nonInheritedOps.type

Deprecated classlikes

Attributes

Deprecated
true
Source:
InvariantMonoidal.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
object ops

Attributes

Deprecated
true
Source:
InvariantMonoidal.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
ops.type

Value members

Concrete methods

Summon an instance of InvariantMonoidal for F.

Summon an instance of InvariantMonoidal for F.

Attributes

Source:
InvariantMonoidal.scala
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.

Attributes

Source:
InvariantMonoidal.scala