libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/CoreLib/FocusedOnPairContra

FocusedOnPairContra

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def fst: FocusedContra[F, B1]
def snd: FocusedContra[[x] =>> F[B1 |*| x], B2]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL