libretto/libretto/CoreLib/BiExternalizer

BiExternalizer

trait BiExternalizer[F[_, _]]
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]: Externalizer[[_] =>> F[_$24, B]]
def snd[A]: Externalizer[[_] =>> F[A, _$26]]