libretto/libretto/CoreLib/FocusedOnPairContra

FocusedOnPairContra

implicit
class FocusedOnPairContra[A, F[_], B1, B2](f: FocusedContra[F, B1 |*| B2])
class Object
trait Matchable
class Any

Value members

Concrete methods

def fst: FocusedContra[[x] =>> F[x |*| B2], B1]
def snd: FocusedContra[[x] =>> F[B1 |*| x], B2]