hourglass-0.2.12: simple performant time related library

LicenseBSD-style
MaintainerVincent Hanquez <vincent@snarc.org>
Safe HaskellNone
LanguageHaskell2010

Time.Types

Contents

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 #

Nanoseconds

Constructors

NanoSeconds Int64 
Instances
Eq NanoSeconds # 
Instance details

Defined in Time.Types

Methods

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

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

Data NanoSeconds # 
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 :: (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 # 
Instance details

Defined in Time.Types

Ord NanoSeconds # 
Instance details

Defined in Time.Types

Read NanoSeconds # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS NanoSeconds

readList :: ReadS [NanoSeconds]

readPrec :: ReadPrec NanoSeconds

readListPrec :: ReadPrec [NanoSeconds]

Show NanoSeconds # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> NanoSeconds -> ShowS

show :: NanoSeconds -> String

showList :: [NanoSeconds] -> ShowS

NFData NanoSeconds # 
Instance details

Defined in Time.Types

Methods

rnf :: NanoSeconds -> ()

TimeInterval NanoSeconds # 
Instance details

Defined in Time.Types

newtype Seconds #

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
Enum Seconds # 
Instance details

Defined in Time.Types

Eq Seconds # 
Instance details

Defined in Time.Types

Methods

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

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

Integral Seconds # 
Instance details

Defined in Time.Types

Data Seconds # 
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 :: (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 # 
Instance details

Defined in Time.Types

Ord Seconds # 
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 # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS Seconds

readList :: ReadS [Seconds]

readPrec :: ReadPrec Seconds

readListPrec :: ReadPrec [Seconds]

Real Seconds # 
Instance details

Defined in Time.Types

Methods

toRational :: Seconds -> Rational

Show Seconds # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> Seconds -> ShowS

show :: Seconds -> String

showList :: [Seconds] -> ShowS

NFData Seconds # 
Instance details

Defined in Time.Types

Methods

rnf :: Seconds -> ()

TimeInterval Seconds # 
Instance details

Defined in Time.Types

newtype Minutes #

Number of minutes without a referential.

Constructors

Minutes Int64 
Instances
Enum Minutes # 
Instance details

Defined in Time.Types

Eq Minutes # 
Instance details

Defined in Time.Types

Methods

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

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

Integral Minutes # 
Instance details

Defined in Time.Types

Data Minutes # 
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 :: (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 # 
Instance details

Defined in Time.Types

Ord Minutes # 
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 # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS Minutes

readList :: ReadS [Minutes]

readPrec :: ReadPrec Minutes

readListPrec :: ReadPrec [Minutes]

Real Minutes # 
Instance details

Defined in Time.Types

Methods

toRational :: Minutes -> Rational

Show Minutes # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> Minutes -> ShowS

show :: Minutes -> String

showList :: [Minutes] -> ShowS

NFData Minutes # 
Instance details

Defined in Time.Types

Methods

rnf :: Minutes -> ()

TimeInterval Minutes # 
Instance details

Defined in Time.Types

newtype Hours #

Number of hours without a referential.

Constructors

Hours Int64 
Instances
Enum Hours # 
Instance details

Defined in Time.Types

Eq Hours # 
Instance details

Defined in Time.Types

Methods

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

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

Integral Hours # 
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 # 
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 :: (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 # 
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 # 
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 # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS Hours

readList :: ReadS [Hours]

readPrec :: ReadPrec Hours

readListPrec :: ReadPrec [Hours]

Real Hours # 
Instance details

Defined in Time.Types

Methods

toRational :: Hours -> Rational

Show Hours # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> Hours -> ShowS

show :: Hours -> String

showList :: [Hours] -> ShowS

NFData Hours # 
Instance details

Defined in Time.Types

Methods

rnf :: Hours -> ()

TimeInterval Hours # 
Instance details

Defined in Time.Types

class TimeInterval i where #

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

Methods

toSeconds :: i -> Seconds #

fromSeconds :: Seconds -> (i, Seconds) #

Instances
TimeInterval Hours # 
Instance details

Defined in Time.Types

TimeInterval Minutes # 
Instance details

Defined in Time.Types

TimeInterval Seconds # 
Instance details

Defined in Time.Types

TimeInterval NanoSeconds # 
Instance details

Defined in Time.Types

TimeInterval Duration # 
Instance details

Defined in Data.Hourglass.Diff

Time enumeration

data Month #

Month of the year

Instances
Bounded Month # 
Instance details

Defined in Time.Types

Enum Month # 
Instance details

Defined in Time.Types

Eq Month # 
Instance details

Defined in Time.Types

Methods

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

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

Data Month # 
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 :: (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 # 
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 # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS Month

readList :: ReadS [Month]

readPrec :: ReadPrec Month

readListPrec :: ReadPrec [Month]

Show Month # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> Month -> ShowS

show :: Month -> String

showList :: [Month] -> ShowS

data WeekDay #

Day of the week

the enumeration starts on Sunday.

Instances
Bounded WeekDay # 
Instance details

Defined in Time.Types

Enum WeekDay # 
Instance details

Defined in Time.Types

Eq WeekDay # 
Instance details

Defined in Time.Types

Methods

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

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

Data WeekDay # 
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 :: (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 # 
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 # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS WeekDay

readList :: ReadS [WeekDay]

readPrec :: ReadPrec WeekDay

readListPrec :: ReadPrec [WeekDay]

Show WeekDay # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> WeekDay -> ShowS

show :: WeekDay -> String

showList :: [WeekDay] -> ShowS

Timezone

newtype TimezoneOffset #

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
Eq TimezoneOffset # 
Instance details

Defined in Time.Types

Data TimezoneOffset # 
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 :: (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 # 
Instance details

Defined in Time.Types

Show TimezoneOffset # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> TimezoneOffset -> ShowS

show :: TimezoneOffset -> String

showList :: [TimezoneOffset] -> ShowS

NFData TimezoneOffset # 
Instance details

Defined in Time.Types

Methods

rnf :: TimezoneOffset -> ()

timezoneOffsetToSeconds :: TimezoneOffset -> Seconds #

Return the number of seconds associated with a timezone

timezone_UTC :: TimezoneOffset #

The UTC timezone. offset of 0

Computer friendly format

Unix elapsed

newtype Elapsed #

A number of seconds elapsed since the unix epoch.

Constructors

Elapsed Seconds 
Instances
Eq Elapsed # 
Instance details

Defined in Time.Types

Methods

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

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

Data Elapsed # 
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 :: (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 # 
Instance details

Defined in Time.Types

Ord Elapsed # 
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 # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS Elapsed

readList :: ReadS [Elapsed]

readPrec :: ReadPrec Elapsed

readListPrec :: ReadPrec [Elapsed]

Show Elapsed # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> Elapsed -> ShowS

show :: Elapsed -> String

showList :: [Elapsed] -> ShowS

NFData Elapsed # 
Instance details

Defined in Time.Types

Methods

rnf :: Elapsed -> ()

Time Elapsed # 
Instance details

Defined in Data.Hourglass.Time

Timeable Elapsed # 
Instance details

Defined in Data.Hourglass.Time

data ElapsedP #

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

Constructors

ElapsedP !Elapsed !NanoSeconds 
Instances
Eq ElapsedP # 
Instance details

Defined in Time.Types

Methods

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

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

Data ElapsedP # 
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 :: (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 # 
Instance details

Defined in Time.Types

Ord ElapsedP # 
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 # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS ElapsedP

readList :: ReadS [ElapsedP]

readPrec :: ReadPrec ElapsedP

readListPrec :: ReadPrec [ElapsedP]

Real ElapsedP # 
Instance details

Defined in Time.Types

Methods

toRational :: ElapsedP -> Rational

Show ElapsedP # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> ElapsedP -> ShowS

show :: ElapsedP -> String

showList :: [ElapsedP] -> ShowS

NFData ElapsedP # 
Instance details

Defined in Time.Types

Methods

rnf :: ElapsedP -> ()

Time ElapsedP # 
Instance details

Defined in Data.Hourglass.Time

Timeable ElapsedP # 
Instance details

Defined in Data.Hourglass.Time

Human friendly format

Calendar time

data Date #

human date representation using common calendar

Constructors

Date 

Fields

Instances
Eq Date # 
Instance details

Defined in Time.Types

Methods

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

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

Data Date # 
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 :: (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 # 
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 # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS Date

readList :: ReadS [Date]

readPrec :: ReadPrec Date

readListPrec :: ReadPrec [Date]

Show Date # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> Date -> ShowS

show :: Date -> String

showList :: [Date] -> ShowS

NFData Date # 
Instance details

Defined in Time.Types

Methods

rnf :: Date -> ()

Time Date # 
Instance details

Defined in Data.Hourglass.Time

Timeable Date # 
Instance details

Defined in Data.Hourglass.Time

data TimeOfDay #

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

Constructors

TimeOfDay 

Fields

Instances
Eq TimeOfDay # 
Instance details

Defined in Time.Types

Methods

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

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

Data TimeOfDay # 
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 :: (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 # 
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 # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS TimeOfDay

readList :: ReadS [TimeOfDay]

readPrec :: ReadPrec TimeOfDay

readListPrec :: ReadPrec [TimeOfDay]

Show TimeOfDay # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> TimeOfDay -> ShowS

show :: TimeOfDay -> String

showList :: [TimeOfDay] -> ShowS

NFData TimeOfDay # 
Instance details

Defined in Time.Types

Methods

rnf :: TimeOfDay -> ()

data DateTime #

Date and Time

Constructors

DateTime 

Fields

Instances
Eq DateTime # 
Instance details

Defined in Time.Types

Methods

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

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

Data DateTime # 
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 :: (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 # 
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 # 
Instance details

Defined in Time.Types

Methods

readsPrec :: Int -> ReadS DateTime

readList :: ReadS [DateTime]

readPrec :: ReadPrec DateTime

readListPrec :: ReadPrec [DateTime]

Show DateTime # 
Instance details

Defined in Time.Types

Methods

showsPrec :: Int -> DateTime -> ShowS

show :: DateTime -> String

showList :: [DateTime] -> ShowS

NFData DateTime # 
Instance details

Defined in Time.Types

Methods

rnf :: DateTime -> ()

Time DateTime # 
Instance details

Defined in Data.Hourglass.Time

Timeable DateTime # 
Instance details

Defined in Data.Hourglass.Time