eu.timepit.refined.types

all

object all extends AllTypes

Module for all predefined refined types.

Source
all.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. all
  2. AllTypes
  3. TimeTypes
  4. StringTypes
  5. NumericTypes
  6. NetTypes
  7. CharTypes
  8. AnyRef
  9. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. type Day = Refined[Int, Closed[Int(1), Int(31)]]

    An Int in the range from 1 to 31 representing the day-of-month.

    An Int in the range from 1 to 31 representing the day-of-month. Note that the days from 29 to 31 are not valid for all months.

    Definition Classes
    TimeTypes
  2. type DynamicPortNumber = Refined[Int, Closed[Int(49152), Int(65535)]]

    An Int in the range from 49152 to 65535 representing a port number.

    An Int in the range from 49152 to 65535 representing a port number.

    Definition Classes
    NetTypes
  3. type Hour = Refined[Int, Closed[Int(0), Int(23)]]

    An Int in the range from 0 to 23 representing the hour-of-day.

    An Int in the range from 0 to 23 representing the hour-of-day.

    Definition Classes
    TimeTypes
  4. type LowerCaseChar = Refined[Char, LowerCase]

    A Char that is a lower case character.

    A Char that is a lower case character.

    Definition Classes
    CharTypes
  5. type Millis = Refined[Int, Closed[Int(0), Int(999)]]

    An Int in the range from 0 to 999 representing the millisecond-of-second.

    An Int in the range from 0 to 999 representing the millisecond-of-second.

    Definition Classes
    TimeTypes
  6. type Minute = Refined[Int, Closed[Int(0), Int(59)]]

    An Int in the range from 0 to 59 representing the minute-of-hour.

    An Int in the range from 0 to 59 representing the minute-of-hour.

    Definition Classes
    TimeTypes
  7. type Month = Refined[Int, Closed[Int(1), Int(12)]]

    An Int in the range from 1 to 12 representing the month-of-year.

    An Int in the range from 1 to 12 representing the month-of-year.

    Definition Classes
    TimeTypes
  8. type NegDouble = Refined[Double, Negative]

    A Double less than 0.

    A Double less than 0.

    Definition Classes
    NumericTypes
  9. type NegFloat = Refined[Float, Negative]

    A Float less than 0.

    A Float less than 0.

    Definition Classes
    NumericTypes
  10. type NegInt = Refined[Int, Negative]

    An Int in the range from Int.MinValue to -1.

    An Int in the range from Int.MinValue to -1.

    Definition Classes
    NumericTypes
  11. type NegLong = Refined[Long, Negative]

    A Long in the range from Long.MinValue to -1.

    A Long in the range from Long.MinValue to -1.

    Definition Classes
    NumericTypes
  12. type NonEmptyString = Refined[String, NonEmpty]

    A String that is not empty.

    A String that is not empty.

    Definition Classes
    StringTypes
  13. type NonNegDouble = Refined[Double, NonNegative]

    A Double greater than or equal to 0.

    A Double greater than or equal to 0.

    Definition Classes
    NumericTypes
  14. type NonNegFloat = Refined[Float, NonNegative]

    A Float greater than or equal to 0.

    A Float greater than or equal to 0.

    Definition Classes
    NumericTypes
  15. type NonNegInt = Refined[Int, NonNegative]

    An Int in the range from 0 to Int.MaxValue.

    An Int in the range from 0 to Int.MaxValue.

    Definition Classes
    NumericTypes
  16. type NonNegLong = Refined[Long, NonNegative]

    A Long in the range from 0 to Long.MaxValue.

    A Long in the range from 0 to Long.MaxValue.

    Definition Classes
    NumericTypes
  17. type NonPosDouble = Refined[Double, NonPositive]

    A Double less than or equal to 0.

    A Double less than or equal to 0.

    Definition Classes
    NumericTypes
  18. type NonPosFloat = Refined[Float, NonPositive]

    A Float less than or equal to 0.

    A Float less than or equal to 0.

    Definition Classes
    NumericTypes
  19. type NonPosInt = Refined[Int, NonPositive]

    An Int in the range from Int.MinValue to 0.

    An Int in the range from Int.MinValue to 0.

    Definition Classes
    NumericTypes
  20. type NonPosLong = Refined[Long, NonPositive]

    A Long in the range from Long.MinValue to 0.

    A Long in the range from Long.MinValue to 0.

    Definition Classes
    NumericTypes
  21. type NonSystemPortNumber = Refined[Int, Closed[Int(1024), Int(65535)]]

    An Int in the range from 1024 to 65535 representing a port number.

    An Int in the range from 1024 to 65535 representing a port number.

    Definition Classes
    NetTypes
  22. type PortNumber = Refined[Int, Closed[Int(0), Int(65535)]]

    An Int in the range from 0 to 65535 representing a port number.

    An Int in the range from 0 to 65535 representing a port number.

    Definition Classes
    NetTypes
  23. type PosDouble = Refined[Double, Positive]

    A Double greater than 0.

    A Double greater than 0.

    Definition Classes
    NumericTypes
  24. type PosFloat = Refined[Float, Positive]

    A Float greater than 0.

    A Float greater than 0.

    Definition Classes
    NumericTypes
  25. type PosInt = Refined[Int, Positive]

    An Int in the range from 1 to Int.MaxValue.

    An Int in the range from 1 to Int.MaxValue.

    Definition Classes
    NumericTypes
  26. type PosLong = Refined[Long, Positive]

    A Long in the range from 1 to Long.MaxValue.

    A Long in the range from 1 to Long.MaxValue.

    Definition Classes
    NumericTypes
  27. type PrivateNetwork = Refined[String, Or[Or[Or[Rfc1918PrivateSpec, Rfc5737TestnetSpec], Rfc3927LocalLinkSpec], Rfc2544BenchmarkSpec]]

    A String representing a valid IPv4 in a private network according to RFC1918, RFC5737, RFC3927 or RFC2544

    A String representing a valid IPv4 in a private network according to RFC1918, RFC5737, RFC3927 or RFC2544

    Definition Classes
    NetTypes
  28. type Rfc1918ClassAPrivate = Refined[String, Rfc1918ClassAPrivateSpec]

    A String representing a valid IPv4 in the private network 10.

    A String representing a valid IPv4 in the private network 10.0.0.0/8 (RFC1918)

    Definition Classes
    NetTypes
  29. type Rfc1918ClassBPrivate = Refined[String, Rfc1918ClassBPrivateSpec]

    A String representing a valid IPv4 in the private network 172.

    A String representing a valid IPv4 in the private network 172.15.0.0/12 (RFC1918)

    Definition Classes
    NetTypes
  30. type Rfc1918ClassCPrivate = Refined[String, Rfc1918ClassCPrivateSpec]

    A String representing a valid IPv4 in the private network 192.

    A String representing a valid IPv4 in the private network 192.168.0.0/16 (RFC1918)

    Definition Classes
    NetTypes
  31. type Rfc1918Private = Refined[String, Rfc1918PrivateSpec]

    A String representing a valid IPv4 in a private network according to RFC1918

    A String representing a valid IPv4 in a private network according to RFC1918

    Definition Classes
    NetTypes
  32. type Rfc2544Benchmark = Refined[String, Rfc2544BenchmarkSpec]

    A String representing a valid IPv4 in the benchmarking network 198.

    A String representing a valid IPv4 in the benchmarking network 198.18.0.0/15 (RFC2544)

    Definition Classes
    NetTypes
  33. type Rfc3927LocalLink = Refined[String, Rfc3927LocalLinkSpec]

    A String representing a valid IPv4 in the local link network 169.

    A String representing a valid IPv4 in the local link network 169.254.0.0/16 (RFC3927)

    Definition Classes
    NetTypes
  34. type Rfc5737Testnet = Refined[String, Rfc5737TestnetSpec]

    A String representing a valid IPv4 in a private network according to RFC5737

    A String representing a valid IPv4 in a private network according to RFC5737

    Definition Classes
    NetTypes
  35. type Rfc5737Testnet1 = Refined[String, Rfc5737Testnet1Spec]

    A String representing a valid IPv4 in the private network 192.

    A String representing a valid IPv4 in the private network 192.0.2.0/24 (RFC5737)

    Definition Classes
    NetTypes
  36. type Rfc5737Testnet2 = Refined[String, Rfc5737Testnet2Spec]

    A String representing a valid IPv4 in the private network 198.

    A String representing a valid IPv4 in the private network 198.51.100.0/24 (RFC5737)

    Definition Classes
    NetTypes
  37. type Rfc5737Testnet3 = Refined[String, Rfc5737Testnet3Spec]

    A String representing a valid IPv4 in the private network 203.

    A String representing a valid IPv4 in the private network 203.0.113.0/24 (RFC5737)

    Definition Classes
    NetTypes
  38. type Second = Refined[Int, Closed[Int(0), Int(59)]]

    An Int in the range from 0 to 59 representing the second-of-minute.

    An Int in the range from 0 to 59 representing the second-of-minute.

    Definition Classes
    TimeTypes
  39. type SystemPortNumber = Refined[Int, Closed[Int(0), Int(1023)]]

    An Int in the range from 0 to 1023 representing a port number.

    An Int in the range from 0 to 1023 representing a port number.

    Definition Classes
    NetTypes
  40. type TrimmedString = Refined[String, MatchesRegex[String("^(?!\\s).*(?<!\\s)")]]

    A String that contains no leading or trailing whitespace.

    A String that contains no leading or trailing whitespace.

    Definition Classes
    StringTypes
  41. type UpperCaseChar = Refined[Char, UpperCase]

    A Char that is an upper case character.

    A Char that is an upper case character.

    Definition Classes
    CharTypes
  42. type UserPortNumber = Refined[Int, Closed[Int(1024), Int(49151)]]

    An Int in the range from 1024 to 49151 representing a port number.

    An Int in the range from 1024 to 49151 representing a port number.

    Definition Classes
    NetTypes

Value Members

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

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

    Definition Classes
    AnyRef → Any
  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  6. object Day extends RefinedTypeOps[Day, Int]

    Definition Classes
    TimeTypes
  7. object DynamicPortNumber extends RefinedTypeOps[DynamicPortNumber, Int]

    Definition Classes
    NetTypes
  8. object Hour extends RefinedTypeOps[Hour, Int]

    Definition Classes
    TimeTypes
  9. object LowerCaseChar extends RefinedTypeOps[LowerCaseChar, Char]

    Definition Classes
    CharTypes
  10. object Millis extends RefinedTypeOps[Millis, Int]

    Definition Classes
    TimeTypes
  11. object Minute extends RefinedTypeOps[Minute, Int]

    Definition Classes
    TimeTypes
  12. object Month extends RefinedTypeOps[Month, Int]

    Definition Classes
    TimeTypes
  13. object NegDouble extends Numeric[NegDouble, Double]

    Definition Classes
    NumericTypes
  14. object NegFloat extends Numeric[NegFloat, Float]

    Definition Classes
    NumericTypes
  15. object NegInt extends Numeric[NegInt, Int]

    Definition Classes
    NumericTypes
  16. object NegLong extends Numeric[NegLong, Long]

    Definition Classes
    NumericTypes
  17. object NonEmptyString extends RefinedTypeOps[NonEmptyString, String]

    Definition Classes
    StringTypes
  18. object NonNegDouble extends Numeric[NonNegDouble, Double]

    Definition Classes
    NumericTypes
  19. object NonNegFloat extends Numeric[NonNegFloat, Float]

    Definition Classes
    NumericTypes
  20. object NonNegInt extends Numeric[NonNegInt, Int]

    Definition Classes
    NumericTypes
  21. object NonNegLong extends Numeric[NonNegLong, Long]

    Definition Classes
    NumericTypes
  22. object NonPosDouble extends Numeric[NonPosDouble, Double]

    Definition Classes
    NumericTypes
  23. object NonPosFloat extends Numeric[NonPosFloat, Float]

    Definition Classes
    NumericTypes
  24. object NonPosInt extends Numeric[NonPosInt, Int]

    Definition Classes
    NumericTypes
  25. object NonPosLong extends Numeric[NonPosLong, Long]

    Definition Classes
    NumericTypes
  26. object NonSystemPortNumber extends RefinedTypeOps[NonSystemPortNumber, Int]

    Definition Classes
    NetTypes
  27. object PortNumber extends RefinedTypeOps[PortNumber, Int]

    Definition Classes
    NetTypes
  28. object PosDouble extends Numeric[PosDouble, Double]

    Definition Classes
    NumericTypes
  29. object PosFloat extends Numeric[PosFloat, Float]

    Definition Classes
    NumericTypes
  30. object PosInt extends Numeric[PosInt, Int]

    Definition Classes
    NumericTypes
  31. object PosLong extends Numeric[PosLong, Long]

    Definition Classes
    NumericTypes
  32. object PrivateNetworks

    Definition Classes
    NetTypes
  33. object Second extends RefinedTypeOps[Second, Int]

    Definition Classes
    TimeTypes
  34. object SystemPortNumber extends RefinedTypeOps[SystemPortNumber, Int]

    Definition Classes
    NetTypes
  35. object TrimmedString extends RefinedTypeOps[TrimmedString, String]

    Definition Classes
    StringTypes
  36. object UpperCaseChar extends RefinedTypeOps[UpperCaseChar, Char]

    Definition Classes
    CharTypes
  37. object UserPortNumber extends RefinedTypeOps[UserPortNumber, Int]

    Definition Classes
    NetTypes
  38. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  39. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  41. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  42. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  43. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  44. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  45. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  46. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  47. final def notify(): Unit

    Definition Classes
    AnyRef
  48. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  49. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  50. def toString(): String

    Definition Classes
    AnyRef → Any
  51. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  52. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  53. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AllTypes

Inherited from TimeTypes

Inherited from StringTypes

Inherited from NumericTypes

Inherited from NetTypes

Inherited from CharTypes

Inherited from AnyRef

Inherited from Any

Ungrouped