Packages

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
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: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final val Day: time.Day.type
    Definition Classes
    TimeTypes
  5. final val DynamicPortNumber: net.DynamicPortNumber.type
    Definition Classes
    NetTypes
  6. final val FiniteString: string.FiniteString.type
    Definition Classes
    StringTypes
  7. final val HexString: string.HexString.type
    Definition Classes
    StringTypes
  8. final val Hour: time.Hour.type
    Definition Classes
    TimeTypes
  9. final val LowerCaseChar: char.LowerCaseChar.type
    Definition Classes
    CharTypes
  10. final val MD5: digests.MD5.type
    Definition Classes
    DigestTypes
  11. final val Millis: time.Millis.type
    Definition Classes
    TimeTypes
  12. final val Minute: time.Minute.type
    Definition Classes
    TimeTypes
  13. final val Month: time.Month.type
    Definition Classes
    TimeTypes
  14. final val NegDouble: numeric.NegDouble.type
    Definition Classes
    NumericTypes
  15. final val NegFloat: numeric.NegFloat.type
    Definition Classes
    NumericTypes
  16. final val NegInt: numeric.NegInt.type
    Definition Classes
    NumericTypes
  17. final val NegLong: numeric.NegLong.type
    Definition Classes
    NumericTypes
  18. final val NonEmptyString: string.NonEmptyString.type
    Definition Classes
    StringTypes
  19. final val NonNegDouble: numeric.NonNegDouble.type
    Definition Classes
    NumericTypes
  20. final val NonNegFloat: numeric.NonNegFloat.type
    Definition Classes
    NumericTypes
  21. final val NonNegInt: numeric.NonNegInt.type
    Definition Classes
    NumericTypes
  22. final val NonNegLong: numeric.NonNegLong.type
    Definition Classes
    NumericTypes
  23. final val NonPosDouble: numeric.NonPosDouble.type
    Definition Classes
    NumericTypes
  24. final val NonPosFloat: numeric.NonPosFloat.type
    Definition Classes
    NumericTypes
  25. final val NonPosInt: numeric.NonPosInt.type
    Definition Classes
    NumericTypes
  26. final val NonPosLong: numeric.NonPosLong.type
    Definition Classes
    NumericTypes
  27. final val NonSystemPortNumber: net.NonSystemPortNumber.type
    Definition Classes
    NetTypes
  28. final val PortNumber: net.PortNumber.type
    Definition Classes
    NetTypes
  29. final val PosDouble: numeric.PosDouble.type
    Definition Classes
    NumericTypes
  30. final val PosFloat: numeric.PosFloat.type
    Definition Classes
    NumericTypes
  31. final val PosInt: numeric.PosInt.type
    Definition Classes
    NumericTypes
  32. final val PosLong: numeric.PosLong.type
    Definition Classes
    NumericTypes
  33. final val SHA1: digests.SHA1.type
    Definition Classes
    DigestTypes
  34. final val SHA224: digests.SHA224.type
    Definition Classes
    DigestTypes
  35. final val SHA256: digests.SHA256.type
    Definition Classes
    DigestTypes
  36. final val SHA384: digests.SHA384.type
    Definition Classes
    DigestTypes
  37. final val SHA512: digests.SHA512.type
    Definition Classes
    DigestTypes
  38. final val Second: time.Second.type
    Definition Classes
    TimeTypes
  39. final val SystemPortNumber: net.SystemPortNumber.type
    Definition Classes
    NetTypes
  40. final val TrimmedString: string.TrimmedString.type
    Definition Classes
    StringTypes
  41. final val UpperCaseChar: char.UpperCaseChar.type
    Definition Classes
    CharTypes
  42. final val UserPortNumber: net.UserPortNumber.type
    Definition Classes
    NetTypes
  43. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  44. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws(classOf[java.lang.CloneNotSupportedException])
  45. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  46. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  47. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  48. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  49. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  50. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  51. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  52. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  53. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  54. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  55. def toString(): String
    Definition Classes
    AnyRef → Any
  56. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  57. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  58. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws(classOf[java.lang.InterruptedException])

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