Object

eu.timepit.refined

generic

Related Doc: package refined

Permalink

object generic extends GenericInference

Module for generic predicates.

Source
generic.scala
Linear Supertypes
GenericInference, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. generic
  2. GenericInference
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. final case class Equal[U](u: U) extends Product with Serializable

    Permalink

    Predicate that checks if a value is equal to U.

  2. final case class ConstructorNames[P](p: P) extends Product with Serializable

    Permalink
    Annotations
    @deprecated
    Deprecated

    (Since version 0.9.0) Deprecated because ConstructorNames operates on types and not values and refined focuses on refining values.

  3. final case class FieldNames[P](p: P) extends Product with Serializable

    Permalink
    Annotations
    @deprecated
    Deprecated

    (Since version 0.9.0) Deprecated because FieldNames operates on types and not values and refined focuses on refining values.

  4. final case class Subtype[U]() extends Product with Serializable

    Permalink
    Annotations
    @deprecated
    Deprecated

    (Since version 0.9.0) The Subtype predicate is deprecated without replacement because it is lacking practical relevance.

  5. final case class Supertype[U]() extends Product with Serializable

    Permalink
    Annotations
    @deprecated
    Deprecated

    (Since version 0.9.0) The Supertype predicate is deprecated without replacement because it is lacking practical relevance.

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. object ConstructorNames extends Serializable

    Permalink

  5. object Equal extends Serializable

    Permalink

  6. object FieldNames extends Serializable

    Permalink

  7. object Subtype extends Serializable

    Permalink

  8. object Supertype extends Serializable

    Permalink

  9. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  10. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  11. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  12. implicit def equalValidateInference[T, U, P](implicit v: Validate[T, P], wu: WitnessAs[U, T]): ==>[Equal[U], P]

    Permalink
    Definition Classes
    GenericInference

  13. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  14. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  15. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  16. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  17. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  18. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  19. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  20. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  21. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  22. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  23. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  24. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  25. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from GenericInference

Inherited from AnyRef

Inherited from Any

Ungrouped