libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto/CoreLib/Monoid

Monoid

libretto.CoreLib.Monoid
See theMonoid companion object
trait Monoid[A] extends Semigroup[A]

Attributes

Companion:
object
Graph
Supertypes
trait Semigroup[A]
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Abstract methods

def unit: One -⚬ A

Concrete methods

Inherited methods

def combine: A |*| A -⚬ A

Attributes

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

Attributes

Inherited from:
Semigroup
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL