libretto-core
API
Generated with
libretto-core/libretto/CoreDSL/Comonoid/comonoidPong

comonoidPong

libretto.CoreDSL.Comonoid.comonoidPong
object comonoidPong extends Comonoid[Pong]

Attributes

Graph
Supertypes
trait Comonoid[Pong]
trait Affine[Pong]
trait Cosemigroup[Pong]
class Object
trait Matchable
class Any
Show all
Self type

Members list

Value members

Concrete methods

override def counit: Pong -⚬ One

Attributes

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

Attributes

Definition Classes

Inherited methods

override def discard: A -⚬ One

Attributes

Definition Classes
Inherited from:
Comonoid
def law_coAssociativity: Equal[A -⚬ A |*| A |*| A]

Attributes

Inherited from:
Cosemigroup
def law_leftCounit: Equal[A -⚬ One |*| A]

Attributes

Inherited from:
Comonoid
def law_rightCounit: Equal[A -⚬ A |*| One]

Attributes

Inherited from:
Comonoid
Generated with