eu.timepit.refined.api
Wraps a value of type T that satisfies the predicate P. Instances of this class can be created with refineV and refineMV which verify that the wrapped value satisfies P.
T
P
refineV
refineMV
Wraps a value of type
T
that satisfies the predicateP
. Instances of this class can be created withrefineV
andrefineMV
which verify that the wrapped value satisfiesP
.