LanguageExt.Core

LanguageExt.Core Monads Free Operators

Contents

class FreeExtensions Source #

Operators

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

Applicative sequence operator

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

Applicative apply operator

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

Applicative apply operator

class IOExtensions Source #

Operators

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

Downcast operator

operator >> (K<Free<F>, A> ma, Lower lower) Source #

Downcast operator

class FreeExtensions Source #

Operators

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

Functor map operator

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

Functor map operator

class FreeExtensions Source #

Operators

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

Monad bind operator

Parameters

param ma

Monad to bind

param f

Binding function

returns

Mapped monad

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