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