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-based singleton types.

    Alias for shapeless.Witness that provides concise syntax for literal-based 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 the shapeless wiki for more information about its support for singleton types.

    Note that if a future version of Scala implements SIP-23, shapeless.Witness won't be necessary anymore to express literal-based singleton types. It will then be possible to use literals directly in a position where a type is expected.

  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. package macros

  10. object numeric extends NumericValidate with NumericInference

    Module for numeric predicates.

  11. 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.

  12. 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.

  13. 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.

  14. 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.

  15. object string extends StringValidate with StringInference

    Module for String related predicates.

  16. 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