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

Type members

Classlikes

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

Attributes

Source
InvariantMonoidal.scala
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]
trait Serializable
class Object
trait Matchable
class Any
Show all
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]
Show all
trait Ops[F[_], A] extends Serializable

Attributes

Source
InvariantMonoidal.scala
Supertypes
trait Serializable
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]
Show all

Attributes

Source
InvariantMonoidal.scala
Supertypes
trait Serializable
class Object
trait Matchable
class Any
Known subtypes

Deprecated classlikes

Attributes

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

Attributes

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