[Question] More elegant solution than nested Match

[Hiranus]

I am dealing with parsing and validating xml and I wanted to avoid throw, so I decided to try OneOf, but how do I correctly handle multiple nested OneOf.Match() to not make them look like a ladder?

For example this - each call can result in XmlException being returned instead of whatever I want.

ValidationResult ValidateXML (string xml)
{
    XDocument doc = ParseIntoXDoc(xml);
    Version ver = ExtractVersion(doc);
    return ValidateXML(ver, doc);
}

Normally I would just have if after everything to check if I got null due to whatever reason, but OneOf simplifies it to this:

ValidationResult ValidateXML (string xml)
{
    return ParseIntoXDoc(xml).Match(
        ex => ValidationResult(ex),
        doc => ExtractVersion(doc).Match(
            ex => ValidationResult(ex),
            ver => ValidateXML(ver, doc);
        ));
}

After a few more checks like above it will look like if "ladder" and I really dislike that. Is there a more elegant solution to this?

[emperador-ming]

What you're looking for is called Monadic Binding.

There are several approaches you can take:

• Create a pseudo-monadic Bind extension yourself
• Use existing Bind extension implementations, such as:
  · OneOf.Monads library
  · CSharpFunctionalExtensions library
  · LanguageExt library

Create a pseudo-monadic Bind extension yourself

using OneOf;

public static class OneOfExtensions
{
    public static OneOf<TResult, TError> Bind<T, TResult, TError>(
        this OneOf<T, TError> oneOf,
        Func<T, OneOf<TResult, TError>> func)
    {
        return oneOf.Match<OneOf<TResult, TError>>(
            error => error,
            value => func(value)
        );
    }
}

using OneOf;
using System.Xml.Linq;

public class ValidationResult
{
    public ValidationResult(Exception ex) { /* handle exception */ }
    public ValidationResult() { /* success */ }
}

public OneOf<XDocument, Exception> ParseIntoXDoc(string xml)
{
    try
    {
        return XDocument.Parse(xml);
    }
    catch (Exception ex)
    {
        return ex;
    }
}

public OneOf<Version, Exception> ExtractVersion(XDocument doc)
{
    try
    {
        // Extract version logic
        return new Version("1.0.0");
    }
    catch (Exception ex)
    {
        return ex;
    }
}

public ValidationResult ValidateXML(Version ver, XDocument doc)
{
    // Validation logic
    return new ValidationResult();
}

public ValidationResult ValidateXML(string xml)
{
    return ParseIntoXDoc(xml)
        .Bind(doc => ExtractVersion(doc)
        .Bind(ver => ValidateXML(ver, doc)));
}

OneOf.Monads

Here you have an example using the Result Monad

 var result = GetLeague(new Query(leagueId, season))
                    .Bind(GetSeason)
                    .Bind(GetParticipants)
                    .Bind(GetWinner)
                    .Map(winner => winner.Name)
                    .DefaultWith(error => error.Reason);

CSharpFunctionalExtensions

Here you have an example of fluent monadic binding

 return _customerRepository.GetById(id)
    .ToResult("Customer with such Id is not found: " + id)
    .Ensure(customer => customer.CanBePromoted(), "The customer has the highest status possible")
    .Tap(customer => customer.Promote())
    .Tap(customer => _emailGateway.SendPromotionNotification(customer.PrimaryEmail, customer.Status))
    .Finally(result => result.IsSuccess ? Ok() : Error(result.Error));

LanguageExt

Here you have an example using the Result Monad

 var actual = await GetFolder("123")
    .Bind(folder => CreateFolder("New folder", folder.Id))
    .Bind(newFolder => UploadFile(stream, "New file name.txt", "text/text", newFolder))
    .Match(fileId => handleFileId(fileId), ex => handleException(ex));

[anemitoff]

This is great information! You should include a link to this issue in the primary documentation!
And thanks for everything!

[mcintyre321]

I use the aTryPickX methods for this

…

On Mon, 13 Oct 2025, 15:22 Adam Nemitoff, ***@***.***> wrote: *anemitoff* left a comment (mcintyre321/OneOf#195) <#195 (comment)> This is great information! You should include a link to this issue in the primary documentation! And thanks for everything! — Reply to this email directly, view it on GitHub <#195 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AACDJ6V757T4THYS7XXZ4AL3XOYQVAVCNFSM6AAAAABXAKXSCWVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZTGOJXG42DENRWGY> . You are receiving this because you are subscribed to this thread.Message ID: ***@***.***>

[emperador-ming]

I use the aTryPickX methods for this
…

Of course! You can just use an if with TryPickTX

I usually use GenerateOf:

[GenerateOneOf]
public partial class NextAuthorizerResult : OneOfBase<Success<Authorizer>, Success<NoMoreAuthorizers>>
{
    public bool TryPickNextAuthorizer([NotNullWhen(true)] out Success<Authorizer> value) => TryPickT0(out value, out _);
}