libretto/libretto/ClosedLib/FocusedOnFunctionContra

FocusedOnFunctionContra

class FocusedOnFunctionContra[F[_], A, B](f: FocusedContra[F, A =⚬ B])
class Object
trait Matchable
class Any

Value members

Concrete methods

def input: FocusedCo[[x] =>> F[x =⚬ B], A]
def output: FocusedContra[[x] =>> F[A =⚬ x], B]