arrow-mtl / arrow.mtl.extensions / OptionTSemigroupK

OptionTSemigroupK

@extension interface OptionTSemigroupK<F> : SemigroupK<OptionTPartialOf<F>>

Functions

combineK open fun <A> OptionTOf<F, A>.combineK(y: OptionTOf<F, A>): OptionT<F, A>
MF abstract fun MF(): Monad<F>

Inheritors

OptionTMonoidK interface OptionTMonoidK<F> : MonoidK<OptionTPartialOf<F>>, OptionTSemigroupK<F>