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

cosemigroupDone

libretto.CoreDSL.Cosemigroup.cosemigroupDone
object cosemigroupDone extends Cosemigroup[Done]

Attributes

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

Members list

Value members

Concrete methods

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

Attributes

Definition Classes

Inherited methods

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

Attributes

Inherited from:
Cosemigroup
Generated with