Packages

trait FunctionK2[F[_, _], G[_, _]] extends AnyRef

A function from F[A, B] to G[A, B] that is universally defined for all possible types A and B.

Like cats.arrow.FunctionK, but for types with shape F[_, _] instead of F[_].

Source
FunctionK2.scala
Linear Supertypes
AnyRef, Any
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. FunctionK2
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def apply[A, B](f: F[A, B]): G[A, B]