Docs
Reference
Packages
GitHub
0.10.0
- 0.10.0
- 0.9.0
- 0.8.2
- 0.8.1
- 0.8.0
- 0.7.0
- 0.6.1
- 0.6.0
- 0.5.0
- 0.4.0
- 0.3.0
- 0.2.0

MessageResolverType

PackageReified.Constraint

Resolves one contextual level, or declines so Reified continues to a less specific one.

On This Page

Filter

Overview

Home
API Reference

Docs

Getting Started
Schema
Constraints
Refined
Parsing
- Parsing
Data
Result handling
Comparisons
Notes

API Reference

Reified.Constraint
Reified.Data
Reified.Parse
- Parse
  - Operations
    int
    long
    decimal
    float
    bool
    guid
    dateTime
    dateTimeOffset
    dateOnly
    timeOnly
    enum
    optional
    optionalOr
    intOption
    boolOption
    decimalOption
    guidOption
    intOrDefault
    boolOrDefault
    decimalOrDefault
- ParseError
  - Union cases
    IsInvalidFormat
    IsMissingValue
    IsOutOfRange
    MissingValue
    InvalidFormat
    OutOfRange
Reified.Refinements
Reified.Result
- Result
  - Operations
    ok
    error
    map
    mapError
    bind
    orElseWith
    orElse
    okIf
    failIf
    require
    orError
    fromTry
    fromChoice
    fromOption
    fromValueOption
    toOption
    toValueOption
    defaultValue
    tap
    tapError
    traverse
    sequence
    traverseAll
    sequenceAll
Reified.Schema
Reified.Schema.Contracts
Reified.Schema.Testing
- SchemaGen
  - Operations
    rawWith
    raw
    model
- SchemaGenerationError
  - Union cases
    UnsupportedConstraint