libretto.ClosedLib
See theClosedLib companion object
Attributes
- Companion:
- object
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
Members list
Concise view
Type members
Classlikes
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
Value members
Concrete methods
Make a function A =⚬ B
''"absorb"'' a C
and return it as part of its output, i.e. A =⚬ (B |*| C)
.
Make a function A =⚬ B
''"absorb"'' a C
and return it as part of its output, i.e. A =⚬ (B |*| C)
.
Attributes
Function object (internal hom) is contravariant in the input type.
Function object (internal hom) is contravariant in the input type.
Attributes
Function object (internal hom) is covariant in the output type.
Function object (internal hom) is covariant in the output type.
Attributes
Given A
and B
concurrently (A |*| B
), we can suggest that A
be consumed before B
by turning it into Ā =⚬ B
, where Ā
is the dual of A
.
Given A
and B
concurrently (A |*| B
), we can suggest that A
be consumed before B
by turning it into Ā =⚬ B
, where Ā
is the dual of A
.
Attributes
Implicits
Implicits
final implicit def FocusedOnFunctionCo[F[_], A, B](f: FocusedCo[F, A =⚬ B]): FocusedOnFunctionCo[F, A, B]
final implicit def FocusedOnFunctionContra[F[_], A, B](f: FocusedContra[F, A =⚬ B]): FocusedOnFunctionContra[F, A, B]