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

comonoidOne

libretto.CoreDSL.Comonoid.comonoidOne
object comonoidOne extends Comonoid[One]

Attributes

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

Members list

Value members

Concrete methods

override def counit: One -⚬ One

Attributes

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

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