Package

mainecoon.laws

discipline

Permalink

package discipline

Visibility
  1. Public
  2. All

Type Members

  1. trait CartesianKTests[F[_[_]]] extends Laws

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

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

    Permalink

Value Members

  1. object CartesianKTests

    Permalink
  2. object FunctorKTests

    Permalink
  3. object InvariantKTests

    Permalink

Ungrouped