Contents
- Eff <RT, A>
- Run (RT env)
- RunUnit (RT env)
- Memo ()
- EffectMaybe (Func<RT, Fin<A>> f)
- Effect (Func<RT, A> f)
- Success (A value)
- Fail (Error error)
- | (Eff<RT, A> ma, Eff<RT, A> mb)
- | (Eff<RT, A> ma, Eff<A> mb)
- | (Eff<A> ma, Eff<RT, A> mb)
- | (Eff<RT, A> ma, EffCatch<RT, A> mb)
- | (Eff<RT, A> ma, EffCatch<A> mb)
- | (Eff<RT, A> ma, CatchValue<A> value)
- | (Eff<RT, A> ma, CatchError value)
- EffGuards
- SelectMany <B> (this Guard<Error> ma, Func<Unit, Eff<B>> f)
- SelectMany <RT, B> (this Guard<Error> ma, Func<Unit, Eff<RT, B>> f)
- SelectMany <B, C> (this Guard<Error> ma, Func<Unit, Eff<B>> bind, Func<Unit, B, C> project)
- SelectMany <RT, B, C> (this Guard<Error> ma, Func<Unit, Eff<RT, B>> bind, Func<Unit, B, C> project)
- ToEff (this Guard<Error> ma)
- ToEff <RT> (this Guard<Error> ma)
- SelectMany <A> (this Eff<A> ma, Func<A, Guard<Error>> f)
- SelectMany <RT, A> (this Eff<RT, A> ma, Func<A, Guard<Error>> f)
- SelectMany <A, C> (this Eff<A> ma, Func<A, Guard<Error>> bind, Func<A, Unit, C> project)
- SelectMany <RT, A, C> (this Eff<RT, A> ma, Func<A, Guard<Error>> bind, Func<A, Unit, C> project)
- Eff <A>
- Run ()
- RunUnit ()
- Memo ()
- EffectMaybe (Func<Fin<A>> f)
- Effect (Func<A> f)
- Success (A value)
- Fail (Error error)
- | (Eff<A> ma, Eff<A> mb)
- | (Eff<A> ma, EffCatch<A> mb)
- | (Eff<A> ma, AffCatch<A> mb)
- | (Eff<A> ma, CatchValue<A> value)
- | (Eff<A> ma, CatchError value)
- WithRuntime <RT> ()
- ToAff ()
- ToAffWithRuntime <RT> ()
- Fold <S> (S state, Func<S, A, S> f)
- Exists (Func<A, bool> f)
- ForAll (Func<A, bool> f)
Sub modules
| Catch |
| Extensions |
| Prelude |
Synchronous IO monad
Methods
method Eff<RT, A> Memo () Source #
Memoise the result, so subsequent calls don't invoke the side-effect
method Eff<RT, A> EffectMaybe (Func<RT, Fin<A>> f) Source #
Lift a synchronous effect into the IO monad
Operators
Methods
method Eff<B> SelectMany <B> (this Guard<Error> ma, Func<Unit, Eff<B>> f) Source #
method Eff<RT, B> SelectMany <RT, B> (this Guard<Error> ma, Func<Unit, Eff<RT, B>> f) Source #
method Eff<C> SelectMany <B, C> (this Guard<Error> ma, Func<Unit, Eff<B>> bind, Func<Unit, B, C> project) Source #
method Eff<RT, C> SelectMany <RT, B, C> (this Guard<Error> ma, Func<Unit, Eff<RT, B>> bind, Func<Unit, B, C> project) Source #
method Eff<Unit> SelectMany <A> (this Eff<A> ma, Func<A, Guard<Error>> f) Source #
method Eff<RT, Unit> SelectMany <RT, A> (this Eff<RT, A> ma, Func<A, Guard<Error>> f) Source #
method Eff<C> SelectMany <A, C> (this Eff<A> ma, Func<A, Guard<Error>> bind, Func<A, Unit, C> project) Source #
method Eff<RT, C> SelectMany <RT, A, C> (this Eff<RT, A> ma, Func<A, Guard<Error>> bind, Func<A, Unit, C> project) Source #
Synchronous IO monad
Methods
method Eff<A> EffectMaybe (Func<Fin<A>> f) Source #
Lift a synchronous effect into the IO monad