BiExternalizer

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Abstract methods

def lift[A, B, C, D](f: A dsl.-⚬ B, g: C dsl.-⚬ D): (F[A, C]) => F[B, D]

Concrete methods

def fst[B]: Externalizer[F]
def snd[A]: Externalizer[[_] =>> F[A, _$19]]