Data.Hourglass.Epoch

Epoch tracking

computer time tracking with various epoch

newtype ElapsedSince epoch

A number of seconds elapsed since an epoch.

Constructors

ElapsedSince Seconds

Instances

Eq (ElapsedSince epoch)

Methods

(==) :: ElapsedSince epoch -> ElapsedSince epoch -> Bool

(/=) :: ElapsedSince epoch -> ElapsedSince epoch -> Bool

Data epoch => Data (ElapsedSince epoch)

Methods

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

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

toConstr :: ElapsedSince epoch -> Constr

dataTypeOf :: ElapsedSince epoch -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> ElapsedSince epoch -> ElapsedSince epoch

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

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

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

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

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

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

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

Num (ElapsedSince epoch)

Methods

(+) :: ElapsedSince epoch -> ElapsedSince epoch -> ElapsedSince epoch

(-) :: ElapsedSince epoch -> ElapsedSince epoch -> ElapsedSince epoch

(*) :: ElapsedSince epoch -> ElapsedSince epoch -> ElapsedSince epoch

negate :: ElapsedSince epoch -> ElapsedSince epoch

abs :: ElapsedSince epoch -> ElapsedSince epoch

signum :: ElapsedSince epoch -> ElapsedSince epoch

fromInteger :: Integer -> ElapsedSince epoch

Ord (ElapsedSince epoch)

Methods

compare :: ElapsedSince epoch -> ElapsedSince epoch -> Ordering

(<) :: ElapsedSince epoch -> ElapsedSince epoch -> Bool

(<=) :: ElapsedSince epoch -> ElapsedSince epoch -> Bool

(>) :: ElapsedSince epoch -> ElapsedSince epoch -> Bool

(>=) :: ElapsedSince epoch -> ElapsedSince epoch -> Bool

max :: ElapsedSince epoch -> ElapsedSince epoch -> ElapsedSince epoch

min :: ElapsedSince epoch -> ElapsedSince epoch -> ElapsedSince epoch

Read (ElapsedSince epoch)

Methods

readsPrec :: Int -> ReadS (ElapsedSince epoch)

readList :: ReadS [ElapsedSince epoch]

readPrec :: ReadPrec (ElapsedSince epoch)

readListPrec :: ReadPrec [ElapsedSince epoch]

Show (ElapsedSince epoch)

Methods

showsPrec :: Int -> ElapsedSince epoch -> ShowS

show :: ElapsedSince epoch -> String

showList :: [ElapsedSince epoch] -> ShowS

NFData (ElapsedSince epoch)

Methods

rnf :: ElapsedSince epoch -> ()

Epoch epoch => Time (ElapsedSince epoch)

Methods

timeFromElapsedP :: ElapsedP -> ElapsedSince epoch

timeFromElapsed :: Elapsed -> ElapsedSince epoch

Epoch epoch => Timeable (ElapsedSince epoch)

Methods

timeGetElapsedP :: ElapsedSince epoch -> ElapsedP

timeGetElapsed :: ElapsedSince epoch -> Elapsed

timeGetNanoSeconds :: ElapsedSince epoch -> NanoSeconds

data ElapsedSinceP epoch

A number of seconds and nanoseconds elapsed since an epoch.

Constructors

ElapsedSinceP !(ElapsedSince epoch) !NanoSeconds

Instances

Eq (ElapsedSinceP epoch)

Methods

(==) :: ElapsedSinceP epoch -> ElapsedSinceP epoch -> Bool

(/=) :: ElapsedSinceP epoch -> ElapsedSinceP epoch -> Bool

Data epoch => Data (ElapsedSinceP epoch)

Methods

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

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

toConstr :: ElapsedSinceP epoch -> Constr

dataTypeOf :: ElapsedSinceP epoch -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> ElapsedSinceP epoch -> ElapsedSinceP epoch

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

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

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

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

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

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

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

Num (ElapsedSinceP e)

Methods

(+) :: ElapsedSinceP e -> ElapsedSinceP e -> ElapsedSinceP e

(-) :: ElapsedSinceP e -> ElapsedSinceP e -> ElapsedSinceP e

(*) :: ElapsedSinceP e -> ElapsedSinceP e -> ElapsedSinceP e

negate :: ElapsedSinceP e -> ElapsedSinceP e

abs :: ElapsedSinceP e -> ElapsedSinceP e

signum :: ElapsedSinceP e -> ElapsedSinceP e

fromInteger :: Integer -> ElapsedSinceP e

Ord (ElapsedSinceP epoch)

Methods

compare :: ElapsedSinceP epoch -> ElapsedSinceP epoch -> Ordering

(<) :: ElapsedSinceP epoch -> ElapsedSinceP epoch -> Bool

(<=) :: ElapsedSinceP epoch -> ElapsedSinceP epoch -> Bool

(>) :: ElapsedSinceP epoch -> ElapsedSinceP epoch -> Bool

(>=) :: ElapsedSinceP epoch -> ElapsedSinceP epoch -> Bool

max :: ElapsedSinceP epoch -> ElapsedSinceP epoch -> ElapsedSinceP epoch

min :: ElapsedSinceP epoch -> ElapsedSinceP epoch -> ElapsedSinceP epoch

Read (ElapsedSinceP epoch)

Methods

readsPrec :: Int -> ReadS (ElapsedSinceP epoch)

readList :: ReadS [ElapsedSinceP epoch]

readPrec :: ReadPrec (ElapsedSinceP epoch)

readListPrec :: ReadPrec [ElapsedSinceP epoch]

Show (ElapsedSinceP epoch)

Methods

showsPrec :: Int -> ElapsedSinceP epoch -> ShowS

show :: ElapsedSinceP epoch -> String

showList :: [ElapsedSinceP epoch] -> ShowS

NFData (ElapsedSinceP e)

Methods

rnf :: ElapsedSinceP e -> ()

Epoch epoch => Time (ElapsedSinceP epoch)

Methods

timeFromElapsedP :: ElapsedP -> ElapsedSinceP epoch

timeFromElapsed :: Elapsed -> ElapsedSinceP epoch

Epoch epoch => Timeable (ElapsedSinceP epoch)

Methods

timeGetElapsedP :: ElapsedSinceP epoch -> ElapsedP

timeGetElapsed :: ElapsedSinceP epoch -> Elapsed

timeGetNanoSeconds :: ElapsedSinceP epoch -> NanoSeconds

Epoch

class Epoch epoch where

epoch related.

We use the well known Unix epoch as the reference timezone for doing conversion between epochs.

Each methods of this typeclass should not use the actual value, but only get the information needed from the type itself.

Minimal complete definition

epochName, epochDiffToUnix

Methods

epochName :: epoch -> String

The name of this epoch

epochDiffToUnix :: epoch -> Seconds

number of seconds of difference with 1st January 1970.

a negative number means that this epoch start before the unix epoch.

Instances

Epoch WindowsEpoch

Methods

epochName :: WindowsEpoch -> String

epochDiffToUnix :: WindowsEpoch -> Seconds

Epoch UnixEpoch

Methods

epochName :: UnixEpoch -> String

epochDiffToUnix :: UnixEpoch -> Seconds

standard and usual epochs

data UnixEpoch

Unix Epoch, starting 1st January 1970

Constructors

UnixEpoch

Instances

Eq UnixEpoch

Methods

(==) :: UnixEpoch -> UnixEpoch -> Bool

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

Show UnixEpoch

Methods

showsPrec :: Int -> UnixEpoch -> ShowS

show :: UnixEpoch -> String

showList :: [UnixEpoch] -> ShowS

Epoch UnixEpoch

Methods

epochName :: UnixEpoch -> String

epochDiffToUnix :: UnixEpoch -> Seconds

data WindowsEpoch

Windows Epoch, starting 1st January 1601

Constructors

WindowsEpoch

Instances

Eq WindowsEpoch

Methods

(==) :: WindowsEpoch -> WindowsEpoch -> Bool

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

Show WindowsEpoch

Methods

showsPrec :: Int -> WindowsEpoch -> ShowS

show :: WindowsEpoch -> String

showList :: [WindowsEpoch] -> ShowS

Epoch WindowsEpoch

Methods

epochName :: WindowsEpoch -> String

epochDiffToUnix :: WindowsEpoch -> Seconds