libretto-core
API
Generated with
libretto-core/libretto/InvertLib/given_ContraFunctor_-

given_ContraFunctor_-

libretto.InvertLib.given_ContraFunctor_-
object given_ContraFunctor_- extends ContraFunctor[-]

Attributes

Graph
Supertypes
trait ContraFunctor[-⚬, -]
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

override def lift[A, B](f: A -⚬ B): -[B] -⚬ -[A]

Attributes

Definition Classes

Inherited methods

def ∘[G[_]](that: ContraFunctor[-⚬, G]): Functor[->, [x] =>> F[G[x]]]

Composition with another contravariant functor. Results in a covariant functor.

Composition with another contravariant functor. Results in a covariant functor.

Attributes

Inherited from:
ContraFunctor
def ∘[G[_]](that: Functor[-⚬, G]): ContraFunctor[->, [x] =>> F[G[x]]]

Composition with a covariant functor. Results in a contravariant functor.

Composition with a covariant functor. Results in a contravariant functor.

Attributes

Inherited from:
ContraFunctor

Concrete fields

override val category: Category[-⚬]
Generated with