LanguageExt.Core

LanguageExt.Core Effects Pipes Extensions

Contents

class Extensions Source #

Methods

method Effect<RT, R> ToEffect <RT, R> (this Proxy<RT, Void, Unit, Unit, Void, R> ma) Source #

where RT : struct, HasCancel<RT>

Converts a Proxy with the correct shape into an Effect

method Producer<RT, A, R> ToProducer <RT, A, R> (this Proxy<RT, Void, Unit, Unit, A, R> ma) Source #

where RT : struct, HasCancel<RT>

Converts a Proxy with the correct shape into a Producer

method Consumer<RT, A, R> ToConsumer <RT, A, R> (this Proxy<RT, Unit, A, Unit, Void, R> ma) Source #

where RT : struct, HasCancel<RT>

Converts a Proxy with the correct shape into a Consumer

method Pipe<RT, A, B, R> ToPipe <RT, A, B, R> (this Proxy<RT, Unit, A, Unit, B, R> ma) Source #

where RT : struct, HasCancel<RT>

Converts a Proxy with the correct shape into n Pipe

method Client<RT, A, B, R> ToClient <RT, A, B, R> (this Proxy<RT, A, B, Unit, Void, R> ma) Source #

where RT : struct, HasCancel<RT>

Converts a Proxy with the correct shape into a Client

method Server<RT, A, B, R> ToServer <RT, A, B, R> (this Proxy<RT, Void, Unit, A, B, R> ma) Source #

where RT : struct, HasCancel<RT>

Converts a Proxy with the correct shape into a Server

class ProxyExtensions Source #

Methods

method Producer<RT, OUT, B> Bind <RT, OUT, A, B> (this Proxy<RT, Void, Unit, Unit, OUT, A> ma, Func<A, Producer<RT, OUT, B>> f) Source #

where RT : struct, HasCancel<RT>

Monad bind (specialised)

method Consumer<RT, IN, B> Bind <RT, IN, A, B> (this Proxy<RT, Unit, IN, Unit, Void, A> ma, Func<A, Consumer<RT, IN, B>> f) Source #

where RT : struct, HasCancel<RT>

Monad bind (specialised)

method Pipe<RT, IN, OUT, B> Bind <RT, IN, OUT, A, B> (this Proxy<RT, Unit, IN, Unit, OUT, A> ma, Func<A, Pipe<RT, IN, OUT, B>> f) Source #

where RT : struct, HasCancel<RT>

Monad bind (specialised)

method Client<RT, REQ, RES, B> Bind <RT, REQ, RES, A, B> (this Proxy<RT, REQ, RES, Unit, Void, A> ma, Func<A, Client<RT, REQ, RES, B>> f) Source #

where RT : struct, HasCancel<RT>

Monad bind (specialised)

method Server<RT, REQ, RES, B> Bind <RT, REQ, RES, A, B> (this Proxy<RT, Void, Unit, REQ, RES, A> ma, Func<A, Server<RT, REQ, RES, B>> f) Source #

where RT : struct, HasCancel<RT>

Monad bind (specialised)

method Producer<RT, OUT, B> SelectMany <RT, OUT, A, B> (this Proxy<RT, Void, Unit, Unit, OUT, A> ma, Func<A, Producer<RT, OUT, B>> f) Source #

where RT : struct, HasCancel<RT>

Monad bind (specialised)

method Consumer<RT, IN, B> SelectMany <RT, IN, A, B> (this Proxy<RT, Unit, IN, Unit, Void, A> ma, Func<A, Consumer<RT, IN, B>> f) Source #

where RT : struct, HasCancel<RT>

Monad bind (specialised)

method Pipe<RT, IN, OUT, B> SelectMany <RT, IN, OUT, A, B> (this Proxy<RT, Unit, IN, Unit, OUT, A> ma, Func<A, Pipe<RT, IN, OUT, B>> f) Source #

where RT : struct, HasCancel<RT>

Monad bind (specialised)

method Client<RT, REQ, RES, B> SelectMany <RT, REQ, RES, A, B> (this Proxy<RT, REQ, RES, Unit, Void, A> ma, Func<A, Client<RT, REQ, RES, B>> f) Source #

where RT : struct, HasCancel<RT>

Monad bind (specialised)

method Server<RT, REQ, RES, B> SelectMany <RT, REQ, RES, A, B> (this Proxy<RT, Void, Unit, REQ, RES, A> ma, Func<A, Server<RT, REQ, RES, B>> f) Source #

where RT : struct, HasCancel<RT>

Monad bind (specialised)

method Producer<RT, OUT, C> SelectMany <RT, OUT, A, B, C> (this Proxy<RT, Void, Unit, Unit, OUT, A> ma, Func<A, Producer<RT, OUT, B>> f, Func<A, B, C> project) Source #

where RT : struct, HasCancel<RT>

Monad bind (specialised)

method Consumer<RT, IN, C> SelectMany <RT, IN, A, B, C> (this Proxy<RT, Unit, IN, Unit, Void, A> ma, Func<A, Consumer<RT, IN, B>> f, Func<A, B, C> project) Source #

where RT : struct, HasCancel<RT>

Monad bind (specialised)

method Pipe<RT, IN, OUT, C> SelectMany <RT, IN, OUT, A, B, C> (this Proxy<RT, Unit, IN, Unit, OUT, A> ma, Func<A, Pipe<RT, IN, OUT, B>> f, Func<A, B, C> project) Source #

where RT : struct, HasCancel<RT>

Monad bind (specialised)

method Client<RT, REQ, RES, C> SelectMany <RT, REQ, RES, A, B, C> (this Proxy<RT, REQ, RES, Unit, Void, A> ma, Func<A, Client<RT, REQ, RES, B>> f, Func<A, B, C> project) Source #

where RT : struct, HasCancel<RT>

Monad bind (specialised)

method Server<RT, REQ, RES, C> SelectMany <RT, REQ, RES, A, B, C> (this Proxy<RT, Void, Unit, REQ, RES, A> ma, Func<A, Server<RT, REQ, RES, B>> f, Func<A, B, C> project) Source #

where RT : struct, HasCancel<RT>

Monad bind (specialised)