Safe Haskell	Safe
Language	Haskell2010

Imj.Timing

Contents

KeyTime
SystemTime / DiffTime utilities
Reexports

Description

This modules exports types and functions related to timing.

Synopsis

KeyTime

A wrapper type on SystemTime

newtype KeyTime Source #

Represents deadlines and event times.

Constructors

KeyTime SystemTime

Instances

Eq KeyTime Source #
Methods (==) :: KeyTime -> KeyTime -> Bool # (/=) :: KeyTime -> KeyTime -> Bool #
Ord KeyTime Source #
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 Source #
Methods showsPrec :: Int -> KeyTime -> ShowS # show :: KeyTime -> String # showList :: [KeyTime] -> ShowS #

addDuration :: DiffTime -> KeyTime -> KeyTime Source #

Adds a DiffTime to a KeyTime.

SystemTime / DiffTime utilities

addToSystemTime :: DiffTime -> SystemTime -> SystemTime Source #

Adds a DiffTime to a SystemTime

diffSystemTime Source #

Arguments

:: SystemTime	t1
-> SystemTime	t2
-> DiffTime

Returns t1-t2

diffTimeSecToMicros :: DiffTime -> Int Source #

Convert a DiffTime to a number of microseconds.

floatSecondsToDiffTime :: Float -> DiffTime Source #

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.