AllTypes

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 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

9. 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

10. type NonEmptyString = Refined[String, NonEmpty]

    A String that is not empty.

    A String that is not empty.

    Definition Classes

    StringTypes

11. 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

12. 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

13. 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

14. 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

15. 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

16. 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

17. 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

18. 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

19. 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

20. 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

21. 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

22. 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

23. 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

24. 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

25. 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

26. 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

27. 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

28. 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

29. 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

30. 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

31. 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

32. 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

33. type UpperCaseChar = Refined[Char, UpperCase]

    A Char that is an upper case character.

    A Char that is an upper case character.

    Definition Classes

    CharTypes

34. 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