arrow

Type Members

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

   

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

   

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

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

   

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

   

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

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

   

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