LanguageExt.Core

LanguageExt.Core Monads Alternative Monads OptionT Operators

Contents

class OptionTExtensions Source #

Operators

operator >>> (K<OptionT<M>, A> ma, K<OptionT<M>, B> mb) Source #

Applicative sequence operator

operator * (K<OptionT<M>, Func<A, B>> mf, K<OptionT<M>, A> ma) Source #

Applicative apply operator

operator * (K<OptionT<M>, A> ma, K<OptionT<M>, Func<A, B>> mf) Source #

Applicative apply operator

class OptionTExtensions Source #

Operators

operator | (K<OptionT<M>, A> lhs, K<OptionT<M>, A> rhs) Source #

operator | (K<OptionT<M>, A> lhs, Pure<A> rhs) Source #

class OptionTExtensions Source #

Operators

operator + (K<OptionT<M>, A> ma) Source #

Downcast operator

class OptionTExtensions Source #

Operators

operator | (K<OptionT<M>, A> lhs, CatchM<Unit, OptionT<M>, A> rhs) Source #

operator | (K<OptionT<M>, A> lhs, Fail<Unit> rhs) Source #

operator | (K<OptionT<M>, A> lhs, Unit rhs) Source #

class OptionTExtensions Source #

Operators

operator | (K<OptionT<M>, A> lhs, Finally<M, X> rhs) Source #

Run a finally operation after the main operation regardless of whether it succeeds or not.

Parameters

param lhs

Primary operation

param rhs

Finally operation

returns

Result of primary operation

class OptionTExtensions Source #

Operators

operator * (Func<A, B> f, K<OptionT<M>, A> ma) Source #

Functor map operator

operator * (K<OptionT<M>, A> ma, Func<A, B> f) Source #

Functor map operator

class OptionTExtensions Source #

Operators

operator >> (K<OptionT<M>, A> ma, Func<A, K<OptionT<M>, B>> f) Source #

Monad bind operator

Parameters

param ma

Monad to bind

param f

Binding function

returns

Mapped monad

operator >> (K<OptionT<M>, A> lhs, K<OptionT<M>, B> rhs) Source #

Sequentially compose two actions, discarding any value produced by the first, like sequencing operators (such as the semicolon) in C#.

Parameters

param lhs

First action to run

param rhs

Second action to run

returns

Result of the second action

class ChronicleTExtensions Source #

Operators

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

Semigroup combine operator: an associative binary operation.

Parameters

param lhs

Left-hand side operand

param rhs

Right-hand side operand

returns