LanguageExt.Core ► Effects ► IO ► Operators

Contents

IOExtensions

>>> (K<IO, A> ma, K<IO, B> mb)
* (K<IO, Func<A, B>> mf, K<IO, A> ma)
* (K<IO, A> ma, K<IO, Func<A, B>> mf)

IOExtensions

| (K<IO, A> lhs, K<IO, A> rhs)
| (K<IO, A> lhs, Pure<A> rhs)

IOExtensions

+ (K<IO, A> ma)

IOExtensions

| (K<IO, A> lhs, CatchM<Error, IO, A> rhs)
| (K<IO, A> lhs, Fail<Error> rhs)
| (K<IO, A> lhs, Error rhs)

IOExtensions

| (K<IO, A> lhs, Finally<IO, X> rhs)

IOExtensions

* (Func<A, B> f, K<IO, A> ma)
* (K<IO, A> ma, Func<A, B> f)

IOExtensions

>> (K<IO, A> ma, Func<A, K<IO, B>> f)
>> (K<IO, A> lhs, K<IO, B> rhs)

class IOExtensions Source #

Operators

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

Applicative sequence operator

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

Applicative apply operator

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

Applicative apply operator

class IOExtensions Source #

Operators

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

Choice operator. Usually means if the first argument succeeds, return it, otherwise return the second argument.

Parameters

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

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

Choice operator. Usually means if the first argument succeeds, return it, otherwise return the second argument.

Parameters

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

class IOExtensions Source #

Operators

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

Downcast operator

class IOExtensions Source #

Operators

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

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

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

class IOExtensions Source #

Operators

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

Operators

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

Functor map operator

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

Functor map operator

class IOExtensions Source #

Operators

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