libretto-core
API
Generated with
libretto-core/libretto/CoreDSL/Cosemigroup/cosemigroupPing

cosemigroupPing

libretto.CoreDSL.Cosemigroup.cosemigroupPing
object cosemigroupPing extends Cosemigroup[Ping]

Attributes

Graph
Supertypes
trait Cosemigroup[Ping]
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

override def split: Ping -⚬ Ping |*| Ping

Attributes

Definition Classes

Inherited methods

def law_coAssociativity: Equal[A -⚬ A |*| A |*| A]

Attributes

Inherited from:
Cosemigroup
Generated with