Packages

p

cats

arrow

package arrow

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

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

Value Members

  1. object Arrow extends Serializable
  2. object Category extends Serializable
  3. object Choice extends Serializable
  4. object Compose extends Serializable
  5. object FunctionK extends Serializable
  6. object Split extends Serializable

Ungrouped