Packages

trait Laws[F[_]] extends SemigroupK.Laws[F] with Type[F]

Laws for MonoidK.

Source
MonoidK.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Laws
  2. Type
  3. Laws
  4. Type
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. implicit abstract def monoidK: MonoidK[F]
    Definition Classes
    Type
  2. implicit abstract def semigroupK: SemigroupK[F]
    Definition Classes
    Type

Concrete Value Members

  1. def monoidKLeftIdentity[A](a: F[A]): IsEquiv[F[A]]
  2. def monoidKRightIdentity[A](a: F[A]): IsEquiv[F[A]]
  3. def semigroupKAssociative[A](a: F[A], b: F[A], c: F[A]): IsEquiv[F[A]]
    Definition Classes
    Laws