Time.Units

This module contains time unit data structures and functions to work with time.

Time

newtype Time (rat :: Rat)

Time unit is represented as type level rational multiplier with kind Rat.

Constructors

Time

Fields

• unTime :: RatioNat

Instances

Enum (Time rat)

Methods

succ :: Time rat -> Time rat

pred :: Time rat -> Time rat

toEnum :: Int -> Time rat

fromEnum :: Time rat -> Int

enumFrom :: Time rat -> [Time rat]

enumFromThen :: Time rat -> Time rat -> [Time rat]

enumFromTo :: Time rat -> Time rat -> [Time rat]

enumFromThenTo :: Time rat -> Time rat -> Time rat -> [Time rat]

Eq (Time rat)

Methods

(==) :: Time rat -> Time rat -> Bool

(/=) :: Time rat -> Time rat -> Bool

Fractional (Time unit)

Has the same behavior as derived instance, but / operator throws the runtime error with error.

Methods

(/) :: Time unit -> Time unit -> Time unit

recip :: Time unit -> Time unit

fromRational :: Rational -> Time unit

Num (Time unit)

Has the same behavior as derived instance, but * operator throws the runtime error with error.

Methods

(+) :: Time unit -> Time unit -> Time unit

(-) :: Time unit -> Time unit -> Time unit

(*) :: Time unit -> Time unit -> Time unit

negate :: Time unit -> Time unit

abs :: Time unit -> Time unit

signum :: Time unit -> Time unit

fromInteger :: Integer -> Time unit

Ord (Time rat)

Methods

compare :: Time rat -> Time rat -> Ordering

(<) :: Time rat -> Time rat -> Bool

(<=) :: Time rat -> Time rat -> Bool

(>) :: Time rat -> Time rat -> Bool

(>=) :: Time rat -> Time rat -> Bool

max :: Time rat -> Time rat -> Time rat

min :: Time rat -> Time rat -> Time rat

KnownUnitName unit => Read (Time unit)

Methods

readsPrec :: Int -> ReadS (Time unit)

readList :: ReadS [Time unit]

readPrec :: ReadPrec (Time unit)

readListPrec :: ReadPrec [Time unit]

Real (Time rat)

Methods

toRational :: Time rat -> Rational

RealFrac (Time rat)

Methods

properFraction :: Integral b => Time rat -> (b, Time rat)

truncate :: Integral b => Time rat -> b

round :: Integral b => Time rat -> b

ceiling :: Integral b => Time rat -> b

floor :: Integral b => Time rat -> b

KnownUnitName unit => Show (Time unit)

Methods

showsPrec :: Int -> Time unit -> ShowS

show :: Time unit -> String

showList :: [Time unit] -> ShowS

Generic (Time rat)

Associated Types

type Rep (Time rat) :: * -> *

Methods

from :: Time rat -> Rep (Time rat) x

to :: Rep (Time rat) x -> Time rat

type Rep (Time rat)

type Rep (Time rat) = D1 * (MetaData "Time" "Time.Units" "o-clock-0.0.0-3VIt6uq4P8d4gYLXI1tMgJ" True) (C1 * (MetaCons "Time" PrefixI True) (S1 * (MetaSel (Just Symbol "unTime") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * RatioNat)))

Time data types

type Second = 1 :% 1

type Millisecond = 1 :% 1000

type Microsecond = 1 :% 1000000

type Nanosecond = 1 :% 1000000000

type Picosecond = 1 :% 1000000000000

type Minute = 60 :% 1

type Hour = 3600 :% 1

type Day = 86400 :% 1

type Week = 604800 :% 1

type Fortnight = 1209600 :% 1

type AllTimes = '[Fortnight, Week, Day, Hour, Minute, Second, Millisecond, Microsecond, Nanosecond, Picosecond]

Type-level list that consist of all times.

type family UnitName (unit :: Rat) :: Symbol

Type family for prettier show of time units.

Instances

type UnitName ((:%) 1 1)

type UnitName ((:%) 1 1) = "s"

type UnitName ((:%) 1 1000)

type UnitName ((:%) 1 1000) = "ms"

type UnitName ((:%) 1 1000000)

type UnitName ((:%) 1 1000000) = "mcs"

type UnitName ((:%) 1 1000000000)

type UnitName ((:%) 1 1000000000) = "ns"

type UnitName ((:%) 1 1000000000000)

type UnitName ((:%) 1 1000000000000) = "ps"

type UnitName ((:%) 60 1)

type UnitName ((:%) 60 1) = "m"

type UnitName ((:%) 3600 1)

type UnitName ((:%) 3600 1) = "h"

type UnitName ((:%) 86400 1)

type UnitName ((:%) 86400 1) = "d"

type UnitName ((:%) 604800 1)

type UnitName ((:%) 604800 1) = "w"

type UnitName ((:%) 1209600 1)

type UnitName ((:%) 1209600 1) = "fn"

type KnownUnitName unit = KnownSymbol (UnitName unit)

Constraint alias for KnownSymbol UnitName.

type KnownRatName unit = (KnownUnitName unit, KnownRat unit)

Constraint alias for KnownUnitName and KnownRat for time unit.

unitNameVal :: forall (unit :: Rat). KnownUnitName unit => String

Returns type-level Symbol of the time unit converted to String.

Creation helpers

time :: Natural -> Time unit

Creates Time of some type from given Natural.

floorUnit :: forall (unit :: Rat). Time unit -> Time unit

Similar to floor, but works with Time units.

>>> floorUnit @Day (Time $ 5 % 2)
2d

>>> floorUnit (Time @Second $ 2 % 3)
0s

>>> floorUnit $ ps 42
42ps

sec :: Natural -> Time Second

Creates Second from given Natural.

>>> sec 42
42s :: Time Second

ms :: Natural -> Time Millisecond

Creates Millisecond from given Natural.

>>> ms 42
42ms :: Time Millisecond

mcs :: Natural -> Time Microsecond

Creates Microsecond from given Natural.

>>> mcs 42
42mcs :: Time Microsecond

ns :: Natural -> Time Nanosecond

Creates Nanosecond from given Natural.

>>> ns 42
42ns :: Time Nanosecond

ps :: Natural -> Time Picosecond

Creates Picosecond from given Natural.

>>> ps 42
42ps :: Time Picosecond

minute :: Natural -> Time Minute

Creates Minute from given Natural.

>>> minute 42
42m :: Time Minute

hour :: Natural -> Time Hour

Creates Hour from given Natural.

>>> hour 42
42h :: Time Hour

day :: Natural -> Time Day

Creates Day from given Natural.

>>> day 42
42d :: Time Day

week :: Natural -> Time Week

Creates Week from given Natural.

>>> sec 42
42w :: Time Week

fortnight :: Natural -> Time Fortnight

Creates Fortnight from given Natural.

>>> fortnight 42
42fn :: Time Fortnight

(+:) :: forall (unitResult :: Rat) (unitLeft :: Rat). KnownDivRat unitLeft unitResult => Time unitLeft -> Time unitResult -> Time unitResult

Sums times of different units.

>>> minute 1 +: sec 1
61s

Functions

toUnit :: forall (unitTo :: Rat) (unitFrom :: Rat). KnownDivRat unitFrom unitTo => Time unitFrom -> Time unitTo

Converts from one time unit to another time unit.

>>> toUnit @Hour (120 :: Time Minute)
2h

>>> toUnit @Second (ms 7)
7/1000s

>>> toUnit @Week (Time @Day 45)
45/7w

>>> toUnit @Second @Minute 3
180s

>>> toUnit (day 42000000) :: Time Second
3628800000000s

threadDelay :: forall (unit :: Rat) m. (KnownDivRat unit Microsecond, MonadIO m) => Time unit -> m ()

Convenient version of threadDelay which takes any time-unit and operates in any MonadIO.

>>> threadDelay $ sec 2
>>> threadDelay (2 :: Time Second)
>>> threadDelay @Second 2

getCPUTime :: forall (unit :: Rat) m. (KnownDivRat Picosecond unit, MonadIO m) => m (Time unit)

Similar to getCPUTime but returns the CPU time used by the current program in the given time unit. The precision of this result is implementation-dependent.

>>> getCPUTime @Second
1064046949/1000000000s

timeout

Arguments

:: forall (unit :: Rat). (MonadIO m, KnownDivRat unit Microsecond)

=> Time unit

time

-> IO a

IO action

-> m (Maybe a)

returns Nothing if no result is available within the given time

Similar to timeout but receiving any time unit instead of number of microseconds.

>>> timeout (sec 1) (putStrLn "Hello O'Clock")
Hello O'Clock
Just ()

>>> timeout (ps 1) (putStrLn "Hello O'Clock")
Nothing

>>> timeout (mcs 1) (putStrLn "Hello O'Clock")
HellNothing