cats-docs
2.12.0
API
Generated with
cats-docs/cats/cats.free/Coyoneda

Coyoneda

cats.free.Coyoneda
See theCoyoneda companion class
object Coyoneda

Attributes

Companion
class
Source
Coyoneda.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Coyoneda.type

Members list

Type members

Types

type Aux[F[_], A, B] = Coyoneda[F, A] { type Pivot = B; }

Lift the Pivot type member to a parameter.

Lift the Pivot type member to a parameter. It is usually more convenient to use Aux than a structural type.

Attributes

Source
Coyoneda.scala

Value members

Concrete methods

def apply[F[_], A, B](fa: F[A])(k0: A => B): Aux[F, B, A]

Like lift(fa).map(k0).

Like lift(fa).map(k0).

Attributes

Source
Coyoneda.scala
def lift[F[_], A](fa: F[A]): Aux[F, A, A]

F[A] converts to Coyoneda[F,A] for any F

F[A] converts to Coyoneda[F,A] for any F

Attributes

Source
Coyoneda.scala

Implicits

Implicits

implicit def catsFreeFunctorForCoyoneda[F[_]]: Functor[[_] =>> Coyoneda[F, _$9]]

As the free functor, Coyoneda[F, *] provides a functor for any F.

As the free functor, Coyoneda[F, *] provides a functor for any F.

Attributes

Source
Coyoneda.scala
Generated with