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

FocusedBi

libretto.CoreLib.FocusedBi
class FocusedBi[F[_, _], B1, B2](f: F[B1, B2])(F: BiExternalizer[F])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def fst: FocusedCo[F, B1]
def map[C1, C2](g: B1 -⚬ C1, h: B2 -⚬ C2): F[C1, C2]
def snd: FocusedCo[[_] =>> F[B1, _$169], B2]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL