libretto/libretto/CoreLib/PMonoid

PMonoid

trait PMonoid[A] extends Semigroup[A]

A Monoid whose unit can be chained after a signal flowing in the '''P'''ositive direction (Done), effectively taking on the responsibility to wait for completion of some computation.

A Monoid whose unit can be chained after a signal flowing in the '''P'''ositive direction (Done), effectively taking on the responsibility to wait for completion of some computation.

Its dual is NComonoid.

trait Semigroup[A]
class Object
trait Matchable
class Any

Value members

Abstract methods

def unit: Done -⚬ A

Concrete methods

def monoid: Monoid[A]

Inherited methods

def combine: A |*| A -⚬ A
Inherited from
Semigroup
def law_associativity: Equal[A |*| A |*| A -⚬ A]
Inherited from
Semigroup