Package

mainecoon.laws

discipline

Permalink

package discipline

Visibility
  1. Public
  2. All

Type Members

  1. trait ApplyKTests[F[_[_]]] extends FunctorKTests[F] with SemigroupalKTests[F]

    Permalink

  2. trait FunctorKTests[F[_[_]]] extends InvariantKTests[F]

    Permalink

  3. trait InvariantKTests[F[_[_]]] extends Laws

    Permalink

  4. trait SemigroupalKTests[F[_[_]]] extends Laws

    Permalink

Value Members

  1. object ApplyKTests

    Permalink

  2. object FunctorKTests

    Permalink

  3. object InvariantKTests

    Permalink

  4. object SemigroupalKTests

    Permalink

Ungrouped