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 auto extends AnyRef

Value Members

  1. val W: Witness.type

    Alias for shapeless.Witness that provides concise syntax for literal singleton types.

    Alias for shapeless.Witness that provides concise syntax for literal singleton types.

    Example: 

    scala> val d: W.`3.14`.T = 3.14
d: Double(3.14) = 3.14

scala> val s: W.`"abc"`.T = "abc"
s: String("abc") = abc

    See https://github.com/milessabin/shapeless/wiki/Feature-overview:-shapeless-2.0.0#singleton-typed-literals for more information about shapeless' support for singleton types.

  2. package api

  3. object auto extends auto

  4. object boolean extends BooleanValidate with BooleanInference0

  5. object char extends CharValidate

    Module for Char related predicates.

  6. object collection extends CollectionValidate with CollectionInference

  7. object generic extends GenericValidate with GenericInference

  8. package internal

  9. object numeric extends NumericValidate with NumericInference

    Module for numeric predicates.

  10. def refineMT[P]: RefineMPartiallyApplied[@@, P]

    Alias for api.RefType.refineM[P] with shapeless.tag.@@ as type parameter for api.RefType.

    Alias for api.RefType.refineM[P] with shapeless.tag.@@ as type parameter for api.RefType.

    Note: M stands for macro and T stands for tag.

  11. def refineMV[P]: RefineMPartiallyApplied[Refined, P]

    Alias for api.RefType.refineM[P] with api.Refined as type parameter for api.RefType.

    Alias for api.RefType.refineM[P] with api.Refined as type parameter for api.RefType.

    Note: M stands for macro and V stands for value class.

  12. def refineT[P]: RefinePartiallyApplied[@@, P]

    Alias for api.RefType.refine[P] with shapeless.tag.@@ as type parameter for api.RefType.

    Alias for api.RefType.refine[P] with shapeless.tag.@@ as type parameter for api.RefType.

    Note: T stands for tag.

  13. def refineV[P]: RefinePartiallyApplied[Refined, P]

    Alias for api.RefType.refine[P] with api.Refined as type parameter for api.RefType.

    Alias for api.RefType.refine[P] with api.Refined as type parameter for api.RefType.

    Note: V stands for value class.

  14. object string extends StringValidate with StringInference

    Module for String related predicates.

  15. package util

Deprecated Value Members

  1. object implicits extends auto

    Annotations
    @deprecated
    Deprecated

    (Since version 0.2.4) The 'implicits' object has been deprecated in favor of the 'auto' object.

Inherited from AnyRef

Inherited from Any

Ungrouped