Object

eu.timepit.refined

string

Related Doc: package refined

Permalink

object string extends StringInference

Module for String related predicates. Note that most of the predicates in collection also work for Strings by treating them as sequences of Chars.

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

Type Members

  1. final case class EndsWith[S](s: S) extends Product with Serializable

    Permalink

    Predicate that checks if a String ends with the suffix S.

  2. final case class IPv4() extends Product with Serializable

    Permalink

    Predicate that checks if a String is a valid IPv4

  3. final case class IPv6() extends Product with Serializable

    Permalink

    Predicate that checks if a String is a valid IPv6

  4. final case class MatchesRegex[S](s: S) extends Product with Serializable

    Permalink

    Predicate that checks if a String matches the regular expression S.

  5. final case class Regex() extends Product with Serializable

    Permalink

    Predicate that checks if a String is a valid regular expression.

  6. final case class StartsWith[S](s: S) extends Product with Serializable

    Permalink

    Predicate that checks if a String starts with the prefix S.

  7. final case class Uri() extends Product with Serializable

    Permalink

    Predicate that checks if a String is a valid URI.

  8. final case class Url() extends Product with Serializable

    Permalink

    Predicate that checks if a String is a valid URL.

  9. final case class Uuid() extends Product with Serializable

    Permalink

    Predicate that checks if a String is a valid UUID.

  10. final case class ValidBigDecimal() extends Product with Serializable

    Permalink

    Predicate that checks if a String is a parsable BigDecimal.

  11. final case class ValidBigInt() extends Product with Serializable

    Permalink

    Predicate that checks if a String is a parsable BigInt.

  12. final case class ValidDouble() extends Product with Serializable

    Permalink

    Predicate that checks if a String is a parsable Double.

  13. final case class ValidInt() extends Product with Serializable

    Permalink

    Predicate that checks if a String is a parsable Int.

  14. final case class ValidLong() extends Product with Serializable

    Permalink

    Predicate that checks if a String is a parsable Long.

  15. final case class XPath() extends Product with Serializable

    Permalink

    Predicate that checks if a String is a valid XPath expression.

  16. final case class Xml() extends Product with Serializable

    Permalink

    Predicate that checks if a String is well-formed XML.

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 EndsWith extends Serializable

    Permalink

  5. object IPv4 extends Serializable

    Permalink

  6. object IPv6 extends Serializable

    Permalink

  7. object MatchesRegex extends Serializable

    Permalink

  8. object Regex extends Serializable

    Permalink

  9. object StartsWith extends Serializable

    Permalink

  10. object Uri extends Serializable

    Permalink

  11. object Url extends Serializable

    Permalink

  12. object Uuid extends Serializable

    Permalink

  13. object ValidBigDecimal extends Serializable

    Permalink

  14. object ValidBigInt extends Serializable

    Permalink

  15. object ValidDouble extends Serializable

    Permalink

  16. object ValidInt extends Serializable

    Permalink

  17. object ValidLong extends Serializable

    Permalink

  18. object XPath extends Serializable

    Permalink

  19. object Xml extends Serializable

    Permalink

  20. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  21. def clone(): AnyRef

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

  22. implicit def endsWithInference[A <: String, B <: String](implicit wa: Aux[A], wb: Aux[B]): ==>[EndsWith[A], EndsWith[B]]

    Permalink
    Definition Classes
    StringInference

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

    Permalink
    Definition Classes
    AnyRef

  24. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  25. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  27. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  28. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    AnyRef

  30. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  31. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  32. implicit def startsWithInference[A <: String, B <: String](implicit wa: Aux[A], wb: Aux[B]): ==>[StartsWith[A], StartsWith[B]]

    Permalink
    Definition Classes
    StringInference

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

    Permalink
    Definition Classes
    AnyRef

  34. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  35. final def wait(): Unit

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

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

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

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

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

Inherited from StringInference

Inherited from AnyRef

Inherited from Any

Ungrouped