- EffCatch <A>
- EffCatch (Func<Error, Eff<A>> fail)
- EffCatch (Func<Error, bool> predicate, Func<Error, Eff<A>> fail)
- Run (Error error)
- | (EffCatch<A> ma, EffCatch<A> mb)
- | (CatchValue<A> ma, EffCatch<A> mb)
- | (CatchError ma, EffCatch<A> mb)
- | (EffCatch<A> ma, CatchValue<A> mb)
- | (EffCatch<A> ma, CatchError mb)
- EffCatch <RT, A>
- EffCatch (Func<Error, Eff<RT, A>> fail)
- EffCatch (Func<Error, bool> predicate, Func<Error, Eff<RT, A>> fail)
- Run (RT env, Error error)
- | (CatchValue<A> ma, EffCatch<RT, A> mb)
- | (CatchError ma, EffCatch<RT, A> mb)
- | (EffCatch<RT, A> ma, CatchValue<A> mb)
- | (EffCatch<RT, A> ma, CatchError mb)
- | (EffCatch<RT, A> ma, EffCatch<RT, A> mb)
- | (EffCatch<A> ma, EffCatch<RT, A> mb)
- | (EffCatch<RT, A> ma, EffCatch<A> mb)
- | (Eff<A> ma, EffCatch<RT, A> mb)