hourglass-0.2.12: simple performant time related library
License BSD-style
Maintainer Vincent Hanquez <vincent@snarc.org>
Safe Haskell None
Language Haskell2010

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

Instances

Instances details
Eq NanoSeconds Source #
Instance details

Defined in Time.Types

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 Source #

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

toConstr :: NanoSeconds -> Constr Source #

dataTypeOf :: NanoSeconds -> DataType Source #

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

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

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

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

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

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

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

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

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

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

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

Show NanoSeconds Source #
Instance details

Defined in Time.Types

NFData NanoSeconds Source #
Instance details

Defined in Time.Types

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

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 Source #

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

toConstr :: Seconds -> Constr Source #

dataTypeOf :: Seconds -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Num Seconds Source #
Instance details

Defined in Time.Types

Ord Seconds Source #
Instance details

Defined in Time.Types

Read Seconds Source #
Instance details

Defined in Time.Types

Real Seconds Source #
Instance details

Defined in Time.Types

Show Seconds Source #
Instance details

Defined in Time.Types

NFData Seconds Source #
Instance details

Defined in Time.Types

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

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 Source #

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

toConstr :: Minutes -> Constr Source #

dataTypeOf :: Minutes -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Num Minutes Source #
Instance details

Defined in Time.Types

Ord Minutes Source #
Instance details

Defined in Time.Types

Read Minutes Source #
Instance details

Defined in Time.Types

Real Minutes Source #
Instance details

Defined in Time.Types

Show Minutes Source #
Instance details

Defined in Time.Types

NFData Minutes Source #
Instance details

Defined in Time.Types

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

Integral Hours Source #
Instance details

Defined in Time.Types

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 Source #

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

toConstr :: Hours -> Constr Source #

dataTypeOf :: Hours -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Num Hours Source #
Instance details

Defined in Time.Types

Ord Hours Source #
Instance details

Defined in Time.Types

Read Hours Source #
Instance details

Defined in Time.Types

Real Hours Source #
Instance details

Defined in Time.Types

Show Hours Source #
Instance details

Defined in Time.Types

NFData Hours Source #
Instance details

Defined in Time.Types

TimeInterval Hours Source #
Instance details

Defined in Time.Types

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

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 Source #

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

toConstr :: Month -> Constr Source #

dataTypeOf :: Month -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Ord Month Source #
Instance details

Defined in Time.Types

Read Month Source #
Instance details

Defined in Time.Types

Show Month Source #
Instance details

Defined in Time.Types

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

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 Source #

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

toConstr :: WeekDay -> Constr Source #

dataTypeOf :: WeekDay -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Ord WeekDay Source #
Instance details

Defined in Time.Types

Read WeekDay Source #
Instance details

Defined in Time.Types

Show WeekDay Source #
Instance details

Defined in Time.Types

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 Source #

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

toConstr :: TimezoneOffset -> Constr Source #

dataTypeOf :: TimezoneOffset -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Ord TimezoneOffset Source #
Instance details

Defined in Time.Types

Show TimezoneOffset Source #
Instance details

Defined in Time.Types

NFData TimezoneOffset Source #
Instance details

Defined in Time.Types

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

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 Source #

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

toConstr :: Elapsed -> Constr Source #

dataTypeOf :: Elapsed -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Num Elapsed Source #
Instance details

Defined in Time.Types

Ord Elapsed Source #
Instance details

Defined in Time.Types

Read Elapsed Source #
Instance details

Defined in Time.Types

Show Elapsed Source #
Instance details

Defined in Time.Types

NFData Elapsed Source #
Instance details

Defined in Time.Types

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.

Instances

Instances details
Eq ElapsedP Source #
Instance details

Defined in Time.Types

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 Source #

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

toConstr :: ElapsedP -> Constr Source #

dataTypeOf :: ElapsedP -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Num ElapsedP Source #
Instance details

Defined in Time.Types

Ord ElapsedP Source #
Instance details

Defined in Time.Types

Read ElapsedP Source #
Instance details

Defined in Time.Types

Real ElapsedP Source #
Instance details

Defined in Time.Types

Show ElapsedP Source #
Instance details

Defined in Time.Types

NFData ElapsedP Source #
Instance details

Defined in Time.Types

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

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 Source #

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

toConstr :: Date -> Constr Source #

dataTypeOf :: Date -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Ord Date Source #
Instance details

Defined in Time.Types

Read Date Source #
Instance details

Defined in Time.Types

Show Date Source #
Instance details

Defined in Time.Types

NFData Date Source #
Instance details

Defined in Time.Types

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

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 Source #

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

toConstr :: TimeOfDay -> Constr Source #

dataTypeOf :: TimeOfDay -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Ord TimeOfDay Source #
Instance details

Defined in Time.Types

Read TimeOfDay Source #
Instance details

Defined in Time.Types

Show TimeOfDay Source #
Instance details

Defined in Time.Types

NFData TimeOfDay Source #
Instance details

Defined in Time.Types

data DateTime Source #

Date and Time

Instances

Instances details
Eq DateTime Source #
Instance details

Defined in Time.Types

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 Source #

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

toConstr :: DateTime -> Constr Source #

dataTypeOf :: DateTime -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Ord DateTime Source #
Instance details

Defined in Time.Types

Read DateTime Source #
Instance details

Defined in Time.Types

Show DateTime Source #
Instance details

Defined in Time.Types

NFData DateTime Source #
Instance details

Defined in Time.Types

Time DateTime Source #
Instance details

Defined in Data.Hourglass.Time

Timeable DateTime Source #
Instance details

Defined in Data.Hourglass.Time