cats

functor

package functor

Visibility
  1. Public
  2. All

Type Members

  1. trait Bifunctor[F[_, _]] extends Serializable

    A type class of types which give rise to two independent, covariant functors.

  2. trait Contravariant[F[_]] extends Invariant[F] with Serializable

    Must obey the laws defined in cats.

  3. trait Invariant[F[_]] extends Serializable

    Must obey the laws defined in cats.

  4. trait Profunctor[F[_, _]] extends Serializable

    A Profunctor is a Contravariant functor on its first type parameter and a Functor on its second type parameter.

  5. trait Strong[F[_, _]] extends Profunctor[F]

    Must obey the laws defined in cats.

Value Members

  1. object Bifunctor extends Serializable

  2. object Contravariant extends Serializable

  3. object Invariant extends AlgebraInvariantInstances with Serializable

  4. object Profunctor extends Serializable

  5. object Strong extends Serializable

Ungrouped