LanguageExt.Core ► Effects ► Eff ► Extensions
Contents
- EffExtensions
- Apply <A, B> (this Eff<Func<A, B>> mf, Eff<A> ma)
- Apply <A, B, C> (this Eff<Func<A, B, C>> mf, Eff<A> ma, Eff<B> mb)
- Apply <A, B, C> (this Eff<Func<A, B, C>> mf, Eff<A> ma)
- Apply <A, B, C, D> (this Eff<Func<A, B, C, D>> mf, Eff<A> ma, Eff<B> mb, Eff<C> mc)
- Apply <A, B, C, D> (this Eff<Func<A, B, C, D>> mf, Eff<A> ma, Eff<B> mb)
- Apply <A, B, C, D> (this Eff<Func<A, B, C, D>> mf, Eff<A> ma)
- Apply <A, B, C, D, E> (this Eff<Func<A, B, C, D, E>> mf, Eff<A> ma, Eff<B> mb, Eff<C> mc, Eff<D> md)
- Apply <A, B, C, D, E> (this Eff<Func<A, B, C, D, E>> mf, Eff<A> ma, Eff<B> mb, Eff<C> mc)
- Apply <A, B, C, D, E> (this Eff<Func<A, B, C, D, E>> mf, Eff<A> ma, Eff<B> mb)
- Apply <A, B, C, D, E> (this Eff<Func<A, B, C, D, E>> mf, Eff<A> ma)
- Apply <RT, A, B> (this Eff<RT, Func<A, B>> mf, Eff<RT, A> ma)
- Apply <RT, A, B, C> (this Eff<RT, Func<A, B, C>> mf, Eff<RT, A> ma, Eff<RT, B> mb)
- Apply <RT, A, B, C> (this Eff<RT, Func<A, B, C>> mf, Eff<RT, A> ma)
- Apply <RT, A, B, C, D> (this Eff<RT, Func<A, B, C, D>> mf, Eff<RT, A> ma, Eff<RT, B> mb, Eff<RT, C> mc)
- Apply <RT, A, B, C, D> (this Eff<RT, Func<A, B, C, D>> mf, Eff<RT, A> ma, Eff<RT, B> mb)
- Apply <RT, A, B, C, D> (this Eff<RT, Func<A, B, C, D>> mf, Eff<RT, A> ma)
- Apply <RT, A, B, C, D, E> (this Eff<RT, Func<A, B, C, D, E>> mf, Eff<RT, A> ma, Eff<RT, B> mb, Eff<RT, C> mc, Eff<RT, D> md)
- Apply <RT, A, B, C, D, E> (this Eff<RT, Func<A, B, C, D, E>> mf, Eff<RT, A> ma, Eff<RT, B> mb, Eff<RT, C> mc)
- Apply <RT, A, B, C, D, E> (this Eff<RT, Func<A, B, C, D, E>> mf, Eff<RT, A> ma, Eff<RT, B> mb)
- Apply <RT, A, B, C, D, E> (this Eff<RT, Func<A, B, C, D, E>> mf, Eff<RT, A> ma)
- Apply <RT, A, B> (this Func<A, B> f, Eff<RT, A> ma)
- Apply <RT, A, B, C> (this Func<A, B, C> f, Eff<RT, A> ma, Eff<RT, B> mb)
- Apply <RT, A, B, C> (this Func<A, B, C> f, Eff<RT, A> ma)
- Apply <RT, A, B, C, D> (this Func<A, B, C, D> f, Eff<RT, A> ma, Eff<RT, B> mb, Eff<RT, C> mc)
- Apply <RT, A, B, C, D> (this Func<A, B, C, D> f, Eff<RT, A> ma, Eff<RT, B> mb)
- Apply <RT, A, B, C, D> (this Func<A, B, C, D> f, Eff<RT, A> ma)
- Apply <RT, A, B, C, D, E> (this Func<A, B, C, D, E> f, Eff<RT, A> ma, Eff<RT, B> mb, Eff<RT, C> mc, Eff<RT, D> md)
- Apply <RT, A, B, C, D, E> (this Func<A, B, C, D, E> f, Eff<RT, A> ma, Eff<RT, B> mb, Eff<RT, C> mc)
- Apply <RT, A, B, C, D, E> (this Func<A, B, C, D, E> f, Eff<RT, A> ma, Eff<RT, B> mb)
- Apply <RT, A, B, C, D, E> (this Func<A, B, C, D, E> f, Eff<RT, A> ma)
- Prelude
- Catch <RT, A> (this Eff<RT, A> ma, Error error, Func<Error, Eff<RT, A>> Fail)
- Catch <RT, A> (this Eff<A> ma, Error error, Func<Error, Eff<RT, A>> Fail)
- Catch <RT, A> (this Eff<RT, A> ma, Error error, Func<Error, Eff<A>> Fail)
- Catch <A> (this Eff<A> ma, Error error, Func<Error, Eff<A>> Fail)
- Catch <RT, A> (this Eff<RT, A> ma, Error error, Eff<RT, A> Fail)
- Catch <RT, A> (this Eff<A> ma, Error error, Eff<RT, A> Fail)
- Catch <RT, A> (this Eff<RT, A> ma, Error error, Eff<A> Fail)
- Catch <A> (this Eff<A> ma, Error error, Eff<A> Fail)
- Catch <RT, A> (this Eff<RT, A> ma, int errorCode, Func<Error, Eff<RT, A>> Fail)
- Catch <RT, A> (this Eff<A> ma, int errorCode, Func<Error, Eff<RT, A>> Fail)
- Catch <RT, A> (this Eff<RT, A> ma, int errorCode, Func<Error, Eff<A>> Fail)
- Catch <A> (this Eff<A> ma, int errorCode, Func<Error, Eff<A>> Fail)
- Catch <RT, A> (this Eff<RT, A> ma, string errorText, Eff<RT, A> Fail)
- Catch <RT, A> (this Eff<A> ma, string errorText, Eff<RT, A> Fail)
- Catch <RT, A> (this Eff<RT, A> ma, string errorText, Eff<A> Fail)
- Catch <A> (this Eff<A> ma, string errorText, Eff<A> Fail)
- Catch <RT, A> (this Eff<RT, A> ma, int errorCode, Eff<RT, A> Fail)
- Catch <RT, A> (this Eff<A> ma, int errorCode, Eff<RT, A> Fail)
- Catch <RT, A> (this Eff<RT, A> ma, int errorCode, Eff<A> Fail)
- Catch <A> (this Eff<A> ma, int errorCode, Eff<A> Fail)
- Catch <RT, A> (this Eff<RT, A> ma, string errorText, Func<Error, Eff<RT, A>> Fail)
- Catch <RT, A> (this Eff<A> ma, string errorText, Func<Error, Eff<RT, A>> Fail)
- Catch <RT, A> (this Eff<RT, A> ma, string errorText, Func<Error, Eff<A>> Fail)
- Catch <A> (this Eff<A> ma, string errorText, Func<Error, Eff<A>> Fail)
- Catch <RT, A> (this Eff<RT, A> ma, Func<Exception, bool> predicate, Func<Exception, Eff<A>> Fail)
- Catch <A> (this Eff<A> ma, Func<Exception, bool> predicate, Func<Exception, Eff<A>> Fail)
- Catch <RT, A> (this Eff<RT, A> ma, Func<Exception, bool> predicate, Eff<A> Fail)
- Catch <A> (this Eff<A> ma, Func<Exception, bool> predicate, Eff<A> Fail)
- Catch <RT, A> (this Eff<RT, A> ma, Func<Exception, bool> predicate, Func<Exception, Eff<RT, A>> Fail)
- Catch <RT, A> (this Eff<A> ma, Func<Exception, bool> predicate, Func<Exception, Eff<RT, A>> Fail)
- Catch <RT, A> (this Eff<RT, A> ma, Func<Exception, bool> predicate, Eff<RT, A> Fail)
- Catch <RT, A> (this Eff<A> ma, Func<Exception, bool> predicate, Eff<RT, A> Fail)
- Catch <RT, A> (this Eff<RT, A> ma, Eff<RT, A> Fail)
- Catch <RT, A> (this Eff<A> ma, Eff<RT, A> Fail)
- Catch <RT, A> (this Eff<RT, A> ma, Eff<A> Fail)
- Catch <A> (this Eff<A> ma, Eff<A> Fail)
- Catch <RT, A> (this Eff<RT, A> ma, Func<Error, Eff<RT, A>> Fail)
- Catch <RT, A> (this Eff<A> ma, Func<Error, Eff<RT, A>> Fail)
- Catch <RT, A> (this Eff<RT, A> ma, Func<Error, Eff<A>> Fail)
- Catch <A> (this Eff<A> ma, Func<Error, Eff<A>> Fail)
- AffExtensions
- ToAff <RT, A> (this Eff<RT, A> ma)
- Map <RT, A, B> (this Eff<RT, A> ma, Func<A, B> f)
- MapFail <RT, A> (this Eff<RT, A> ma, Func<Error, Error> f)
- MapAsync <RT, A, B> (this Eff<RT, A> ma, Func<A, ValueTask<B>> f)
- BiMap <RT, A, B> (this Eff<RT, A> ma, Func<A, B> Succ, Func<Error, Error> Fail)
- Match <RT, A, B> (this Eff<RT, A> ma, Func<A, B> Succ, Func<Error, B> Fail)
- MatchEff <RT, A, B> (this Eff<RT, A> ma, Func<A, B> Succ, Aff<RT, B> Fail)
- MatchAff <RT, A, B> (this Eff<RT, A> ma, Func<A, B> Succ, Func<Error, Aff<RT, B>> Fail)
- MatchEff <RT, A, B> (this Eff<RT, A> ma, Func<A, B> Succ, Eff<RT, B> Fail)
- MatchEff <RT, A, B> (this Eff<RT, A> ma, Func<A, B> Succ, Func<Error, Eff<RT, B>> Fail)
- MatchAff <RT, A, B> (this Eff<RT, A> ma, Aff<RT, B> Succ, Func<Error, B> Fail)
- MatchAff <RT, A, B> (this Eff<RT, A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, B> Fail)
- MatchEff <RT, A, B> (this Eff<RT, A> ma, Eff<RT, B> Succ, Func<Error, B> Fail)
- MatchEff <RT, A, B> (this Eff<RT, A> ma, Func<A, Eff<RT, B>> Succ, Func<Error, B> Fail)
- MatchAff <RT, A, B> (this Eff<RT, A> ma, Aff<RT, B> Succ, Aff<RT, B> Fail)
- MatchAff <RT, A, B> (this Eff<RT, A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, Aff<RT, B>> Fail)
- MatchEff <RT, A, B> (this Eff<RT, A> ma, Eff<RT, B> Succ, Eff<RT, B> Fail)
- MatchEff <RT, A, B> (this Eff<RT, A> ma, Func<A, Eff<RT, B>> Succ, Func<Error, Eff<RT, B>> Fail)
- Match <RT, A, B> (this Eff<RT, A> ma, B Succ, Func<Error, B> Fail)
- Match <RT, A, B> (this Eff<RT, A> ma, Func<A, B> Succ, B Fail)
- Match <RT, A, B> (this Eff<RT, A> ma, B Succ, B Fail)
- IfFail <RT, A> (this Eff<RT, A> ma, Func<Error, A> f)
- IfFail <RT, A> (this Eff<RT, A> ma, A alternative)
- IfFailAff <RT, A> (this Eff<RT, A> ma, Aff<RT, A> alternative)
- IfFailAff <RT, A> (this Eff<RT, A> ma, Func<Error, Aff<RT, A>> alternative)
- IfFailAff <RT, A> (this Eff<RT, A> ma, Aff<A> alternative)
- IfFailAff <RT, A> (this Eff<RT, A> ma, Func<Error, Aff<A>> alternative)
- IfFailEff <RT, A> (this Eff<RT, A> ma, Eff<RT, A> alternative)
- IfFailEff <RT, A> (this Eff<RT, A> ma, Func<Error, Eff<RT, A>> alternative)
- IfFailEff <RT, A> (this Eff<RT, A> ma, Eff<A> alternative)
- IfFailEff <RT, A> (this Eff<RT, A> ma, Func<Error, Eff<A>> alternative)
- Iter <RT, A> (this Eff<RT, A> ma, Func<A, Unit> f)
- Iter <RT, A> (this Eff<RT, A> ma, Func<A, Aff<RT, Unit>> f)
- Iter <RT, A> (this Eff<RT, A> ma, Func<A, Aff<Unit>> f)
- Iter <RT, A> (this Eff<RT, A> ma, Func<A, Eff<RT, Unit>> f)
- Iter <RT, A> (this Eff<RT, A> ma, Func<A, Eff<Unit>> f)
- Do <RT, A> (this Eff<RT, A> ma, Func<A, Unit> f)
- Do <RT, A> (this Eff<RT, A> ma, Func<A, Aff<RT, Unit>> f)
- Do <RT, A> (this Eff<RT, A> ma, Func<A, Eff<RT, Unit>> f)
- Do <RT, A> (this Eff<RT, A> ma, Func<A, Aff<Unit>> f)
- Do <RT, A> (this Eff<RT, A> ma, Func<A, Eff<Unit>> f)
- Filter <RT, A> (this Eff<RT, A> ma, Func<A, bool> f)
- Bind <RT, A, B> (this Eff<RT, A> ma, Func<A, Eff<B>> f)
- Bind <RT, A, B> (this Eff<RT, A> ma, Func<A, Eff<RT, B>> f)
- Bind <RT, A, B> (this Eff<RT, A> ma, Func<A, Aff<B>> f)
- Bind <RT, A, B> (this Eff<RT, A> ma, Func<A, Aff<RT, B>> f)
- Flatten <RT, A> (this Eff<RT, Eff<RT, A>> mma)
- Flatten <RT, A> (this Eff<RT, Eff<A>> mma)
- Flatten <RT, A> (this Eff<RT, Aff<RT, A>> mma)
- Flatten <RT, A> (this Eff<RT, Aff<A>> mma)
- Select <RT, A, B> (this Eff<RT, A> ma, Func<A, B> f)
- SelectMany <RT, A, B> (this Eff<RT, A> ma, Func<A, Eff<RT, B>> f)
- SelectMany <RT, A, B> (this Eff<RT, A> ma, Func<A, Eff<B>> f)
- SelectMany <RT, A, B> (this Eff<RT, A> ma, Func<A, Aff<RT, B>> f)
- SelectMany <RT, A, B> (this Eff<RT, A> ma, Func<A, Aff<B>> f)
- SelectMany <RT, A, B, C> (this Eff<RT, A> ma, Func<A, Eff<RT, B>> bind, Func<A, B, C> project)
- SelectMany <RT, A, B, C> (this Eff<RT, A> ma, Func<A, Eff<B>> bind, Func<A, B, C> project)
- SelectMany <RT, A, B, C> (this Eff<RT, A> ma, Func<A, Aff<RT, B>> bind, Func<A, B, C> project)
- SelectMany <RT, A, B, C> (this Eff<RT, A> ma, Func<A, Aff<B>> bind, Func<A, B, C> project)
- SelectMany <RT, A, B, C> (this Eff<RT, A> ma, Func<A, Effect<RT, B>> bind, Func<A, B, C> project)
- Where <RT, A> (this Eff<RT, A> ma, Func<A, bool> f)
- Zip <RT, A, B> (Eff<RT, A> ma, Eff<RT, B> mb)
- Zip <RT, A, B> (Eff<A> ma, Eff<RT, B> mb)
- Zip <RT, A, B> (Eff<RT, A> ma, Eff<B> mb)
- AffExtensions
- ToAsync <A> (this Eff<A> ma)
- Map <A, B> (this Eff<A> ma, Func<A, B> f)
- MapAsync <A, B> (this Eff<A> ma, Func<A, ValueTask<B>> f)
- MapFail <A> (this Eff<A> ma, Func<Error, Error> f)
- BiMap <A, B> (this Eff<A> ma, Func<A, B> Succ, Func<Error, Error> Fail)
- Match <A, B> (this Eff<A> ma, Func<A, B> Succ, Func<Error, B> Fail)
- MatchAff <RT, A, B> (this Eff<A> ma, Func<A, B> Succ, Aff<RT, B> Fail)
- MatchAff <RT, A, B> (this Eff<A> ma, Func<A, B> Succ, Func<Error, Aff<RT, B>> Fail)
- MatchEff <RT, A, B> (this Eff<A> ma, Func<A, B> Succ, Eff<RT, B> Fail)
- MatchEff <RT, A, B> (this Eff<A> ma, Func<A, B> Succ, Func<Error, Eff<RT, B>> Fail)
- MatchEff <A, B> (this Eff<A> ma, Func<A, B> Succ, Eff<B> Fail)
- MatchEff <A, B> (this Eff<A> ma, Func<A, B> Succ, Func<Error, Eff<B>> Fail)
- MatchAff <RT, A, B> (this Eff<A> ma, Aff<RT, B> Succ, Func<Error, B> Fail)
- MatchAff <RT, A, B> (this Eff<A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, B> Fail)
- MatchEff <RT, A, B> (this Eff<A> ma, Eff<RT, B> Succ, Func<Error, B> Fail)
- MatchEff <RT, A, B> (this Eff<A> ma, Func<A, Eff<RT, B>> Succ, Func<Error, B> Fail)
- MatchEff <A, B> (this Eff<A> ma, Eff<B> Succ, Func<Error, B> Fail)
- MatchEff <A, B> (this Eff<A> ma, Func<A, Eff<B>> Succ, Func<Error, B> Fail)
- MatchAff <RT, A, B> (this Eff<A> ma, Aff<RT, B> Succ, Aff<RT, B> Fail)
- MatchAff <RT, A, B> (this Eff<A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, Aff<RT, B>> Fail)
- MatchEff <RT, A, B> (this Eff<A> ma, Eff<RT, B> Succ, Eff<RT, B> Fail)
- MatchEff <RT, A, B> (this Eff<A> ma, Func<A, Eff<RT, B>> Succ, Func<Error, Eff<RT, B>> Fail)
- MatchEff <A, B> (this Eff<A> ma, Eff<B> Succ, Eff<B> Fail)
- MatchEff <A, B> (this Eff<A> ma, Func<A, Eff<B>> Succ, Func<Error, Eff<B>> Fail)
- Match <A, B> (this Eff<A> ma, B Succ, Func<Error, B> Fail)
- Match <RT, A, B> (this Eff<A> ma, Func<A, B> Succ, B Fail)
- Match <RT, A, B> (this Eff<A> ma, B Succ, B Fail)
- Match <A, B> (this Eff<A> ma, B Succ, B Fail)
- IfFail <A> (this Eff<A> ma, Func<Error, A> f)
- IfFail <RT, A> (this Eff<A> ma, A alternative)
- IfFailAff <RT, A> (this Eff<A> ma, Aff<RT, A> alternative)
- IfFailAff <RT, A> (this Eff<A> ma, Func<Error, Aff<RT, A>> alternative)
- IfFailAff <A> (this Eff<A> ma, Aff<A> alternative)
- IfFailAff <A> (this Eff<A> ma, Func<Error, Aff<A>> alternative)
- IfFailEff <RT, A> (this Eff<A> ma, Eff<RT, A> alternative)
- IfFailEff <RT, A> (this Eff<A> ma, Func<Error, Eff<RT, A>> alternative)
- IfFailEff <A> (this Eff<A> ma, Eff<A> alternative)
- IfFailEff <A> (this Eff<A> ma, Func<Error, Eff<A>> alternative)
- Iter <A> (this Eff<A> ma, Func<A, Unit> f)
- Iter <RT, A> (this Eff<A> ma, Func<A, Aff<RT, Unit>> f)
- Iter <A> (this Eff<A> ma, Func<A, Aff<Unit>> f)
- Iter <RT, A> (this Eff<A> ma, Func<A, Eff<RT, Unit>> f)
- Iter <A> (this Eff<A> ma, Func<A, Eff<Unit>> f)
- Do <A> (this Eff<A> ma, Func<A, Unit> f)
- Do <RT, A> (this Eff<A> ma, Func<A, Aff<RT, Unit>> f)
- Do <RT, A> (this Eff<A> ma, Func<A, Eff<RT, Unit>> f)
- Do <A> (this Eff<A> ma, Func<A, Aff<Unit>> f)
- Do <A> (this Eff<A> ma, Func<A, Eff<Unit>> f)
- Filter <A> (this Eff<A> ma, Func<A, bool> f)
- Bind <A, B> (this Eff<A> ma, Func<A, Eff<B>> f)
- Bind <RT, A, B> (this Eff<A> ma, Func<A, Eff<RT, B>> f)
- Bind <A, B> (this Eff<A> ma, Func<A, Aff<B>> f)
- Bind <RT, A, B> (this Eff<A> ma, Func<A, Aff<RT, B>> f)
- BiBind <A, B> (this Eff<A> ma, Func<A, Eff<B>> Succ, Func<Error, Eff<B>> Fail)
- BiBind <RT, A, B> (this Eff<A> ma, Func<A, Eff<RT, B>> Succ, Func<Error, Eff<RT, B>> Fail)
- BiBind <A, B> (this Eff<A> ma, Func<A, Aff<B>> Succ, Func<Error, Aff<B>> Fail)
- BiBind <RT, A, B> (this Eff<A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, Aff<RT, B>> Fail)
- Flatten <A> (this Eff<Eff<A>> mma)
- Flatten <RT, A> (this Eff<Eff<RT, A>> mma)
- Flatten <A> (this Eff<Aff<A>> mma)
- Flatten <RT, A> (this Eff<Aff<RT, A>> mma)
- Select <A, B> (this Eff<A> ma, Func<A, B> f)
- SelectMany <A, B> (this Eff<A> ma, Func<A, Eff<B>> f)
- SelectMany <RT, A, B> (this Eff<A> ma, Func<A, Eff<RT, B>> f)
- SelectMany <A, B> (this Eff<A> ma, Func<A, Aff<B>> f)
- SelectMany <RT, A, B> (this Eff<A> ma, Func<A, Aff<RT, B>> f)
- SelectMany <A, B, C> (this Eff<A> ma, Func<A, Eff<B>> bind, Func<A, B, C> project)
- SelectMany <RT, A, B, C> (this Eff<A> ma, Func<A, Eff<RT, B>> bind, Func<A, B, C> project)
- SelectMany <A, B, C> (this Eff<A> ma, Func<A, Aff<B>> bind, Func<A, B, C> project)
- SelectMany <RT, A, B, C> (this Eff<A> ma, Func<A, Aff<RT, B>> bind, Func<A, B, C> project)
- SelectMany <RT, A, B, C> (this Eff<A> ma, Func<A, Effect<RT, B>> bind, Func<A, B, C> project)
- Where <A> (this Eff<A> ma, Func<A, bool> f)
- Zip <A, B> (Eff<A> ma, Eff<B> mb)
- EffExtensions
- Fold <RT, S, A> (this Eff<RT, A> ma, Schedule schedule, S state, Func<S, A, S> fold)
- FoldWhile <RT, S, A> (this Eff<RT, A> ma, Schedule schedule, S state, Func<S, A, S> fold, Func<A, bool> pred)
- FoldUntil <RT, S, A> (this Eff<RT, A> ma, Schedule schedule, S state, Func<S, A, S> fold, Func<A, bool> pred)
- Fold <RT, S, A> (this Eff<RT, A> ma, S state, Func<S, A, S> fold)
- FoldWhile <RT, S, A> (this Eff<RT, A> ma, S state, Func<S, A, S> fold, Func<A, bool> pred)
- FoldUntil <RT, S, A> (this Eff<RT, A> ma, S state, Func<S, A, S> fold, Func<A, bool> pred)
- Fold <S, A> (this Eff<A> ma, Schedule schedule, S state, Func<S, A, S> fold)
- FoldWhile <S, A> (this Eff<A> ma, Schedule schedule, S state, Func<S, A, S> fold, Func<A, bool> pred)
- FoldUntil <S, A> (this Eff<A> ma, Schedule schedule, S state, Func<S, A, S> fold, Func<A, bool> pred)
- Fold <S, A> (this Eff<A> ma, S state, Func<S, A, S> fold)
- FoldWhile <S, A> (this Eff<A> ma, S state, Func<S, A, S> fold, Func<A, bool> pred)
- FoldUntil <S, A> (this Eff<A> ma, S state, Func<S, A, S> fold, Func<A, bool> pred)
- EffExtensions
- Repeat <RT, A> (this Eff<RT, A> ma)
- Repeat <A> (this Eff<A> ma)
- Repeat <RT, A> (this Eff<RT, A> ma, Schedule schedule)
- Repeat <A> (this Eff<A> ma, Schedule schedule)
- RepeatWhile <RT, A> (this Eff<RT, A> ma, Func<A, bool> predicate)
- RepeatWhile <A> (this Eff<A> ma, Func<A, bool> predicate)
- RepeatWhile <RT, A> (this Eff<RT, A> ma, Schedule schedule, Func<A, bool> predicate)
- RepeatWhile <A> (this Eff<A> ma, Schedule schedule, Func<A, bool> predicate)
- RepeatUntil <RT, A> (this Eff<RT, A> ma, Func<A, bool> predicate)
- RepeatUntil <A> (this Eff<A> ma, Func<A, bool> predicate)
- RepeatUntil <RT, A> (this Eff<RT, A> ma, Schedule schedule, Func<A, bool> predicate)
- RepeatUntil <A> (this Eff<A> ma, Schedule schedule, Func<A, bool> predicate)
- EffExtensions
- Retry <RT, A> (this Eff<RT, A> ma)
- Retry <A> (this Eff<A> ma)
- Retry <RT, A> (this Eff<RT, A> ma, Schedule schedule)
- Retry <A> (this Eff<A> ma, Schedule schedule)
- RetryWhile <RT, A> (this Eff<RT, A> ma, Func<Error, bool> predicate)
- RetryWhile <A> (this Eff<A> ma, Func<Error, bool> predicate)
- RetryWhile <RT, A> (this Eff<RT, A> ma, Schedule schedule, Func<Error, bool> predicate)
- RetryWhile <A> (this Eff<A> ma, Schedule schedule, Func<Error, bool> predicate)
- RetryUntil <RT, A> (this Eff<RT, A> ma, Func<Error, bool> predicate)
- RetryUntil <A> (this Eff<A> ma, Func<Error, bool> predicate)
- RetryUntil <RT, A> (this Eff<RT, A> ma, Schedule schedule, Func<Error, bool> predicate)
- RetryUntil <A> (this Eff<A> ma, Schedule schedule, Func<Error, bool> predicate)
- EffExtensions
- Use <H, R> (this Eff<H> Acq, Func<H, Aff<R>> Use)
- Use <RT, H, R> (this Eff<H> Acq, Func<H, Aff<RT, R>> Use)
- Use <H, R> (this Eff<H> Acq, Func<H, Eff<R>> Use)
- Use <RT, H, R> (this Eff<H> Acq, Func<H, Eff<RT, R>> Use)
- Use <RT, H, R> (this Eff<RT, H> Acq, Func<H, Aff<R>> Use)
- Use <RT, H, R> (this Eff<RT, H> Acq, Func<H, Aff<RT, R>> Use)
- Use <RT, H, R> (this Eff<RT, H> Acq, Func<H, Eff<R>> Use)
- Use <RT, H, R> (this Eff<RT, H> Acq, Func<H, Eff<RT, R>> Use)
class EffExtensions Source #
Methods
method Eff<D> Apply <A, B, C, D> (this Eff<Func<A, B, C, D>> mf, Eff<A> ma, Eff<B> mb, Eff<C> mc) Source #
method Eff<Func<C, D>> Apply <A, B, C, D> (this Eff<Func<A, B, C, D>> mf, Eff<A> ma, Eff<B> mb) Source #
method Eff<E> Apply <A, B, C, D, E> (this Eff<Func<A, B, C, D, E>> mf, Eff<A> ma, Eff<B> mb, Eff<C> mc, Eff<D> md) Source #
method Eff<Func<D, E>> Apply <A, B, C, D, E> (this Eff<Func<A, B, C, D, E>> mf, Eff<A> ma, Eff<B> mb, Eff<C> mc) Source #
method Eff<Func<C, D, E>> Apply <A, B, C, D, E> (this Eff<Func<A, B, C, D, E>> mf, Eff<A> ma, Eff<B> mb) Source #
method Eff<Func<B, C, D, E>> Apply <A, B, C, D, E> (this Eff<Func<A, B, C, D, E>> mf, Eff<A> ma) Source #
method Eff<RT, B> Apply <RT, A, B> (this Eff<RT, Func<A, B>> mf, Eff<RT, A> ma) Source #
method Eff<RT, C> Apply <RT, A, B, C> (this Eff<RT, Func<A, B, C>> mf, Eff<RT, A> ma, Eff<RT, B> mb) Source #
method Eff<RT, Func<B, C>> Apply <RT, A, B, C> (this Eff<RT, Func<A, B, C>> mf, Eff<RT, A> ma) Source #
method Eff<RT, D> Apply <RT, A, B, C, D> (this Eff<RT, Func<A, B, C, D>> mf, Eff<RT, A> ma, Eff<RT, B> mb, Eff<RT, C> mc) Source #
method Eff<RT, Func<C, D>> Apply <RT, A, B, C, D> (this Eff<RT, Func<A, B, C, D>> mf, Eff<RT, A> ma, Eff<RT, B> mb) Source #
method Eff<RT, Func<B, C, D>> Apply <RT, A, B, C, D> (this Eff<RT, Func<A, B, C, D>> mf, Eff<RT, A> ma) Source #
method Eff<RT, E> Apply <RT, A, B, C, D, E> (this Eff<RT, Func<A, B, C, D, E>> mf, Eff<RT, A> ma, Eff<RT, B> mb, Eff<RT, C> mc, Eff<RT, D> md) Source #
method Eff<RT, Func<D, E>> Apply <RT, A, B, C, D, E> (this Eff<RT, Func<A, B, C, D, E>> mf, Eff<RT, A> ma, Eff<RT, B> mb, Eff<RT, C> mc) Source #
method Eff<RT, Func<C, D, E>> Apply <RT, A, B, C, D, E> (this Eff<RT, Func<A, B, C, D, E>> mf, Eff<RT, A> ma, Eff<RT, B> mb) Source #
method Eff<RT, Func<B, C, D, E>> Apply <RT, A, B, C, D, E> (this Eff<RT, Func<A, B, C, D, E>> mf, Eff<RT, A> ma) Source #
method Eff<RT, C> Apply <RT, A, B, C> (this Func<A, B, C> f, Eff<RT, A> ma, Eff<RT, B> mb) Source #
method Eff<RT, Func<B, C>> Apply <RT, A, B, C> (this Func<A, B, C> f, Eff<RT, A> ma) Source #
method Eff<RT, D> Apply <RT, A, B, C, D> (this Func<A, B, C, D> f, Eff<RT, A> ma, Eff<RT, B> mb, Eff<RT, C> mc) Source #
method Eff<RT, Func<C, D>> Apply <RT, A, B, C, D> (this Func<A, B, C, D> f, Eff<RT, A> ma, Eff<RT, B> mb) Source #
method Eff<RT, Func<B, C, D>> Apply <RT, A, B, C, D> (this Func<A, B, C, D> f, Eff<RT, A> ma) Source #
method Eff<RT, E> Apply <RT, A, B, C, D, E> (this Func<A, B, C, D, E> f, Eff<RT, A> ma, Eff<RT, B> mb, Eff<RT, C> mc, Eff<RT, D> md) Source #
method Eff<RT, Func<D, E>> Apply <RT, A, B, C, D, E> (this Func<A, B, C, D, E> f, Eff<RT, A> ma, Eff<RT, B> mb, Eff<RT, C> mc) Source #
Methods
method Eff<RT, A> Catch <RT, A> (this Eff<RT, A> ma, Error error, Func<Error, Eff<RT, A>> Fail) Source #
Catch an error if the error matches the argument provided
method Eff<RT, A> Catch <RT, A> (this Eff<A> ma, Error error, Func<Error, Eff<RT, A>> Fail) Source #
Catch an error if the error matches the argument provided
method Eff<RT, A> Catch <RT, A> (this Eff<RT, A> ma, Error error, Func<Error, Eff<A>> Fail) Source #
Catch an error if the error matches the argument provided
method Eff<A> Catch <A> (this Eff<A> ma, Error error, Func<Error, Eff<A>> Fail) Source #
Catch an error if the error matches the argument provided
method Eff<RT, A> Catch <RT, A> (this Eff<RT, A> ma, Error error, Eff<RT, A> Fail) Source #
Catch an error if the error matches the argument provided
method Eff<RT, A> Catch <RT, A> (this Eff<A> ma, Error error, Eff<RT, A> Fail) Source #
Catch an error if the error matches the argument provided
method Eff<RT, A> Catch <RT, A> (this Eff<RT, A> ma, Error error, Eff<A> Fail) Source #
Catch an error if the error matches the argument provided
method Eff<A> Catch <A> (this Eff<A> ma, Error error, Eff<A> Fail) Source #
Catch an error if the error matches the argument provided
method Eff<RT, A> Catch <RT, A> (this Eff<RT, A> ma, int errorCode, Func<Error, Eff<RT, A>> Fail) Source #
Catch an error if the error Code matches the errorCode argument provided
method Eff<RT, A> Catch <RT, A> (this Eff<A> ma, int errorCode, Func<Error, Eff<RT, A>> Fail) Source #
Catch an error if the error Code matches the errorCode argument provided
method Eff<RT, A> Catch <RT, A> (this Eff<RT, A> ma, int errorCode, Func<Error, Eff<A>> Fail) Source #
Catch an error if the error Code matches the errorCode argument provided
method Eff<A> Catch <A> (this Eff<A> ma, int errorCode, Func<Error, Eff<A>> Fail) Source #
Catch an error if the error Code matches the errorCode argument provided
method Eff<RT, A> Catch <RT, A> (this Eff<RT, A> ma, string errorText, Eff<RT, A> Fail) Source #
Catch an error if the error message matches the errorText argument provided
method Eff<RT, A> Catch <RT, A> (this Eff<A> ma, string errorText, Eff<RT, A> Fail) Source #
Catch an error if the error message matches the errorText argument provided
method Eff<RT, A> Catch <RT, A> (this Eff<RT, A> ma, string errorText, Eff<A> Fail) Source #
Catch an error if the error message matches the errorText argument provided
method Eff<A> Catch <A> (this Eff<A> ma, string errorText, Eff<A> Fail) Source #
Catch an error if the error message matches the errorText argument provided
method Eff<RT, A> Catch <RT, A> (this Eff<RT, A> ma, int errorCode, Eff<RT, A> Fail) Source #
Catch an error if the error Code matches the errorCode argument provided
method Eff<RT, A> Catch <RT, A> (this Eff<A> ma, int errorCode, Eff<RT, A> Fail) Source #
Catch an error if the error Code matches the errorCode argument provided
method Eff<RT, A> Catch <RT, A> (this Eff<RT, A> ma, int errorCode, Eff<A> Fail) Source #
Catch an error if the error Code matches the errorCode argument provided
method Eff<A> Catch <A> (this Eff<A> ma, int errorCode, Eff<A> Fail) Source #
Catch an error if the error Code matches the errorCode argument provided
method Eff<RT, A> Catch <RT, A> (this Eff<RT, A> ma, string errorText, Func<Error, Eff<RT, A>> Fail) Source #
Catch an error if the error message matches the errorText argument provided
method Eff<RT, A> Catch <RT, A> (this Eff<A> ma, string errorText, Func<Error, Eff<RT, A>> Fail) Source #
Catch an error if the error message matches the errorText argument provided
method Eff<RT, A> Catch <RT, A> (this Eff<RT, A> ma, string errorText, Func<Error, Eff<A>> Fail) Source #
Catch an error if the error message matches the errorText argument provided
method Eff<A> Catch <A> (this Eff<A> ma, string errorText, Func<Error, Eff<A>> Fail) Source #
Catch an error if the error message matches the errorText argument provided
method Eff<RT, A> Catch <RT, A> (this Eff<RT, A> ma, Func<Exception, bool> predicate, Func<Exception, Eff<A>> Fail) Source #
Catch an error if it's of a specific exception type
method Eff<A> Catch <A> (this Eff<A> ma, Func<Exception, bool> predicate, Func<Exception, Eff<A>> Fail) Source #
Catch an error if it's of a specific exception type
method Eff<RT, A> Catch <RT, A> (this Eff<RT, A> ma, Func<Exception, bool> predicate, Eff<A> Fail) Source #
Catch an error if it's of a specific exception type
method Eff<A> Catch <A> (this Eff<A> ma, Func<Exception, bool> predicate, Eff<A> Fail) Source #
Catch an error if it's of a specific exception type
method Eff<RT, A> Catch <RT, A> (this Eff<RT, A> ma, Func<Exception, bool> predicate, Func<Exception, Eff<RT, A>> Fail) Source #
Catch an error if it's of a specific exception type
method Eff<RT, A> Catch <RT, A> (this Eff<A> ma, Func<Exception, bool> predicate, Func<Exception, Eff<RT, A>> Fail) Source #
Catch an error if it's of a specific exception type
method Eff<RT, A> Catch <RT, A> (this Eff<RT, A> ma, Func<Exception, bool> predicate, Eff<RT, A> Fail) Source #
Catch an error if it's of a specific exception type
method Eff<RT, A> Catch <RT, A> (this Eff<A> ma, Func<Exception, bool> predicate, Eff<RT, A> Fail) Source #
Catch an error if it's of a specific exception type
method Eff<RT, A> Catch <RT, A> (this Eff<RT, A> ma, Eff<RT, A> Fail) Source #
Catch all errors
method Eff<RT, A> Catch <RT, A> (this Eff<A> ma, Eff<RT, A> Fail) Source #
Catch all errors
method Eff<RT, A> Catch <RT, A> (this Eff<RT, A> ma, Eff<A> Fail) Source #
Catch all errors
method Eff<RT, A> Catch <RT, A> (this Eff<RT, A> ma, Func<Error, Eff<RT, A>> Fail) Source #
Catch all errors
method Eff<RT, A> Catch <RT, A> (this Eff<A> ma, Func<Error, Eff<RT, A>> Fail) Source #
Catch all errors
class AffExtensions Source #
Methods
method Eff<RT, A> MapFail <RT, A> (this Eff<RT, A> ma, Func<Error, Error> f) Source #
method Aff<RT, B> MapAsync <RT, A, B> (this Eff<RT, A> ma, Func<A, ValueTask<B>> f) Source #
method Eff<RT, B> BiMap <RT, A, B> (this Eff<RT, A> ma, Func<A, B> Succ, Func<Error, Error> Fail) Source #
method Eff<RT, B> Match <RT, A, B> (this Eff<RT, A> ma, Func<A, B> Succ, Func<Error, B> Fail) Source #
method Aff<RT, B> MatchEff <RT, A, B> (this Eff<RT, A> ma, Func<A, B> Succ, Aff<RT, B> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Eff<RT, A> ma, Func<A, B> Succ, Func<Error, Aff<RT, B>> Fail) Source #
method Eff<RT, B> MatchEff <RT, A, B> (this Eff<RT, A> ma, Func<A, B> Succ, Eff<RT, B> Fail) Source #
method Eff<RT, B> MatchEff <RT, A, B> (this Eff<RT, A> ma, Func<A, B> Succ, Func<Error, Eff<RT, B>> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Eff<RT, A> ma, Aff<RT, B> Succ, Func<Error, B> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Eff<RT, A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, B> Fail) Source #
method Eff<RT, B> MatchEff <RT, A, B> (this Eff<RT, A> ma, Eff<RT, B> Succ, Func<Error, B> Fail) Source #
method Eff<RT, B> MatchEff <RT, A, B> (this Eff<RT, A> ma, Func<A, Eff<RT, B>> Succ, Func<Error, B> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Eff<RT, A> ma, Aff<RT, B> Succ, Aff<RT, B> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Eff<RT, A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, Aff<RT, B>> Fail) Source #
method Eff<RT, B> MatchEff <RT, A, B> (this Eff<RT, A> ma, Eff<RT, B> Succ, Eff<RT, B> Fail) Source #
method Eff<RT, B> MatchEff <RT, A, B> (this Eff<RT, A> ma, Func<A, Eff<RT, B>> Succ, Func<Error, Eff<RT, B>> Fail) Source #
method Eff<RT, B> Match <RT, A, B> (this Eff<RT, A> ma, B Succ, Func<Error, B> Fail) Source #
method Eff<RT, B> Match <RT, A, B> (this Eff<RT, A> ma, Func<A, B> Succ, B Fail) Source #
method Aff<RT, A> IfFailAff <RT, A> (this Eff<RT, A> ma, Aff<RT, A> alternative) Source #
method Aff<RT, A> IfFailAff <RT, A> (this Eff<RT, A> ma, Func<Error, Aff<RT, A>> alternative) Source #
method Aff<RT, A> IfFailAff <RT, A> (this Eff<RT, A> ma, Aff<A> alternative) Source #
method Aff<RT, A> IfFailAff <RT, A> (this Eff<RT, A> ma, Func<Error, Aff<A>> alternative) Source #
method Eff<RT, A> IfFailEff <RT, A> (this Eff<RT, A> ma, Eff<RT, A> alternative) Source #
method Eff<RT, A> IfFailEff <RT, A> (this Eff<RT, A> ma, Func<Error, Eff<RT, A>> alternative) Source #
method Eff<RT, A> IfFailEff <RT, A> (this Eff<RT, A> ma, Eff<A> alternative) Source #
method Eff<RT, A> IfFailEff <RT, A> (this Eff<RT, A> ma, Func<Error, Eff<A>> alternative) Source #
method Aff<RT, Unit> Iter <RT, A> (this Eff<RT, A> ma, Func<A, Aff<RT, Unit>> f) Source #
method Aff<RT, Unit> Iter <RT, A> (this Eff<RT, A> ma, Func<A, Aff<Unit>> f) Source #
method Eff<RT, Unit> Iter <RT, A> (this Eff<RT, A> ma, Func<A, Eff<RT, Unit>> f) Source #
method Eff<RT, Unit> Iter <RT, A> (this Eff<RT, A> ma, Func<A, Eff<Unit>> f) Source #
method Aff<RT, A> Do <RT, A> (this Eff<RT, A> ma, Func<A, Aff<RT, Unit>> f) Source #
method Eff<RT, A> Do <RT, A> (this Eff<RT, A> ma, Func<A, Eff<RT, Unit>> f) Source #
method Aff<RT, A> Do <RT, A> (this Eff<RT, A> ma, Func<A, Aff<Unit>> f) Source #
method Eff<RT, B> Bind <RT, A, B> (this Eff<RT, A> ma, Func<A, Eff<B>> f) Source #
method Eff<RT, B> Bind <RT, A, B> (this Eff<RT, A> ma, Func<A, Eff<RT, B>> f) Source #
method Aff<RT, B> Bind <RT, A, B> (this Eff<RT, A> ma, Func<A, Aff<B>> f) Source #
method Aff<RT, B> Bind <RT, A, B> (this Eff<RT, A> ma, Func<A, Aff<RT, B>> f) Source #
method Aff<RT, A> Flatten <RT, A> (this Eff<RT, Aff<RT, A>> mma) Source #
method Aff<RT, A> Flatten <RT, A> (this Eff<RT, Aff<A>> mma) Source #
method Eff<RT, B> SelectMany <RT, A, B> (this Eff<RT, A> ma, Func<A, Eff<RT, B>> f) Source #
method Eff<RT, B> SelectMany <RT, A, B> (this Eff<RT, A> ma, Func<A, Eff<B>> f) Source #
method Aff<RT, B> SelectMany <RT, A, B> (this Eff<RT, A> ma, Func<A, Aff<RT, B>> f) Source #
method Aff<RT, B> SelectMany <RT, A, B> (this Eff<RT, A> ma, Func<A, Aff<B>> f) Source #
method Eff<RT, C> SelectMany <RT, A, B, C> (this Eff<RT, A> ma, Func<A, Eff<RT, B>> bind, Func<A, B, C> project) Source #
method Eff<RT, C> SelectMany <RT, A, B, C> (this Eff<RT, A> ma, Func<A, Eff<B>> bind, Func<A, B, C> project) Source #
method Aff<RT, C> SelectMany <RT, A, B, C> (this Eff<RT, A> ma, Func<A, Aff<RT, B>> bind, Func<A, B, C> project) Source #
method Aff<RT, C> SelectMany <RT, A, B, C> (this Eff<RT, A> ma, Func<A, Aff<B>> bind, Func<A, B, C> project) Source #
method Aff<RT, C> SelectMany <RT, A, B, C> (this Eff<RT, A> ma, Func<A, Effect<RT, B>> bind, Func<A, B, C> project) Source #
class AffExtensions Source #
Methods
method Aff<RT, B> MatchAff <RT, A, B> (this Eff<A> ma, Func<A, B> Succ, Aff<RT, B> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Eff<A> ma, Func<A, B> Succ, Func<Error, Aff<RT, B>> Fail) Source #
method Eff<RT, B> MatchEff <RT, A, B> (this Eff<A> ma, Func<A, B> Succ, Eff<RT, B> Fail) Source #
method Eff<RT, B> MatchEff <RT, A, B> (this Eff<A> ma, Func<A, B> Succ, Func<Error, Eff<RT, B>> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Eff<A> ma, Aff<RT, B> Succ, Func<Error, B> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Eff<A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, B> Fail) Source #
method Eff<RT, B> MatchEff <RT, A, B> (this Eff<A> ma, Eff<RT, B> Succ, Func<Error, B> Fail) Source #
method Eff<RT, B> MatchEff <RT, A, B> (this Eff<A> ma, Func<A, Eff<RT, B>> Succ, Func<Error, B> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Eff<A> ma, Aff<RT, B> Succ, Aff<RT, B> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Eff<A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, Aff<RT, B>> Fail) Source #
method Eff<RT, B> MatchEff <RT, A, B> (this Eff<A> ma, Eff<RT, B> Succ, Eff<RT, B> Fail) Source #
method Eff<RT, B> MatchEff <RT, A, B> (this Eff<A> ma, Func<A, Eff<RT, B>> Succ, Func<Error, Eff<RT, B>> Fail) Source #
method Eff<B> MatchEff <A, B> (this Eff<A> ma, Func<A, Eff<B>> Succ, Func<Error, Eff<B>> Fail) Source #
method Aff<RT, A> IfFailAff <RT, A> (this Eff<A> ma, Aff<RT, A> alternative) Source #
method Aff<RT, A> IfFailAff <RT, A> (this Eff<A> ma, Func<Error, Aff<RT, A>> alternative) Source #
method Eff<RT, A> IfFailEff <RT, A> (this Eff<A> ma, Eff<RT, A> alternative) Source #
method Eff<RT, A> IfFailEff <RT, A> (this Eff<A> ma, Func<Error, Eff<RT, A>> alternative) Source #
method Aff<RT, Unit> Iter <RT, A> (this Eff<A> ma, Func<A, Aff<RT, Unit>> f) Source #
method Eff<RT, Unit> Iter <RT, A> (this Eff<A> ma, Func<A, Eff<RT, Unit>> f) Source #
method Aff<RT, A> Do <RT, A> (this Eff<A> ma, Func<A, Aff<RT, Unit>> f) Source #
method Eff<RT, B> Bind <RT, A, B> (this Eff<A> ma, Func<A, Eff<RT, B>> f) Source #
method Aff<RT, B> Bind <RT, A, B> (this Eff<A> ma, Func<A, Aff<RT, B>> f) Source #
method Eff<B> BiBind <A, B> (this Eff<A> ma, Func<A, Eff<B>> Succ, Func<Error, Eff<B>> Fail) Source #
method Eff<RT, B> BiBind <RT, A, B> (this Eff<A> ma, Func<A, Eff<RT, B>> Succ, Func<Error, Eff<RT, B>> Fail) Source #
method Aff<B> BiBind <A, B> (this Eff<A> ma, Func<A, Aff<B>> Succ, Func<Error, Aff<B>> Fail) Source #
method Aff<RT, B> BiBind <RT, A, B> (this Eff<A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, Aff<RT, B>> Fail) Source #
method Aff<RT, A> Flatten <RT, A> (this Eff<Aff<RT, A>> mma) Source #
method Eff<B> SelectMany <A, B> (this Eff<A> ma, Func<A, Eff<B>> f) Source #
method Eff<RT, B> SelectMany <RT, A, B> (this Eff<A> ma, Func<A, Eff<RT, B>> f) Source #
method Aff<B> SelectMany <A, B> (this Eff<A> ma, Func<A, Aff<B>> f) Source #
method Aff<RT, B> SelectMany <RT, A, B> (this Eff<A> ma, Func<A, Aff<RT, B>> f) Source #
method Eff<C> SelectMany <A, B, C> (this Eff<A> ma, Func<A, Eff<B>> bind, Func<A, B, C> project) Source #
method Eff<RT, C> SelectMany <RT, A, B, C> (this Eff<A> ma, Func<A, Eff<RT, B>> bind, Func<A, B, C> project) Source #
method Aff<C> SelectMany <A, B, C> (this Eff<A> ma, Func<A, Aff<B>> bind, Func<A, B, C> project) Source #
method Aff<RT, C> SelectMany <RT, A, B, C> (this Eff<A> ma, Func<A, Aff<RT, B>> bind, Func<A, B, C> project) Source #
method Aff<RT, C> SelectMany <RT, A, B, C> (this Eff<A> ma, Func<A, Effect<RT, B>> bind, Func<A, B, C> project) Source #
class EffExtensions Source #
Methods
method Eff<RT, S> Fold <RT, S, A> (this Eff<RT, A> ma, Schedule schedule, S state, Func<S, A, S> fold) Source #
Fold over the effect repeatedly until the schedule expires or the effect fails
Parameters
| type | RT | Runtime |
| type | S | State type |
| type | A | Bound value type |
| param | ma | Effect to fold over |
| param | schedule | Scheduler that controls the number of folds and the delay between each fold iteration |
| param | state | Initial state |
| param | fold | Folder function |
| returns | The result of the fold operation | |
method Eff<RT, S> FoldWhile <RT, S, A> (this Eff<RT, A> ma, Schedule schedule, S state, Func<S, A, S> fold, Func<A, bool> pred) Source #
Fold over the effect repeatedly until the schedule expires, the effect fails, or the predicate returns false
Parameters
| type | RT | Runtime |
| type | S | State type |
| type | A | Bound value type |
| param | ma | Effect to fold over |
| param | schedule | Scheduler that controls the number of folds and the delay between each fold iteration |
| param | state | Initial state |
| param | fold | Folder function |
| param | pred | Predicate function - when this returns false, the fold ends |
| returns | The result of the fold operation | |
method Eff<RT, S> FoldUntil <RT, S, A> (this Eff<RT, A> ma, Schedule schedule, S state, Func<S, A, S> fold, Func<A, bool> pred) Source #
Fold over the effect repeatedly until the schedule expires, the effect fails, or the predicate returns true
Parameters
| type | RT | Runtime |
| type | S | State type |
| type | A | Bound value type |
| param | ma | Effect to fold over |
| param | schedule | Scheduler that controls the number of folds and the delay between each fold iteration |
| param | state | Initial state |
| param | fold | Folder function |
| param | pred | Predicate function - when this returns true, the fold ends |
| returns | The result of the fold operation | |
method Eff<RT, S> Fold <RT, S, A> (this Eff<RT, A> ma, S state, Func<S, A, S> fold) Source #
Fold over the effect repeatedly until the effect fails
Parameters
| type | RT | Runtime |
| type | S | State type |
| type | A | Bound value type |
| param | ma | Effect to fold over |
| param | state | Initial state |
| param | fold | Folder function |
| returns | The result of the fold operation | |
method Eff<RT, S> FoldWhile <RT, S, A> (this Eff<RT, A> ma, S state, Func<S, A, S> fold, Func<A, bool> pred) Source #
Fold over the effect repeatedly until the effect fails or the predicate returns false
Parameters
| type | RT | Runtime |
| type | S | State type |
| type | A | Bound value type |
| param | ma | Effect to fold over |
| param | state | Initial state |
| param | fold | Folder function |
| param | pred | Predicate function - when this returns false, the fold ends |
| returns | The result of the fold operation | |
method Eff<RT, S> FoldUntil <RT, S, A> (this Eff<RT, A> ma, S state, Func<S, A, S> fold, Func<A, bool> pred) Source #
Fold over the effect repeatedly until the effect fails or the predicate returns true
Parameters
| type | RT | Runtime |
| type | S | State type |
| type | A | Bound value type |
| param | ma | Effect to fold over |
| param | state | Initial state |
| param | fold | Folder function |
| param | pred | Predicate function - when this returns true, the fold ends |
| returns | The result of the fold operation | |
method Eff<S> Fold <S, A> (this Eff<A> ma, Schedule schedule, S state, Func<S, A, S> fold) Source #
Fold over the effect repeatedly until the schedule expires or the effect fails
Parameters
| type | S | State type |
| type | A | Bound value type |
| param | ma | Effect to fold over |
| param | schedule | Scheduler that controls the number of folds and the delay between each fold iteration |
| param | state | Initial state |
| param | fold | Folder function |
| returns | The result of the fold operation | |
method Eff<S> FoldWhile <S, A> (this Eff<A> ma, Schedule schedule, S state, Func<S, A, S> fold, Func<A, bool> pred) Source #
Fold over the effect repeatedly until the schedule expires, the effect fails, or the predicate returns false
Parameters
| type | S | State type |
| type | A | Bound value type |
| param | ma | Effect to fold over |
| param | schedule | Scheduler that controls the number of folds and the delay between each fold iteration |
| param | state | Initial state |
| param | fold | Folder function |
| param | pred | Predicate function - when this returns false, the fold ends |
| returns | The result of the fold operation | |
method Eff<S> FoldUntil <S, A> (this Eff<A> ma, Schedule schedule, S state, Func<S, A, S> fold, Func<A, bool> pred) Source #
Fold over the effect repeatedly until the schedule expires, the effect fails, or the predicate returns true
Parameters
| type | S | State type |
| type | A | Bound value type |
| param | ma | Effect to fold over |
| param | schedule | Scheduler that controls the number of folds and the delay between each fold iteration |
| param | state | Initial state |
| param | fold | Folder function |
| param | pred | Predicate function - when this returns true, the fold ends |
| returns | The result of the fold operation | |
method Eff<S> Fold <S, A> (this Eff<A> ma, S state, Func<S, A, S> fold) Source #
Fold over the effect repeatedly until the effect fails
Parameters
| type | S | State type |
| type | A | Bound value type |
| param | ma | Effect to fold over |
| param | state | Initial state |
| param | fold | Folder function |
| returns | The result of the fold operation | |
method Eff<S> FoldWhile <S, A> (this Eff<A> ma, S state, Func<S, A, S> fold, Func<A, bool> pred) Source #
Fold over the effect repeatedly until the effect fails or the predicate returns false
Parameters
| type | S | State type |
| type | A | Bound value type |
| param | ma | Effect to fold over |
| param | state | Initial state |
| param | fold | Folder function |
| param | pred | Predicate function - when this returns false, the fold ends |
| returns | The result of the fold operation | |
method Eff<S> FoldUntil <S, A> (this Eff<A> ma, S state, Func<S, A, S> fold, Func<A, bool> pred) Source #
Fold over the effect repeatedly until the effect fails or the predicate returns true
Parameters
| type | S | State type |
| type | A | Bound value type |
| param | ma | Effect to fold over |
| param | state | Initial state |
| param | fold | Folder function |
| param | pred | Predicate function - when this returns true, the fold ends |
| returns | The result of the fold operation | |
class EffExtensions Source #
Methods
method Eff<RT, A> Repeat <RT, A> (this Eff<RT, A> ma) Source #
Keeps repeating the computation until it fails
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<A> Repeat <A> (this Eff<A> ma) Source #
Keeps repeating the computation until it fails
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<RT, A> Repeat <RT, A> (this Eff<RT, A> ma, Schedule schedule) Source #
Keeps repeating the computation until it fails
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | schedule | Scheduler strategy for repeating |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<A> Repeat <A> (this Eff<A> ma, Schedule schedule) Source #
Keeps repeating the computation until it fails
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | schedule | Scheduler strategy for repeating |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<RT, A> RepeatWhile <RT, A> (this Eff<RT, A> ma, Func<A, bool> predicate) Source #
Keeps repeating the computation until it fails or the predicate returns false
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<A> RepeatWhile <A> (this Eff<A> ma, Func<A, bool> predicate) Source #
Keeps repeating the computation until it fails or the predicate returns false
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<RT, A> RepeatWhile <RT, A> (this Eff<RT, A> ma, Schedule schedule, Func<A, bool> predicate) Source #
Keeps repeating the computation until it fails or the predicate returns false
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | schedule | Scheduler strategy for repeating |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<A> RepeatWhile <A> (this Eff<A> ma, Schedule schedule, Func<A, bool> predicate) Source #
Keeps repeating the computation until it fails or the predicate returns false
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | schedule | Scheduler strategy for repeating |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<RT, A> RepeatUntil <RT, A> (this Eff<RT, A> ma, Func<A, bool> predicate) Source #
Keeps repeating the computation until it fails or the predicate returns true
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<A> RepeatUntil <A> (this Eff<A> ma, Func<A, bool> predicate) Source #
Keeps repeating the computation until it fails or the predicate returns true
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<RT, A> RepeatUntil <RT, A> (this Eff<RT, A> ma, Schedule schedule, Func<A, bool> predicate) Source #
Keeps repeating the computation until it fails or the predicate returns true
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | schedule | Scheduler strategy for repeating |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<A> RepeatUntil <A> (this Eff<A> ma, Schedule schedule, Func<A, bool> predicate) Source #
Keeps repeating the computation until it fails or the predicate returns true
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | schedule | Scheduler strategy for repeating |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
class EffExtensions Source #
Methods
method Eff<RT, A> Retry <RT, A> (this Eff<RT, A> ma) Source #
Keeps retrying the computation
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<A> Retry <A> (this Eff<A> ma) Source #
Keeps retrying the computation
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<RT, A> Retry <RT, A> (this Eff<RT, A> ma, Schedule schedule) Source #
Keeps retrying the computation, until the scheduler expires
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | schedule | Scheduler strategy for repeating |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<A> Retry <A> (this Eff<A> ma, Schedule schedule) Source #
Keeps retrying the computation, until the scheduler expires
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | schedule | Scheduler strategy for repeating |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<RT, A> RetryWhile <RT, A> (this Eff<RT, A> ma, Func<Error, bool> predicate) Source #
Keeps retrying the computation until the predicate returns false
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<A> RetryWhile <A> (this Eff<A> ma, Func<Error, bool> predicate) Source #
Keeps retrying the computation until the predicate returns false
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<RT, A> RetryWhile <RT, A> (this Eff<RT, A> ma, Schedule schedule, Func<Error, bool> predicate) Source #
Keeps retrying the computation, until the scheduler expires, or the predicate returns false
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | schedule | Scheduler strategy for repeating |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<A> RetryWhile <A> (this Eff<A> ma, Schedule schedule, Func<Error, bool> predicate) Source #
Keeps retrying the computation, until the scheduler expires, or the predicate returns false
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | schedule | Scheduler strategy for repeating |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<RT, A> RetryUntil <RT, A> (this Eff<RT, A> ma, Func<Error, bool> predicate) Source #
Keeps retrying the computation until the predicate returns true
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<A> RetryUntil <A> (this Eff<A> ma, Func<Error, bool> predicate) Source #
Keeps retrying the computation until the predicate returns true
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<RT, A> RetryUntil <RT, A> (this Eff<RT, A> ma, Schedule schedule, Func<Error, bool> predicate) Source #
Keeps retrying the computation, until the scheduler expires, or the predicate returns true
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | schedule | Scheduler strategy for repeating |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Eff<A> RetryUntil <A> (this Eff<A> ma, Schedule schedule, Func<Error, bool> predicate) Source #
Keeps retrying the computation, until the scheduler expires, or the predicate returns true
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | schedule | Scheduler strategy for repeating |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
class EffExtensions Source #
Methods
method Aff<R> Use <H, R> (this Eff<H> Acq, Func<H, Aff<R>> Use) Source #
Safely use a disposable resource
Parameters
| param | Acq | Acquire resource |
| param | Use | Use resource |
method Aff<RT, R> Use <RT, H, R> (this Eff<H> Acq, Func<H, Aff<RT, R>> Use) Source #
Safely use a disposable resource
Parameters
| param | Acq | Acquire resource |
| param | Use | Use resource |
method Eff<R> Use <H, R> (this Eff<H> Acq, Func<H, Eff<R>> Use) Source #
Safely use a disposable resource
Parameters
| param | Acq | Acquire resource |
| param | Use | Use resource |
method Eff<RT, R> Use <RT, H, R> (this Eff<H> Acq, Func<H, Eff<RT, R>> Use) Source #
Safely use a disposable resource
Parameters
| param | Acq | Acquire resource |
| param | Use | Use resource |
method Aff<RT, R> Use <RT, H, R> (this Eff<RT, H> Acq, Func<H, Aff<R>> Use) Source #
Safely use a disposable resource
Parameters
| param | Acq | Acquire resource |
| param | Use | Use resource |
method Aff<RT, R> Use <RT, H, R> (this Eff<RT, H> Acq, Func<H, Aff<RT, R>> Use) Source #
Safely use a disposable resource
Parameters
| param | Acq | Acquire resource |
| param | Use | Use resource |