libretto/libretto/CoreLib/Bifunctor

Bifunctor

trait Bifunctor[F[_, _]]

Witnesses that F is a bifunctor (covariant in both variables).

Witnesses that F is a bifunctor (covariant in both variables).

Companion
object
class Object
trait Matchable
class Any

Value members

Abstract methods

def lift[A, B, C, D](f: A -⚬ B, g: C -⚬ D): F[A, C] -⚬ F[B, D]

Concrete methods

def fst[B]: Functor[[_] =>> F[_$9, B]]
def inside[G[_]](G: Functor[G]): Bifunctor[[x, y] =>> G[F[x, y]]]
def snd[A]: Functor[[_] =>> F[A, _$11]]