libretto-core
API
Generated with
libretto-core/libretto/CoreLib/NMonoid/given_NMonoid_Need

given_NMonoid_Need

libretto.CoreLib.NMonoid.given_NMonoid_Need
object given_NMonoid_Need extends NMonoid[Need]

Attributes

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

Members list

Value members

Concrete methods

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

Attributes

Definition Classes
override def unit: Need -⚬ Need

Attributes

Definition Classes

Inherited methods

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

Attributes

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

Attributes

Inherited from:
NMonoid
def law_rightUnit: Equal[A |*| LTerminus -⚬ A]

Attributes

Inherited from:
NMonoid
Generated with