LanguageExt.Core

LanguageExt.Core ► Effects ► Eff ► Eff no runtime ► Operators

Contents

class EffExtensions Source #

Operators

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

Applicative sequence operator

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

Applicative apply operator

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

Applicative apply operator

class EffExtensions Source #

Operators

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

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

class EffExtensions Source #

Operators

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

Downcast operator

class EffExtensions Source #

Operators

operator | (K<Eff, A> lhs, CatchM<Error, Eff, A> rhs) Source #

operator | (K<Eff, A> lhs, Fail<Error> rhs) Source #

operator | (K<Eff, A> lhs, Error rhs) Source #

class EffExtensions Source #

Operators

operator | (K<Eff, A> lhs, Finally<Eff, 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 EffExtensions Source #

Operators

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

Functor map operator

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

Functor map operator

class EffExtensions Source #

Operators

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

Monad bind operator

Parameters

param ma

Monad to bind

param f

Binding function

returns

Mapped monad

operator >> (K<Eff, A> lhs, K<Eff, 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

operator >> (K<Eff, A> ma, Func<A, K<IO, B>> f) Source #

Monad bind operator

Parameters

param ma

Monad to bind

param f

Binding function

returns

Mapped monad

operator >> (K<Eff, A> lhs, K<IO, 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