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
(Since version 0.6.1) get has been renamed to value to avoid confusion with Option#get
get
value
Option#get
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
.