Type Members

1.  final case class Additive[A](runAdditive: A) extends Product with Serializable

   cats.Monoid and cats.Semigroup under addition

2.  abstract class AdditiveInstances extends AnyRef
3.  final case class Conj[A](runConj: A) extends Product with Serializable

   cats.Monoid and cats.Semigroup for conjunction

4.  abstract class ConjInstances extends AnyRef
5.  final case class Disj[A](runDisj: A) extends Product with Serializable

   cats.Monoid and cats.Semigroup for disjunction

6.  abstract class DisjInstances extends AnyRef
7.  final case class Dual[A](runDual: A) extends Product with Serializable

   The dual of a cats.Monoid

8.  abstract class DualInstances extends AnyRef
9.  final case class Endo[C[_, _], A](runEndo: C[A, A]) extends Product with Serializable

   cats.Monoid and cats.Semigroup for category endomorphisms.

   cats.Monoid and cats.Semigroup for category endomorphisms.

   When c is instantiated with -> this composes functions of type a -> a

10.  abstract class EndoInstances extends AnyRef
11.  final case class First[A](runFirst: Option[A]) extends AnyVal with Product with Serializable

    cats.Semigroup where combine always takes the first option

12.  abstract class FirstInstances extends AnyRef
13.  final case class Last[A](runLast: Option[A]) extends AnyVal with Product with Serializable

    cats.Semigroup where combine always takes the last option

14.  abstract class LastInstances extends AnyRef
15.  final case class Multiplicative[A](runMultiplicative: A) extends Product with Serializable

    cats.Monoid and cats.Semigroup under multiplication

16.  abstract class MultiplicativeInstances extends AnyRef