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

cosemigroupPong

libretto.CoreDSL.Cosemigroup.cosemigroupPong
object cosemigroupPong extends Cosemigroup[Pong]

Attributes

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

Members list

Value members

Concrete methods

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

Attributes

Definition Classes

Inherited methods

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

Attributes

Inherited from:
Cosemigroup
Generated with