libretto/libretto/CoreLib/FocusedOnChoiceCo

FocusedOnChoiceCo

implicit class FocusedOnChoiceCo[F[_], B1, B2](f: FocusedCo[F, B1 |&| B2])
class Object
trait Matchable
class Any

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 choiceL: FocusedCo[F, B1]
def choiceR: FocusedCo[[x] =>> F[B1 |&| x], B2]