FocusedOnChoiceCo

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def choiceL: FocusedCo[F, B1]
def choiceR: FocusedCo[[x] =>> F[B1 |&| x], B2]