Contents
- ProxyExtensions
- As <UOut, UIn, DIn, DOut, M, A> ( this K<Proxy<UOut, UIn, DIn, DOut, M>, A> ma)
- As <M, A> ( this K<Proxy<Void, Unit, Unit, Void, M>, A> ma)
- As <OUT, M, A> ( this K<Proxy<Void, Unit, Unit, OUT, M>, A> ma)
- As <IN, M, A> ( this K<Proxy<Unit, IN, Unit, Void, M>, A> ma)
- As <IN, OUT, M, A> ( this K<Proxy<Unit, IN, Unit, OUT, M>, A> ma)
- As <REQ, RES, M, A> ( this K<Proxy<REQ, RES, Unit, Void, M>, A> ma)
- As <REQ, RES, M, A> ( this K<Proxy<Void, Unit, REQ, RES, M>, A> ma)
- ToEffect <M, R> (this Proxy<Void, Unit, Unit, Void, M, R> ma)
- ToProducer <A, M, R> (this Proxy<Void, Unit, Unit, A, M, R> ma)
- ToConsumer <A, M, R> (this Proxy<Unit, A, Unit, Void, M, R> ma)
- ToPipe <A, B, M, R> (this Proxy<Unit, A, Unit, B, M, R> ma)
- ToClient <A, B, M, R> (this Proxy<A, B, Unit, Void, M, R> ma)
- ToServer <A, B, M, R> (this Proxy<Void, Unit, A, B, M, R> ma)
- ProxyExtensions
- Map <UOut, UIn, DIn, DOut, M, A, B> ( this Func<A, B> f, K<Proxy<UOut, UIn, DIn, DOut, M>, A> ma)
- Map <UOut, UIn, DIn, DOut, M, A, B> ( this Func<A, B> f, Proxy<UOut, UIn, DIn, DOut, M, A> ma)
- Action <UOut, UIn, DIn, DOut, M, A, B> ( this Proxy<UOut, UIn, DIn, DOut, M, A> ma, K<Proxy<UOut, UIn, DIn, DOut, M>, B> mb)
- Action <UOut, UIn, DIn, DOut, M, A, B> ( this K<Proxy<UOut, UIn, DIn, DOut, M>, A> ma, K<Proxy<UOut, UIn, DIn, DOut, M>, B> mb)
- Apply <UOut, UIn, DIn, DOut, M, A, B> ( this Proxy<UOut, UIn, DIn, DOut, M, Func<A, B>> mf, K<Proxy<UOut, UIn, DIn, DOut, M>, A> ma)
- Apply <UOut, UIn, DIn, DOut, M, A, B> ( this K<Proxy<UOut, UIn, DIn, DOut, M>, Func<A, B>> mf, K<Proxy<UOut, UIn, DIn, DOut, M>, A> ma)
- ProxyExtensions
- Bind <OUT, A, M, B> ( this Proxy<Void, Unit, Unit, OUT, M, A> ma, Func<A, Producer<OUT, M, B>> f)
- Bind <IN, A, M, B> ( this Proxy<Unit, IN, Unit, Void, M, A> ma, Func<A, Consumer<IN, M, B>> f)
- Bind <IN, OUT, A, M, B> ( this Proxy<Unit, IN, Unit, OUT, M, A> ma, Func<A, Pipe<IN, OUT, M, B>> f)
- Bind <REQ, RES, A, M, B> ( this Proxy<REQ, RES, Unit, Void, M, A> ma, Func<A, Client<REQ, RES, M, B>> f)
- Bind <REQ, RES, A, M, B> ( this Proxy<Void, Unit, REQ, RES, M, A> ma, Func<A, Server<REQ, RES, M, B>> f)
- SelectMany <OUT, A, M, B> ( this Proxy<Void, Unit, Unit, OUT, M, A> ma, Func<A, Producer<OUT, M, B>> f)
- SelectMany <IN, A, M, B> ( this Proxy<Unit, IN, Unit, Void, M, A> ma, Func<A, Consumer<IN, M, B>> f)
- SelectMany <IN, OUT, A, M, B> ( this Proxy<Unit, IN, Unit, OUT, M, A> ma, Func<A, Pipe<IN, OUT, M, B>> f)
- SelectMany <REQ, RES, A, M, B> ( this Proxy<REQ, RES, Unit, Void, M, A> ma, Func<A, Client<REQ, RES, M, B>> f)
- SelectMany <REQ, RES, A, M, B> ( this Proxy<Void, Unit, REQ, RES, M, A> ma, Func<A, Server<REQ, RES, M, B>> f)
- SelectMany <OUT, A, B, M, C> ( this Proxy<Void, Unit, Unit, OUT, M, A> ma, Func<A, Producer<OUT, M, B>> f, Func<A, B, C> project)
- SelectMany <IN, A, B, M, C> ( this Proxy<Unit, IN, Unit, Void, M, A> ma, Func<A, Consumer<IN, M, B>> f, Func<A, B, C> project)
- SelectMany <IN, OUT, A, B, M, C> ( this Proxy<Unit, IN, Unit, OUT, M, A> ma, Func<A, Pipe<IN, OUT, M, B>> f, Func<A, B, C> project)
- SelectMany <REQ, RES, A, B, M, C> ( this Proxy<REQ, RES, Unit, Void, M, A> ma, Func<A, Client<REQ, RES, M, B>> f, Func<A, B, C> project)
- SelectMany <REQ, RES, A, B, M, C> ( this Proxy<Void, Unit, REQ, RES, M, A> ma, Func<A, Server<REQ, RES, M, B>> f, Func<A, B, C> project)
class ProxyExtensions Source #
Methods
method Proxy<UOut, UIn, DIn, DOut, M, A> As <UOut, UIn, DIn, DOut, M, A> ( this K<Proxy<UOut, UIn, DIn, DOut, M>, A> ma) Source #
method Effect<M, A> As <M, A> ( this K<Proxy<Void, Unit, Unit, Void, M>, A> ma) Source #
method Producer<OUT, M, A> As <OUT, M, A> ( this K<Proxy<Void, Unit, Unit, OUT, M>, A> ma) Source #
method Consumer<IN, M, A> As <IN, M, A> ( this K<Proxy<Unit, IN, Unit, Void, M>, A> ma) Source #
method Pipe<IN, OUT, M, A> As <IN, OUT, M, A> ( this K<Proxy<Unit, IN, Unit, OUT, M>, A> ma) Source #
method Client<REQ, RES, M, A> As <REQ, RES, M, A> ( this K<Proxy<REQ, RES, Unit, Void, M>, A> ma) Source #
method Server<REQ, RES, M, A> As <REQ, RES, M, A> ( this K<Proxy<Void, Unit, REQ, RES, M>, A> ma) Source #
method Effect<M, R> ToEffect <M, R> (this Proxy<Void, Unit, Unit, Void, M, R> ma) Source #
Converts a Proxy with the correct shape into an Effect
method Producer<A, M, R> ToProducer <A, M, R> (this Proxy<Void, Unit, Unit, A, M, R> ma) Source #
Converts a Proxy with the correct shape into a Producer
method Consumer<A, M, R> ToConsumer <A, M, R> (this Proxy<Unit, A, Unit, Void, M, R> ma) Source #
Converts a Proxy with the correct shape into a Consumer
method Pipe<A, B, M, R> ToPipe <A, B, M, R> (this Proxy<Unit, A, Unit, B, M, R> ma) Source #
Converts a Proxy with the correct shape into n Pipe
class ProxyExtensions Source #
Methods
method Proxy<UOut, UIn, DIn, DOut, M, B> Map <UOut, UIn, DIn, DOut, M, A, B> ( this Func<A, B> f, K<Proxy<UOut, UIn, DIn, DOut, M>, A> ma) Source #
Functor map operation
Unwraps the value within the functor, passes it to the map function f provided, and
then takes the mapped value and wraps it back up into a new functor.
Parameters
| param | ma | Functor to map |
| param | f | Mapping function |
| returns | Mapped functor | |
method Proxy<UOut, UIn, DIn, DOut, M, B> Map <UOut, UIn, DIn, DOut, M, A, B> ( this Func<A, B> f, Proxy<UOut, UIn, DIn, DOut, M, A> ma) Source #
Functor map operation
Unwraps the value within the functor, passes it to the map function f provided, and
then takes the mapped value and wraps it back up into a new functor.
Parameters
| param | ma | Functor to map |
| param | f | Mapping function |
| returns | Mapped functor | |
method Proxy<UOut, UIn, DIn, DOut, M, B> Action <UOut, UIn, DIn, DOut, M, A, B> ( this Proxy<UOut, UIn, DIn, DOut, M, A> ma, K<Proxy<UOut, UIn, DIn, DOut, M>, B> mb) Source #
Applicative action: runs the first applicative, ignores the result, and returns the second applicative
method Proxy<UOut, UIn, DIn, DOut, M, B> Action <UOut, UIn, DIn, DOut, M, A, B> ( this K<Proxy<UOut, UIn, DIn, DOut, M>, A> ma, K<Proxy<UOut, UIn, DIn, DOut, M>, B> mb) Source #
Applicative action: runs the first applicative, ignores the result, and returns the second applicative
method Proxy<UOut, UIn, DIn, DOut, M, B> Apply <UOut, UIn, DIn, DOut, M, A, B> ( this Proxy<UOut, UIn, DIn, DOut, M, Func<A, B>> mf, K<Proxy<UOut, UIn, DIn, DOut, M>, A> ma) Source #
Applicative functor apply operation
Unwraps the value within the ma applicative-functor, passes it to the unwrapped function(s) within mf, and
then takes the resulting value and wraps it back up into a new applicative-functor.
Parameters
| param | ma | Value(s) applicative functor |
| param | mf | Mapping function(s) |
| returns | Mapped applicative functor | |
method Proxy<UOut, UIn, DIn, DOut, M, B> Apply <UOut, UIn, DIn, DOut, M, A, B> ( this K<Proxy<UOut, UIn, DIn, DOut, M>, Func<A, B>> mf, K<Proxy<UOut, UIn, DIn, DOut, M>, A> ma) Source #
Applicative functor apply operation
Unwraps the value within the ma applicative-functor, passes it to the unwrapped function(s) within mf, and
then takes the resulting value and wraps it back up into a new applicative-functor.
Parameters
| param | ma | Value(s) applicative functor |
| param | mf | Mapping function(s) |
| returns | Mapped applicative functor | |
class ProxyExtensions Source #
Methods
method Producer<OUT, M, B> Bind <OUT, A, M, B> ( this Proxy<Void, Unit, Unit, OUT, M, A> ma, Func<A, Producer<OUT, M, B>> f) Source #
Monad bind (specialised)
method Consumer<IN, M, B> Bind <IN, A, M, B> ( this Proxy<Unit, IN, Unit, Void, M, A> ma, Func<A, Consumer<IN, M, B>> f) Source #
Monad bind (specialised)
method Pipe<IN, OUT, M, B> Bind <IN, OUT, A, M, B> ( this Proxy<Unit, IN, Unit, OUT, M, A> ma, Func<A, Pipe<IN, OUT, M, B>> f) Source #
Monad bind (specialised)
method Client<REQ, RES, M, B> Bind <REQ, RES, A, M, B> ( this Proxy<REQ, RES, Unit, Void, M, A> ma, Func<A, Client<REQ, RES, M, B>> f) Source #
Monad bind (specialised)
method Server<REQ, RES, M, B> Bind <REQ, RES, A, M, B> ( this Proxy<Void, Unit, REQ, RES, M, A> ma, Func<A, Server<REQ, RES, M, B>> f) Source #
Monad bind (specialised)
method Producer<OUT, M, B> SelectMany <OUT, A, M, B> ( this Proxy<Void, Unit, Unit, OUT, M, A> ma, Func<A, Producer<OUT, M, B>> f) Source #
Monad bind (specialised)
method Consumer<IN, M, B> SelectMany <IN, A, M, B> ( this Proxy<Unit, IN, Unit, Void, M, A> ma, Func<A, Consumer<IN, M, B>> f) Source #
Monad bind (specialised)
method Pipe<IN, OUT, M, B> SelectMany <IN, OUT, A, M, B> ( this Proxy<Unit, IN, Unit, OUT, M, A> ma, Func<A, Pipe<IN, OUT, M, B>> f) Source #
Monad bind (specialised)
method Client<REQ, RES, M, B> SelectMany <REQ, RES, A, M, B> ( this Proxy<REQ, RES, Unit, Void, M, A> ma, Func<A, Client<REQ, RES, M, B>> f) Source #
Monad bind (specialised)
method Server<REQ, RES, M, B> SelectMany <REQ, RES, A, M, B> ( this Proxy<Void, Unit, REQ, RES, M, A> ma, Func<A, Server<REQ, RES, M, B>> f) Source #
Monad bind (specialised)
method Producer<OUT, M, C> SelectMany <OUT, A, B, M, C> ( this Proxy<Void, Unit, Unit, OUT, M, A> ma, Func<A, Producer<OUT, M, B>> f, Func<A, B, C> project) Source #
Monad bind (specialised)
method Consumer<IN, M, C> SelectMany <IN, A, B, M, C> ( this Proxy<Unit, IN, Unit, Void, M, A> ma, Func<A, Consumer<IN, M, B>> f, Func<A, B, C> project) Source #
Monad bind (specialised)
method Pipe<IN, OUT, M, C> SelectMany <IN, OUT, A, B, M, C> ( this Proxy<Unit, IN, Unit, OUT, M, A> ma, Func<A, Pipe<IN, OUT, M, B>> f, Func<A, B, C> project) Source #
Monad bind (specialised)
method Client<REQ, RES, M, C> SelectMany <REQ, RES, A, B, M, C> ( this Proxy<REQ, RES, Unit, Void, M, A> ma, Func<A, Client<REQ, RES, M, B>> f, Func<A, B, C> project) Source #
Monad bind (specialised)
method Server<REQ, RES, M, C> SelectMany <REQ, RES, A, B, M, C> ( this Proxy<Void, Unit, REQ, RES, M, A> ma, Func<A, Server<REQ, RES, M, B>> f, Func<A, B, C> project) Source #
Monad bind (specialised)