LanguageExt.Core ► Effects ► Aff ► Extensions
Contents
- AffExtensions
- Apply <A, B> (this Aff<Func<A, B>> mf, Aff<A> ma)
- Apply <A, B, C> (this Aff<Func<A, B, C>> mf, Aff<A> ma, Aff<B> mb)
- Apply <A, B, C> (this Aff<Func<A, B, C>> mf, Aff<A> ma)
- Apply <A, B, C, D> (this Aff<Func<A, B, C, D>> mf, Aff<A> ma, Aff<B> mb, Aff<C> mc)
- Apply <A, B, C, D> (this Aff<Func<A, B, C, D>> mf, Aff<A> ma, Aff<B> mb)
- Apply <A, B, C, D> (this Aff<Func<A, B, C, D>> mf, Aff<A> ma)
- Apply <A, B, C, D, E> (this Aff<Func<A, B, C, D, E>> mf, Aff<A> ma, Aff<B> mb, Aff<C> mc, Aff<D> md)
- Apply <A, B, C, D, E> (this Aff<Func<A, B, C, D, E>> mf, Aff<A> ma, Aff<B> mb, Aff<C> mc)
- Apply <A, B, C, D, E> (this Aff<Func<A, B, C, D, E>> mf, Aff<A> ma, Aff<B> mb)
- Apply <A, B, C, D, E> (this Aff<Func<A, B, C, D, E>> mf, Aff<A> ma)
- Apply <RT, A, B> (this Aff<RT, Func<A, B>> mf, Aff<RT, A> ma)
- Apply <RT, A, B, C> (this Aff<RT, Func<A, B, C>> mf, Aff<RT, A> ma, Aff<RT, B> mb)
- Apply <RT, A, B, C> (this Aff<RT, Func<A, B, C>> mf, Aff<RT, A> ma)
- Apply <RT, A, B, C, D> (this Aff<RT, Func<A, B, C, D>> mf, Aff<RT, A> ma, Aff<RT, B> mb, Aff<RT, C> mc)
- Apply <RT, A, B, C, D> (this Aff<RT, Func<A, B, C, D>> mf, Aff<RT, A> ma, Aff<RT, B> mb)
- Apply <RT, A, B, C, D> (this Aff<RT, Func<A, B, C, D>> mf, Aff<RT, A> ma)
- Apply <RT, A, B, C, D, E> (this Aff<RT, Func<A, B, C, D, E>> mf, Aff<RT, A> ma, Aff<RT, B> mb, Aff<RT, C> mc, Aff<RT, D> md)
- Apply <RT, A, B, C, D, E> (this Aff<RT, Func<A, B, C, D, E>> mf, Aff<RT, A> ma, Aff<RT, B> mb, Aff<RT, C> mc)
- Apply <RT, A, B, C, D, E> (this Aff<RT, Func<A, B, C, D, E>> mf, Aff<RT, A> ma, Aff<RT, B> mb)
- Apply <RT, A, B, C, D, E> (this Aff<RT, Func<A, B, C, D, E>> mf, Aff<RT, A> ma)
- Apply <RT, A, B> (this Func<A, B> f, Aff<RT, A> ma)
- Apply <RT, A, B, C> (this Func<A, B, C> f, Aff<RT, A> ma, Aff<RT, B> mb)
- Apply <RT, A, B, C> (this Func<A, B, C> f, Aff<RT, A> ma)
- Apply <RT, A, B, C, D> (this Func<A, B, C, D> f, Aff<RT, A> ma, Aff<RT, B> mb, Aff<RT, C> mc)
- Apply <RT, A, B, C, D> (this Func<A, B, C, D> f, Aff<RT, A> ma, Aff<RT, B> mb)
- Apply <RT, A, B, C, D> (this Func<A, B, C, D> f, Aff<RT, A> ma)
- Apply <RT, A, B, C, D, E> (this Func<A, B, C, D, E> f, Aff<RT, A> ma, Aff<RT, B> mb, Aff<RT, C> mc, Aff<RT, D> md)
- Apply <RT, A, B, C, D, E> (this Func<A, B, C, D, E> f, Aff<RT, A> ma, Aff<RT, B> mb, Aff<RT, C> mc)
- Apply <RT, A, B, C, D, E> (this Func<A, B, C, D, E> f, Aff<RT, A> ma, Aff<RT, B> mb)
- Apply <RT, A, B, C, D, E> (this Func<A, B, C, D, E> f, Aff<RT, A> ma)
- Prelude
- Catch <RT, A> (this Aff<RT, A> ma, Error error, Func<Error, Aff<RT, A>> Fail)
- Catch <RT, A> (this Aff<A> ma, Error error, Func<Error, Aff<RT, A>> Fail)
- Catch <RT, A> (this Aff<RT, A> ma, Error error, Func<Error, Aff<A>> Fail)
- Catch <A> (this Aff<A> ma, Error error, Func<Error, Aff<A>> Fail)
- Catch <RT, A> (this Aff<RT, A> ma, Error error, Aff<RT, A> Fail)
- Catch <RT, A> (this Aff<A> ma, Error error, Aff<RT, A> Fail)
- Catch <RT, A> (this Aff<RT, A> ma, Error error, Aff<A> Fail)
- Catch <A> (this Aff<A> ma, Error error, Aff<A> Fail)
- Catch <RT, A> (this Aff<RT, A> ma, int errorCode, Func<Error, Aff<RT, A>> Fail)
- Catch <RT, A> (this Aff<A> ma, int errorCode, Func<Error, Aff<RT, A>> Fail)
- Catch <RT, A> (this Aff<RT, A> ma, int errorCode, Func<Error, Aff<A>> Fail)
- Catch <A> (this Aff<A> ma, int errorCode, Func<Error, Aff<A>> Fail)
- Catch <RT, A> (this Aff<RT, A> ma, string errorText, Aff<RT, A> Fail)
- Catch <RT, A> (this Aff<A> ma, string errorText, Aff<RT, A> Fail)
- Catch <RT, A> (this Aff<RT, A> ma, string errorText, Aff<A> Fail)
- Catch <A> (this Aff<A> ma, string errorText, Aff<A> Fail)
- Catch <RT, A> (this Aff<RT, A> ma, int errorCode, Aff<RT, A> Fail)
- Catch <RT, A> (this Aff<A> ma, int errorCode, Aff<RT, A> Fail)
- Catch <RT, A> (this Aff<RT, A> ma, int errorCode, Aff<A> Fail)
- Catch <A> (this Aff<A> ma, int errorCode, Aff<A> Fail)
- Catch <RT, A> (this Aff<RT, A> ma, string errorText, Func<Error, Aff<RT, A>> Fail)
- Catch <RT, A> (this Aff<A> ma, string errorText, Func<Error, Aff<RT, A>> Fail)
- Catch <RT, A> (this Aff<RT, A> ma, string errorText, Func<Error, Aff<A>> Fail)
- Catch <A> (this Aff<A> ma, string errorText, Func<Error, Aff<A>> Fail)
- Catch <RT, A> (this Aff<RT, A> ma, Func<Exception, bool> predicate, Func<Exception, Aff<A>> Fail)
- Catch <A> (this Aff<A> ma, Func<Exception, bool> predicate, Func<Exception, Aff<A>> Fail)
- Catch <RT, A> (this Aff<RT, A> ma, Func<Exception, bool> predicate, Aff<A> Fail)
- Catch <A> (this Aff<A> ma, Func<Exception, bool> predicate, Aff<A> Fail)
- Catch <RT, A> (this Aff<RT, A> ma, Func<Exception, bool> predicate, Func<Exception, Aff<RT, A>> Fail)
- Catch <RT, A> (this Aff<A> ma, Func<Exception, bool> predicate, Func<Exception, Aff<RT, A>> Fail)
- Catch <RT, A> (this Aff<RT, A> ma, Func<Exception, bool> predicate, Aff<RT, A> Fail)
- Catch <RT, A> (this Aff<A> ma, Func<Exception, bool> predicate, Aff<RT, A> Fail)
- Catch <RT, A> (this Aff<RT, A> ma, Aff<RT, A> Fail)
- Catch <RT, A> (this Aff<A> ma, Aff<RT, A> Fail)
- Catch <RT, A> (this Aff<RT, A> ma, Aff<A> Fail)
- Catch <A> (this Aff<A> ma, Aff<A> Fail)
- Catch <RT, A> (this Aff<RT, A> ma, Func<Error, Aff<RT, A>> Fail)
- Catch <RT, A> (this Aff<A> ma, Func<Error, Aff<RT, A>> Fail)
- Catch <RT, A> (this Aff<RT, A> ma, Func<Error, Aff<A>> Fail)
- Catch <A> (this Aff<A> ma, Func<Error, Aff<A>> Fail)
- AffExtensions
- Sequence <RT, A, B> (this (Aff<RT, A>, Aff<RT, B>) ms)
- Sequence <RT, A, B, C> (this (Aff<RT, A>, Aff<RT, B>, Aff<RT, C>) ms)
- Sequence <RT, A, B, C, D> (this (Aff<RT, A>, Aff<RT, B>, Aff<RT, C>, Aff<RT, D>) ms)
- Sequence <RT, A, B, C, D, E> (this (Aff<RT, A>, Aff<RT, B>, Aff<RT, C>, Aff<RT, D>, Aff<RT, E>) ms)
- Map <RT, A, B> (this Aff<RT, A> ma, Func<A, B> f)
- MapAsync <RT, A, B> (this Aff<RT, A> ma, Func<A, ValueTask<B>> f)
- MapFail <RT, A> (this Aff<RT, A> ma, Func<Error, Error> f)
- MapFailAsync <RT, A> (this Aff<RT, A> ma, Func<Error, ValueTask<Error>> f)
- BiMap <RT, A, B> (this Aff<RT, A> ma, Func<A, B> Succ, Func<Error, Error> Fail)
- BiMapAsync <RT, A, B> (this Aff<RT, A> ma, Func<A, ValueTask<B>> Succ, Func<Error, ValueTask<Error>> Fail)
- Match <RT, A, B> (this Aff<RT, A> ma, Func<A, B> Succ, Func<Error, B> Fail)
- MatchAff <RT, A, B> (this Aff<RT, A> ma, Func<A, B> Succ, Aff<RT, B> Fail)
- MatchAff <RT, A, B> (this Aff<RT, A> ma, Func<A, B> Succ, Func<Error, Aff<RT, B>> Fail)
- MatchAff <RT, A, B> (this Aff<RT, A> ma, Aff<RT, B> Succ, Func<Error, B> Fail)
- MatchAff <RT, A, B> (this Aff<RT, A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, B> Fail)
- MatchAff <RT, A, B> (this Aff<RT, A> ma, Aff<RT, B> Succ, Aff<RT, B> Fail)
- MatchAff <RT, A, B> (this Aff<RT, A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, Aff<RT, B>> Fail)
- Match <RT, A, B> (this Aff<RT, A> ma, B Succ, Func<Error, B> Fail)
- Match <RT, A, B> (this Aff<RT, A> ma, Func<A, B> Succ, B Fail)
- Match <RT, A, B> (this Aff<RT, A> ma, B Succ, B Fail)
- IfFail <RT, A> (this Aff<RT, A> ma, Func<Error, A> f)
- IfFail <RT, A> (this Aff<RT, A> ma, A alternative)
- IfFailAff <RT, A> (this Aff<RT, A> ma, Aff<RT, A> alternative)
- IfFailAff <RT, A> (this Aff<RT, A> ma, Func<Error, Aff<RT, A>> alternative)
- IfFailAff <RT, A> (this Aff<RT, A> ma, Aff<A> alternative)
- IfFailAff <RT, A> (this Aff<RT, A> ma, Func<Error, Aff<A>> alternative)
- IfFailAff <RT, A> (this Aff<RT, A> ma, Eff<RT, A> alternative)
- IfFailAff <RT, A> (this Aff<RT, A> ma, Func<Error, Eff<RT, A>> alternative)
- IfFailAff <RT, A> (this Aff<RT, A> ma, Eff<A> alternative)
- IfFailAff <RT, A> (this Aff<RT, A> ma, Func<Error, Eff<A>> alternative)
- Iter <RT, A> (this Aff<RT, A> ma, Func<A, Unit> f)
- Iter <RT, A> (this Aff<RT, A> ma, Func<A, Aff<RT, Unit>> f)
- Iter <RT, A> (this Aff<RT, A> ma, Func<A, Aff<Unit>> f)
- Iter <RT, A> (this Aff<RT, A> ma, Func<A, Eff<RT, Unit>> f)
- Iter <RT, A> (this Aff<RT, A> ma, Func<A, Eff<Unit>> f)
- Do <RT, A> (this Aff<RT, A> ma, Func<A, Unit> f)
- Do <RT, A> (this Aff<RT, A> ma, Func<A, Aff<RT, Unit>> f)
- Do <RT, A> (this Aff<RT, A> ma, Func<A, Eff<RT, Unit>> f)
- Do <RT, A> (this Aff<RT, A> ma, Func<A, Aff<Unit>> f)
- Do <RT, A> (this Aff<RT, A> ma, Func<A, Eff<Unit>> f)
- Filter <RT, A> (this Aff<RT, A> ma, Func<A, bool> f)
- Where <RT, A> (this Aff<RT, A> ma, Func<A, bool> f)
- Bind <RT, A, B> (this Aff<RT, A> ma, Func<A, Eff<B>> f)
- Bind <RT, A, B> (this Aff<RT, A> ma, Func<A, Eff<RT, B>> f)
- Bind <RT, A, B> (this Aff<RT, A> ma, Func<A, Aff<B>> f)
- Bind <RT, A, B> (this Aff<RT, A> ma, Func<A, Aff<RT, B>> f)
- BiBind <RT, A, B> (this Aff<RT, A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, Aff<RT, B>> Fail)
- BiBind <RT, A, B> (this Aff<RT, A> ma, Func<A, Aff<B>> Succ, Func<Error, Aff<B>> Fail)
- BiBind <RT, A, B> (this Aff<RT, A> ma, Func<A, Eff<RT, B>> Succ, Func<Error, Eff<RT, B>> Fail)
- BiBind <RT, A, B> (this Aff<RT, A> ma, Func<A, LanguageExt.Eff<B>> Succ, Func<Error, LanguageExt.Eff<B>> Fail)
- Flatten <RT, A> (this Aff<RT, Aff<RT, A>> mma)
- Flatten <RT, A> (this Aff<RT, Aff<A>> mma)
- Flatten <RT, A> (this Aff<RT, Eff<RT, A>> mma)
- Flatten <RT, A> (this Aff<RT, Eff<A>> mma)
- Select <RT, A, B> (this Aff<RT, A> ma, Func<A, B> f)
- SelectMany <RT, A, B> (this Aff<RT, A> ma, Func<A, Aff<RT, B>> f)
- SelectMany <RT, A, B> (this Aff<RT, A> ma, Func<A, Aff<B>> f)
- SelectMany <RT, A, B> (this Aff<RT, A> ma, Func<A, Eff<RT, B>> f)
- SelectMany <RT, A, B> (this Aff<RT, A> ma, Func<A, LanguageExt.Eff<B>> f)
- SelectMany <RT, A, B, C> (this Aff<RT, A> ma, Func<A, Aff<RT, B>> bind, Func<A, B, C> project)
- SelectMany <RT, A, B, C> (this Aff<RT, A> ma, Func<A, Aff<B>> bind, Func<A, B, C> project)
- SelectMany <RT, A, B, C> (this Aff<RT, A> ma, Func<A, Eff<RT, B>> bind, Func<A, B, C> project)
- SelectMany <RT, A, B, C> (this Aff<RT, A> ma, Func<A, LanguageExt.Eff<B>> bind, Func<A, B, C> project)
- SelectMany <RT, A, B, C> (this Aff<RT, A> ma, Func<A, Effect<RT, B>> bind, Func<A, B, C> project)
- Zip <RT, A, B> (this Aff<RT, A> ma, Aff<RT, B> mb)
- Zip <RT, A, B> (this Aff<RT, A> ma, Aff<B> mb)
- Zip <RT, A, B> (this Aff<A> ma, Aff<RT, B> mb)
- Zip <RT, A, B> (this Aff<RT, A> ma, Eff<B> mb)
- Zip <RT, A, B> (this Eff<A> ma, Aff<RT, B> mb)
- Zip <RT, A, B> (this Aff<RT, A> ma, Eff<RT, B> mb)
- Zip <RT, A, B> (this Eff<RT, A> ma, Aff<RT, B> mb)
- AffExtensions
- Sequence <A, B> (this (Aff<A>, Aff< B>) ms)
- Sequence <A, B, C> (this (Aff<A>, Aff<B>, Aff<C>) ms)
- Sequence <A, B, C, D> (this (Aff<A>, Aff<B>, Aff<C>, Aff< D>) ms)
- Sequence <A, B, C, D, E> (this (Aff<A>, Aff<B>, Aff<C>, Aff<D>, Aff<E>) ms)
- Map <A, B> (this Aff<A> ma, Func<A, B> f)
- MapAsync <A, B> (this Aff<A> ma, Func<A, ValueTask<B>> f)
- MapFail <A> (this Aff<A> ma, Func<Error, Error> f)
- MapFailAsync <A> (this Aff<A> ma, Func<Error, ValueTask<Error>> f)
- BiMap <A, B> (this Aff<A> ma, Func<A, B> Succ, Func<Error, Error> Fail)
- BiMapAsync <A, B> (this Aff<A> ma, Func<A, ValueTask<B>> Succ, Func<Error, ValueTask<Error>> Fail)
- Match <A, B> (this Aff<A> ma, Func<A, B> Succ, Func<Error, B> Fail)
- MatchAff <RT, A, B> (this Aff<A> ma, Func<A, B> Succ, Aff<RT, B> Fail)
- MatchAff <RT, A, B> (this Aff<A> ma, Func<A, B> Succ, Func<Error, Aff<RT, B>> Fail)
- MatchAff <RT, A, B> (this Aff<A> ma, Aff<RT, B> Succ, Func<Error, B> Fail)
- MatchAff <RT, A, B> (this Aff<A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, B> Fail)
- MatchAff <A, B> (this Aff<A> ma, Aff<B> Succ, Func<Error, B> Fail)
- MatchAff <A, B> (this Aff<A> ma, Func<A, Aff<B>> Succ, Func<Error, B> Fail)
- MatchAff <RT, A, B> (this Aff<A> ma, Aff<RT, B> Succ, Aff<RT, B> Fail)
- MatchAff <RT, A, B> (this Aff<A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, Aff<RT, B>> Fail)
- MatchAff <A, B> (this Aff<A> ma, Aff<B> Succ, Aff<B> Fail)
- MatchAff <A, B> (this Aff<A> ma, Func<A, Aff<B>> Succ, Func<Error, Aff<B>> Fail)
- Match <A, B> (this Aff<A> ma, B Succ, Func<Error, B> Fail)
- Match <A, B> (this Aff<A> ma, Func<A, B> Succ, B Fail)
- Match <A, B> (this Aff<A> ma, B Succ, B Fail)
- IfFail <A> (this Aff<A> ma, Func<Error, A> f)
- IfFail <A> (this Aff<A> ma, A alternative)
- IfFailAff <RT, A> (this Aff<A> ma, Aff<RT, A> alternative)
- IfFailAff <RT, A> (this Aff<A> ma, Func<Error, Aff<RT, A>> alternative)
- IfFailAff <A> (this Aff<A> ma, Aff<A> alternative)
- IfFailAff <A> (this Aff<A> ma, Func<Error, Aff<A>> alternative)
- IfFailAff <RT, A> (this Aff<A> ma, Eff<RT, A> alternative)
- IfFailAff <RT, A> (this Aff<A> ma, Func<Error, Eff<RT, A>> alternative)
- IfFailAff <A> (this Aff<A> ma, Eff<A> alternative)
- IfFailAff <A> (this Aff<A> ma, Func<Error, Eff<A>> alternative)
- Iter <A> (this Aff<A> ma, Func<A, Unit> f)
- Iter <RT, A> (this Aff<A> ma, Func<A, Aff<RT, Unit>> f)
- Iter <A> (this Aff<A> ma, Func<A, Aff<Unit>> f)
- Iter <RT, A> (this Aff<A> ma, Func<A, Eff<RT, Unit>> f)
- Iter <A> (this Aff<A> ma, Func<A, Eff<Unit>> f)
- Do <A> (this Aff<A> ma, Func<A, Unit> f)
- Do <RT, A> (this Aff<A> ma, Func<A, Aff<RT, Unit>> f)
- Do <RT, A> (this Aff<A> ma, Func<A, Eff<RT, Unit>> f)
- Do <A> (this Aff<A> ma, Func<A, Aff<Unit>> f)
- Do <A> (this Aff<A> ma, Func<A, Eff<Unit>> f)
- Filter <A> (this Aff<A> ma, Func<A, bool> f)
- Bind <A, B> (this Aff<A> ma, Func<A, Eff<B>> f)
- Bind <RT, A, B> (this Aff<A> ma, Func<A, Eff<RT, B>> f)
- Bind <A, B> (this Aff<A> ma, Func<A, Aff<B>> f)
- Bind <RT, A, B> (this Aff<A> ma, Func<A, Aff<RT, B>> f)
- BiBind <RT, A, B> (this Aff<A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, Aff<RT, B>> Fail)
- BiBind <A, B> (this Aff<A> ma, Func<A, Aff<B>> Succ, Func<Error, Aff<B>> Fail)
- BiBind <RT, A, B> (this Aff<A> ma, Func<A, Eff<RT, B>> Succ, Func<Error, Eff<RT, B>> Fail)
- BiBind <A, B> (this Aff<A> ma, Func<A, Eff<B>> Succ, Func<Error, Eff<B>> Fail)
- Flatten <A> (this Aff<Aff<A>> mma)
- Flatten <RT, A> (this Aff<Aff<RT, A>> mma)
- Flatten <A> (this Aff<Eff<A>> mma)
- Flatten <RT, A> (this Aff<Eff<RT, A>> mma)
- Select <A, B> (this Aff<A> ma, Func<A, B> f)
- SelectMany <RT, A, B> (this Aff<A> ma, Func<A, Aff<RT, B>> f)
- SelectMany <A, B> (this Aff<A> ma, Func<A, Aff<B>> f)
- SelectMany <RT, A, B> (this Aff<A> ma, Func<A, Eff<RT, B>> f)
- SelectMany <A, B> (this Aff<A> ma, Func<A, Eff<B>> f)
- SelectMany <RT, A, B, C> (this Aff<A> ma, Func<A, Aff<RT, B>> bind, Func<A, B, C> project)
- SelectMany <A, B, C> (this Aff<A> ma, Func<A, Aff<B>> bind, Func<A, B, C> project)
- SelectMany <RT, A, B, C> (this Aff<A> ma, Func<A, Eff<RT, B>> bind, Func<A, B, C> project)
- SelectMany <A, B, C> (this Aff<A> ma, Func<A, Eff<B>> bind, Func<A, B, C> project)
- SelectMany <RT, A, B, C> (this Aff<A> ma, Func<A, Effect<RT, B>> bind, Func<A, B, C> project)
- Where <A> (this Aff<A> ma, Func<A, bool> f)
- Zip <A, B> (Aff<A> ma, Aff<B> mb)
- Zip <A, B> (Aff<A> ma, Eff<B> mb)
- Zip <A, B> (Eff<A> ma, Aff<B> mb)
- AffExtensions
- Fold <RT, S, A> (this Aff<RT, A> ma, Schedule schedule, S state, Func<S, A, S> fold)
- FoldWhile <RT, S, A> (this Aff<RT, A> ma, Schedule schedule, S state, Func<S, A, S> fold, Func<A, bool> pred)
- FoldUntil <RT, S, A> (this Aff<RT, A> ma, Schedule schedule, S state, Func<S, A, S> fold, Func<A, bool> pred)
- Fold <RT, S, A> (this Aff<RT, A> ma, S state, Func<S, A, S> fold)
- FoldWhile <RT, S, A> (this Aff<RT, A> ma, S state, Func<S, A, S> fold, Func<A, bool> pred)
- FoldUntil <RT, S, A> (this Aff<RT, A> ma, S state, Func<S, A, S> fold, Func<A, bool> pred)
- Fold <S, A> (this Aff<A> ma, Schedule schedule, S state, Func<S, A, S> fold)
- FoldWhile <S, A> (this Aff<A> ma, Schedule schedule, S state, Func<S, A, S> fold, Func<A, bool> pred)
- FoldUntil <S, A> (this Aff<A> ma, Schedule schedule, S state, Func<S, A, S> fold, Func<A, bool> pred)
- Fold <S, A> (this Aff<A> ma, S state, Func<S, A, S> fold)
- FoldWhile <S, A> (this Aff<A> ma, S state, Func<S, A, S> fold, Func<A, bool> pred)
- FoldUntil <S, A> (this Aff<A> ma, S state, Func<S, A, S> fold, Func<A, bool> pred)
- AffExtensions
- Repeat <RT, A> (this Aff<RT, A> ma)
- Repeat <A> (this Aff<A> ma)
- Repeat <RT, A> (this Aff<RT, A> ma, Schedule schedule)
- Repeat <A> (this Aff<A> ma, Schedule schedule)
- RepeatWhile <RT, A> (this Aff<RT, A> ma, Func<A, bool> predicate)
- RepeatWhile <A> (this Aff<A> ma, Func<A, bool> predicate)
- RepeatWhile <RT, A> (this Aff<RT, A> ma, Schedule schedule, Func<A, bool> predicate)
- RepeatWhile <A> (this Aff<A> ma, Schedule schedule, Func<A, bool> predicate)
- RepeatUntil <RT, A> (this Aff<RT, A> ma, Func<A, bool> predicate)
- RepeatUntil <A> (this Aff<A> ma, Func<A, bool> predicate)
- RepeatUntil <RT, A> (this Aff<RT, A> ma, Schedule schedule, Func<A, bool> predicate)
- RepeatUntil <A> (this Aff<A> ma, Schedule schedule, Func<A, bool> predicate)
- AffExtensions
- Retry <RT, A> (this Aff<RT, A> ma)
- Retry <A> (this Aff<A> ma)
- Retry <RT, A> (this Aff<RT, A> ma, Schedule schedule)
- Retry <A> (this Aff<A> ma, Schedule schedule)
- RetryWhile <RT, A> (this Aff<RT, A> ma, Func<Error, bool> predicate)
- RetryWhile <A> (this Aff<A> ma, Func<Error, bool> predicate)
- RetryWhile <RT, A> (this Aff<RT, A> ma, Schedule schedule, Func<Error, bool> predicate)
- RetryWhile <A> (this Aff<A> ma, Schedule schedule, Func<Error, bool> predicate)
- RetryUntil <RT, A> (this Aff<RT, A> ma, Func<Error, bool> predicate)
- RetryUntil <A> (this Aff<A> ma, Func<Error, bool> predicate)
- RetryUntil <RT, A> (this Aff<RT, A> ma, Schedule schedule, Func<Error, bool> predicate)
- RetryUntil <A> (this Aff<A> ma, Schedule schedule, Func<Error, bool> predicate)
- AffExtensions
- Use <H, R> (this Aff<H> Acq, Func<H, Aff<R>> Use)
- Use <RT, H, R> (this Aff<H> Acq, Func<H, Aff<RT, R>> Use)
- Use <H, R> (this Aff<H> Acq, Func<H, Eff<R>> Use)
- Use <RT, H, R> (this Aff<H> Acq, Func<H, Eff<RT, R>> Use)
- Use <RT, H, R> (this Aff<RT, H> Acq, Func<H, Aff<R>> Use)
- Use <RT, H, R> (this Aff<RT, H> Acq, Func<H, Aff<RT, R>> Use)
- Use <RT, H, R> (this Aff<RT, H> Acq, Func<H, Eff<R>> Use)
- Use <RT, H, R> (this Aff<RT, H> Acq, Func<H, Eff<RT, R>> Use)
class AffExtensions Source #
Methods
method Aff<D> Apply <A, B, C, D> (this Aff<Func<A, B, C, D>> mf, Aff<A> ma, Aff<B> mb, Aff<C> mc) Source #
method Aff<Func<C, D>> Apply <A, B, C, D> (this Aff<Func<A, B, C, D>> mf, Aff<A> ma, Aff<B> mb) Source #
method Aff<E> Apply <A, B, C, D, E> (this Aff<Func<A, B, C, D, E>> mf, Aff<A> ma, Aff<B> mb, Aff<C> mc, Aff<D> md) Source #
method Aff<Func<D, E>> Apply <A, B, C, D, E> (this Aff<Func<A, B, C, D, E>> mf, Aff<A> ma, Aff<B> mb, Aff<C> mc) Source #
method Aff<Func<C, D, E>> Apply <A, B, C, D, E> (this Aff<Func<A, B, C, D, E>> mf, Aff<A> ma, Aff<B> mb) Source #
method Aff<Func<B, C, D, E>> Apply <A, B, C, D, E> (this Aff<Func<A, B, C, D, E>> mf, Aff<A> ma) Source #
method Aff<RT, B> Apply <RT, A, B> (this Aff<RT, Func<A, B>> mf, Aff<RT, A> ma) Source #
method Aff<RT, C> Apply <RT, A, B, C> (this Aff<RT, Func<A, B, C>> mf, Aff<RT, A> ma, Aff<RT, B> mb) Source #
method Aff<RT, Func<B, C>> Apply <RT, A, B, C> (this Aff<RT, Func<A, B, C>> mf, Aff<RT, A> ma) Source #
method Aff<RT, D> Apply <RT, A, B, C, D> (this Aff<RT, Func<A, B, C, D>> mf, Aff<RT, A> ma, Aff<RT, B> mb, Aff<RT, C> mc) Source #
method Aff<RT, Func<C, D>> Apply <RT, A, B, C, D> (this Aff<RT, Func<A, B, C, D>> mf, Aff<RT, A> ma, Aff<RT, B> mb) Source #
method Aff<RT, Func<B, C, D>> Apply <RT, A, B, C, D> (this Aff<RT, Func<A, B, C, D>> mf, Aff<RT, A> ma) Source #
method Aff<RT, E> Apply <RT, A, B, C, D, E> (this Aff<RT, Func<A, B, C, D, E>> mf, Aff<RT, A> ma, Aff<RT, B> mb, Aff<RT, C> mc, Aff<RT, D> md) Source #
method Aff<RT, Func<D, E>> Apply <RT, A, B, C, D, E> (this Aff<RT, Func<A, B, C, D, E>> mf, Aff<RT, A> ma, Aff<RT, B> mb, Aff<RT, C> mc) Source #
method Aff<RT, Func<C, D, E>> Apply <RT, A, B, C, D, E> (this Aff<RT, Func<A, B, C, D, E>> mf, Aff<RT, A> ma, Aff<RT, B> mb) Source #
method Aff<RT, Func<B, C, D, E>> Apply <RT, A, B, C, D, E> (this Aff<RT, Func<A, B, C, D, E>> mf, Aff<RT, A> ma) Source #
method Aff<RT, B> Apply <RT, A, B> (this Func<A, B> f, Aff<RT, A> ma) Source #
method Aff<RT, C> Apply <RT, A, B, C> (this Func<A, B, C> f, Aff<RT, A> ma, Aff<RT, B> mb) Source #
method Aff<RT, Func<B, C>> Apply <RT, A, B, C> (this Func<A, B, C> f, Aff<RT, A> ma) Source #
method Aff<RT, D> Apply <RT, A, B, C, D> (this Func<A, B, C, D> f, Aff<RT, A> ma, Aff<RT, B> mb, Aff<RT, C> mc) Source #
method Aff<RT, Func<C, D>> Apply <RT, A, B, C, D> (this Func<A, B, C, D> f, Aff<RT, A> ma, Aff<RT, B> mb) Source #
method Aff<RT, Func<B, C, D>> Apply <RT, A, B, C, D> (this Func<A, B, C, D> f, Aff<RT, A> ma) Source #
method Aff<RT, E> Apply <RT, A, B, C, D, E> (this Func<A, B, C, D, E> f, Aff<RT, A> ma, Aff<RT, B> mb, Aff<RT, C> mc, Aff<RT, D> md) Source #
method Aff<RT, Func<D, E>> Apply <RT, A, B, C, D, E> (this Func<A, B, C, D, E> f, Aff<RT, A> ma, Aff<RT, B> mb, Aff<RT, C> mc) Source #
Methods
method Aff<RT, A> Catch <RT, A> (this Aff<RT, A> ma, Error error, Func<Error, Aff<RT, A>> Fail) Source #
Catch an error if the error matches the argument provided
method Aff<RT, A> Catch <RT, A> (this Aff<A> ma, Error error, Func<Error, Aff<RT, A>> Fail) Source #
Catch an error if the error matches the argument provided
method Aff<RT, A> Catch <RT, A> (this Aff<RT, A> ma, Error error, Func<Error, Aff<A>> Fail) Source #
Catch an error if the error matches the argument provided
method Aff<A> Catch <A> (this Aff<A> ma, Error error, Func<Error, Aff<A>> Fail) Source #
Catch an error if the error matches the argument provided
method Aff<RT, A> Catch <RT, A> (this Aff<RT, A> ma, Error error, Aff<RT, A> Fail) Source #
Catch an error if the error matches the argument provided
method Aff<RT, A> Catch <RT, A> (this Aff<A> ma, Error error, Aff<RT, A> Fail) Source #
Catch an error if the error matches the argument provided
method Aff<RT, A> Catch <RT, A> (this Aff<RT, A> ma, Error error, Aff<A> Fail) Source #
Catch an error if the error matches the argument provided
method Aff<A> Catch <A> (this Aff<A> ma, Error error, Aff<A> Fail) Source #
Catch an error if the error matches the argument provided
method Aff<RT, A> Catch <RT, A> (this Aff<RT, A> ma, int errorCode, Func<Error, Aff<RT, A>> Fail) Source #
Catch an error if the error Code matches the errorCode argument provided
method Aff<RT, A> Catch <RT, A> (this Aff<A> ma, int errorCode, Func<Error, Aff<RT, A>> Fail) Source #
Catch an error if the error Code matches the errorCode argument provided
method Aff<RT, A> Catch <RT, A> (this Aff<RT, A> ma, int errorCode, Func<Error, Aff<A>> Fail) Source #
Catch an error if the error Code matches the errorCode argument provided
method Aff<A> Catch <A> (this Aff<A> ma, int errorCode, Func<Error, Aff<A>> Fail) Source #
Catch an error if the error Code matches the errorCode argument provided
method Aff<RT, A> Catch <RT, A> (this Aff<RT, A> ma, string errorText, Aff<RT, A> Fail) Source #
Catch an error if the error message matches the errorText argument provided
method Aff<RT, A> Catch <RT, A> (this Aff<A> ma, string errorText, Aff<RT, A> Fail) Source #
Catch an error if the error message matches the errorText argument provided
method Aff<RT, A> Catch <RT, A> (this Aff<RT, A> ma, string errorText, Aff<A> Fail) Source #
Catch an error if the error message matches the errorText argument provided
method Aff<A> Catch <A> (this Aff<A> ma, string errorText, Aff<A> Fail) Source #
Catch an error if the error message matches the errorText argument provided
method Aff<RT, A> Catch <RT, A> (this Aff<RT, A> ma, int errorCode, Aff<RT, A> Fail) Source #
Catch an error if the error Code matches the errorCode argument provided
method Aff<RT, A> Catch <RT, A> (this Aff<A> ma, int errorCode, Aff<RT, A> Fail) Source #
Catch an error if the error Code matches the errorCode argument provided
method Aff<RT, A> Catch <RT, A> (this Aff<RT, A> ma, int errorCode, Aff<A> Fail) Source #
Catch an error if the error Code matches the errorCode argument provided
method Aff<A> Catch <A> (this Aff<A> ma, int errorCode, Aff<A> Fail) Source #
Catch an error if the error Code matches the errorCode argument provided
method Aff<RT, A> Catch <RT, A> (this Aff<RT, A> ma, string errorText, Func<Error, Aff<RT, A>> Fail) Source #
Catch an error if the error message matches the errorText argument provided
method Aff<RT, A> Catch <RT, A> (this Aff<A> ma, string errorText, Func<Error, Aff<RT, A>> Fail) Source #
Catch an error if the error message matches the errorText argument provided
method Aff<RT, A> Catch <RT, A> (this Aff<RT, A> ma, string errorText, Func<Error, Aff<A>> Fail) Source #
Catch an error if the error message matches the errorText argument provided
method Aff<A> Catch <A> (this Aff<A> ma, string errorText, Func<Error, Aff<A>> Fail) Source #
Catch an error if the error message matches the errorText argument provided
method Aff<RT, A> Catch <RT, A> (this Aff<RT, A> ma, Func<Exception, bool> predicate, Func<Exception, Aff<A>> Fail) Source #
Catch an error if it's of a specific exception type
method Aff<A> Catch <A> (this Aff<A> ma, Func<Exception, bool> predicate, Func<Exception, Aff<A>> Fail) Source #
Catch an error if it's of a specific exception type
method Aff<RT, A> Catch <RT, A> (this Aff<RT, A> ma, Func<Exception, bool> predicate, Aff<A> Fail) Source #
Catch an error if it's of a specific exception type
method Aff<A> Catch <A> (this Aff<A> ma, Func<Exception, bool> predicate, Aff<A> Fail) Source #
Catch an error if it's of a specific exception type
method Aff<RT, A> Catch <RT, A> (this Aff<RT, A> ma, Func<Exception, bool> predicate, Func<Exception, Aff<RT, A>> Fail) Source #
Catch an error if it's of a specific exception type
method Aff<RT, A> Catch <RT, A> (this Aff<A> ma, Func<Exception, bool> predicate, Func<Exception, Aff<RT, A>> Fail) Source #
Catch an error if it's of a specific exception type
method Aff<RT, A> Catch <RT, A> (this Aff<RT, A> ma, Func<Exception, bool> predicate, Aff<RT, A> Fail) Source #
Catch an error if it's of a specific exception type
method Aff<RT, A> Catch <RT, A> (this Aff<A> ma, Func<Exception, bool> predicate, Aff<RT, A> Fail) Source #
Catch an error if it's of a specific exception type
method Aff<RT, A> Catch <RT, A> (this Aff<RT, A> ma, Aff<RT, A> Fail) Source #
Catch all errors
method Aff<RT, A> Catch <RT, A> (this Aff<A> ma, Aff<RT, A> Fail) Source #
Catch all errors
method Aff<RT, A> Catch <RT, A> (this Aff<RT, A> ma, Aff<A> Fail) Source #
Catch all errors
method Aff<RT, A> Catch <RT, A> (this Aff<RT, A> ma, Func<Error, Aff<RT, A>> Fail) Source #
Catch all errors
method Aff<RT, A> Catch <RT, A> (this Aff<A> ma, Func<Error, Aff<RT, A>> Fail) Source #
Catch all errors
class AffExtensions Source #
Methods
method Aff<RT, (A, B)> Sequence <RT, A, B> (this (Aff<RT, A>, Aff<RT, B>) ms) Source #
Run the two effects in the tuple in parallel, wait for them all to finish, then return a tuple of the results
method Aff<RT, (A, B, C)> Sequence <RT, A, B, C> (this (Aff<RT, A>, Aff<RT, B>, Aff<RT, C>) ms) Source #
Run the three effects in the tuple in parallel, wait for them all to finish, then return a tuple of the results
method Aff<RT, (A, B, C, D)> Sequence <RT, A, B, C, D> (this (Aff<RT, A>, Aff<RT, B>, Aff<RT, C>, Aff<RT, D>) ms) Source #
Run the four effects in the tuple in parallel, wait for them all to finish, then return a tuple of the results
method Aff<RT, (A, B, C, D, E)> Sequence <RT, A, B, C, D, E> (this (Aff<RT, A>, Aff<RT, B>, Aff<RT, C>, Aff<RT, D>, Aff<RT, E>) ms) Source #
Run the five effects in the tuple in parallel, wait for them all to finish, then return a tuple of the results
method Aff<RT, B> Map <RT, A, B> (this Aff<RT, A> ma, Func<A, B> f) Source #
method Aff<RT, B> MapAsync <RT, A, B> (this Aff<RT, A> ma, Func<A, ValueTask<B>> f) Source #
method Aff<RT, A> MapFail <RT, A> (this Aff<RT, A> ma, Func<Error, Error> f) Source #
method Aff<RT, A> MapFailAsync <RT, A> (this Aff<RT, A> ma, Func<Error, ValueTask<Error>> f) Source #
method Aff<RT, B> BiMap <RT, A, B> (this Aff<RT, A> ma, Func<A, B> Succ, Func<Error, Error> Fail) Source #
method Aff<RT, B> BiMapAsync <RT, A, B> (this Aff<RT, A> ma, Func<A, ValueTask<B>> Succ, Func<Error, ValueTask<Error>> Fail) Source #
method Aff<RT, B> Match <RT, A, B> (this Aff<RT, A> ma, Func<A, B> Succ, Func<Error, B> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Aff<RT, A> ma, Func<A, B> Succ, Aff<RT, B> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Aff<RT, A> ma, Func<A, B> Succ, Func<Error, Aff<RT, B>> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Aff<RT, A> ma, Aff<RT, B> Succ, Func<Error, B> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Aff<RT, A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, B> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Aff<RT, A> ma, Aff<RT, B> Succ, Aff<RT, B> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Aff<RT, A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, Aff<RT, B>> Fail) Source #
method Aff<RT, B> Match <RT, A, B> (this Aff<RT, A> ma, B Succ, Func<Error, B> Fail) Source #
method Aff<RT, B> Match <RT, A, B> (this Aff<RT, A> ma, Func<A, B> Succ, B Fail) Source #
method Aff<RT, B> Match <RT, A, B> (this Aff<RT, A> ma, B Succ, B Fail) Source #
method Aff<RT, A> IfFail <RT, A> (this Aff<RT, A> ma, Func<Error, A> f) Source #
method Aff<RT, A> IfFail <RT, A> (this Aff<RT, A> ma, A alternative) Source #
method Aff<RT, A> IfFailAff <RT, A> (this Aff<RT, A> ma, Aff<RT, A> alternative) Source #
method Aff<RT, A> IfFailAff <RT, A> (this Aff<RT, A> ma, Func<Error, Aff<RT, A>> alternative) Source #
method Aff<RT, A> IfFailAff <RT, A> (this Aff<RT, A> ma, Aff<A> alternative) Source #
method Aff<RT, A> IfFailAff <RT, A> (this Aff<RT, A> ma, Func<Error, Aff<A>> alternative) Source #
method Aff<RT, A> IfFailAff <RT, A> (this Aff<RT, A> ma, Eff<RT, A> alternative) Source #
method Aff<RT, A> IfFailAff <RT, A> (this Aff<RT, A> ma, Func<Error, Eff<RT, A>> alternative) Source #
method Aff<RT, A> IfFailAff <RT, A> (this Aff<RT, A> ma, Eff<A> alternative) Source #
method Aff<RT, A> IfFailAff <RT, A> (this Aff<RT, A> ma, Func<Error, Eff<A>> alternative) Source #
method Aff<RT, Unit> Iter <RT, A> (this Aff<RT, A> ma, Func<A, Unit> f) Source #
method Aff<RT, Unit> Iter <RT, A> (this Aff<RT, A> ma, Func<A, Aff<RT, Unit>> f) Source #
method Aff<RT, Unit> Iter <RT, A> (this Aff<RT, A> ma, Func<A, Aff<Unit>> f) Source #
method Aff<RT, Unit> Iter <RT, A> (this Aff<RT, A> ma, Func<A, Eff<RT, Unit>> f) Source #
method Aff<RT, Unit> Iter <RT, A> (this Aff<RT, A> ma, Func<A, Eff<Unit>> f) Source #
method Aff<RT, A> Do <RT, A> (this Aff<RT, A> ma, Func<A, Unit> f) Source #
method Aff<RT, A> Do <RT, A> (this Aff<RT, A> ma, Func<A, Aff<RT, Unit>> f) Source #
method Aff<RT, A> Do <RT, A> (this Aff<RT, A> ma, Func<A, Eff<RT, Unit>> f) Source #
method Aff<RT, A> Do <RT, A> (this Aff<RT, A> ma, Func<A, Aff<Unit>> f) Source #
method Aff<RT, A> Do <RT, A> (this Aff<RT, A> ma, Func<A, Eff<Unit>> f) Source #
method Aff<RT, A> Filter <RT, A> (this Aff<RT, A> ma, Func<A, bool> f) Source #
method Aff<RT, A> Where <RT, A> (this Aff<RT, A> ma, Func<A, bool> f) Source #
method Aff<RT, B> Bind <RT, A, B> (this Aff<RT, A> ma, Func<A, Eff<B>> f) Source #
method Aff<RT, B> Bind <RT, A, B> (this Aff<RT, A> ma, Func<A, Eff<RT, B>> f) Source #
method Aff<RT, B> Bind <RT, A, B> (this Aff<RT, A> ma, Func<A, Aff<B>> f) Source #
method Aff<RT, B> Bind <RT, A, B> (this Aff<RT, A> ma, Func<A, Aff<RT, B>> f) Source #
method Aff<RT, B> BiBind <RT, A, B> (this Aff<RT, A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, Aff<RT, B>> Fail) Source #
method Aff<RT, B> BiBind <RT, A, B> (this Aff<RT, A> ma, Func<A, Aff<B>> Succ, Func<Error, Aff<B>> Fail) Source #
method Aff<RT, B> BiBind <RT, A, B> (this Aff<RT, A> ma, Func<A, Eff<RT, B>> Succ, Func<Error, Eff<RT, B>> Fail) Source #
method Aff<RT, B> BiBind <RT, A, B> (this Aff<RT, A> ma, Func<A, LanguageExt.Eff<B>> Succ, Func<Error, LanguageExt.Eff<B>> Fail) Source #
method Aff<RT, A> Flatten <RT, A> (this Aff<RT, Aff<RT, A>> mma) Source #
method Aff<RT, A> Flatten <RT, A> (this Aff<RT, Aff<A>> mma) Source #
method Aff<RT, A> Flatten <RT, A> (this Aff<RT, Eff<RT, A>> mma) Source #
method Aff<RT, A> Flatten <RT, A> (this Aff<RT, Eff<A>> mma) Source #
method Aff<RT, B> Select <RT, A, B> (this Aff<RT, A> ma, Func<A, B> f) Source #
method Aff<RT, B> SelectMany <RT, A, B> (this Aff<RT, A> ma, Func<A, Aff<RT, B>> f) Source #
method Aff<RT, B> SelectMany <RT, A, B> (this Aff<RT, A> ma, Func<A, Aff<B>> f) Source #
method Aff<RT, B> SelectMany <RT, A, B> (this Aff<RT, A> ma, Func<A, Eff<RT, B>> f) Source #
method Aff<RT, B> SelectMany <RT, A, B> (this Aff<RT, A> ma, Func<A, LanguageExt.Eff<B>> f) Source #
method Aff<RT, C> SelectMany <RT, A, B, C> (this Aff<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 Aff<RT, A> ma, Func<A, Aff<B>> bind, Func<A, B, C> project) Source #
method Aff<RT, C> SelectMany <RT, A, B, C> (this Aff<RT, A> ma, Func<A, Eff<RT, B>> bind, Func<A, B, C> project) Source #
method Aff<RT, C> SelectMany <RT, A, B, C> (this Aff<RT, A> ma, Func<A, LanguageExt.Eff<B>> bind, Func<A, B, C> project) Source #
method Aff<RT, C> SelectMany <RT, A, B, C> (this Aff<RT, A> ma, Func<A, Effect<RT, B>> bind, Func<A, B, C> project) Source #
method Aff<RT, (A, B)> Zip <RT, A, B> (this Aff<RT, A> ma, Aff<RT, B> mb) Source #
method Aff<RT, (A, B)> Zip <RT, A, B> (this Aff<RT, A> ma, Aff<B> mb) Source #
method Aff<RT, (A, B)> Zip <RT, A, B> (this Aff<A> ma, Aff<RT, B> mb) Source #
method Aff<RT, (A, B)> Zip <RT, A, B> (this Aff<RT, A> ma, Eff<B> mb) Source #
method Aff<RT, (A, B)> Zip <RT, A, B> (this Eff<A> ma, Aff<RT, B> mb) Source #
class AffExtensions Source #
Methods
method Aff<(A, B)> Sequence <A, B> (this (Aff<A>, Aff< B>) ms) Source #
Run the two effects in the tuple in parallel, wait for them all to finish, then return a tuple of the results
method Aff<(A, B, C)> Sequence <A, B, C> (this (Aff<A>, Aff<B>, Aff<C>) ms) Source #
Run the three effects in the tuple in parallel, wait for them all to finish, then return a tuple of the results
method Aff<(A, B, C, D)> Sequence <A, B, C, D> (this (Aff<A>, Aff<B>, Aff<C>, Aff< D>) ms) Source #
Run the four effects in the tuple in parallel, wait for them all to finish, then return a tuple of the results
method Aff<(A, B, C, D, E)> Sequence <A, B, C, D, E> (this (Aff<A>, Aff<B>, Aff<C>, Aff<D>, Aff<E>) ms) Source #
Run the five effects in the tuple in parallel, wait for them all to finish, then return a tuple of the results
method Aff<A> MapFailAsync <A> (this Aff<A> ma, Func<Error, ValueTask<Error>> f) Source #
method Aff<B> BiMapAsync <A, B> (this Aff<A> ma, Func<A, ValueTask<B>> Succ, Func<Error, ValueTask<Error>> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Aff<A> ma, Func<A, B> Succ, Aff<RT, B> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Aff<A> ma, Func<A, B> Succ, Func<Error, Aff<RT, B>> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Aff<A> ma, Aff<RT, B> Succ, Func<Error, B> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Aff<A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, B> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Aff<A> ma, Aff<RT, B> Succ, Aff<RT, B> Fail) Source #
method Aff<RT, B> MatchAff <RT, A, B> (this Aff<A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, Aff<RT, B>> Fail) Source #
method Aff<B> MatchAff <A, B> (this Aff<A> ma, Func<A, Aff<B>> Succ, Func<Error, Aff<B>> Fail) Source #
method Aff<RT, A> IfFailAff <RT, A> (this Aff<A> ma, Aff<RT, A> alternative) Source #
method Aff<RT, A> IfFailAff <RT, A> (this Aff<A> ma, Func<Error, Aff<RT, A>> alternative) Source #
method Aff<RT, A> IfFailAff <RT, A> (this Aff<A> ma, Eff<RT, A> alternative) Source #
method Aff<RT, A> IfFailAff <RT, A> (this Aff<A> ma, Func<Error, Eff<RT, A>> alternative) Source #
method Aff<RT, Unit> Iter <RT, A> (this Aff<A> ma, Func<A, Aff<RT, Unit>> f) Source #
method Aff<RT, Unit> Iter <RT, A> (this Aff<A> ma, Func<A, Eff<RT, Unit>> f) Source #
method Aff<RT, A> Do <RT, A> (this Aff<A> ma, Func<A, Aff<RT, Unit>> f) Source #
method Aff<RT, A> Do <RT, A> (this Aff<A> ma, Func<A, Eff<RT, Unit>> f) Source #
method Aff<RT, B> Bind <RT, A, B> (this Aff<A> ma, Func<A, Eff<RT, B>> f) Source #
method Aff<RT, B> Bind <RT, A, B> (this Aff<A> ma, Func<A, Aff<RT, B>> f) Source #
method Aff<RT, B> BiBind <RT, A, B> (this Aff<A> ma, Func<A, Aff<RT, B>> Succ, Func<Error, Aff<RT, B>> Fail) Source #
method Aff<B> BiBind <A, B> (this Aff<A> ma, Func<A, Aff<B>> Succ, Func<Error, Aff<B>> Fail) Source #
method Aff<RT, B> BiBind <RT, A, B> (this Aff<A> ma, Func<A, Eff<RT, B>> Succ, Func<Error, Eff<RT, B>> Fail) Source #
method Aff<B> BiBind <A, B> (this Aff<A> ma, Func<A, Eff<B>> Succ, Func<Error, Eff<B>> Fail) Source #
method Aff<RT, A> Flatten <RT, A> (this Aff<Aff<RT, A>> mma) Source #
method Aff<RT, A> Flatten <RT, A> (this Aff<Eff<RT, A>> mma) Source #
method Aff<RT, B> SelectMany <RT, A, B> (this Aff<A> ma, Func<A, Aff<RT, B>> f) Source #
method Aff<B> SelectMany <A, B> (this Aff<A> ma, Func<A, Aff<B>> f) Source #
method Aff<RT, B> SelectMany <RT, A, B> (this Aff<A> ma, Func<A, Eff<RT, B>> f) Source #
method Aff<B> SelectMany <A, B> (this Aff<A> ma, Func<A, Eff<B>> f) Source #
method Aff<RT, C> SelectMany <RT, A, B, C> (this Aff<A> ma, Func<A, Aff<RT, B>> bind, Func<A, B, C> project) Source #
method Aff<C> SelectMany <A, B, C> (this Aff<A> ma, Func<A, Aff<B>> bind, Func<A, B, C> project) Source #
method Aff<RT, C> SelectMany <RT, A, B, C> (this Aff<A> ma, Func<A, Eff<RT, B>> bind, Func<A, B, C> project) Source #
method Aff<C> SelectMany <A, B, C> (this Aff<A> ma, Func<A, Eff<B>> bind, Func<A, B, C> project) Source #
method Aff<RT, C> SelectMany <RT, A, B, C> (this Aff<A> ma, Func<A, Effect<RT, B>> bind, Func<A, B, C> project) Source #
class AffExtensions Source #
Methods
method Aff<RT, S> Fold <RT, S, A> (this Aff<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 Aff<RT, S> FoldWhile <RT, S, A> (this Aff<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 Aff<RT, S> FoldUntil <RT, S, A> (this Aff<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 Aff<RT, S> Fold <RT, S, A> (this Aff<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 Aff<RT, S> FoldWhile <RT, S, A> (this Aff<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 Aff<RT, S> FoldUntil <RT, S, A> (this Aff<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 Aff<S> Fold <S, A> (this Aff<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 Aff<S> FoldWhile <S, A> (this Aff<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 Aff<S> FoldUntil <S, A> (this Aff<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 Aff<S> Fold <S, A> (this Aff<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 Aff<S> FoldWhile <S, A> (this Aff<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 Aff<S> FoldUntil <S, A> (this Aff<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 AffExtensions Source #
Methods
method Aff<RT, A> Repeat <RT, A> (this Aff<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 Aff<A> Repeat <A> (this Aff<A> ma) Source #
Keeps repeating the computation until it fails
Parameters
| type | A | Computation bound value type |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Aff<RT, A> Repeat <RT, A> (this Aff<RT, A> ma, Schedule schedule) Source #
Keeps repeating the computation until it fails
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | ma | Computation to repeat |
| param | schedule | Scheduler strategy for repeating |
| returns | The result of the last invocation of ma | |
method Aff<A> Repeat <A> (this Aff<A> ma, Schedule schedule) Source #
Keeps repeating the computation until it fails
Parameters
| type | A | Computation bound value type |
| param | ma | Computation to repeat |
| param | schedule | Scheduler strategy for repeating |
| returns | The result of the last invocation of ma | |
method Aff<RT, A> RepeatWhile <RT, A> (this Aff<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 Aff<A> RepeatWhile <A> (this Aff<A> ma, Func<A, bool> predicate) Source #
Keeps repeating the computation until it fails or the predicate returns false
Parameters
| type | A | Computation bound value type |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Aff<RT, A> RepeatWhile <RT, A> (this Aff<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 | ma | Computation to repeat |
| param | schedule | Scheduler strategy for repeating |
| returns | The result of the last invocation of ma | |
method Aff<A> RepeatWhile <A> (this Aff<A> ma, Schedule schedule, Func<A, bool> predicate) Source #
Keeps repeating the computation until it fails or the predicate returns false
Parameters
| type | A | Computation bound value type |
| param | ma | Computation to repeat |
| param | schedule | Scheduler strategy for repeating |
| returns | The result of the last invocation of ma | |
method Aff<RT, A> RepeatUntil <RT, A> (this Aff<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 Aff<A> RepeatUntil <A> (this Aff<A> ma, Func<A, bool> predicate) Source #
Keeps repeating the computation until it fails or the predicate returns true
Parameters
| type | A | Computation bound value type |
| param | ma | Computation to repeat |
| returns | The result of the last invocation of ma | |
method Aff<RT, A> RepeatUntil <RT, A> (this Aff<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 | ma | Computation to repeat |
| param | schedule | Scheduler strategy for repeating |
| returns | The result of the last invocation of ma | |
method Aff<A> RepeatUntil <A> (this Aff<A> ma, Schedule schedule, Func<A, bool> predicate) Source #
Keeps repeating the computation until it fails or the predicate returns true
Parameters
| type | A | Computation bound value type |
| param | ma | Computation to repeat |
| param | schedule | Scheduler strategy for repeating |
| returns | The result of the last invocation of ma | |
class AffExtensions Source #
Methods
method Aff<RT, A> Retry <RT, A> (this Aff<RT, A> ma) Source #
Keeps retrying the computation
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | ma | Computation to Retry |
| returns | The result of the last invocation of ma | |
method Aff<A> Retry <A> (this Aff<A> ma) Source #
Keeps retrying the computation
Parameters
| type | A | Computation bound value type |
| param | ma | Computation to Retry |
| returns | The result of the last invocation of ma | |
method Aff<RT, A> Retry <RT, A> (this Aff<RT, A> ma, Schedule schedule) Source #
Keeps retrying the computation
Parameters
| type | RT | Runtime |
| type | A | Computation bound value type |
| param | ma | Computation to Retry |
| param | schedule | Scheduler strategy for Retrying |
| returns | The result of the last invocation of ma | |
method Aff<A> Retry <A> (this Aff<A> ma, Schedule schedule) Source #
Keeps retrying the computation
Parameters
| type | A | Computation bound value type |
| param | ma | Computation to Retry |
| param | schedule | Scheduler strategy for Retrying |
| returns | The result of the last invocation of ma | |
method Aff<RT, A> RetryWhile <RT, A> (this Aff<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 Retry |
| returns | The result of the last invocation of ma | |
method Aff<A> RetryWhile <A> (this Aff<A> ma, Func<Error, bool> predicate) Source #
Keeps retrying the computation until the predicate returns false
Parameters
| type | A | Computation bound value type |
| param | ma | Computation to Retry |
| returns | The result of the last invocation of ma | |
method Aff<RT, A> RetryWhile <RT, A> (this Aff<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 | ma | Computation to Retry |
| param | schedule | Scheduler strategy for Retrying |
| returns | The result of the last invocation of ma | |
method Aff<A> RetryWhile <A> (this Aff<A> ma, Schedule schedule, Func<Error, bool> predicate) Source #
Keeps retrying the computation, until the scheduler expires, or the predicate returns false
Parameters
| type | A | Computation bound value type |
| param | ma | Computation to Retry |
| param | schedule | Scheduler strategy for Retrying |
| returns | The result of the last invocation of ma | |
method Aff<RT, A> RetryUntil <RT, A> (this Aff<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 Retry |
| returns | The result of the last invocation of ma | |
method Aff<A> RetryUntil <A> (this Aff<A> ma, Func<Error, bool> predicate) Source #
Keeps retrying the computation until the predicate returns true
Parameters
| type | A | Computation bound value type |
| param | ma | Computation to Retry |
| returns | The result of the last invocation of ma | |
method Aff<RT, A> RetryUntil <RT, A> (this Aff<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 | ma | Computation to Retry |
| param | schedule | Scheduler strategy for Retrying |
| returns | The result of the last invocation of ma | |
method Aff<A> RetryUntil <A> (this Aff<A> ma, Schedule schedule, Func<Error, bool> predicate) Source #
Keeps retrying the computation, until the scheduler expires, or the predicate returns true
Parameters
| type | A | Computation bound value type |
| param | ma | Computation to Retry |
| param | schedule | Scheduler strategy for Retrying |
| returns | The result of the last invocation of ma | |
class AffExtensions Source #
Methods
method Aff<R> Use <H, R> (this Aff<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 Aff<H> Acq, Func<H, Aff<RT, R>> Use) Source #
Safely use a disposable resource
Parameters
| param | Acq | Acquire resource |
| param | Use | Use resource |
method Aff<R> Use <H, R> (this Aff<H> Acq, Func<H, Eff<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 Aff<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 Aff<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 Aff<RT, H> Acq, Func<H, Aff<RT, R>> Use) Source #
Safely use a disposable resource
Parameters
| param | Acq | Acquire resource |
| param | Use | Use resource |