libretto-core
API
Generated with
libretto-core/libretto/CoreLib/Monoid/given_Monoid_One

given_Monoid_One

libretto.CoreLib.Monoid.given_Monoid_One
object given_Monoid_One extends Monoid[One]

Attributes

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

Members list

Value members

Concrete methods

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

Attributes

Definition Classes
override def unit: One -⚬ One

Attributes

Definition Classes

Inherited methods

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

Attributes

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

Attributes

Inherited from:
Monoid
def law_rightUnit: Equal[A |*| One -⚬ A]

Attributes

Inherited from:
Monoid
Generated with