public static OptionAsync <Arr <B> > Traverse <A, B>(this Arr <OptionAsync <A> > ma, Func <A, B> f)
{
return(new OptionAsync <Arr <B> >(Go(ma, f)));
async Task <(bool, Arr <B>)> Go(Arr <OptionAsync <A> > ma, Func <A, B> f)
{
var rb = await Task.WhenAll(ma.Map(a => a.Map(f).Data)).ConfigureAwait(false);
return(rb.Exists(d => !d.IsSome)
? (false, default)
//
// Collections
//
public static TryAsync <Arr <B> > Traverse <A, B>(this Arr <TryAsync <A> > ma, Func <A, B> f)
{
return(ToTry(() => Go(ma, f)));
async Task <Result <Arr <B> > > Go(Arr <TryAsync <A> > ma, Func <A, B> f)
{
var rb = await Task.WhenAll(ma.Map(a => a.Map(f).Try())).ConfigureAwait(false);
return(rb.Exists(d => d.IsFaulted)
? rb.Filter(b => b.IsFaulted).Map(b => new Result <Arr <B> >(b.Exception)).Head()
: new Result <Arr <B> >(new Arr <B>(rb.Map(d => d.Value))));
}
}
//
// Collections
//
public static TryOptionAsync <Arr <B> > Traverse <A, B>(this Arr <TryOptionAsync <A> > ma, Func <A, B> f)
{
return(ToTry(() => Go(ma, f)));
async Task <OptionalResult <Arr <B> > > Go(Arr <TryOptionAsync <A> > ma, Func <A, B> f)
{
var rb = await Task.WhenAll(ma.Map(a => a.Map(f).Try()));
return(rb.Exists(d => d.IsFaulted) ? rb.Filter(b => b.IsFaulted).Map(b => new OptionalResult <Arr <B> >(b.Exception)).Head()
: rb.Exists(d => d.IsNone) ? OptionalResult <Arr <B> > .None
: new OptionalResult <Arr <B> >(new Arr <B>(rb.Map(d => d.Value.Value))));
}
}
public static EitherAsync <L, Arr <B> > Traverse <L, A, B>(this Arr <EitherAsync <L, A> > ma, Func <A, B> f)
{
return(new EitherAsync <L, Arr <B> >(Go(ma, f)));
async Task <EitherData <L, Arr <B> > > Go(Arr <EitherAsync <L, A> > ma, Func <A, B> f)
{
var rb = await Task.WhenAll(ma.Map(a => a.Map(f).Data)).ConfigureAwait(false);
return(rb.Exists(d => d.State == EitherStatus.IsLeft)
? rb.Filter(d => d.State == EitherStatus.IsLeft).Map(d => EitherData.Left <L, Arr <B> >(d.Left)).Head()
: EitherData.Right <L, Arr <B> >(new Arr <B>(rb.Map(d => d.Right))));
}
}
public static Que <Arr <B> > Sequence <A, B>(this Arr <A> ta, Func <A, Que <B> > f) => ta.Map(f).Traverse(Prelude.identity);
public static Reader <Env, Arr <B> > Sequence <Env, A, B>(this Arr <A> ta, Func <A, Reader <Env, B> > f) => ta.Map(f).Sequence();
public static Eff <RT, Arr <B> > Sequence <RT, A, B>(this Arr <A> ta, Func <A, Eff <RT, B> > f) where RT : struct => ta.Map(f).Sequence();
public static HashSet <Arr <B> > Traverse <A, B>(this Arr <HashSet <A> > ma, Func <A, B> f) =>
toHashSet(CollT.AllCombinationsOf(ma.Map(xs => xs.ToList()).ToArray(), f)
.Map(toArray));
public static Try <Arr <B> > Sequence <A, B>(this Arr <A> ta, Func <A, Try <B> > f) => ta.Map(f).Sequence();
public static Aff <Arr <B> > SequenceSerial <A, B>(this Arr <A> ta, Func <A, Aff <B> > f) => ta.Map(f).SequenceSerial();
public static Aff <Arr <B> > SequenceParallel <A, B>(this Arr <A> ta, Func <A, Aff <B> > f) => ta.Map(f).SequenceParallel();
public static Validation <MonoidFail, Fail, Arr <B> > Sequence <MonoidFail, Fail, A, B>(this Arr <A> ta, Func <A, Validation <MonoidFail, Fail, B> > f)
where MonoidFail : struct, Monoid <Fail>, Eq <Fail> =>
ta.Map(f).Traverse(Prelude.identity);
public static ValueTask <Arr <B> > Sequence <A, B>(this Arr <A> ta, Func <A, ValueTask <B> > f) => ta.Map(f).Sequence();
public static RWS <MonoidW, Env, W, S, Arr <B> > Sequence <MonoidW, Env, W, S, A, B>(this Arr <A> ta, Func <A, RWS <MonoidW, Env, W, S, B> > f)
where MonoidW : struct, Monoid <W> =>
ta.Map(f).Sequence();
public static State <S, Arr <B> > Sequence <S, A, B>(this Arr <A> ta, Func <A, State <S, B> > f) => ta.Map(f).Sequence();
public static async ValueTask <Arr <B> > Traverse <A, B>(this Arr <ValueTask <A> > ma, Func <A, B> f)
{
var rb = await Task.WhenAll(ma.Map(async a => f(await a.ConfigureAwait(false)))).ConfigureAwait(false);
return(new Arr <B>(rb));
}
public static Aff <RT, Arr <B> > SequenceSerial <RT, A, B>(this Arr <A> ta, Func <A, Aff <RT, B> > f)
where RT : struct, HasCancel <RT> =>
ta.Map(f).SequenceSerial();
public static Aff <RT, Arr <B> > SequenceParallel <RT, A, B>(this Arr <A> ta, Func <A, Aff <RT, B> > f, int windowSize)
where RT : struct, HasCancel <RT> =>
ta.Map(f).SequenceParallel(windowSize);
public static Stck <Arr <B> > Traverse <A, B>(this Arr <Stck <A> > ma, Func <A, B> f) =>
toStack(CollT.AllCombinationsOf(ma.Map(xs => xs.ToList()).ToArray(), f)
.Map(toArray));
public static HashSet <Arr <B> > Sequence <A, B>(this Arr <A> ta, Func <A, HashSet <B> > f) => ta.Map(f).Sequence();
public static Aff <Arr <B> > SequenceParallel <A, B>(this Arr <A> ta, Func <A, Aff <B> > f, int windowSize) => ta.Map(f).SequenceParallel(windowSize);
public static IEnumerable <Arr <B> > Sequence <A, B>(this Arr <A> ma, Func <A, IEnumerable <B> > f) => ma.Map(f).Sequence();
public static EitherAsync <L, Arr <B> > Sequence <L, A, B>(this Arr <A> ta, Func <A, EitherAsync <L, B> > f) => ta.Map(f).Sequence();
public static Arr <Arr <B> > Traverse <A, B>(this Arr <Arr <A> > xxs, Func <A, B> f) => CollT.AllCombinationsOf(xxs.Map(xs => xs.ToList()).ToArray(), f) .Map(toArray) .ToArr();
public static Validation <Fail, Arr <B> > Sequence <Fail, A, B>(this Arr <A> ta, Func <A, Validation <Fail, B> > f) => ta.Map(f).Sequence();
public static IEnumerable <Arr <B> > Traverse <A, B>(this Arr <IEnumerable <A> > ma, Func <A, B> f) => CollT.AllCombinationsOf(ma.Map(xs => xs.ToList()).ToArray(), f) .Map(toArray);
public static Lst <Arr <B> > Traverse <A, B>(this Arr <Lst <A> > ma, Func <A, B> f) => CollT.AllCombinationsOf(ma.Map(xs => xs.ToList()).ToArray(), f) .Map(toArray) .Freeze();
public static Writer <MonoidW, W, Arr <B> > Sequence <MonoidW, W, A, B>(this Arr <A> ta, Func <A, Writer <MonoidW, W, B> > f)
where MonoidW : struct, Monoid <W> =>
ta.Map(f).Sequence();
public static Option <Arr <B> > Sequence <A, B>(this Arr <A> ta, Func <A, Option <B> > f) => ta.Map(f).Sequence();
//
// Collections
//
public static async Task <Arr <B> > Traverse <A, B>(this Arr <Task <A> > ma, Func <A, B> f)
{
var rb = await Task.WhenAll(ma.Map(async a => f(await a)));
return(new Arr <B>(rb));
}