eu.timepit.refined.internal
Type class for wrapping a value of type T into F together with a phantom type P. Instances must satisfy the following law: forall t, unwrap(wrap(t)) == t.
T
F
P
forall t, unwrap(wrap(t)) == t
Type class for wrapping a value of type
T
intoF
together with a phantom typeP
. Instances must satisfy the following law:forall t, unwrap(wrap(t)) == t
.