Contents
- Consumer <RT, IN, A> (PipeT<IN, Void, Eff<RT>, A> Proxy)
- Map <B> (Func<A, B> f)
- MapM <B> (Func<Eff<RT, A>, Eff<RT, B>> f)
- MapIO <B> (Func<IO<A>, IO<B>> f)
- ApplyBack <B> (Consumer<RT, IN, Func<A, B>> ff)
- Action <B> (Consumer<RT, IN, B> fb)
- Bind <B> (Func<A, Consumer<RT, IN, B>> f)
- Bind <B> (Func<A, IO<B>> f)
- Bind <B> (Func<A, Eff<RT, B>> f)
- Bind <B> (Func<A, Pure<B>> f)
- Bind <B> (Func<A, Lift<B>> f)
- Select <B> (Func<A, B> f)
- SelectMany <B, C> (Func<A, Consumer<RT, IN, B>> f, Func<A, B, C> g)
- SelectMany <B, C> (Func<A, Eff<RT, B>> f, Func<A, B, C> g)
- SelectMany <B, C> (Func<A, IO<B>> f, Func<A, B, C> g)
- SelectMany <B, C> (Func<A, Pure<B>> f, Func<A, B, C> g)
- SelectMany <B, C> (Func<A, Lift<B>> f, Func<A, B, C> g)
- ConsumerExtensions
- ToConsumer <RT, IN, A> (this K<PipeT<IN, Void, Eff<RT>>, A> pipe)
- ToConsumer <RT, IN, A> (this K<Pipe<RT, IN, Void>, A> pipe)
- As <RT, IN, A> (this K<Consumer<RT, IN>, A> ma)
- SelectMany <RT, IN, A, B, C> ( this K<Eff<RT>, A> ma, Func<A, Consumer<RT, IN, B>> f, Func<A, B, C> g)
- SelectMany <RT, IN, A, B, C> ( this IO<A> ma, Func<A, Consumer<RT, IN, B>> f, Func<A, B, C> g)
- SelectMany <RT, IN, A, B, C> ( this Pure<A> ma, Func<A, Consumer<RT, IN, B>> f, Func<A, B, C> g)
- SelectMany <RT, IN, A, B, C> ( this Lift<A> ff, Func<A, Consumer<RT, IN, B>> f, Func<A, B, C> g)
- Bind <RT, IN, A, B> ( this K<Eff<RT>, A> ma, Func<A, Consumer<RT, IN, B>> f, Func<A, B> g)
- Bind <RT, IN, A, B> ( this IO<A> ma, Func<A, Consumer<RT, IN, B>> f, Func<A, B> g)
- Bind <RT, IN, A, B> ( this Pure<A> ma, Func<A, Consumer<RT, IN, B>> f, Func<A, B> g)
- Bind <RT, IN, A, B> ( this Lift<A> ff, Func<A, Consumer<RT, IN, B>> f, Func<A, B> g)
- SelectMany <RT, IN, A, C> ( this K<Consumer<RT, IN>, A> ma, Func<A, Guard<Error, Unit>> bind, Func<A, Unit, C> project)
- SelectMany <RT, IN, B, C> ( this Guard<Error, Unit> ma, Func<Unit, K<Consumer<RT, IN>, B>> bind, Func<Unit, B, C> project)
- Consumer
- awaiting <RT, IN> ()
- awaitIgnore <RT, IN> ()
- pure <RT, IN, A> (A value)
- error <RT, IN, A> (Error value)
- empty <RT, IN, A> ()
- lift <RT, IN, A> (Func<A> f)
- liftT <RT, IN, A> (Func<Consumer<RT, IN, A>> f)
- liftT <RT, IN, A> (Func<ValueTask<Consumer<RT, IN, A>>> f)
- liftT <RT, IN, A> (ValueTask<Consumer<RT, IN, A>> f)
- liftM <RT, IN, A> (K<Eff<RT>, A> ma)
- liftIO <RT, IN, A> (IO<A> ma)
- repeat <RT, IN, A> (Consumer<RT, IN, A> ma)
- repeat <RT, IN, A> (Schedule schedule, Consumer<RT, IN, A> ma)
- repeatM <RT, IN, A> (K<Eff<RT>, A> ma)
- repeatM <RT, IN, A> (Schedule schedule, K<Eff<RT>, A> ma)
- Consumer <RT, IN>
record Consumer <RT, IN, A> (PipeT<IN, Void, Eff<RT>, A> Proxy) Source #
Consumer
streaming consumer monad-transformer instance
Unlike the general purpose ConsumerT
, which will lift any monad, this type only lifts the Eff
monad.
Methods
method Consumer<RT, IN, C> SelectMany <B, C> (Func<A, Consumer<RT, IN, B>> f, Func<A, B, C> g) Source #
method Consumer<RT, IN, C> SelectMany <B, C> (Func<A, Eff<RT, B>> f, Func<A, B, C> g) Source #
method Consumer<RT, IN, C> SelectMany <B, C> (Func<A, IO<B>> f, Func<A, B, C> g) Source #
method Consumer<RT, IN, C> SelectMany <B, C> (Func<A, Pure<B>> f, Func<A, B, C> g) Source #
method Consumer<RT, IN, C> SelectMany <B, C> (Func<A, Lift<B>> f, Func<A, B, C> g) Source #
class ConsumerExtensions Source #
Methods
method Consumer<RT, IN, A> ToConsumer <RT, IN, A> (this K<PipeT<IN, Void, Eff<RT>>, A> pipe) Source #
Transformation from PipeT
to Consumer
.
method Consumer<RT, IN, A> ToConsumer <RT, IN, A> (this K<Pipe<RT, IN, Void>, A> pipe) Source #
Transformation from Pipe
to Consumer
.
method Consumer<RT, IN, C> SelectMany <RT, IN, A, B, C> ( this K<Eff<RT>, A> ma, Func<A, Consumer<RT, IN, B>> f, Func<A, B, C> g) Source #
Monad bind
method Consumer<RT, IN, C> SelectMany <RT, IN, A, B, C> ( this IO<A> ma, Func<A, Consumer<RT, IN, B>> f, Func<A, B, C> g) Source #
Monad bind
method Consumer<RT, IN, C> SelectMany <RT, IN, A, B, C> ( this Pure<A> ma, Func<A, Consumer<RT, IN, B>> f, Func<A, B, C> g) Source #
Monad bind
method Consumer<RT, IN, C> SelectMany <RT, IN, A, B, C> ( this Lift<A> ff, Func<A, Consumer<RT, IN, B>> f, Func<A, B, C> g) Source #
Monad bind
method Consumer<RT, IN, B> Bind <RT, IN, A, B> ( this K<Eff<RT>, A> ma, Func<A, Consumer<RT, IN, B>> f, Func<A, B> g) Source #
Monad bind
method Consumer<RT, IN, B> Bind <RT, IN, A, B> ( this IO<A> ma, Func<A, Consumer<RT, IN, B>> f, Func<A, B> g) Source #
Monad bind
method Consumer<RT, IN, B> Bind <RT, IN, A, B> ( this Pure<A> ma, Func<A, Consumer<RT, IN, B>> f, Func<A, B> g) Source #
Monad bind
method Consumer<RT, IN, B> Bind <RT, IN, A, B> ( this Lift<A> ff, Func<A, Consumer<RT, IN, B>> f, Func<A, B> g) Source #
Monad bind
method Consumer<RT, IN, C> SelectMany <RT, IN, A, C> ( this K<Consumer<RT, IN>, A> ma, Func<A, Guard<Error, Unit>> bind, Func<A, Unit, C> project) Source #
Monad bind operation
method Consumer<RT, IN, C> SelectMany <RT, IN, B, C> ( this Guard<Error, Unit> ma, Func<Unit, K<Consumer<RT, IN>, B>> bind, Func<Unit, B, C> project) Source #
Monad bind operation
ConsumerT
streaming consumer monad-transformer
Methods
method Consumer<RT, IN, IN> awaiting <RT, IN> () Source #
Await a value from upstream
Parameters
type | RT | Effect runtime type |
type | IN | Stream value to consume |
returns |
method Consumer<RT, IN, Unit> awaitIgnore <RT, IN> () Source #
Await a value from upstream and then ignore it
Parameters
type | RT | Effect runtime type |
type | IN | Stream value to consume |
returns |
method Consumer<RT, IN, A> pure <RT, IN, A> (A value) Source #
Create a consumer that simply returns a bound value without awaiting anything
Parameters
type | RT | Effect runtime type |
type | IN | Stream value to await |
type | A | Bound value type |
returns |
method Consumer<RT, IN, A> error <RT, IN, A> (Error value) Source #
Create a consumer that always fails
Parameters
type | RT | Effect runtime type |
type | IN | Stream value to await |
type | A | Bound value type |
returns |
method Consumer<RT, IN, A> empty <RT, IN, A> () Source #
Create a consumer that yields nothing at all
Parameters
type | RT | Effect runtime type |
type | IN | Stream value to consume |
type | A | Bound value type |
returns |
method Consumer<RT, IN, A> lift <RT, IN, A> (Func<A> f) Source #
Create a consumer that simply returns a bound value without yielding anything
Parameters
type | RT | Effect runtime type |
type | IN | Stream value to consume |
type | A | Bound value type |
returns |
method Consumer<RT, IN, A> liftT <RT, IN, A> (Func<Consumer<RT, IN, A>> f) Source #
Create a lazy consumer
Parameters
type | RT | Effect runtime type |
type | IN | Stream value to consume |
type | A | Bound value type |
returns |
method Consumer<RT, IN, A> liftT <RT, IN, A> (Func<ValueTask<Consumer<RT, IN, A>>> f) Source #
Create an asynchronous lazy consumer
Parameters
type | RT | Effect runtime type |
type | IN | Stream value to consume |
type | A | Bound value type |
returns |
method Consumer<RT, IN, A> liftT <RT, IN, A> (ValueTask<Consumer<RT, IN, A>> f) Source #
Create an asynchronous consumer
Parameters
type | RT | Effect runtime type |
type | IN | Stream value to consume |
type | A | Bound value type |
returns |
method Consumer<RT, IN, A> liftM <RT, IN, A> (K<Eff<RT>, A> ma) Source #
Create a consumer that simply returns the bound value of the lifted monad without yielding anything
Parameters
type | RT | Effect runtime type |
type | IN | Stream value to consume |
type | A | Bound value type |
returns |
method Consumer<RT, IN, A> liftIO <RT, IN, A> (IO<A> ma) Source #
Create a consumer that simply returns the bound value of the lifted monad without yielding anything
Parameters
type | RT | Effect runtime type |
type | IN | Stream value to consume |
type | A | Bound value type |
returns |
method Consumer<RT, IN, A> repeat <RT, IN, A> (Consumer<RT, IN, A> ma) Source #
Continually repeat the provided operation
Parameters
type | RT | Effect runtime type |
type | IN | Stream value to consume |
type | A | Bound value type |
returns |
method Consumer<RT, IN, A> repeat <RT, IN, A> (Schedule schedule, Consumer<RT, IN, A> ma) Source #
Repeat the provided operation based on the schedule provided
Parameters
type | RT | Effect runtime type |
type | IN | Stream value to consume |
type | A | Bound value type |
returns |