public static Try <R> Map <T, R>(this Try <T> @this, Func <T, R> mapper) => () =>
{
var result = @this.Try();
return(result.Exception
? Exceptional.Of <R>(result.Ex)
: mapper(result.Value));
};
public static Try <R> Bind <T, R>(this Try <T> @this, Func <T, Try <R> > binder) => () =>
{
var res = @this.Try();
return(res.Exception
? Exceptional.Of <R>(res.Ex)
: binder(res.Value).Try());
};
// Exceptional
public static Exceptional <IEnumerable <R> > Traverse <T, R>(this IEnumerable <T> list
, Func <T, Exceptional <R> > func)
=> list.Aggregate(
seed: Exceptional.Of(Enumerable.Empty <R>()),
// Exceptional<[R]> -> T -> Exceptional<[R]>
func: (optRs, t) => from rs in optRs
from r in func(t)
select rs.Append(r));
public static Exceptional <T> Try <T>(this Try <T> @this)
{
try { return(@this()); }
catch (Exception e) { return(Exceptional.Of <T>(e)); }
}
public static Validation <Exceptional <R> > Traverse <T, R>
(this Exceptional <T> tr, Func <T, Validation <R> > f)
=> tr.Match(
Exception: e => Valid(Exceptional.Of <R>(e)),
Success: t => from r in f(t) select Exceptional.Of(r));
public static Exceptional <Validation <R> > Traverse <T, R>
(this Validation <T> tr, Func <T, Exceptional <R> > f)
=> tr.Match(
Invalid: reasons => Exceptional.Of(Validation <R> .Fail(reasons)),
Valid: t => from r in f(t) select Valid(r));
// Exceptional
public static Exceptional <Validation <R> > TraverseA <T, R>
(this Validation <T> val, Func <T, Exceptional <R> > func)
=> val.Match(
Invalid: reasons => Exceptional.Of(Validation <R> .Fail(reasons)),
Valid: t => Exceptional.Of(Validation <R> .Return).Apply(func(t)));