Where to go next

Each Reified package is independently installable. Start with the capability that owns the problem you are solving.

Capability Use it when
Result handling Fallible functions need sequencing, recovery, or error accumulation over the standard F# Result type.
Constraints A typed value must satisfy a reusable rule that also carries inspectable metadata and structured violations.
Parsing Serialized primitive text must become an F# value without losing why conversion failed.
Refined Successful admission should be recorded in a type that removes a later branch or makes an operation total.
Data Structured fixtures and produced output need concise construction, editing, and comparison.
Schema A whole form, request, configuration document, or stored payload must become a model with field-aware diagnostics.

Schema also drives the focused wire tools:

  • JSON Codecs compiles a trusted serializer and deserializer from the declaration.
  • Derived Schemas generates declarations from F# records during the build.
  • Versioned Contracts migrates frozen wire shapes into the current model.

Install the complete runtime set with:

dotnet add package Reified

See Packages and platforms for focused package names and target support.