libretto/libretto/CoreLib/FocusedOnPlusCo

FocusedOnPlusCo

class FocusedOnPlusCo[F[_], B1, B2](f: FocusedCo[F, B1 |+| B2])
class Object
trait Matchable
class Any

Value members

Concrete methods

def assocLR[X, Y](ev: B1 =:= X |+| Y): F[X |+| Y |+| B2]
def assocRL[X, Y](ev: B2 =:= X |+| Y): F[B1 |+| X |+| Y]
def left: FocusedCo[[x] =>> F[x |+| B2], B1]
def right: FocusedCo[[x] =>> F[B1 |+| x], B2]