eu.timepit
Type class for validating values of type T according to a type-level predicate P.
T
P
Type class for validating values of type T according to a type-level predicate P. The semantics of P are defined by the instance of this type class for P.
Type class for validating values of type
T
according to a type-level predicateP
. The semantics ofP
are defined by the instance of this type class forP
.