libretto.CoreLib.CloseableCosemigroup
See theCloseableCosemigroup companion object
trait CloseableCosemigroup[A] extends Cosemigroup[A], Closeable[A]
A weaker version of Comonoid where the input cannot be discarded completely, but can be reduced to a signal traveling in the positive direction (Done) that eventually needs to be awaited.
The dual of NMonoid.
Attributes
- Companion
- object
- Graph
-
- Supertypes
- Known subtypes
-
object closeableCosemigroupDone.type
Members list
In this article