LanguageExt.Core

LanguageExt.Core ► Monads ► Alternative Monads ► ValidationT ► Operators

Contents

class ValidationTExtensions Source #

Operators

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

Applicative sequence operator

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

Applicative apply operator

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

Applicative apply operator

class ValidationTExtensions Source #

Operators

operator | (K<ValidationT<FF, M>, A> lhs, K<ValidationT<FF, 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<ValidationT<FF, 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 ValidationTExtensions Source #

Operators

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

operator + (K<ValidationT<FF, M>, A> lhs, Fail<FF> 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<ValidationT<FF, M>, A> lhs, FF rhs) Source #

Semigroup combine operator: an associative binary operation.

Parameters

param lhs

Left-hand side operand

param rhs

Right-hand side operand

returns

class ValidationTExtensions Source #

Operators

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

Downcast operator

class ValidationTExtensions Source #

Operators

operator | (K<ValidationT<FF, M>, A> lhs, CatchM<FF, ValidationT<FF, M>, A> rhs) Source #

operator | (K<ValidationT<FF, M>, A> lhs, Fail<FF> rhs) Source #

class ValidationTExtensions Source #

Operators

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

Functor map operator

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

Functor map operator

class ValidationTExtensions Source #

Operators

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

Monad bind operator

Parameters

param ma

Monad to bind

param f

Binding function

returns

Mapped monad

operator >> (K<ValidationT<FF, M>, A> lhs, K<ValidationT<FF, 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