libretto/libretto/CoreLib/Bifunctor

Bifunctor

trait Bifunctor[F[_, _]]

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]
def inside[G[_]](implicit G: Functor[G]): Bifunctor[[x, y] =>> G[F[x, y]]]
def snd[A]: Functor[[_] =>> F[A, _$125]]