cyclops.typeclasses.functions

Interface MonoidK<W,T>

All Superinterfaces:

java.util.function.BiFunction<Higher<W,T>,Higher<W,T>,Higher<W,T>>, BinaryFn<Higher<W,T>>, java.util.function.BinaryOperator<Higher<W,T>>, Fn2<Higher<W,T>,Higher<W,T>,Higher<W,T>>, Monoid<Higher<W,T>>, Semigroup<Higher<W,T>>, SemigroupK<W,T>

All Known Subinterfaces:

GroupK<W,T>

public interface MonoidK<W,T>
extends SemigroupK<W,T>, Monoid<Higher<W,T>>

Nested Class Summary

Nested classes/interfaces inherited from interface cyclops.function.Fn2

Fn2.FunctionalOperations<T1,T2,R>

Method Summary

Modifier and Type	Method and Description
static <W,T> MonoidK<W,T>	of(Higher<W,T> zero, SemigroupK<W,T> sg)
Higher<W,T>	zero() An element that when provided as a parameter to the combiner with another value, results in the other value being returned e.g.

Methods inherited from interface cyclops.typeclasses.functions.SemigroupK

apply

Methods inherited from interface cyclops.function.Monoid

foldLeft, foldLeft, foldLeftI, foldLeftP, foldMap, foldMapI, foldMapP, foldRight, foldRight, foldRightI, foldRightP, fromBiFunction, of, of, reduce, reduceI, reduceP, toMonoidK, visit

Methods inherited from interface cyclops.function.Semigroup

toSemigroupK

Methods inherited from interface cyclops.function.Fn2

andThen, apply, curry, fnOps, lift, lift, liftF, liftOpt, liftTry, memoize, memoize, memoizeAsync, memoizeAsync, reverse, λ, λv

Method Detail

zero

Higher<W,T> zero()

Description copied from interface: Monoid

An element that when provided as a parameter to the combiner with another value, results in the other value being returned e.g.

  0  + 1  = 1
  
  0 is zero()
  
  1 * 2 = 2
  
   1 is zero()
   
   "" + "hello" = "hello"
   
  "" is zero()
  

Specified by:

zero in interface Monoid<Higher<W,T>>

Returns:

Identity element

of

static <W,T> MonoidK<W,T> of(Higher<W,T> zero,
                             SemigroupK<W,T> sg)