Safe Haskell	None

Data.Time.Exts.Unix

Contents

Unix Class
Unix Timestamps
Create Unix Timestamps
Get Current Unix Timestamps
Pretty Unix Timestamps

Description

Unix timestamps of varying granularity.

Synopsis

Unix Class

class Unix u whereSource

The Unix timestamp type class.

Methods

unixBase :: u -> Int64 Source

Get the base component of a Unix timestamp.

unixNorm :: u -> Int64 Source

Get the normalized base component of a Unix timestamp.

Unix Timestamps

newtype UnixDate Source

Days since Unix epoch.

Constructors

UnixDate
Fields _ud_day_base :: Int32

newtype UnixTime Source

Seconds since midnight (excluding leap seconds).

Constructors

UnixTime
Fields _ut_sec_base :: Int32

newtype UnixTimeMillis Source

Milliseconds since midnight (excluding leap seconds).

Constructors

UnixTimeMillis
Fields _ut_mil_base :: Int32

newtype UnixTimeMicros Source

Microseconds since midnight (excluding leap seconds).

Constructors

UnixTimeMicros
Fields _ut_mic_base :: Int64

newtype UnixTimeNanos Source

Nanoseconds since midnight (excluding leap seconds).

Constructors

UnixTimeNanos
Fields _ut_nan_base :: Int64

newtype UnixTimePicos Source

Picoseconds since midnight (excluding leap seconds).

Constructors

UnixTimePicos
Fields _ut_pic_base :: Int64

newtype UnixDateTime Source

Seconds since Unix epoch (excluding leap seconds).

Constructors

UnixDateTime
Fields _udt_sec_base :: Int64

newtype UnixDateTimeMillis Source

Milliseconds since Unix epoch (excluding leap seconds).

Constructors

UnixDateTimeMillis
Fields _udt_mil_base :: Int64

Instances

Bounded UnixDateTimeMillis
Enum UnixDateTimeMillis
Eq UnixDateTimeMillis
Ord UnixDateTimeMillis
Show UnixDateTimeMillis
Typeable UnixDateTimeMillis
Generic UnixDateTimeMillis
ToJSON UnixDateTimeMillis
FromJSON UnixDateTimeMillis
Storable UnixDateTimeMillis
NFData UnixDateTimeMillis
Random UnixDateTimeMillis
DateTime UnixDateTimeMillis
Time UnixDateTimeMillis
Date UnixDateTimeMillis
Unix UnixDateTimeMillis
Convertible UnixDateTimeMillis UnixTime
Convertible UnixDateTimeMillis UnixDate
DateTimeMath UnixDateTimeMillis Millis
DateTimeMath UnixDateTimeMillis Second
DateTimeMath UnixDateTimeMillis Minute
DateTimeMath UnixDateTimeMillis Hour
DateTimeMath UnixDateTimeMillis Day
Duration UnixDateTimeMillis Millis
Duration UnixDateTimeMillis Second
Duration UnixDateTimeMillis Minute
Duration UnixDateTimeMillis Hour
Duration UnixDateTimeMillis Day

newtype UnixDateTimeMicros Source

Microseconds since Unix epoch (excluding leap seconds).

Constructors

UnixDateTimeMicros
Fields _udt_mic_base :: Int64

Instances

Bounded UnixDateTimeMicros
Enum UnixDateTimeMicros
Eq UnixDateTimeMicros
Ord UnixDateTimeMicros
Show UnixDateTimeMicros
Typeable UnixDateTimeMicros
Generic UnixDateTimeMicros
ToJSON UnixDateTimeMicros
FromJSON UnixDateTimeMicros
Storable UnixDateTimeMicros
NFData UnixDateTimeMicros
Random UnixDateTimeMicros
DateTime UnixDateTimeMicros
Time UnixDateTimeMicros
Date UnixDateTimeMicros
Unix UnixDateTimeMicros
Convertible UnixDateTimeMicros UnixTime
Convertible UnixDateTimeMicros UnixDate
DateTimeMath UnixDateTimeMicros Micros
DateTimeMath UnixDateTimeMicros Millis
DateTimeMath UnixDateTimeMicros Second
DateTimeMath UnixDateTimeMicros Minute
DateTimeMath UnixDateTimeMicros Hour
DateTimeMath UnixDateTimeMicros Day
Duration UnixDateTimeMicros Micros
Duration UnixDateTimeMicros Millis
Duration UnixDateTimeMicros Second
Duration UnixDateTimeMicros Minute
Duration UnixDateTimeMicros Hour
Duration UnixDateTimeMicros Day

data UnixDateTimeNanos Source

Nanoseconds since Unix epoch (excluding leap seconds).

Constructors

UnixDateTimeNanos
Fields _udt_nan_base :: !Int64 _udt_nan_nano :: !Int16

Instances

Bounded UnixDateTimeNanos
Eq UnixDateTimeNanos
Ord UnixDateTimeNanos
Show UnixDateTimeNanos
Typeable UnixDateTimeNanos
Generic UnixDateTimeNanos
ToJSON UnixDateTimeNanos
FromJSON UnixDateTimeNanos
Storable UnixDateTimeNanos
NFData UnixDateTimeNanos
Random UnixDateTimeNanos
DateTime UnixDateTimeNanos
Time UnixDateTimeNanos
Date UnixDateTimeNanos
Unix UnixDateTimeNanos
Convertible UnixDateTimeNanos UnixTime
Convertible UnixDateTimeNanos UnixDate
DateTimeMath UnixDateTimeNanos Nanos
DateTimeMath UnixDateTimeNanos Micros
DateTimeMath UnixDateTimeNanos Millis
DateTimeMath UnixDateTimeNanos Second
DateTimeMath UnixDateTimeNanos Minute
DateTimeMath UnixDateTimeNanos Hour
DateTimeMath UnixDateTimeNanos Day
Duration UnixDateTimeNanos Nanos
Duration UnixDateTimeNanos Micros
Duration UnixDateTimeNanos Millis
Duration UnixDateTimeNanos Second
Duration UnixDateTimeNanos Minute
Duration UnixDateTimeNanos Hour
Duration UnixDateTimeNanos Day

data UnixDateTimePicos Source

Picoseconds since Unix epoch (excluding leap seconds).

Constructors

UnixDateTimePicos
Fields _udt_pic_base :: !Int64 _udt_pic_pico :: !Int32

Instances

Bounded UnixDateTimePicos
Eq UnixDateTimePicos
Ord UnixDateTimePicos
Show UnixDateTimePicos
Typeable UnixDateTimePicos
Generic UnixDateTimePicos
ToJSON UnixDateTimePicos
FromJSON UnixDateTimePicos
Storable UnixDateTimePicos
NFData UnixDateTimePicos
Random UnixDateTimePicos
DateTime UnixDateTimePicos
Time UnixDateTimePicos
Date UnixDateTimePicos
Unix UnixDateTimePicos
Convertible UnixDateTimePicos UnixTime
Convertible UnixDateTimePicos UnixDate
DateTimeMath UnixDateTimePicos Picos
DateTimeMath UnixDateTimePicos Nanos
DateTimeMath UnixDateTimePicos Micros
DateTimeMath UnixDateTimePicos Millis
DateTimeMath UnixDateTimePicos Second
DateTimeMath UnixDateTimePicos Minute
DateTimeMath UnixDateTimePicos Hour
DateTimeMath UnixDateTimePicos Day
Duration UnixDateTimePicos Picos
Duration UnixDateTimePicos Nanos
Duration UnixDateTimePicos Micros
Duration UnixDateTimePicos Millis
Duration UnixDateTimePicos Second
Duration UnixDateTimePicos Minute
Duration UnixDateTimePicos Hour
Duration UnixDateTimePicos Day

Create Unix Timestamps

createUnixDate :: Year -> Month -> Day -> UnixDate Source

Create a Unix date.

 >>> createUnixDate 2013 November 3
 2013-11-03

createUnixTime :: Hour -> Minute -> Second -> UnixTime Source

Create a Unix time.

 >>> createUnixTime 4 52 7
 04:52:07

createUnixTimeMillis :: Hour -> Minute -> Second -> Millis -> UnixTimeMillis Source

Create a Unix time with millisecond granularity.

 >>> createUnixTimeMillis 15 22 47 2
 15:22:47.002

createUnixTimeMicros :: Hour -> Minute -> Second -> Micros -> UnixTimeMicros Source

Create a Unix time with microsecond granularity.

 >>> createUnixTimeMicros 10 6 33 575630
 10:06:33.575630

createUnixTimeNanos :: Hour -> Minute -> Second -> Nanos -> UnixTimeNanos Source

Create a Unix time with nanosecond granularity.

 >>> createUnixTimeNanos 23 19 54 465837593
 23:19:54.465837593

createUnixTimePicos :: Hour -> Minute -> Second -> Picos -> UnixTimePicos Source

Create a Unix time with picosecond granularity.

 >>> createUnixTimePicos 17 25 36 759230473534
 17:25:36.759230473534

createUnixDateTime :: Year -> Month -> Day -> Hour -> Minute -> Second -> UnixDateTime Source

Create a Unix date and time.

 >>> createUnixDateTime 2012 April 27 7 37 30
 2012-04-27 07:37:30

createUnixDateTimeMillis :: Year -> Month -> Day -> Hour -> Minute -> Second -> Millis -> UnixDateTimeMillis Source

Create a Unix date and time with millisecond granularity.

 >>> createUnixDateTimeMillis 2014 February 2 8 52 37 983
 2014-02-02 08:52:37.983

createUnixDateTimeMicros :: Year -> Month -> Day -> Hour -> Minute -> Second -> Micros -> UnixDateTimeMicros Source

Create a Unix date and time with microsecond granularity.

 >>> createUnixDateTimeMicros 2011 January 22 17 34 13 138563
 2011-01-22 17:34:13.138563

createUnixDateTimeNanos :: Year -> Month -> Day -> Hour -> Minute -> Second -> Nanos -> UnixDateTimeNanos Source

Create a Unix date and time with nanosecond granularity.

 >>> createUnixDateTimeNanos 2012 June 28 1 30 35 688279651
 2012-06-28 01:30:35.688279651

createUnixDateTimePicos :: Year -> Month -> Day -> Hour -> Minute -> Second -> Picos -> UnixDateTimePicos Source

Create a Unix date and time with picosecond granularity.

 >>> createUnixDateTimePicos 2014 August 2 10 57 54 809479393286
 2014-08-02 10:57:54.809479393286

Get Current Unix Timestamps

getCurrentUnixDate :: IO UnixDate Source

Get the current Unix date from the system clock.

 >>> getCurrentUnixDate
 2013-11-03

getCurrentUnixTime :: IO UnixTime Source

Get the current Unix time from the system clock.

 >>> getCurrentUnixTime
 05:45:06

getCurrentUnixTimeMillis :: IO UnixTimeMillis Source

Get the current Unix time with millisecond granularity from the system clock.

 >>> getCurrentUnixTimeMillis
 06:30:08.840

getCurrentUnixTimeMicros :: IO UnixTimeMicros Source

Get the current Unix time with microsecond granularity from the system clock.

 >>> getCurrentUnixTimeMicros
 06:40:39.102910

getCurrentUnixTimeNanos :: IO UnixTimeNanos Source

Get the current Unix time with nanosecond granularity from the system clock.

 >>> getCurrentUnixTimeNanos
 06:40:45.903610000

Note that this functions calls gettimeofday behind the scenes. Therefore, the resultant timestamp will have nanosecond granularity, but only microsecond resolution.

getCurrentUnixTimePicos :: IO UnixTimePicos Source

Get the current Unix time with picosecond granularity from the system clock.

 >>> getCurrentUnixTimePicos
 06:47:15.379247000000

Note that this functions calls gettimeofday behind the scenes. Therefore, the resultant timestamp will have picosecond granularity, but only microsecond resolution.

getCurrentUnixDateTime :: IO UnixDateTime Source

Get the current Unix date and time from the system clock.

 >>> getCurrentUnixDateTime
 2013-11-03 23:09:38

getCurrentUnixDateTimeMillis :: IO UnixDateTimeMillis Source

Get the current Unix date and time with millisecond granularity from the system clock.

 >>> getCurrentUnixDateTimeMillis
 2013-11-03 23:09:51.986

getCurrentUnixDateTimeMicros :: IO UnixDateTimeMicros Source

Get the current Unix date and time with microsecond granularity from the system clock.

 >>> getCurrentUnixDateTimeMicros
 2013-11-03 23:10:06.498559

getCurrentUnixDateTimeNanos :: IO UnixDateTimeNanos Source

Get the current Unix date and time with nanosecond granularity from the system clock.

 >>> getCurrentUnixDateTimeNanos
 2013-11-03 23:10:23.697893000

Note that this functions calls gettimeofday behind the scenes. Therefore, the resultant timestamp will have nanosecond granularity, but only microsecond resolution.

getCurrentUnixDateTimePicos :: IO UnixDateTimePicos Source

Get the current Unix date and time with picosecond granularity from the system clock.

 >>> getCurrentUnixDateTimePicos
 2013-11-03 23:10:44.633032000000

Note that this functions calls gettimeofday behind the scenes. Therefore, the resultant timestamp will have nanosecond granularity, but only microsecond resolution.

Pretty Unix Timestamps

prettyUnixDate :: (Unix d, Date d) => d -> String Source

Show a Unix date as a pretty string.

 >>> prettyUnixDate $ createUnixDate 2014 August 16
 "Saturday, August 16th, 2014"

prettyUnixTime :: (Unix t, Time t) => t -> String Source

Show a Unix time as a pretty string.

 >>> getCurrentUnixTime >>= putStrLn . prettyUnixTime 
 9:12 AM

prettyUnixDateTime :: (Unix dt, DateTime dt) => dt -> String Source

Show a Unix date and time as a pretty string.

 >>> getCurrentUnixDateTime >>= return . prettyUnixDateTime 
 "6:44 AM, Tuesday, December 31st, 2013"

Bounded UnixTime
Enum UnixTime
Eq UnixTime
Ord UnixTime
Show UnixTime
Typeable UnixTime
Generic UnixTime
ToJSON UnixTime
FromJSON UnixTime
Storable UnixTime
NFData UnixTime
Random UnixTime
Time UnixTime
Unix UnixTime
Convertible UnixDateTimePicos UnixTime
Convertible UnixDateTimeNanos UnixTime
Convertible UnixDateTimeMicros UnixTime
Convertible UnixDateTimeMillis UnixTime
Convertible UnixDateTime UnixTime
DateTimeMath UnixTime Second
DateTimeMath UnixTime Minute
DateTimeMath UnixTime Hour
Duration UnixTime Second
Duration UnixTime Minute
Duration UnixTime Hour

Bounded UnixTimeMillis
Enum UnixTimeMillis
Eq UnixTimeMillis
Ord UnixTimeMillis
Show UnixTimeMillis
Typeable UnixTimeMillis
Generic UnixTimeMillis
ToJSON UnixTimeMillis
FromJSON UnixTimeMillis
Storable UnixTimeMillis
NFData UnixTimeMillis
Random UnixTimeMillis
Time UnixTimeMillis
Unix UnixTimeMillis
DateTimeMath UnixTimeMillis Millis
DateTimeMath UnixTimeMillis Second
DateTimeMath UnixTimeMillis Minute
DateTimeMath UnixTimeMillis Hour
Duration UnixTimeMillis Millis
Duration UnixTimeMillis Second
Duration UnixTimeMillis Minute
Duration UnixTimeMillis Hour

Bounded UnixTimeMicros
Enum UnixTimeMicros
Eq UnixTimeMicros
Ord UnixTimeMicros
Show UnixTimeMicros
Typeable UnixTimeMicros
Generic UnixTimeMicros
ToJSON UnixTimeMicros
FromJSON UnixTimeMicros
Storable UnixTimeMicros
NFData UnixTimeMicros
Random UnixTimeMicros
Time UnixTimeMicros
Unix UnixTimeMicros
DateTimeMath UnixTimeMicros Micros
DateTimeMath UnixTimeMicros Millis
DateTimeMath UnixTimeMicros Second
DateTimeMath UnixTimeMicros Minute
DateTimeMath UnixTimeMicros Hour
Duration UnixTimeMicros Micros
Duration UnixTimeMicros Millis
Duration UnixTimeMicros Second
Duration UnixTimeMicros Minute
Duration UnixTimeMicros Hour

Bounded UnixTimeNanos
Enum UnixTimeNanos
Eq UnixTimeNanos
Ord UnixTimeNanos
Show UnixTimeNanos
Typeable UnixTimeNanos
Generic UnixTimeNanos
ToJSON UnixTimeNanos
FromJSON UnixTimeNanos
Storable UnixTimeNanos
NFData UnixTimeNanos
Random UnixTimeNanos
Time UnixTimeNanos
Unix UnixTimeNanos
DateTimeMath UnixTimeNanos Nanos
DateTimeMath UnixTimeNanos Micros
DateTimeMath UnixTimeNanos Millis
DateTimeMath UnixTimeNanos Second
DateTimeMath UnixTimeNanos Minute
DateTimeMath UnixTimeNanos Hour
Duration UnixTimeNanos Nanos
Duration UnixTimeNanos Micros
Duration UnixTimeNanos Millis
Duration UnixTimeNanos Second
Duration UnixTimeNanos Minute
Duration UnixTimeNanos Hour

Bounded UnixTimePicos
Enum UnixTimePicos
Eq UnixTimePicos
Ord UnixTimePicos
Show UnixTimePicos
Typeable UnixTimePicos
Generic UnixTimePicos
ToJSON UnixTimePicos
FromJSON UnixTimePicos
Storable UnixTimePicos
NFData UnixTimePicos
Random UnixTimePicos
Time UnixTimePicos
Unix UnixTimePicos
DateTimeMath UnixTimePicos Picos
DateTimeMath UnixTimePicos Nanos
DateTimeMath UnixTimePicos Micros
DateTimeMath UnixTimePicos Millis
DateTimeMath UnixTimePicos Second
DateTimeMath UnixTimePicos Minute
DateTimeMath UnixTimePicos Hour
Duration UnixTimePicos Picos
Duration UnixTimePicos Nanos
Duration UnixTimePicos Micros
Duration UnixTimePicos Millis
Duration UnixTimePicos Second
Duration UnixTimePicos Minute
Duration UnixTimePicos Hour

Bounded UnixDate
Enum UnixDate
Eq UnixDate
Ord UnixDate
Show UnixDate
Typeable UnixDate
Generic UnixDate
ToJSON UnixDate
FromJSON UnixDate
Storable UnixDate
NFData UnixDate
Random UnixDate
Date UnixDate
Unix UnixDate
Convertible UnixDateTimePicos UnixDate
Convertible UnixDateTimeNanos UnixDate
Convertible UnixDateTimeMicros UnixDate
Convertible UnixDateTimeMillis UnixDate
Convertible UnixDateTime UnixDate
DateTimeMath UnixDate Day
Duration UnixDate Day

Bounded UnixDateTime
Enum UnixDateTime
Eq UnixDateTime
Ord UnixDateTime
Show UnixDateTime
Typeable UnixDateTime
Generic UnixDateTime
ToJSON UnixDateTime
FromJSON UnixDateTime
Storable UnixDateTime
NFData UnixDateTime
Random UnixDateTime
DateTime UnixDateTime
Time UnixDateTime
Date UnixDateTime
Unix UnixDateTime
Convertible UnixDateTime UnixTime
Convertible UnixDateTime UnixDate
DateTimeMath UnixDateTime Second
DateTimeMath UnixDateTime Minute
DateTimeMath UnixDateTime Hour
DateTimeMath UnixDateTime Day
Duration UnixDateTime Second
Duration UnixDateTime Minute
Duration UnixDateTime Hour
Duration UnixDateTime Day