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

comonoidNeed

libretto.CoreDSL.Comonoid.comonoidNeed
object comonoidNeed extends Comonoid[Need]

Attributes

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

Members list

Value members

Concrete methods

override def counit: Need -⚬ One

Attributes

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

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