Safe Haskell	Safe
Language	Haskell2010

Data.Connection.Time

Contents

SystemTime

Synopsis

sysixx :: Conn k SystemTime Int
f32sys :: Conn L Float (Extended SystemTime)
f64sys :: Conn L Double (Extended SystemTime)
ratsys :: Conn k Rational (Extended SystemTime)
f09sys :: Conn k (Extended Nano) (Extended SystemTime)
diffSystemTime :: SystemTime -> SystemTime -> Double
getSystemTime :: IO SystemTime
data SystemTime = MkSystemTime {
- systemSeconds :: !Int64
- systemNanoseconds :: !Word32
}

SystemTime

sysixx :: Conn k SystemTime Int Source #

The Int is valued in seconds

f32sys :: Conn L Float (Extended SystemTime) Source #

The Float is valued in seconds.

>>> Data.Connection.ceiling f32sys (0/0)
PosInf
>>> Data.Connection.ceiling f32sys pi
Finite (MkSystemTime {systemSeconds = 3, systemNanoseconds = 141592742})

f64sys :: Conn L Double (Extended SystemTime) Source #

The Double is valued in seconds.

>>> Data.Connection.ceiling f64sys (0/0)
PosInf
>>> Data.Connection.ceiling f64sys pi
Finite (MkSystemTime {systemSeconds = 3, systemNanoseconds = 141592654})

ratsys :: Conn k Rational (Extended SystemTime) Source #

The Rational is valued in seconds.

f09sys :: Conn k (Extended Nano) (Extended SystemTime) Source #

The Nano is valued in seconds (to nanosecond precision).

diffSystemTime :: SystemTime -> SystemTime -> Double Source #

Return the difference between two SystemTimes in seconds

>>> diffSystemTime (MkSystemTime 0 0) (MkSystemTime 0 maxBound)
-4.294967295
>>> divMod (maxBound @Word32) (10^9)
(4,294967295)

getSystemTime :: IO SystemTime #

Get the system time, epoch start of 1970 UTC, leap-seconds ignored. getSystemTime is typically much faster than getCurrentTime.

data SystemTime #

SystemTime is time returned by system clock functions. Its semantics depends on the clock function, but the epoch is typically the beginning of 1970. Note that systemNanoseconds of 1E9 to 2E9-1 can be used to represent leap seconds.

Constructors

MkSystemTime
Fields systemSeconds :: !Int64 systemNanoseconds :: !Word32

Instances

Eq SystemTime
Instance details Defined in Data.Time.Clock.Internal.SystemTime Methods (==) :: SystemTime -> SystemTime -> Bool # (/=) :: SystemTime -> SystemTime -> Bool #
Ord SystemTime
Instance details Defined in Data.Time.Clock.Internal.SystemTime Methods compare :: SystemTime -> SystemTime -> Ordering # (<) :: SystemTime -> SystemTime -> Bool # (<=) :: SystemTime -> SystemTime -> Bool # (>) :: SystemTime -> SystemTime -> Bool # (>=) :: SystemTime -> SystemTime -> Bool # max :: SystemTime -> SystemTime -> SystemTime # min :: SystemTime -> SystemTime -> SystemTime #
Show SystemTime
Instance details Defined in Data.Time.Clock.Internal.SystemTime Methods showsPrec :: Int -> SystemTime -> ShowS # show :: SystemTime -> String # showList :: [SystemTime] -> ShowS #
NFData SystemTime
Instance details Defined in Data.Time.Clock.Internal.SystemTime Methods rnf :: SystemTime -> () #
Preorder SystemTime Source #
Instance details Defined in Data.Order Methods (<~) :: SystemTime -> SystemTime -> Bool Source # (>~) :: SystemTime -> SystemTime -> Bool Source # (?~) :: SystemTime -> SystemTime -> Bool Source # (~~) :: SystemTime -> SystemTime -> Bool Source # (/~) :: SystemTime -> SystemTime -> Bool Source # plt :: SystemTime -> SystemTime -> Bool Source # pgt :: SystemTime -> SystemTime -> Bool Source # similar :: SystemTime -> SystemTime -> Bool Source # pmax :: SystemTime -> SystemTime -> Maybe SystemTime Source # pmin :: SystemTime -> SystemTime -> Maybe SystemTime Source # pcompare :: SystemTime -> SystemTime -> Maybe Ordering Source #
Connection k SystemTime Int Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k SystemTime Int Source #
Connection k Rational (Extended SystemTime) Source #
Instance details Defined in Data.Connection.Class Methods conn :: Conn k Rational (Extended SystemTime) Source #