given_Monoid_Index

given given_Monoid_Index: Monoid[Index]

Value members

Concrete methods

def append(a: Index, b: => Index): Index
def zero: Index

Inherited methods

def multiply(value: Index, n: Int): Index
Inherited from
Monoid
def multiply1(value: Index, n: Int): Index
Inherited from
Semigroup