PComonoid

libretto.CoreLib.PComonoid
See thePComonoid companion object
trait PComonoid[A] extends Cosemigroup[A] with PAffine[A]

A weaker version of Comonoid whose counit cannot discard the input completely, but can reduce it to a signal traveling in the '''P'''ositive direction (Done) that eventually needs to be awaited.

The dual of NMonoid.

Attributes

Companion:
object
Graph
Supertypes
trait PAffine[A]
trait Cosemigroup[A]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Abstract methods

Concrete methods

override def neglect: A -⚬ Done

Attributes

Definition Classes

Inherited methods

Attributes

Inherited from:
Cosemigroup
def split: A -⚬ A |*| A

Attributes

Inherited from:
Cosemigroup