Monoid
Definitions
def fold(f: f[a]): a
SourceReturns the result of applying combine
to all the elements in t
, using empty
as the initial value.
def fold(f: f[a]): a
SourceReturns the result of applying combine
to all the elements in t
, using empty
as the initial value.