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

cosemigroupNeed

libretto.CoreDSL.Cosemigroup.cosemigroupNeed
object cosemigroupNeed extends Cosemigroup[Need]

Attributes

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

Members list

Value members

Concrete methods

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

Attributes

Definition Classes

Inherited methods

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

Attributes

Inherited from:
Cosemigroup
Generated with