License	BSD-style
Maintainer	Vincent Hanquez <vincent@snarc.org>
Stability	experimental
Portability	unknown
Safe Haskell	None
Language	Haskell2010

Data.Hourglass.Epoch

Contents

computer time tracking with various epoch
Epoch
- standard and usual epochs

Description

Epoch tracking

Synopsis

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 #