FocusedOnPairCo

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def fst: FocusedCo[F, B1]
def snd: FocusedCo[[x] =>> F[B1 |*| x], B2]