libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/ClosedLib/FocusedOnFunctionContra

FocusedOnFunctionContra

libretto.ClosedLib.FocusedOnFunctionContra
implicit class FocusedOnFunctionContra[F[_], A, B](f: FocusedContra[F, A =⚬ B])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

def input: FocusedCo[F, A]
def output: FocusedContra[[x] =>> F[A =⚬ x], B]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL