Question

我有一个函数，它执行一组查询，每个查询返回一个Either<Error, Result>。我将它们收集到List<>中。我想将这些单独的返回值折叠在一起，以便总返回结果为Either<Error, List<Result>>。我走了这么远；

class Error
{
    string Message { get; set; }
    List<Error> ChildErrors { get; set; }
}

class Result
{
}

Either<Error, List<Result>> GetResults(List<string> queries)
{
    var internalResults = new List<Either<Error, Result>>();

    foreach (string query in queries)
    {
        internalResults.Add(GetResultForQuery(query));
    }

    var initialState = (new List<Error>(), new List<Result>());

    (List<Error> errors, List<Result> events) =
        internalResults.Fold(initialState, (state, item) =>
    {
        (List<Error> err, List<Result> res) = state;
        item.Right(i => res.Add(i)).Left(e => err.Add(e));
        return (err, res);
    });

    if (errors.Count > 0)
    {
        var groupedError = new Error {
            Message = "One or more problems encountered",
            ChildErrors = errors
        };

        return Left<Error, List<Result>>(groupedError);
    }

    return Right<Error, List<Result>>(events);
}

我认为它应该可以工作，但是它不是特别优雅。必须有一个更好的方法来做到这一点（即更单子）。有任何线索吗？

Answer 1

您应将System.Collections.Generic.List替换为LanguageExt数据类型之一，例如Seq或Lst或Arr ...

我在这里使用Seq只是为了说明。您也可以使用IEnumerable扩展名将Seq转换为ToSeq()。

然后，您可以像这里一样轻松使用Sequence：


class Error
{
    string Message { get; set; }
    Seq<Error> ChildErrors { get; set; }
}

class Result
{
}

private static Either<Error, Result> GetResultForQuery(string query) =>
    throw new NotImplementedException();

Either<Error, Seq<Result>> GetResults(Seq<string> queries)
{
    Seq<Either<Error, Result>> internalResults = queries.Map(GetResultForQuery);

    return internalResults.Sequence();
}

Either<Error, Seq<Result>> GetResults2(Seq<string> queries) =>
    queries.Map(GetResultForQuery).Sequence();

GetResults2只是GetResults的简短版本。

LanguageExt将任意一个折叠为任意一个

1 个答案: