libretto-core
API
Generated with
libretto-core/libretto/CoreLib/FocusedOnChoiceContra

FocusedOnChoiceContra

libretto.CoreLib.FocusedOnChoiceContra
implicit class FocusedOnChoiceContra[A, F[_], B1, B2](f: FocusedContra[F, B1 |&| B2])

Extends the focus to the left/right side of the (currently focused) consumer choice.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def choiceL: FocusedContra[F, B1]
def choiceR: FocusedContra[[x] =>> F[B1 |&| x], B2]
Generated with