hourglass-0.2.12: simple performant time related library
LicenseBSD-style
MaintainerVincent Hanquez <vincent@snarc.org>
Safe HaskellNone
LanguageHaskell2010

Time.Types

Description

Basic times units and types.

While pratically some units could hold infinite values, for practical and efficient purpose they are limited to int64 types for seconds and int types for years.

Most units use the unix epoch referential, but by no means reduce portability. the unix referential works under the Windows platform or any other platforms.

Synopsis

Time units

newtype NanoSeconds Source #

Nanoseconds

Constructors

NanoSeconds Int64 

Instances

Instances details
Eq NanoSeconds Source # 
Instance details

Defined in Time.Types

Methods

(==) :: NanoSeconds -> NanoSeconds -> Bool

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

Data NanoSeconds Source # 
Instance details

Defined in Time.Types

Methods

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

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

toConstr :: NanoSeconds -> Constr

dataTypeOf :: NanoSeconds -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NanoSeconds)

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

gmapT :: (forall b. Data b => b -> b) -> NanoSeconds -> NanoSeconds

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

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

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

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

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

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

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

Num NanoSeconds Source # 
Instance details

Defined in Time.Types

Ord NanoSeconds Source # 
Instance details

Defined in Time.Types

Read NanoSeconds Source # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS NanoSeconds

readList :: ReadS [NanoSeconds]

readPrec :: ReadPrec NanoSeconds

readListPrec :: ReadPrec [NanoSeconds]

Show NanoSeconds Source # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> NanoSeconds -> ShowS

show :: NanoSeconds -> String

showList :: [NanoSeconds] -> ShowS

NFData NanoSeconds Source # 
Instance details

Defined in Time.Types

Methods

rnf :: NanoSeconds -> ()

TimeInterval NanoSeconds Source # 
Instance details

Defined in Time.Types

newtype Seconds Source #

Number of seconds without a referential.

Can hold a number between [-2^63,2^63-1], which should be good for some billions of years.

However, because of limitation in the calendar conversion currently used, seconds should be in the range [-2^55,2^55-1], which is good for only 1 billion of year.

Constructors

Seconds Int64 

Instances

Instances details
Enum Seconds Source # 
Instance details

Defined in Time.Types

Eq Seconds Source # 
Instance details

Defined in Time.Types

Methods

(==) :: Seconds -> Seconds -> Bool

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

Integral Seconds Source # 
Instance details

Defined in Time.Types

Data Seconds Source # 
Instance details

Defined in Time.Types

Methods

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

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

toConstr :: Seconds -> Constr

dataTypeOf :: Seconds -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Seconds)

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

gmapT :: (forall b. Data b => b -> b) -> Seconds -> Seconds

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

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

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

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

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

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

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

Num Seconds Source # 
Instance details

Defined in Time.Types

Ord Seconds Source # 
Instance details

Defined in Time.Types

Methods

compare :: Seconds -> Seconds -> Ordering

(<) :: Seconds -> Seconds -> Bool

(<=) :: Seconds -> Seconds -> Bool

(>) :: Seconds -> Seconds -> Bool

(>=) :: Seconds -> Seconds -> Bool

max :: Seconds -> Seconds -> Seconds

min :: Seconds -> Seconds -> Seconds

Read Seconds Source # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS Seconds

readList :: ReadS [Seconds]

readPrec :: ReadPrec Seconds

readListPrec :: ReadPrec [Seconds]

Real Seconds Source # 
Instance details

Defined in Time.Types

Methods

toRational :: Seconds -> Rational

Show Seconds Source # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> Seconds -> ShowS

show :: Seconds -> String

showList :: [Seconds] -> ShowS

NFData Seconds Source # 
Instance details

Defined in Time.Types

Methods

rnf :: Seconds -> ()

TimeInterval Seconds Source # 
Instance details

Defined in Time.Types

newtype Minutes Source #

Number of minutes without a referential.

Constructors

Minutes Int64 

Instances

Instances details
Enum Minutes Source # 
Instance details

Defined in Time.Types

Eq Minutes Source # 
Instance details

Defined in Time.Types

Methods

(==) :: Minutes -> Minutes -> Bool

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

Integral Minutes Source # 
Instance details

Defined in Time.Types

Data Minutes Source # 
Instance details

Defined in Time.Types

Methods

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

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

toConstr :: Minutes -> Constr

dataTypeOf :: Minutes -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Minutes)

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

gmapT :: (forall b. Data b => b -> b) -> Minutes -> Minutes

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

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

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

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

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

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

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

Num Minutes Source # 
Instance details

Defined in Time.Types

Ord Minutes Source # 
Instance details

Defined in Time.Types

Methods

compare :: Minutes -> Minutes -> Ordering

(<) :: Minutes -> Minutes -> Bool

(<=) :: Minutes -> Minutes -> Bool

(>) :: Minutes -> Minutes -> Bool

(>=) :: Minutes -> Minutes -> Bool

max :: Minutes -> Minutes -> Minutes

min :: Minutes -> Minutes -> Minutes

Read Minutes Source # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS Minutes

readList :: ReadS [Minutes]

readPrec :: ReadPrec Minutes

readListPrec :: ReadPrec [Minutes]

Real Minutes Source # 
Instance details

Defined in Time.Types

Methods

toRational :: Minutes -> Rational

Show Minutes Source # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> Minutes -> ShowS

show :: Minutes -> String

showList :: [Minutes] -> ShowS

NFData Minutes Source # 
Instance details

Defined in Time.Types

Methods

rnf :: Minutes -> ()

TimeInterval Minutes Source # 
Instance details

Defined in Time.Types

newtype Hours Source #

Number of hours without a referential.

Constructors

Hours Int64 

Instances

Instances details
Enum Hours Source # 
Instance details

Defined in Time.Types

Eq Hours Source # 
Instance details

Defined in Time.Types

Methods

(==) :: Hours -> Hours -> Bool

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

Integral Hours Source # 
Instance details

Defined in Time.Types

Methods

quot :: Hours -> Hours -> Hours

rem :: Hours -> Hours -> Hours

div :: Hours -> Hours -> Hours

mod :: Hours -> Hours -> Hours

quotRem :: Hours -> Hours -> (Hours, Hours)

divMod :: Hours -> Hours -> (Hours, Hours)

toInteger :: Hours -> Integer

Data Hours Source # 
Instance details

Defined in Time.Types

Methods

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

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

toConstr :: Hours -> Constr

dataTypeOf :: Hours -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Hours)

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

gmapT :: (forall b. Data b => b -> b) -> Hours -> Hours

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

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

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

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

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

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

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

Num Hours Source # 
Instance details

Defined in Time.Types

Methods

(+) :: Hours -> Hours -> Hours

(-) :: Hours -> Hours -> Hours

(*) :: Hours -> Hours -> Hours

negate :: Hours -> Hours

abs :: Hours -> Hours

signum :: Hours -> Hours

fromInteger :: Integer -> Hours

Ord Hours Source # 
Instance details

Defined in Time.Types

Methods

compare :: Hours -> Hours -> Ordering

(<) :: Hours -> Hours -> Bool

(<=) :: Hours -> Hours -> Bool

(>) :: Hours -> Hours -> Bool

(>=) :: Hours -> Hours -> Bool

max :: Hours -> Hours -> Hours

min :: Hours -> Hours -> Hours

Read Hours Source # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS Hours

readList :: ReadS [Hours]

readPrec :: ReadPrec Hours

readListPrec :: ReadPrec [Hours]

Real Hours Source # 
Instance details

Defined in Time.Types

Methods

toRational :: Hours -> Rational

Show Hours Source # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> Hours -> ShowS

show :: Hours -> String

showList :: [Hours] -> ShowS

NFData Hours Source # 
Instance details

Defined in Time.Types

Methods

rnf :: Hours -> ()

TimeInterval Hours Source # 
Instance details

Defined in Time.Types

class TimeInterval i where Source #

Represent any time interval that has an equivalent value to a number of seconds.

Time enumeration

data Month Source #

Month of the year

Instances

Instances details
Bounded Month Source # 
Instance details

Defined in Time.Types

Enum Month Source # 
Instance details

Defined in Time.Types

Eq Month Source # 
Instance details

Defined in Time.Types

Methods

(==) :: Month -> Month -> Bool

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

Data Month Source # 
Instance details

Defined in Time.Types

Methods

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

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

toConstr :: Month -> Constr

dataTypeOf :: Month -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Month)

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

gmapT :: (forall b. Data b => b -> b) -> Month -> Month

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

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

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

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

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

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

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

Ord Month Source # 
Instance details

Defined in Time.Types

Methods

compare :: Month -> Month -> Ordering

(<) :: Month -> Month -> Bool

(<=) :: Month -> Month -> Bool

(>) :: Month -> Month -> Bool

(>=) :: Month -> Month -> Bool

max :: Month -> Month -> Month

min :: Month -> Month -> Month

Read Month Source # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS Month

readList :: ReadS [Month]

readPrec :: ReadPrec Month

readListPrec :: ReadPrec [Month]

Show Month Source # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> Month -> ShowS

show :: Month -> String

showList :: [Month] -> ShowS

data WeekDay Source #

Day of the week

the enumeration starts on Sunday.

Instances

Instances details
Bounded WeekDay Source # 
Instance details

Defined in Time.Types

Enum WeekDay Source # 
Instance details

Defined in Time.Types

Eq WeekDay Source # 
Instance details

Defined in Time.Types

Methods

(==) :: WeekDay -> WeekDay -> Bool

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

Data WeekDay Source # 
Instance details

Defined in Time.Types

Methods

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

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

toConstr :: WeekDay -> Constr

dataTypeOf :: WeekDay -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c WeekDay)

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

gmapT :: (forall b. Data b => b -> b) -> WeekDay -> WeekDay

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

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

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

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

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

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

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

Ord WeekDay Source # 
Instance details

Defined in Time.Types

Methods

compare :: WeekDay -> WeekDay -> Ordering

(<) :: WeekDay -> WeekDay -> Bool

(<=) :: WeekDay -> WeekDay -> Bool

(>) :: WeekDay -> WeekDay -> Bool

(>=) :: WeekDay -> WeekDay -> Bool

max :: WeekDay -> WeekDay -> WeekDay

min :: WeekDay -> WeekDay -> WeekDay

Read WeekDay Source # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS WeekDay

readList :: ReadS [WeekDay]

readPrec :: ReadPrec WeekDay

readListPrec :: ReadPrec [WeekDay]

Show WeekDay Source # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> WeekDay -> ShowS

show :: WeekDay -> String

showList :: [WeekDay] -> ShowS

Timezone

newtype TimezoneOffset Source #

Offset against UTC in minutes to obtain from UTC time, local time.

  • a positive number represent a location East of UTC.
  • a negative number represent a location West of UTC.

LocalTime t (-300) = t represent a time at UTC-5 LocalTime t (+480) = t represent a time at UTC+8

should be between -11H and +14H

Example: in AUSEDT (UTC+1000 with daylight = UTC+1100), local time is 15:47; Thus, UTC time is 04:47, and TimezoneOffset is +660 (minutes)

Constructors

TimezoneOffset 

Fields

Instances

Instances details
Eq TimezoneOffset Source # 
Instance details

Defined in Time.Types

Data TimezoneOffset Source # 
Instance details

Defined in Time.Types

Methods

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

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

toConstr :: TimezoneOffset -> Constr

dataTypeOf :: TimezoneOffset -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TimezoneOffset)

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

gmapT :: (forall b. Data b => b -> b) -> TimezoneOffset -> TimezoneOffset

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

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

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

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

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

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

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

Ord TimezoneOffset Source # 
Instance details

Defined in Time.Types

Show TimezoneOffset Source # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> TimezoneOffset -> ShowS

show :: TimezoneOffset -> String

showList :: [TimezoneOffset] -> ShowS

NFData TimezoneOffset Source # 
Instance details

Defined in Time.Types

Methods

rnf :: TimezoneOffset -> ()

timezoneOffsetToSeconds :: TimezoneOffset -> Seconds Source #

Return the number of seconds associated with a timezone

timezone_UTC :: TimezoneOffset Source #

The UTC timezone. offset of 0

Computer friendly format

Unix elapsed

newtype Elapsed Source #

A number of seconds elapsed since the unix epoch.

Constructors

Elapsed Seconds 

Instances

Instances details
Eq Elapsed Source # 
Instance details

Defined in Time.Types

Methods

(==) :: Elapsed -> Elapsed -> Bool

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

Data Elapsed Source # 
Instance details

Defined in Time.Types

Methods

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

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

toConstr :: Elapsed -> Constr

dataTypeOf :: Elapsed -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Elapsed)

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

gmapT :: (forall b. Data b => b -> b) -> Elapsed -> Elapsed

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

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

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

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

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

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

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

Num Elapsed Source # 
Instance details

Defined in Time.Types

Ord Elapsed Source # 
Instance details

Defined in Time.Types

Methods

compare :: Elapsed -> Elapsed -> Ordering

(<) :: Elapsed -> Elapsed -> Bool

(<=) :: Elapsed -> Elapsed -> Bool

(>) :: Elapsed -> Elapsed -> Bool

(>=) :: Elapsed -> Elapsed -> Bool

max :: Elapsed -> Elapsed -> Elapsed

min :: Elapsed -> Elapsed -> Elapsed

Read Elapsed Source # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS Elapsed

readList :: ReadS [Elapsed]

readPrec :: ReadPrec Elapsed

readListPrec :: ReadPrec [Elapsed]

Show Elapsed Source # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> Elapsed -> ShowS

show :: Elapsed -> String

showList :: [Elapsed] -> ShowS

NFData Elapsed Source # 
Instance details

Defined in Time.Types

Methods

rnf :: Elapsed -> ()

Time Elapsed Source # 
Instance details

Defined in Data.Hourglass.Time

Timeable Elapsed Source # 
Instance details

Defined in Data.Hourglass.Time

data ElapsedP Source #

A number of seconds and nanoseconds elapsed since the unix epoch.

Constructors

ElapsedP !Elapsed !NanoSeconds 

Instances

Instances details
Eq ElapsedP Source # 
Instance details

Defined in Time.Types

Methods

(==) :: ElapsedP -> ElapsedP -> Bool

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

Data ElapsedP Source # 
Instance details

Defined in Time.Types

Methods

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

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

toConstr :: ElapsedP -> Constr

dataTypeOf :: ElapsedP -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ElapsedP)

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

gmapT :: (forall b. Data b => b -> b) -> ElapsedP -> ElapsedP

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

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

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

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

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

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

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

Num ElapsedP Source # 
Instance details

Defined in Time.Types

Ord ElapsedP Source # 
Instance details

Defined in Time.Types

Methods

compare :: ElapsedP -> ElapsedP -> Ordering

(<) :: ElapsedP -> ElapsedP -> Bool

(<=) :: ElapsedP -> ElapsedP -> Bool

(>) :: ElapsedP -> ElapsedP -> Bool

(>=) :: ElapsedP -> ElapsedP -> Bool

max :: ElapsedP -> ElapsedP -> ElapsedP

min :: ElapsedP -> ElapsedP -> ElapsedP

Read ElapsedP Source # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS ElapsedP

readList :: ReadS [ElapsedP]

readPrec :: ReadPrec ElapsedP

readListPrec :: ReadPrec [ElapsedP]

Real ElapsedP Source # 
Instance details

Defined in Time.Types

Methods

toRational :: ElapsedP -> Rational

Show ElapsedP Source # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> ElapsedP -> ShowS

show :: ElapsedP -> String

showList :: [ElapsedP] -> ShowS

NFData ElapsedP Source # 
Instance details

Defined in Time.Types

Methods

rnf :: ElapsedP -> ()

Time ElapsedP Source # 
Instance details

Defined in Data.Hourglass.Time

Timeable ElapsedP Source # 
Instance details

Defined in Data.Hourglass.Time

Human friendly format

Calendar time

data Date Source #

human date representation using common calendar

Constructors

Date 

Fields

Instances

Instances details
Eq Date Source # 
Instance details

Defined in Time.Types

Methods

(==) :: Date -> Date -> Bool

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

Data Date Source # 
Instance details

Defined in Time.Types

Methods

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

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

toConstr :: Date -> Constr

dataTypeOf :: Date -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Date)

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

gmapT :: (forall b. Data b => b -> b) -> Date -> Date

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

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

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

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

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

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

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

Ord Date Source # 
Instance details

Defined in Time.Types

Methods

compare :: Date -> Date -> Ordering

(<) :: Date -> Date -> Bool

(<=) :: Date -> Date -> Bool

(>) :: Date -> Date -> Bool

(>=) :: Date -> Date -> Bool

max :: Date -> Date -> Date

min :: Date -> Date -> Date

Read Date Source # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS Date

readList :: ReadS [Date]

readPrec :: ReadPrec Date

readListPrec :: ReadPrec [Date]

Show Date Source # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> Date -> ShowS

show :: Date -> String

showList :: [Date] -> ShowS

NFData Date Source # 
Instance details

Defined in Time.Types

Methods

rnf :: Date -> ()

Time Date Source # 
Instance details

Defined in Data.Hourglass.Time

Timeable Date Source # 
Instance details

Defined in Data.Hourglass.Time

data TimeOfDay Source #

human time representation of hour, minutes, seconds in a day.

Constructors

TimeOfDay 

Fields

Instances

Instances details
Eq TimeOfDay Source # 
Instance details

Defined in Time.Types

Methods

(==) :: TimeOfDay -> TimeOfDay -> Bool

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

Data TimeOfDay Source # 
Instance details

Defined in Time.Types

Methods

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

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

toConstr :: TimeOfDay -> Constr

dataTypeOf :: TimeOfDay -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TimeOfDay)

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

gmapT :: (forall b. Data b => b -> b) -> TimeOfDay -> TimeOfDay

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

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

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

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

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

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

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

Ord TimeOfDay Source # 
Instance details

Defined in Time.Types

Methods

compare :: TimeOfDay -> TimeOfDay -> Ordering

(<) :: TimeOfDay -> TimeOfDay -> Bool

(<=) :: TimeOfDay -> TimeOfDay -> Bool

(>) :: TimeOfDay -> TimeOfDay -> Bool

(>=) :: TimeOfDay -> TimeOfDay -> Bool

max :: TimeOfDay -> TimeOfDay -> TimeOfDay

min :: TimeOfDay -> TimeOfDay -> TimeOfDay

Read TimeOfDay Source # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS TimeOfDay

readList :: ReadS [TimeOfDay]

readPrec :: ReadPrec TimeOfDay

readListPrec :: ReadPrec [TimeOfDay]

Show TimeOfDay Source # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> TimeOfDay -> ShowS

show :: TimeOfDay -> String

showList :: [TimeOfDay] -> ShowS

NFData TimeOfDay Source # 
Instance details

Defined in Time.Types

Methods

rnf :: TimeOfDay -> ()

data DateTime Source #

Date and Time

Constructors

DateTime 

Fields

Instances

Instances details
Eq DateTime Source # 
Instance details

Defined in Time.Types

Methods

(==) :: DateTime -> DateTime -> Bool

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

Data DateTime Source # 
Instance details

Defined in Time.Types

Methods

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

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

toConstr :: DateTime -> Constr

dataTypeOf :: DateTime -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DateTime)

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

gmapT :: (forall b. Data b => b -> b) -> DateTime -> DateTime

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

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

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

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

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

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

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

Ord DateTime Source # 
Instance details

Defined in Time.Types

Methods

compare :: DateTime -> DateTime -> Ordering

(<) :: DateTime -> DateTime -> Bool

(<=) :: DateTime -> DateTime -> Bool

(>) :: DateTime -> DateTime -> Bool

(>=) :: DateTime -> DateTime -> Bool

max :: DateTime -> DateTime -> DateTime

min :: DateTime -> DateTime -> DateTime

Read DateTime Source # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS DateTime

readList :: ReadS [DateTime]

readPrec :: ReadPrec DateTime

readListPrec :: ReadPrec [DateTime]

Show DateTime Source # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> DateTime -> ShowS

show :: DateTime -> String

showList :: [DateTime] -> ShowS

NFData DateTime Source # 
Instance details

Defined in Time.Types

Methods

rnf :: DateTime -> ()

Time DateTime Source # 
Instance details

Defined in Data.Hourglass.Time

Timeable DateTime Source # 
Instance details

Defined in Data.Hourglass.Time