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