functor

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.laws.ContravariantLaws.

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

   

   Must obey the laws defined in cats.laws.InvariantLaws.

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.

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

   Must obey the laws defined in cats.laws.ProfunctorLaws.

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

   

   Must obey the laws defined in cats.laws.StrongLaws.