libretto-core
API
Generated with
libretto-core/libretto/libretto.cats/Bifunctor

Bifunctor

libretto.cats.Bifunctor
See theBifunctor companion object
trait Bifunctor[->[_, _], F[_, _]]

Witnesses that F is a bifunctor (covariant in both variables) on the category ->.

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Bifunctor[->, F]

Members list

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

Abstract fields

val category: Category[->]
Generated with