libretto/libretto/CoreLib/Monoid

Monoid

trait Monoid[A] extends Semigroup[A]
Companion
object
trait Semigroup[A]
class Object
trait Matchable
class Any

Value members

Abstract methods

def unit: One -⚬ A

Concrete methods

Inherited methods

def combine: A |*| A -⚬ A
Inherited from
Semigroup
def law_associativity: Equal[A |*| A |*| A -⚬ A]
Inherited from
Semigroup