libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/Bifunctor

Bifunctor

libretto.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

Concise view

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, _$7]]

Abstract fields

Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL