eu.timepit.refined.types

all

object all extends AllTypes

Module for all predefined refined types.

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

Type Members

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

    Definition Classes
    TimeTypes

  2. final type DynamicPortNumber = Refined[Int, Closed[Int(49152), Int(65535)]]

    Definition Classes
    NetTypes

  3. final type FiniteString[N] = Refined[String, MaxSize[N]]

    Definition Classes
    StringTypes

  4. final type HexString = Refined[String, HexStringSpec]

    Definition Classes
    StringTypes

  5. final type Hour = Refined[Int, Closed[Int(0), Int(23)]]

    Definition Classes
    TimeTypes

  6. final type LowerCaseChar = Refined[Char, LowerCase]

    Definition Classes
    CharTypes

  7. final type MD5 = Refined[String, And[HexStringSpec, Size[Equal[Int(32)]]]]

    Definition Classes
    DigestTypes

  8. final type Millis = Refined[Int, Closed[Int(0), Int(999)]]

    Definition Classes
    TimeTypes

  9. final type Minute = Refined[Int, Closed[Int(0), Int(59)]]

    Definition Classes
    TimeTypes

  10. final type Month = Refined[Int, Closed[Int(1), Int(12)]]

    Definition Classes
    TimeTypes

  11. final type NegDouble = Refined[Double, Negative]

    Definition Classes
    NumericTypes

  12. final type NegFloat = Refined[Float, Negative]

    Definition Classes
    NumericTypes

  13. final type NegInt = Refined[Int, Negative]

    Definition Classes
    NumericTypes

  14. final type NegLong = Refined[Long, Negative]

    Definition Classes
    NumericTypes

  15. final type NonEmptyString = Refined[String, NonEmpty]

    Definition Classes
    StringTypes

  16. final type NonNegDouble = Refined[Double, NonNegative]

    Definition Classes
    NumericTypes

  17. final type NonNegFloat = Refined[Float, NonNegative]

    Definition Classes
    NumericTypes

  18. final type NonNegInt = Refined[Int, NonNegative]

    Definition Classes
    NumericTypes

  19. final type NonNegLong = Refined[Long, NonNegative]

    Definition Classes
    NumericTypes

  20. final type NonPosDouble = Refined[Double, NonPositive]

    Definition Classes
    NumericTypes

  21. final type NonPosFloat = Refined[Float, NonPositive]

    Definition Classes
    NumericTypes

  22. final type NonPosInt = Refined[Int, NonPositive]

    Definition Classes
    NumericTypes

  23. final type NonPosLong = Refined[Long, NonPositive]

    Definition Classes
    NumericTypes

  24. final type NonSystemPortNumber = Refined[Int, Closed[Int(1024), Int(65535)]]

    Definition Classes
    NetTypes

  25. final type PortNumber = Refined[Int, Closed[Int(0), Int(65535)]]

    Definition Classes
    NetTypes

  26. final type PosDouble = Refined[Double, Positive]

    Definition Classes
    NumericTypes

  27. final type PosFloat = Refined[Float, Positive]

    Definition Classes
    NumericTypes

  28. final type PosInt = Refined[Int, Positive]

    Definition Classes
    NumericTypes

  29. final type PosLong = Refined[Long, Positive]

    Definition Classes
    NumericTypes

  30. final type PrivateNetwork = Refined[String, Or[Or[Or[Rfc1918PrivateSpec, Rfc5737TestnetSpec], Rfc3927LocalLinkSpec], Rfc2544BenchmarkSpec]]

    Definition Classes
    NetTypes

  31. final type Rfc1918ClassAPrivate = Refined[String, Rfc1918ClassAPrivateSpec]

    Definition Classes
    NetTypes

  32. final type Rfc1918ClassBPrivate = Refined[String, Rfc1918ClassBPrivateSpec]

    Definition Classes
    NetTypes

  33. final type Rfc1918ClassCPrivate = Refined[String, Rfc1918ClassCPrivateSpec]

    Definition Classes
    NetTypes

  34. final type Rfc1918Private = Refined[String, Rfc1918PrivateSpec]

    Definition Classes
    NetTypes

  35. final type Rfc2544Benchmark = Refined[String, Rfc2544BenchmarkSpec]

    Definition Classes
    NetTypes

  36. final type Rfc3927LocalLink = Refined[String, Rfc3927LocalLinkSpec]

    Definition Classes
    NetTypes

  37. final type Rfc5737Testnet = Refined[String, Rfc5737TestnetSpec]

    Definition Classes
    NetTypes

  38. final type Rfc5737Testnet1 = Refined[String, Rfc5737Testnet1Spec]

    Definition Classes
    NetTypes

  39. final type Rfc5737Testnet2 = Refined[String, Rfc5737Testnet2Spec]

    Definition Classes
    NetTypes

  40. final type Rfc5737Testnet3 = Refined[String, Rfc5737Testnet3Spec]

    Definition Classes
    NetTypes

  41. final type SHA1 = Refined[String, And[HexStringSpec, Size[Equal[Int(40)]]]]

    Definition Classes
    DigestTypes

  42. final type SHA224 = Refined[String, And[HexStringSpec, Size[Equal[Int(56)]]]]

    Definition Classes
    DigestTypes

  43. final type SHA256 = Refined[String, And[HexStringSpec, Size[Equal[Int(64)]]]]

    Definition Classes
    DigestTypes

  44. final type SHA384 = Refined[String, And[HexStringSpec, Size[Equal[Int(96)]]]]

    Definition Classes
    DigestTypes

  45. final type SHA512 = Refined[String, And[HexStringSpec, Size[Equal[Int(128)]]]]

    Definition Classes
    DigestTypes

  46. final type Second = Refined[Int, Closed[Int(0), Int(59)]]

    Definition Classes
    TimeTypes

  47. final type SystemPortNumber = Refined[Int, Closed[Int(0), Int(1023)]]

    Definition Classes
    NetTypes

  48. final type TrimmedString = Refined[String, Trimmed]

    Definition Classes
    StringTypes

  49. final type UpperCaseChar = Refined[Char, UpperCase]

    Definition Classes
    CharTypes

  50. final type UserPortNumber = Refined[Int, Closed[Int(1024), Int(49151)]]

    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. final val Day: time.Day.type

    Definition Classes
    TimeTypes

  7. final val DynamicPortNumber: net.DynamicPortNumber.type

    Definition Classes
    NetTypes

  8. final val FiniteString: string.FiniteString.type

    Definition Classes
    StringTypes

  9. final val HexString: string.HexString.type

    Definition Classes
    StringTypes

  10. final val Hour: time.Hour.type

    Definition Classes
    TimeTypes

  11. final val LowerCaseChar: char.LowerCaseChar.type

    Definition Classes
    CharTypes

  12. final val MD5: digests.MD5.type

    Definition Classes
    DigestTypes

  13. final val Millis: time.Millis.type

    Definition Classes
    TimeTypes

  14. final val Minute: time.Minute.type

    Definition Classes
    TimeTypes

  15. final val Month: time.Month.type

    Definition Classes
    TimeTypes

  16. final val NegDouble: numeric.NegDouble.type

    Definition Classes
    NumericTypes

  17. final val NegFloat: numeric.NegFloat.type

    Definition Classes
    NumericTypes

  18. final val NegInt: numeric.NegInt.type

    Definition Classes
    NumericTypes

  19. final val NegLong: numeric.NegLong.type

    Definition Classes
    NumericTypes

  20. final val NonEmptyString: string.NonEmptyString.type

    Definition Classes
    StringTypes

  21. final val NonNegDouble: numeric.NonNegDouble.type

    Definition Classes
    NumericTypes

  22. final val NonNegFloat: numeric.NonNegFloat.type

    Definition Classes
    NumericTypes

  23. final val NonNegInt: numeric.NonNegInt.type

    Definition Classes
    NumericTypes

  24. final val NonNegLong: numeric.NonNegLong.type

    Definition Classes
    NumericTypes

  25. final val NonPosDouble: numeric.NonPosDouble.type

    Definition Classes
    NumericTypes

  26. final val NonPosFloat: numeric.NonPosFloat.type

    Definition Classes
    NumericTypes

  27. final val NonPosInt: numeric.NonPosInt.type

    Definition Classes
    NumericTypes

  28. final val NonPosLong: numeric.NonPosLong.type

    Definition Classes
    NumericTypes

  29. final val NonSystemPortNumber: net.NonSystemPortNumber.type

    Definition Classes
    NetTypes

  30. final val PortNumber: net.PortNumber.type

    Definition Classes
    NetTypes

  31. final val PosDouble: numeric.PosDouble.type

    Definition Classes
    NumericTypes

  32. final val PosFloat: numeric.PosFloat.type

    Definition Classes
    NumericTypes

  33. final val PosInt: numeric.PosInt.type

    Definition Classes
    NumericTypes

  34. final val PosLong: numeric.PosLong.type

    Definition Classes
    NumericTypes

  35. final val SHA1: digests.SHA1.type

    Definition Classes
    DigestTypes

  36. final val SHA224: digests.SHA224.type

    Definition Classes
    DigestTypes

  37. final val SHA256: digests.SHA256.type

    Definition Classes
    DigestTypes

  38. final val SHA384: digests.SHA384.type

    Definition Classes
    DigestTypes

  39. final val SHA512: digests.SHA512.type

    Definition Classes
    DigestTypes

  40. final val Second: time.Second.type

    Definition Classes
    TimeTypes

  41. final val SystemPortNumber: net.SystemPortNumber.type

    Definition Classes
    NetTypes

  42. final val TrimmedString: string.TrimmedString.type

    Definition Classes
    StringTypes

  43. final val UpperCaseChar: char.UpperCaseChar.type

    Definition Classes
    CharTypes

  44. final val UserPortNumber: net.UserPortNumber.type

    Definition Classes
    NetTypes

  45. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  46. def clone(): AnyRef

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

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

    Definition Classes
    AnyRef

  48. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  49. def finalize(): Unit

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

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

    Definition Classes
    AnyRef → Any

  51. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  52. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

    Definition Classes
    AnyRef

  54. final def notify(): Unit

    Definition Classes
    AnyRef

  55. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

    Definition Classes
    AnyRef

  57. def toString(): String

    Definition Classes
    AnyRef → Any

  58. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  60. 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 DigestTypes

Inherited from CharTypes

Inherited from AnyRef

Inherited from Any

Ungrouped