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

BiExternalizer

libretto.CoreLib.BiExternalizer
trait BiExternalizer[F[_, _]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

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]: Externalizer[F]
def snd[A]: Externalizer[[_] =>> F[A, _$125]]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL