Closed chshersh closed 6 years ago
Proposed by @int-index:
Timestamp
Time
TimeDiff
timeDiff :: KnownRat unit => Timestamp -> Timestamp -> (Ordering, Time unit)
timeAdd :: KnownRat unit => Time unit -> Time unit -> Time unit
timeMul :: KnownRat unit => Ratio Natural -> Time unit -> Time unit
timeDiv :: KnownRat unit => Time unit -> Time unit -> Ratio Natural
Proposed by @int-index:
Timestamp
— can be negative, has no unitsTime
(TimeDiff
) — cannot be negative, has unitstimeDiff :: KnownRat unit => Timestamp -> Timestamp -> (Ordering, Time unit)
timeAdd :: KnownRat unit => Time unit -> Time unit -> Time unit
timeMul :: KnownRat unit => Ratio Natural -> Time unit -> Time unit
timeDiv :: KnownRat unit => Time unit -> Time unit -> Ratio Natural