libretto-core
API
Generated with
libretto-core/libretto/libretto.puro/PuroLib/Semigroup/given_Semigroup_Done

given_Semigroup_Done

libretto.puro.PuroLib.Semigroup.given_Semigroup_Done
object given_Semigroup_Done extends Semigroup[dsl.Done]

Attributes

Graph
Supertypes
trait Semigroup[dsl.Done]
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

override def combine: (dsl.Done dsl.|*| dsl.Done) dsl.-⚬ dsl.Done

Attributes

Definition Classes

Inherited methods

def law_associativity: Equal[(dsl.Done dsl.|*| dsl.Done dsl.|*| dsl.Done) dsl.-⚬ dsl.Done]

Attributes

Inherited from:
Semigroup
Generated with