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. type HexStringSpec = MatchesRegex[String("^(([0-9a-f]+)|([0-9A-F]+))$")]

    Permalink

    Predicate that checks if a String represents a hexadecimal number.

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

    Permalink

    Predicate that checks if a String is a valid IPv4

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

    Permalink

    Predicate that checks if a String is a valid IPv6

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

    Permalink

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

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

    Permalink

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

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

    Permalink

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

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

    Permalink

    Predicate that checks if a String has no leading or trailing whitespace.

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

    Permalink

    Predicate that checks if a String is a valid URI.

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

    Permalink

    Predicate that checks if a String is a valid URL.

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

    Permalink

    Predicate that checks if a String is a valid UUID.

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

    Permalink

    Predicate that checks if a String is a parsable BigDecimal.

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

    Permalink

    Predicate that checks if a String is a parsable BigInt.

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

    Permalink

    Predicate that checks if a String is a parsable Byte.

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

    Permalink

    Predicate that checks if a String is a parsable Double.

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

    Permalink

    Predicate that checks if a String is a parsable Float.

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

    Permalink

    Predicate that checks if a String is a parsable Int.

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

    Permalink

    Predicate that checks if a String is a parsable Long.

  19. final case class ValidShort() extends Product with Serializable

    Permalink

    Predicate that checks if a String is a parsable Short.

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

    Permalink

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

  21. 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 Trimmed extends Serializable

    Permalink

  11. object Uri extends Serializable

    Permalink

  12. object Url extends Serializable

    Permalink

  13. object Uuid extends Serializable

    Permalink

  14. object ValidBigDecimal extends Serializable

    Permalink

  15. object ValidBigInt extends Serializable

    Permalink

  16. object ValidByte extends Serializable

    Permalink

  17. object ValidDouble extends Serializable

    Permalink

  18. object ValidFloat extends Serializable

    Permalink

  19. object ValidInt extends Serializable

    Permalink

  20. object ValidLong extends Serializable

    Permalink

  21. object ValidShort extends Serializable

    Permalink

  22. object XPath extends Serializable

    Permalink

  23. object Xml extends Serializable

    Permalink

  24. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  25. def clone(): AnyRef

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

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

    Permalink
    Definition Classes
    StringInference

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

    Permalink
    Definition Classes
    AnyRef

  28. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  29. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  31. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  32. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    AnyRef

  34. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  35. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

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

    Permalink
    Definition Classes
    StringInference

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

    Permalink
    Definition Classes
    AnyRef

  38. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  39. final def wait(): Unit

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

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

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

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

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

Inherited from StringInference

Inherited from AnyRef

Inherited from Any

Ungrouped