SemigroupK
public protocol SemigroupK
SemigroupK is a Semigroup that operates on kinds with one type parameter.
-
Combines two values of the same type in the context implementing this instance.
Implementations of this method must obey the associative law:
combineK(fa, combineK(fb, fc)) == combineK(combineK(fa, fb), fc)Parameters
xLeft value in the combination.
yRight value in the combination.
Return Value
Combination of the two values.
Install in Dash
SemigroupK Protocol Reference