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.