arrow

Type Members

1. trait Arrow[F[_, _]] extends Split[F] with Strong[F] with Category[F] with Serializable

   

2. trait Category[F[_, _]] extends Compose[F] with Serializable

   

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

3. trait Choice[F[_, _]] extends Category[F] with Serializable

   

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

   

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

5. trait FunctionK[F[_], G[_]] extends Serializable

   

   FunctionK[F[_], G[_]] is a functor transformation from F to G in the same manner that function A => B is a morphism from values of type A to B.

   FunctionK[F[_], G[_]] is a functor transformation from F to G in the same manner that function A => B is a morphism from values of type A to B. An easy way to create a FunctionK instance is to use the Polymorphic lambdas provided by non/kind-projector v0.9+. E.g.

   val listToOption = λ[FunctionK[List, Option]](_.headOption)

6. trait Split[F[_, _]] extends Compose[F] with Serializable