libretto/libretto/ClosedLib/FocusedOnFunctionCo

FocusedOnFunctionCo

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

Value members

Concrete methods

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