Skip to main content

Module refinement

refining_core

Module refinement 

Source
Expand description

Refinement types.

Structs§

Refinement
Represents refinement types.

Traits§

Refine
Extends any type T to allow refining its values with R implementing Refining<Value = T>.
Refining
Refinement methods.

Type Aliases§

RecoverableRefinement
Represents recoverable refining results.
RecoverableRefinementRef
Represents recoverable reference refining results.