LanguageExt.Core

LanguageExt.Core ► Monads ► State and Environment Monads ► Reader ► ReaderT ► Operators

Contents

class ReaderTExtensions Source #

Operators

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

Applicative sequence operator

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

Applicative apply operator

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

Applicative apply operator

class ReaderTExtensions Source #

Operators

operator | (K<ReaderT<Env, M>, A> lhs, K<ReaderT<Env, M>, 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<ReaderT<Env, M>, 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 ReaderTExtensions Source #

Operators

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

Downcast operator

class ReaderTExtensions Source #

Operators

operator | (K<ReaderT<Env, M>, A> lhs, CatchM<E, M, A> rhs) Source #

operator | (K<ReaderT<Env, M>, A> lhs, Fail<E> rhs) Source #

class ReaderTExtensions Source #

Operators

operator | (K<ReaderT<Env, 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 ReaderTExtensions Source #

Operators

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

Functor map operator

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

Functor map operator

class ReaderTExtensions Source #

Operators

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

Monad bind operator

Parameters

param ma

Monad to bind

param f

Binding function

returns

Mapped monad

operator >> (K<ReaderT<Env, M>, A> lhs, K<ReaderT<Env, 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 ReaderTExtensions Source #

Operators

operator + (K<ReaderT<Env, M>, A> lhs, K<ReaderT<Env, 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

operator + (K<ReaderT<Env, M>, A> lhs, Pure<A> rhs) Source #

Semigroup combine operator: an associative binary operation.

Parameters

param lhs

Left-hand side operand

param rhs

Right-hand side operand

returns