Generated with

cats-docs/cats/cats.free/ContravariantCoyoneda

ContravariantCoyoneda

cats.free.ContravariantCoyoneda

See theContravariantCoyoneda companion object

sealed abstract class ContravariantCoyoneda[F[_], A] extends Serializable

The free contravariant functor on F. This is isomorphic to F as long as F itself is a contravariant functor. The function from F[A] to ContravariantCoyoneda[F,A] exists even when F is not a contravariant functor. Implemented using a List of functions for stack-safety.

Attributes

Companion: object
Source: ContravariantCoyoneda.scala
Graph
Supertypes: trait Serializable

class Object

trait Matchable

class Any
Self type: ContravariantCoyoneda[F, A]

Members list

Type members

Types

The pivot between fi and k, usually existential.

The pivot between fi and k, usually existential.

Attributes

Source: ContravariantCoyoneda.scala

Value members

Abstract methods

The composed transformer function, to be lifted into F by run.

The composed transformer function, to be lifted into F by run.

Attributes

Source: ContravariantCoyoneda.scala

Concrete methods

Simple function composition.

Simple function composition. Allows contramap fusion without touching the underlying F.

Attributes

Source: ContravariantCoyoneda.scala

Converts to G[A] given that G is a contravariant functor

Converts to G[A] given that G is a contravariant functor

Attributes

Source: ContravariantCoyoneda.scala

Modify the context F using transformation f.

Modify the context F using transformation f.

Attributes

Source: ContravariantCoyoneda.scala

Converts to F[A] given that F is a contravariant functor

Converts to F[A] given that F is a contravariant functor

Attributes

Source: ContravariantCoyoneda.scala

Abstract fields

The underlying value.

The underlying value.

Attributes

Source: ContravariantCoyoneda.scala

In this article

Generated with