eu.timepit

refined

package refined

Source
package.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. refined
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
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. val W: Witness.type

  3. object boolean

  4. object char

  5. object collection

  6. object generic

  7. package internal

  8. object numeric

  9. def refine[P]: Refine[P]

  10. def refineLit[P]: RefineLit[P]

  11. object string

Inherited from AnyRef

Inherited from Any

Ungrouped