Contents

where M : SemigroupK<M>

Equivalent of semigroups for working with higher-kinded types

Parameters

type

M

Higher kind

Methods

method K<M, A> Combine <A> (K<M, A> lhs, K<M, A> rhs) Source #

An associative binary operation.

Parameters

param	lhs	The first operand to the operation
param	rhs	The second operand to the operation
returns	The result of the operation

Methods

method K<M, A> Combine <M, A> (this K<M, A> mx, K<M, A> my) Source #

where M : SemigroupK<M>

An associative binary operation

Parameters

param	mx	The left hand side of the operation
param	my	The right hand side of the operation
returns	The result of the operation

Methods

method K<M, A> combine <M, A> (K<M, A> mx, K<M, A> my) Source #

where M : SemigroupK<M>

An associative binary operation

Parameters

param	mx	The left hand side of the operation
param	my	The right hand side of the operation
returns	The result of the operation

Methods

method K<M, A> combine <M, A> (K<M, A> mx, K<M, A> my) Source #

where M : SemigroupK<M>

An associative binary operation

Parameters

param	mx	The left hand side of the operation
param	my	The right hand side of the operation
returns	The result of the operation