libretto-core
API
Generated with
libretto-core/libretto/CoreLib/Semigroup/given_Semigroup_Ping

given_Semigroup_Ping

libretto.CoreLib.Semigroup.given_Semigroup_Ping
object given_Semigroup_Ping extends Semigroup[Ping]

Attributes

Graph
Supertypes
trait Semigroup[Ping]
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

override def combine: Ping |*| Ping -⚬ Ping

Attributes

Definition Classes

Inherited methods

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

Attributes

Inherited from:
Semigroup
Generated with