Implicitly converts (at compile-time) a value of type F[T, A]
to
F[T, B]
if there is a valid inference rule A ==> B
.
Implicitly converts (at compile-time) a value of type F[T, A]
to
F[T, B]
if there is a valid inference rule A ==> B
. If the
inference rule is invalid, compilation fails.
Implicitly tags (at compile-time) a value of type T
with P
if t
satisfies the predicate P
.
Implicitly tags (at compile-time) a value of type T
with P
if t
satisfies the predicate P
. If it does not satisfy the predicate,
compilation fails.
This is an implicit version of refineMT
.
Implicitly wraps (at compile-time) a value of type T
in
Refined[T, P]
if t
satisfies the predicate P
.