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

FocusedOnPairCo

libretto.CoreLib.FocusedOnPairCo
implicit class FocusedOnPairCo[F[_], B1, B2](f: FocusedCo[F, B1 |*| B2])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def assocLR[X, Y](implicit ev: B1 =:= X |*| Y): F[X |*| Y |*| B2]
def assocRL[X, Y](implicit ev: B2 =:= X |*| Y): F[B1 |*| X |*| Y]
def awaitFst(neglect: B1 -⚬ Done)(implicit j: Positive[B2]): F[B2]
def awaitSnd(neglect: B2 -⚬ Done)(implicit j: Positive[B1]): F[B1]
def fst: FocusedCo[F, B1]
def snd: FocusedCo[[x] =>> F[B1 |*| x], B2]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL