Package

cats.tagless.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 ContravariantKTests[F[_[_]]] extends InvariantKTests[F]

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

Ungrouped