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

3. type LowerCaseChar = Refined[Char, LowerCase]

   

   A Char that is a lower case character.

   A Char that is a lower case character.

   Definition Classes

   CharTypes

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

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

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

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

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

9. type NonEmptyString = Refined[String, NonEmpty]

   

   A String that is not empty.

   A String that is not empty.

   Definition Classes

   StringTypes

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

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

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

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

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

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

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

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

18. type UpperCaseChar = Refined[Char, UpperCase]

    

    A Char that is an upper case character.

    A Char that is an upper case character.

    Definition Classes

    CharTypes