LanguageExt.Core ► Traits ► SemigroupK

Contents

SemigroupK <M>

Combine <A> (K<M, A> lhs, K<M, A> rhs)

SemigroupKExtensions

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

SemigroupK

combine <M, A> (K<M, A> mx, K<M, A> my)

SemigroupKExtensions

+ (K<F, A> lhs, K<F, A> rhs)

Prelude

combine <M, A> (K<M, A> mx, K<M, A> my)

interface SemigroupK <M> Source #

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

class SemigroupKExtensions Source #

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

class SemigroupK Source #

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

class SemigroupKExtensions Source #

Operators

operator + (K<F, A> lhs, K<F, A> rhs) Source #

Semigroup combine operator: an associative binary operation.

Parameters

param	lhs	Left-hand side operand
param	rhs	Right-hand side operand
returns

class Prelude Source #

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