libretto.ClosedLib
See theClosedLib companion object
Attributes
- Companion
- object
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
Members list
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
Extensions
Extensions
extension [A, B](f: A -⚬ B)
extension [F[_], A, B](f: FocusedContra[F, A =⚬ B])
In this article