Package

cats.tagless

laws

Permalink

package laws

Visibility
  1. Public
  2. All

Type Members

  1. trait ApplyKLaws[F[_[_]]] extends SemigroupalKLaws[F] with FunctorKLaws[F]

    Permalink

  2. trait ContravariantKLaws[F[_[_]]] extends InvariantKLaws[F]

    Permalink

  3. trait FunctorKLaws[F[_[_]]] extends InvariantKLaws[F]

    Permalink

  4. trait InvariantKLaws[F[_[_]]] extends AnyRef

    Permalink

  5. trait SemigroupalKLaws[F[_[_]]] extends AnyRef

    Permalink

Value Members

  1. object ApplyKLaws

    Permalink

  2. object ContravariantKLaws

    Permalink

  3. object FunctorKLaws

    Permalink

  4. object InvariantKLaws

    Permalink

  5. object SemigroupalKLaws

    Permalink

  6. package discipline

    Permalink

Ungrouped