libretto/libretto/CoreLib/FocusedOnPlusContra

FocusedOnPlusContra

class FocusedOnPlusContra[A, F[_], B1, B2](f: FocusedContra[F, B1 |+| B2])
class Object
trait Matchable
class Any

Value members

Concrete methods

def left: FocusedContra[[x] =>> F[x |+| B2], B1]
def right: FocusedContra[[x] =>> F[B1 |+| x], B2]