eu.timepit

refined

package refined

Visibility
  1. Public
  2. All

Type Members

  1. trait Predicate[P, T] extends AnyRef

    Type class for validating values of type T according to a type-level predicate 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.

Value Members

  1. object Predicate

  2. object boolean

  3. object char

  4. object collection

  5. object generic

  6. object numeric

  7. object refine

  8. object refineLit

  9. object string

Ungrouped