Imj.Timing

This modules exports types and functions related to timing.

KeyTime

A wrapper type on SystemTime

newtype KeyTime

Represents deadlines and event times.

Constructors

KeyTime SystemTime

Instances

Eq KeyTime

Methods

(==) :: KeyTime -> KeyTime -> Bool

(/=) :: KeyTime -> KeyTime -> Bool

Ord KeyTime

Methods

compare :: KeyTime -> KeyTime -> Ordering

(<) :: KeyTime -> KeyTime -> Bool

(<=) :: KeyTime -> KeyTime -> Bool

(>) :: KeyTime -> KeyTime -> Bool

(>=) :: KeyTime -> KeyTime -> Bool

max :: KeyTime -> KeyTime -> KeyTime

min :: KeyTime -> KeyTime -> KeyTime

Show KeyTime

Methods

showsPrec :: Int -> KeyTime -> ShowS

show :: KeyTime -> String

showList :: [KeyTime] -> ShowS

addDuration :: DiffTime -> KeyTime -> KeyTime

Adds a DiffTime to a KeyTime.

SystemTime / DiffTime utilities

addToSystemTime :: DiffTime -> SystemTime -> SystemTime

Adds a DiffTime to a SystemTime

diffSystemTime

Arguments

:: SystemTime

t1

-> SystemTime

t2

-> DiffTime

Returns t1-t2

diffTimeSecToMicros :: DiffTime -> Int

Convert a DiffTime to a number of microseconds.

floatSecondsToDiffTime :: Float -> DiffTime

Converts a duration expressed in seconds using a Float to a DiffTime which has picosecond resolution.

Reexports

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

Methods

(==) :: SystemTime -> SystemTime -> Bool

(/=) :: SystemTime -> SystemTime -> Bool

Ord 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

Methods

showsPrec :: Int -> SystemTime -> ShowS

show :: SystemTime -> String

showList :: [SystemTime] -> ShowS

NFData SystemTime

Methods

rnf :: SystemTime -> ()

data DiffTime :: *

This is a length of time, as measured by a clock. Conversion functions will treat it as seconds. It has a precision of 10^-12 s.

Instances

Enum DiffTime

Methods

succ :: DiffTime -> DiffTime

pred :: DiffTime -> DiffTime

toEnum :: Int -> DiffTime

fromEnum :: DiffTime -> Int

enumFrom :: DiffTime -> [DiffTime]

enumFromThen :: DiffTime -> DiffTime -> [DiffTime]

enumFromTo :: DiffTime -> DiffTime -> [DiffTime]

enumFromThenTo :: DiffTime -> DiffTime -> DiffTime -> [DiffTime]

Eq DiffTime

Methods

(==) :: DiffTime -> DiffTime -> Bool

(/=) :: DiffTime -> DiffTime -> Bool

Fractional DiffTime

Methods

(/) :: DiffTime -> DiffTime -> DiffTime

recip :: DiffTime -> DiffTime

fromRational :: Rational -> DiffTime

Data DiffTime

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DiffTime -> c DiffTime

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DiffTime

toConstr :: DiffTime -> Constr

dataTypeOf :: DiffTime -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c DiffTime)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DiffTime)

gmapT :: (forall b. Data b => b -> b) -> DiffTime -> DiffTime

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DiffTime -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DiffTime -> r

gmapQ :: (forall d. Data d => d -> u) -> DiffTime -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> DiffTime -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DiffTime -> m DiffTime

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DiffTime -> m DiffTime

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DiffTime -> m DiffTime

Num DiffTime

Methods

(+) :: DiffTime -> DiffTime -> DiffTime

(-) :: DiffTime -> DiffTime -> DiffTime

(*) :: DiffTime -> DiffTime -> DiffTime

negate :: DiffTime -> DiffTime

abs :: DiffTime -> DiffTime

signum :: DiffTime -> DiffTime

fromInteger :: Integer -> DiffTime

Ord DiffTime

Methods

compare :: DiffTime -> DiffTime -> Ordering

(<) :: DiffTime -> DiffTime -> Bool

(<=) :: DiffTime -> DiffTime -> Bool

(>) :: DiffTime -> DiffTime -> Bool

(>=) :: DiffTime -> DiffTime -> Bool

max :: DiffTime -> DiffTime -> DiffTime

min :: DiffTime -> DiffTime -> DiffTime

Real DiffTime

Methods

toRational :: DiffTime -> Rational

RealFrac DiffTime

Methods

properFraction :: Integral b => DiffTime -> (b, DiffTime)

truncate :: Integral b => DiffTime -> b

round :: Integral b => DiffTime -> b

ceiling :: Integral b => DiffTime -> b

floor :: Integral b => DiffTime -> b

Show DiffTime

Methods

showsPrec :: Int -> DiffTime -> ShowS

show :: DiffTime -> String

showList :: [DiffTime] -> ShowS

NFData DiffTime

Methods

rnf :: DiffTime -> ()

getSystemTime :: IO SystemTime

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