open Reified
open Reified.Refinements
open Reified.Result
open Reified.Schema.Json

Quickstart

Reified.Result is a standalone leaf. Nothing else in Reified is required, and it depends on no other Reified package:

dotnet add package Reified.Result

open Reified.Result
open Reified.ResultDSL

The package works with the standard F# Result<'value, 'error> — it does not wrap or replace it. What it supplies is the vocabulary around it:

Compose dependent steps

type QuantityError =
    | InvalidInteger of string
    | NotPositive of int

let quantity raw =
    result {
        let! parsed =
            Int32.TryParse raw
            |> Result.fromTry
            |> Result.orError (InvalidInteger raw)

        let! positive =
            if parsed > 0 then Ok parsed else Error (NotPositive parsed)

        return positive
    }

Each step's own failure is mapped into one deliberate application error type at the bind site.

Collect independent failures

let! fails fast; and! accumulates. The boundary is the compiler's, not a setting:

result.list {
    let! name = parseName input.Name
    and! age  = parseAge input.Age
    return name, age
}
// Error [ NameMissing; AgeNotANumber "x" ]

Everything inside one and! group is accumulated into a list. A later let! binds sequentially and fails fast, because it can depend on the earlier results. See Collecting every error for the exact boundary.

Where the other packages fit

This accumulation is flat: a list of your error values with no field identity and no path. Admitting values in the first place belongs to Constraints, while path-aware accumulated diagnostics over a whole structured input belong to Reified.Schema.

All of them return the standard F# Result, so these helpers work on their output — but none of them requires this package.

Continue

• Creating a Result
• Transforming values
• Handling errors
• The result computation expression
• Collecting every error
• Comparison with FsToolkit.ErrorHandling