Packages

trait Instance[F[_]] extends MonoidK[F] with Type[F] with SemigroupK.Instance[F]

The MonoidK.Instance provides the means to combine MonoidK instances with other type-classes.

To be inherited by MonoidK instances.

Source
MonoidK.scala
Linear Supertypes
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Instance
  2. Instance
  3. SemigroupK
  4. Type
  5. MonoidK
  6. Type
  7. Serializable
  8. Serializable
  9. AnyRef
  10. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def combineK[A](x: F[A], y: F[A]): F[A]

    Combine two F[A] values.

    Combine two F[A] values.

    Definition Classes
    SemigroupK
  2. abstract def empty[A]: F[A]

    Given a type A, create an "empty" F[A] value.

    Given a type A, create an "empty" F[A] value.

    Definition Classes
    MonoidK

Concrete Value Members

  1. final def monoidK: MonoidK[F]
    Definition Classes
    InstanceType
  2. final def semigroupK: SemigroupK[F]
    Definition Classes
    InstanceType