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 = Or[UserPortNumber, DynamicPortNumber]

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

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

21.  type UpperCaseChar = Refined[Char, UpperCase]

    A Char that is an upper case character.

    A Char that is an upper case character.

    Definition Classes

    CharTypes

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