Expand description
Refinement types.
Structs§
- Refinement
- Represents refinement types.
Traits§
- Refine
- Extends any type
Tto allow refining its values withRimplementingRefining<Value = T>. - Refining
- Refinement methods.
Type Aliases§
- Recoverable
Refinement - Represents recoverable refining results.
- Recoverable
Refinement Ref - Represents recoverable reference refining results.