Contents
- Effect <RT, A> (PipeT<Unit, 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> (Effect<RT, Func<A, B>> ff)
- Action <B> (Effect<RT, B> fb)
- Bind <B> (Func<A, Effect<RT, B>> f)
- Bind <B> (Func<A, K<Eff<RT>, B>> f)
- Bind <B> (Func<A, IO<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, Effect<RT, B>> f, Func<A, B, C> g)
- SelectMany <B, C> (Func<A, K<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)
- Run ()
- RunAsync ()
- | (Schedule lhs, Effect<RT, A> rhs)
- | (Effect<RT, A> lhs, Schedule rhs)
- EffectExtensions
- ToEffect <RT, A> (this K<PipeT<Unit, Void, Eff<RT>>, A> pipe)
- As <RT, A> (this K<Effect<RT>, A> ma)
- SelectMany <RT, A, B, C> ( this K<Eff<RT>, A> ma, Func<A, Effect<RT, B>> f, Func<A, B, C> g)
- SelectMany <RT, A, B, C> ( this IO<A> ma, Func<A, Effect<RT, B>> f, Func<A, B, C> g)
- SelectMany <RT, A, B, C> ( this Pure<A> ma, Func<A, Effect<RT, B>> f, Func<A, B, C> g)
- SelectMany <RT, A, B, C> ( this Lift<A> ff, Func<A, Effect<RT, B>> f, Func<A, B, C> g)
- Bind <RT, A, B> ( this K<Eff<RT>, A> ma, Func<A, Effect<RT, B>> f)
- Bind <RT, A, B> ( this IO<A> ma, Func<A, Effect<RT, B>> f)
- Bind <RT, A, B> ( this Pure<A> ma, Func<A, Effect<RT, B>> f)
- Bind <RT, A, B> ( this Lift<A> ff, Func<A, Effect<RT, B>> f)
- SelectMany <RT, A, C> ( this K<Effect<RT>, A> ma, Func<A, Guard<Error, Unit>> bind, Func<A, Unit, C> project)
- SelectMany <RT, B, C> ( this Guard<Error, Unit> ma, Func<Unit, K<Effect<RT>, B>> bind, Func<Unit, B, C> project)
- Effect
- pure <RT, A> (A value)
- error <RT, A> (Error value)
- empty <RT, A> ()
- lift <RT, A> (Func<A> f)
- liftM <RT, A> (K<Eff<RT>, A> ma)
- liftIO <RT, A> (IO<A> ma)
- liftT <RT, A> (Func<Effect<RT, A>> f)
- liftT <RT, A> (Func<ValueTask<Effect<RT, A>>> f)
- liftT <RT, A> (ValueTask<Effect<RT, A>> f)
- repeat <RT, A> (Effect<RT, A> ma)
- repeat <RT, A> (Schedule schedule, Effect<RT, A> ma)
- repeatM <RT, A> (K<Eff<RT>, A> ma)
- repeatM <RT, A> (Schedule schedule, K<Eff<RT>, A> ma)
- Effect <RT>
record Effect <RT, A> (PipeT<Unit, Void, Eff<RT>, A> Proxy) Source #
Methods
method Effect<RT, C> SelectMany <B, C> (Func<A, Effect<RT, B>> f, Func<A, B, C> g) Source #
method Effect<RT, C> SelectMany <B, C> (Func<A, K<Eff<RT>, B>> f, Func<A, B, C> g) Source #
method Effect<RT, C> SelectMany <B, C> (Func<A, IO<B>> f, Func<A, B, C> g) Source #
method Effect<RT, C> SelectMany <B, C> (Func<A, Pure<B>> f, Func<A, B, C> g) Source #
method Effect<RT, C> SelectMany <B, C> (Func<A, Lift<B>> f, Func<A, B, C> g) Source #
class EffectExtensions Source #
Methods
method Effect<RT, A> ToEffect <RT, A> (this K<PipeT<Unit, Void, Eff<RT>>, A> pipe) Source #
Transformation from PipeT to EffectT.
method Effect<RT, C> SelectMany <RT, A, B, C> ( this K<Eff<RT>, A> ma, Func<A, Effect<RT, B>> f, Func<A, B, C> g) Source #
Monad bind
method Effect<RT, C> SelectMany <RT, A, B, C> ( this IO<A> ma, Func<A, Effect<RT, B>> f, Func<A, B, C> g) Source #
Monad bind
method Effect<RT, C> SelectMany <RT, A, B, C> ( this Pure<A> ma, Func<A, Effect<RT, B>> f, Func<A, B, C> g) Source #
Monad bind
method Effect<RT, C> SelectMany <RT, A, B, C> ( this Lift<A> ff, Func<A, Effect<RT, B>> f, Func<A, B, C> g) Source #
Monad bind
method Effect<RT, B> Bind <RT, A, B> ( this K<Eff<RT>, A> ma, Func<A, Effect<RT, B>> f) Source #
Monad bind
method Effect<RT, B> Bind <RT, A, B> ( this Pure<A> ma, Func<A, Effect<RT, B>> f) Source #
Monad bind
method Effect<RT, B> Bind <RT, A, B> ( this Lift<A> ff, Func<A, Effect<RT, B>> f) Source #
Monad bind
method Effect<RT, C> SelectMany <RT, A, C> ( this K<Effect<RT>, A> ma, Func<A, Guard<Error, Unit>> bind, Func<A, Unit, C> project) Source #
Monad bind operation
method Effect<RT, C> SelectMany <RT, B, C> ( this Guard<Error, Unit> ma, Func<Unit, K<Effect<RT>, B>> bind, Func<Unit, B, C> project) Source #
Monad bind operation
Effect streaming effect monad-transformer
Methods
method Effect<RT, A> pure <RT, A> (A value) Source #
Create an effect that simply returns a bound value without yielding anything
Parameters
| type | RT | Effect runtime type |
| type | A | Bound value type |
| returns | ||
method Effect<RT, A> error <RT, A> (Error value) Source #
Create an effect that always fails
Parameters
| type | RT | Effect runtime type |
| type | A | Bound value type |
| returns | ||
method Effect<RT, A> empty <RT, A> () Source #
Create an effect that yields nothing at all
Parameters
| type | RT | Effect runtime type |
| type | A | Bound value type |
| returns | ||
method Effect<RT, A> lift <RT, A> (Func<A> f) Source #
Create an effect that lazily returns a bound value without yielding anything
Parameters
| type | RT | Effect runtime type |
| type | A | Bound value type |
| returns | ||
method Effect<RT, A> liftM <RT, A> (K<Eff<RT>, A> ma) Source #
Create an effect that simply returns the bound value of the lifted monad without yielding anything
Parameters
| type | RT | Effect runtime type |
| type | A | Bound value type |
| returns | ||
method Effect<RT, A> liftIO <RT, A> (IO<A> ma) Source #
Create an effect that simply returns the bound value of the lifted monad without yielding anything
Parameters
| type | RT | Effect runtime type |
| type | A | Bound value type |
| returns | ||
method Effect<RT, A> liftT <RT, A> (Func<Effect<RT, A>> f) Source #
Create a lazy proxy
Parameters
| type | RT | Effect runtime type |
| type | A | Bound value type |
| returns | ||
method Effect<RT, A> liftT <RT, A> (Func<ValueTask<Effect<RT, A>>> f) Source #
Create an asynchronous lazy proxy
Parameters
| type | RT | Effect runtime type |
| type | A | Bound value type |
| returns | ||
method Effect<RT, A> liftT <RT, A> (ValueTask<Effect<RT, A>> f) Source #
Create an asynchronous proxy
Parameters
| type | RT | Effect runtime type |
| type | A | Bound value type |
| returns | ||
method Effect<RT, A> repeat <RT, A> (Effect<RT, A> ma) Source #
Continually repeat the provided operation
Parameters
| type | RT | Effect runtime type |
| type | A | Bound value type |
| returns | ||
method Effect<RT, A> repeat <RT, A> (Schedule schedule, Effect<RT, A> ma) Source #
Repeat the provided operation based on the schedule provided
Parameters
| type | RT | Effect runtime type |
| type | A | Bound value type |
| returns | ||