arrow-refined-types / arrow.refinement.time

Package arrow.refinement.time

Types

Day Day constrains an Int to be in range of 1..31class Day
Hour Hour constrains an Int to be in range of 0..23class Hour
Millisecond Millisecond constrains an Int to be in range of 0..999class Millisecond
Minute Minute constrains an Int to be in range of 0..59class Minute
Month Month constrains an Int to be in range of 1..12class Month
Second Second constrains an Int to be in range of 0..59class Second

Do you like Arrow?

Arrow Org
<