eu.timepit.refined
Predicate that checks if a value is equal to U.
U
Predicate that witnesses that the type of a value is a subtype of U.
Predicate that witnesses that the type of a value is a supertype of U.