Copyright	2013-2017 Enzo Haussecker
License	BSD3
Maintainer	Enzo Haussecker <enzo@sovereign.io>
Stability	Stable
Safe Haskell	None
Language	Haskell2010

Data.Time.Exts.UTC

Contents

Timestamps
Create
Get
Parse

Description

A native implementation of Coordinated Universal Time.

Synopsis

Timestamps

newtype UTCDate cal Source #

Days since Unix epoch.

Constructors

UTCDate (UnixDate cal)

Instances

Bounded (UTCDate Gregorian) Source #
Methods minBound :: UTCDate Gregorian # maxBound :: UTCDate Gregorian #
Enum (UTCDate Gregorian) Source #
Methods succ :: UTCDate Gregorian -> UTCDate Gregorian # pred :: UTCDate Gregorian -> UTCDate Gregorian # toEnum :: Int -> UTCDate Gregorian # fromEnum :: UTCDate Gregorian -> Int # enumFrom :: UTCDate Gregorian -> [UTCDate Gregorian] # enumFromThen :: UTCDate Gregorian -> UTCDate Gregorian -> [UTCDate Gregorian] # enumFromTo :: UTCDate Gregorian -> UTCDate Gregorian -> [UTCDate Gregorian] # enumFromThenTo :: UTCDate Gregorian -> UTCDate Gregorian -> UTCDate Gregorian -> [UTCDate Gregorian] #
Eq (UTCDate cal) Source #
Methods (==) :: UTCDate cal -> UTCDate cal -> Bool # (/=) :: UTCDate cal -> UTCDate cal -> Bool #
Typeable Calendar cal => Data (UTCDate cal) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UTCDate cal -> c (UTCDate cal) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (UTCDate cal) # toConstr :: UTCDate cal -> Constr # dataTypeOf :: UTCDate cal -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (UTCDate cal)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (UTCDate cal)) # gmapT :: (forall b. Data b => b -> b) -> UTCDate cal -> UTCDate cal # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UTCDate cal -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UTCDate cal -> r # gmapQ :: (forall d. Data d => d -> u) -> UTCDate cal -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UTCDate cal -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UTCDate cal -> m (UTCDate cal) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UTCDate cal -> m (UTCDate cal) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UTCDate cal -> m (UTCDate cal) #
Ord (UTCDate cal) Source #
Methods compare :: UTCDate cal -> UTCDate cal -> Ordering # (<) :: UTCDate cal -> UTCDate cal -> Bool # (<=) :: UTCDate cal -> UTCDate cal -> Bool # (>) :: UTCDate cal -> UTCDate cal -> Bool # (>=) :: UTCDate cal -> UTCDate cal -> Bool # max :: UTCDate cal -> UTCDate cal -> UTCDate cal # min :: UTCDate cal -> UTCDate cal -> UTCDate cal #
Show (UTCDate Gregorian) Source #
Methods showsPrec :: Int -> UTCDate Gregorian -> ShowS # show :: UTCDate Gregorian -> String # showList :: [UTCDate Gregorian] -> ShowS #
Generic (UTCDate cal) Source #
Associated Types type Rep (UTCDate cal) :: * -> * # Methods from :: UTCDate cal -> Rep (UTCDate cal) x # to :: Rep (UTCDate cal) x -> UTCDate cal #
Storable (UTCDate cal) Source #
Methods sizeOf :: UTCDate cal -> Int # alignment :: UTCDate cal -> Int # peekElemOff :: Ptr (UTCDate cal) -> Int -> IO (UTCDate cal) # pokeElemOff :: Ptr (UTCDate cal) -> Int -> UTCDate cal -> IO () # peekByteOff :: Ptr b -> Int -> IO (UTCDate cal) # pokeByteOff :: Ptr b -> Int -> UTCDate cal -> IO () # peek :: Ptr (UTCDate cal) -> IO (UTCDate cal) # poke :: Ptr (UTCDate cal) -> UTCDate cal -> IO () #
NFData (UTCDate cal) Source #
Methods rnf :: UTCDate cal -> () #
Random (UTCDate Gregorian) Source #
Methods randomR :: RandomGen g => (UTCDate Gregorian, UTCDate Gregorian) -> g -> (UTCDate Gregorian, g) # random :: RandomGen g => g -> (UTCDate Gregorian, g) # randomRs :: RandomGen g => (UTCDate Gregorian, UTCDate Gregorian) -> g -> [UTCDate Gregorian] # randoms :: RandomGen g => g -> [UTCDate Gregorian] # randomRIO :: (UTCDate Gregorian, UTCDate Gregorian) -> IO (UTCDate Gregorian) # randomIO :: IO (UTCDate Gregorian) #
Human (UTCDate Gregorian) Source #
Associated Types type Components (UTCDate Gregorian) :: * Source # Methods pack :: Components (UTCDate Gregorian) -> UTCDate Gregorian Source # unpack :: UTCDate Gregorian -> Components (UTCDate Gregorian) Source #
Math (UTCDate Gregorian) Day Source #
Methods duration :: UTCDate Gregorian -> UTCDate Gregorian -> Day Source # plus :: UTCDate Gregorian -> Day -> UTCDate Gregorian Source #
type Rep (UTCDate cal) Source #
type Rep (UTCDate cal) = D1 (MetaData "UTCDate" "Data.Time.Exts.UTC" "time-exts-3.0.4-6aNofC78vxVCCO7wkglvdF" True) (C1 (MetaCons "UTCDate" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (UnixDate cal))))
type Components (UTCDate Gregorian) Source #
type Components (UTCDate Gregorian) = DateStruct Gregorian

newtype UTCDateTime cal Source #

Seconds since Unix epoch (including leap seconds).

Constructors

UTCDateTime Int64

Instances

Bounded (UTCDateTime Gregorian) Source #
Methods minBound :: UTCDateTime Gregorian # maxBound :: UTCDateTime Gregorian #
Enum (UTCDateTime Gregorian) Source #
Methods succ :: UTCDateTime Gregorian -> UTCDateTime Gregorian # pred :: UTCDateTime Gregorian -> UTCDateTime Gregorian # toEnum :: Int -> UTCDateTime Gregorian # fromEnum :: UTCDateTime Gregorian -> Int # enumFrom :: UTCDateTime Gregorian -> [UTCDateTime Gregorian] # enumFromThen :: UTCDateTime Gregorian -> UTCDateTime Gregorian -> [UTCDateTime Gregorian] # enumFromTo :: UTCDateTime Gregorian -> UTCDateTime Gregorian -> [UTCDateTime Gregorian] # enumFromThenTo :: UTCDateTime Gregorian -> UTCDateTime Gregorian -> UTCDateTime Gregorian -> [UTCDateTime Gregorian] #
Eq (UTCDateTime cal) Source #
Methods (==) :: UTCDateTime cal -> UTCDateTime cal -> Bool # (/=) :: UTCDateTime cal -> UTCDateTime cal -> Bool #
Typeable Calendar cal => Data (UTCDateTime cal) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UTCDateTime cal -> c (UTCDateTime cal) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (UTCDateTime cal) # toConstr :: UTCDateTime cal -> Constr # dataTypeOf :: UTCDateTime cal -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (UTCDateTime cal)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (UTCDateTime cal)) # gmapT :: (forall b. Data b => b -> b) -> UTCDateTime cal -> UTCDateTime cal # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UTCDateTime cal -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UTCDateTime cal -> r # gmapQ :: (forall d. Data d => d -> u) -> UTCDateTime cal -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UTCDateTime cal -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UTCDateTime cal -> m (UTCDateTime cal) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UTCDateTime cal -> m (UTCDateTime cal) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UTCDateTime cal -> m (UTCDateTime cal) #
Ord (UTCDateTime cal) Source #
Methods compare :: UTCDateTime cal -> UTCDateTime cal -> Ordering # (<) :: UTCDateTime cal -> UTCDateTime cal -> Bool # (<=) :: UTCDateTime cal -> UTCDateTime cal -> Bool # (>) :: UTCDateTime cal -> UTCDateTime cal -> Bool # (>=) :: UTCDateTime cal -> UTCDateTime cal -> Bool # max :: UTCDateTime cal -> UTCDateTime cal -> UTCDateTime cal # min :: UTCDateTime cal -> UTCDateTime cal -> UTCDateTime cal #
Show (UTCDateTime Gregorian) Source #
Methods showsPrec :: Int -> UTCDateTime Gregorian -> ShowS # show :: UTCDateTime Gregorian -> String # showList :: [UTCDateTime Gregorian] -> ShowS #
Generic (UTCDateTime cal) Source #
Associated Types type Rep (UTCDateTime cal) :: * -> * # Methods from :: UTCDateTime cal -> Rep (UTCDateTime cal) x # to :: Rep (UTCDateTime cal) x -> UTCDateTime cal #
Storable (UTCDateTime cal) Source #
Methods sizeOf :: UTCDateTime cal -> Int # alignment :: UTCDateTime cal -> Int # peekElemOff :: Ptr (UTCDateTime cal) -> Int -> IO (UTCDateTime cal) # pokeElemOff :: Ptr (UTCDateTime cal) -> Int -> UTCDateTime cal -> IO () # peekByteOff :: Ptr b -> Int -> IO (UTCDateTime cal) # pokeByteOff :: Ptr b -> Int -> UTCDateTime cal -> IO () # peek :: Ptr (UTCDateTime cal) -> IO (UTCDateTime cal) # poke :: Ptr (UTCDateTime cal) -> UTCDateTime cal -> IO () #
NFData (UTCDateTime cal) Source #
Methods rnf :: UTCDateTime cal -> () #
Random (UTCDateTime Gregorian) Source #
Methods randomR :: RandomGen g => (UTCDateTime Gregorian, UTCDateTime Gregorian) -> g -> (UTCDateTime Gregorian, g) # random :: RandomGen g => g -> (UTCDateTime Gregorian, g) # randomRs :: RandomGen g => (UTCDateTime Gregorian, UTCDateTime Gregorian) -> g -> [UTCDateTime Gregorian] # randoms :: RandomGen g => g -> [UTCDateTime Gregorian] # randomRIO :: (UTCDateTime Gregorian, UTCDateTime Gregorian) -> IO (UTCDateTime Gregorian) # randomIO :: IO (UTCDateTime Gregorian) #
Human (UTCDateTime Gregorian) Source #
Associated Types type Components (UTCDateTime Gregorian) :: * Source # Methods pack :: Components (UTCDateTime Gregorian) -> UTCDateTime Gregorian Source # unpack :: UTCDateTime Gregorian -> Components (UTCDateTime Gregorian) Source #
Math (UTCDateTime Gregorian) Second Source #
Methods duration :: UTCDateTime Gregorian -> UTCDateTime Gregorian -> Second Source # plus :: UTCDateTime Gregorian -> Second -> UTCDateTime Gregorian Source #
type Rep (UTCDateTime cal) Source #
type Rep (UTCDateTime cal) = D1 (MetaData "UTCDateTime" "Data.Time.Exts.UTC" "time-exts-3.0.4-6aNofC78vxVCCO7wkglvdF" True) (C1 (MetaCons "UTCDateTime" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int64)))
type Components (UTCDateTime Gregorian) Source #
type Components (UTCDateTime Gregorian) = DateTimeStruct Gregorian

data UTCDateTimeNanos cal Source #

Nanoseconds since Unix epoch (including leap seconds).

Constructors

UTCDateTimeNanos !Int64 !Int32

Instances

Bounded (UTCDateTimeNanos Gregorian) Source #
Methods minBound :: UTCDateTimeNanos Gregorian # maxBound :: UTCDateTimeNanos Gregorian #
Eq (UTCDateTimeNanos cal) Source #
Methods (==) :: UTCDateTimeNanos cal -> UTCDateTimeNanos cal -> Bool # (/=) :: UTCDateTimeNanos cal -> UTCDateTimeNanos cal -> Bool #
Typeable Calendar cal => Data (UTCDateTimeNanos cal) Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UTCDateTimeNanos cal -> c (UTCDateTimeNanos cal) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (UTCDateTimeNanos cal) # toConstr :: UTCDateTimeNanos cal -> Constr # dataTypeOf :: UTCDateTimeNanos cal -> DataType # dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c (UTCDateTimeNanos cal)) # dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (UTCDateTimeNanos cal)) # gmapT :: (forall b. Data b => b -> b) -> UTCDateTimeNanos cal -> UTCDateTimeNanos cal # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UTCDateTimeNanos cal -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UTCDateTimeNanos cal -> r # gmapQ :: (forall d. Data d => d -> u) -> UTCDateTimeNanos cal -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UTCDateTimeNanos cal -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UTCDateTimeNanos cal -> m (UTCDateTimeNanos cal) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UTCDateTimeNanos cal -> m (UTCDateTimeNanos cal) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UTCDateTimeNanos cal -> m (UTCDateTimeNanos cal) #
Ord (UTCDateTimeNanos cal) Source #
Methods compare :: UTCDateTimeNanos cal -> UTCDateTimeNanos cal -> Ordering # (<) :: UTCDateTimeNanos cal -> UTCDateTimeNanos cal -> Bool # (<=) :: UTCDateTimeNanos cal -> UTCDateTimeNanos cal -> Bool # (>) :: UTCDateTimeNanos cal -> UTCDateTimeNanos cal -> Bool # (>=) :: UTCDateTimeNanos cal -> UTCDateTimeNanos cal -> Bool # max :: UTCDateTimeNanos cal -> UTCDateTimeNanos cal -> UTCDateTimeNanos cal # min :: UTCDateTimeNanos cal -> UTCDateTimeNanos cal -> UTCDateTimeNanos cal #
Show (UTCDateTimeNanos Gregorian) Source #
Methods showsPrec :: Int -> UTCDateTimeNanos Gregorian -> ShowS # show :: UTCDateTimeNanos Gregorian -> String # showList :: [UTCDateTimeNanos Gregorian] -> ShowS #
Generic (UTCDateTimeNanos cal) Source #
Associated Types type Rep (UTCDateTimeNanos cal) :: * -> * # Methods from :: UTCDateTimeNanos cal -> Rep (UTCDateTimeNanos cal) x # to :: Rep (UTCDateTimeNanos cal) x -> UTCDateTimeNanos cal #
Storable (UTCDateTimeNanos cal) Source #
Methods sizeOf :: UTCDateTimeNanos cal -> Int # alignment :: UTCDateTimeNanos cal -> Int # peekElemOff :: Ptr (UTCDateTimeNanos cal) -> Int -> IO (UTCDateTimeNanos cal) # pokeElemOff :: Ptr (UTCDateTimeNanos cal) -> Int -> UTCDateTimeNanos cal -> IO () # peekByteOff :: Ptr b -> Int -> IO (UTCDateTimeNanos cal) # pokeByteOff :: Ptr b -> Int -> UTCDateTimeNanos cal -> IO () # peek :: Ptr (UTCDateTimeNanos cal) -> IO (UTCDateTimeNanos cal) # poke :: Ptr (UTCDateTimeNanos cal) -> UTCDateTimeNanos cal -> IO () #
NFData (UTCDateTimeNanos cal) Source #
Methods rnf :: UTCDateTimeNanos cal -> () #
Random (UTCDateTimeNanos Gregorian) Source #
Methods randomR :: RandomGen g => (UTCDateTimeNanos Gregorian, UTCDateTimeNanos Gregorian) -> g -> (UTCDateTimeNanos Gregorian, g) # random :: RandomGen g => g -> (UTCDateTimeNanos Gregorian, g) # randomRs :: RandomGen g => (UTCDateTimeNanos Gregorian, UTCDateTimeNanos Gregorian) -> g -> [UTCDateTimeNanos Gregorian] # randoms :: RandomGen g => g -> [UTCDateTimeNanos Gregorian] # randomRIO :: (UTCDateTimeNanos Gregorian, UTCDateTimeNanos Gregorian) -> IO (UTCDateTimeNanos Gregorian) # randomIO :: IO (UTCDateTimeNanos Gregorian) #
Human (UTCDateTimeNanos Gregorian) Source #
Associated Types type Components (UTCDateTimeNanos Gregorian) :: * Source # Methods pack :: Components (UTCDateTimeNanos Gregorian) -> UTCDateTimeNanos Gregorian Source # unpack :: UTCDateTimeNanos Gregorian -> Components (UTCDateTimeNanos Gregorian) Source #
Math (UTCDateTimeNanos Gregorian) Nanos Source #
Methods duration :: UTCDateTimeNanos Gregorian -> UTCDateTimeNanos Gregorian -> Nanos Source # plus :: UTCDateTimeNanos Gregorian -> Nanos -> UTCDateTimeNanos Gregorian Source #
Math (UTCDateTimeNanos Gregorian) Micros Source #
Methods duration :: UTCDateTimeNanos Gregorian -> UTCDateTimeNanos Gregorian -> Micros Source # plus :: UTCDateTimeNanos Gregorian -> Micros -> UTCDateTimeNanos Gregorian Source #
Math (UTCDateTimeNanos Gregorian) Millis Source #
Methods duration :: UTCDateTimeNanos Gregorian -> UTCDateTimeNanos Gregorian -> Millis Source # plus :: UTCDateTimeNanos Gregorian -> Millis -> UTCDateTimeNanos Gregorian Source #
Math (UTCDateTimeNanos Gregorian) Second Source #
Methods duration :: UTCDateTimeNanos Gregorian -> UTCDateTimeNanos Gregorian -> Second Source # plus :: UTCDateTimeNanos Gregorian -> Second -> UTCDateTimeNanos Gregorian Source #
type Rep (UTCDateTimeNanos cal) Source #
type Rep (UTCDateTimeNanos cal) = D1 (MetaData "UTCDateTimeNanos" "Data.Time.Exts.UTC" "time-exts-3.0.4-6aNofC78vxVCCO7wkglvdF" False) (C1 (MetaCons "UTCDateTimeNanos" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Int64)) (S1 (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Int32))))
type Components (UTCDateTimeNanos Gregorian) Source #
type Components (UTCDateTimeNanos Gregorian) = DateTimeStruct Gregorian

Create

createUTCDate :: Year -> Month Gregorian -> Day -> UTCDate Gregorian Source #

Create a UTC datestamp.

createUTCDateTime :: Year -> Month Gregorian -> Day -> Hour -> Minute -> Second -> UTCDateTime Gregorian Source #

Create a UTC timestamp.

createUTCDateTimeNanos :: Year -> Month Gregorian -> Day -> Hour -> Minute -> Second -> Nanos -> UTCDateTimeNanos Gregorian Source #

Create a UTC timestamp with nanosecond granularity.

Get

getCurrentUTCDate :: IO (UTCDate Gregorian) Source #

Get the current UTC datestamp from the system clock.

getCurrentUTCDateTime :: IO (UTCDateTime Gregorian) Source #

Get the current UTC timestamp from the system clock.

getCurrentUTCDateTimeNanos :: IO (UTCDateTimeNanos Gregorian) Source #

Get the current UTC timestamp with nanosecond granularity from the system clock. Any observed leap second will be spread out over the day to ensure nanosecond continuity at midnight.

Parse

parseUTCDate :: TimeLocale -> Format -> Text -> Either String (UTCDate Gregorian) Source #

Parse a UTC datestamp.

parseUTCDateTime :: TimeLocale -> Format -> Text -> Either String (UTCDateTime Gregorian) Source #

Parse a UTC timestamp.

parseUTCDateTimeNanos :: TimeLocale -> Format -> Text -> Either String (UTCDateTimeNanos Gregorian) Source #

Parse a UTC timestamp with nanosecond granularity.