The refined value.
The additional param that was associated with the operation.
A narrowing predicate that refines the value type.
If a ValidationError is thrown, its issues are captured and incorporated into a parsing result. Throw if refinement cannot be performed, and you want to abort the operation.
The value to refine.
The additional param that was associated with the operation.
Parsing options.
true
if value matches the predicate, or false
otherwise.
The value to refine.