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

comonoidPing

libretto.CoreDSL.Comonoid.comonoidPing
object comonoidPing extends Comonoid[Ping]

Attributes

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

Members list

Value members

Concrete methods

override def counit: Ping -⚬ One

Attributes

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

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