• Home
• eu.timepit
• refined_sjs0.6_2.11
• 0.6.0
• source code
• time.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

eu.timepit.refined.util.time.scala Maven / Gradle / Ivy

package eu.timepit.refined
package util

import eu.timepit.refined.api.Refined
import eu.timepit.refined.numeric.Interval

/** Module for date and time related refined types. */
object time {

  /** An `Int` in the range from 1 to 12 representing the month-of-year. */
  type Month = Int Refined Interval.Closed[W.`1`.T, W.`12`.T]

  /**
   * 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.
   */
  type Day = Int Refined Interval.Closed[W.`1`.T, W.`31`.T]

  /** An `Int` in the range from 0 to 23 representing the hour-of-day. */
  type Hour = Int Refined Interval.Closed[W.`0`.T, W.`23`.T]

  /** An `Int` in the range from 0 to 59 representing the minute-of-hour. */
  type Minute = Int Refined Interval.Closed[W.`0`.T, W.`59`.T]

  /** An `Int` in the range from 0 to 59 representing the second-of-minute. */
  type Second = Int Refined Interval.Closed[W.`0`.T, W.`59`.T]

  /** An `Int` in the range from 0 to 999 representing the millisecond-of-second. */
  type Millis = Int Refined Interval.Closed[W.`0`.T, W.`999`.T]
}