time-exts-3.0.3: Yet another time library

Copyright2013-2017 Enzo Haussecker
LicenseBSD3
MaintainerEnzo Haussecker <enzo@sovereign.io>
StabilityStable
Safe HaskellNone
LanguageHaskell2010

Data.Time.Exts.Base

Contents

Description

Basic definitions, including type classes, data types and type families.

Synopsis

Classes

class Human x where Source #

Minimal complete definition

pack, unpack

Associated Types

type Components x :: * Source #

Define the human-readable components of a timestamp.

Methods

pack :: Components x -> x Source #

Pack a timestamp from human-readable components.

unpack :: x -> Components x Source #

Unpack a timestamp to human-readable components.

Instances

Human (UnixDateTimeNanos Gregorian) Source # 
Human (UnixDateTime Gregorian) Source # 
Human (UnixDate Gregorian) Source # 
Human (UTCDateTimeNanos Gregorian) Source # 
Human (UTCDateTime Gregorian) Source # 
Human (UTCDate Gregorian) Source # 

class Math x c where Source #

Minimal complete definition

duration, plus

Methods

duration :: x -> x -> c Source #

Calculate the duration between two timestamps.

plus :: x -> c -> x Source #

Add a duration to a timestamp.

Instances

Math (UnixDateTimeNanos Gregorian) Nanos Source # 
Math (UnixDateTimeNanos Gregorian) Micros Source # 
Math (UnixDateTimeNanos Gregorian) Millis Source # 
Math (UnixDateTimeNanos Gregorian) Second Source # 
Math (UnixDateTimeNanos Gregorian) Minute Source # 
Math (UnixDateTimeNanos Gregorian) Hour Source # 
Math (UnixDateTimeNanos Gregorian) Day Source # 
Math (UnixDateTime Gregorian) Second Source # 
Math (UnixDateTime Gregorian) Minute Source # 
Math (UnixDateTime Gregorian) Hour Source # 
Math (UnixDateTime Gregorian) Day Source # 
Math (UnixDate Gregorian) Day Source # 
Math (UTCDateTimeNanos Gregorian) Nanos Source # 
Math (UTCDateTimeNanos Gregorian) Micros Source # 
Math (UTCDateTimeNanos Gregorian) Millis Source # 
Math (UTCDateTimeNanos Gregorian) Second Source # 
Math (UTCDateTime Gregorian) Second Source # 
Math (UTCDate Gregorian) Day Source # 

Chronologies

data Calendar Source #

System for organizing dates.

Instances

Bounded Calendar Source # 
Enum Calendar Source # 
Eq Calendar Source # 
Data Calendar Source # 

Methods

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

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

toConstr :: Calendar -> Constr #

dataTypeOf :: Calendar -> DataType #

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

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

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

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

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

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

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

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

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

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

Ord Calendar Source # 
Read Calendar Source # 
Show Calendar Source # 
Generic Calendar Source # 

Associated Types

type Rep Calendar :: * -> * #

Methods

from :: Calendar -> Rep Calendar x #

to :: Rep Calendar x -> Calendar #

NFData Calendar Source # 

Methods

rnf :: Calendar -> () #

type Rep Calendar Source # 
type Rep Calendar = D1 (MetaData "Calendar" "Data.Time.Exts.Base" "time-exts-3.0.3-XmpqNldVEYJgDacaKpCMH" False) ((:+:) ((:+:) (C1 (MetaCons "Chinese" PrefixI False) U1) (C1 (MetaCons "Gregorian" PrefixI False) U1)) ((:+:) (C1 (MetaCons "Hebrew" PrefixI False) U1) ((:+:) (C1 (MetaCons "Islamic" PrefixI False) U1) (C1 (MetaCons "Julian" PrefixI False) U1))))

data Epoch Source #

System origin.

Constructors

Unix 

Instances

Bounded Epoch Source # 
Enum Epoch Source # 
Eq Epoch Source # 

Methods

(==) :: Epoch -> Epoch -> Bool #

(/=) :: Epoch -> Epoch -> Bool #

Data Epoch Source # 

Methods

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

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

toConstr :: Epoch -> Constr #

dataTypeOf :: Epoch -> DataType #

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

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

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

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

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

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

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

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

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

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

Ord Epoch Source # 

Methods

compare :: Epoch -> Epoch -> Ordering #

(<) :: Epoch -> Epoch -> Bool #

(<=) :: Epoch -> Epoch -> Bool #

(>) :: Epoch -> Epoch -> Bool #

(>=) :: Epoch -> Epoch -> Bool #

max :: Epoch -> Epoch -> Epoch #

min :: Epoch -> Epoch -> Epoch #

Read Epoch Source # 
Show Epoch Source # 

Methods

showsPrec :: Int -> Epoch -> ShowS #

show :: Epoch -> String #

showList :: [Epoch] -> ShowS #

Generic Epoch Source # 

Associated Types

type Rep Epoch :: * -> * #

Methods

from :: Epoch -> Rep Epoch x #

to :: Rep Epoch x -> Epoch #

NFData Epoch Source # 

Methods

rnf :: Epoch -> () #

type Rep Epoch Source # 
type Rep Epoch = D1 (MetaData "Epoch" "Data.Time.Exts.Base" "time-exts-3.0.3-XmpqNldVEYJgDacaKpCMH" False) (C1 (MetaCons "Unix" PrefixI False) U1)

data family Era (cal :: Calendar) :: * Source #

System for numbering years.

Instances

Bounded (Era Gregorian) Source # 
Enum (Era Gregorian) Source # 
Eq (Era Gregorian) Source # 
Data (Era Gregorian) Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Era Gregorian -> c (Era Gregorian) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Era Gregorian) #

toConstr :: Era Gregorian -> Constr #

dataTypeOf :: Era Gregorian -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (Era Gregorian)) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Era Gregorian)) #

gmapT :: (forall b. Data b => b -> b) -> Era Gregorian -> Era Gregorian #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Era Gregorian -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Era Gregorian -> r #

gmapQ :: (forall d. Data d => d -> u) -> Era Gregorian -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Era Gregorian -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Era Gregorian -> m (Era Gregorian) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Era Gregorian -> m (Era Gregorian) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Era Gregorian -> m (Era Gregorian) #

Ord (Era Gregorian) Source # 
Read (Era Gregorian) Source # 
Show (Era Gregorian) Source # 
Generic (Era Gregorian) Source # 

Associated Types

type Rep (Era Gregorian) :: * -> * #

NFData (Era Gregorian) Source # 

Methods

rnf :: Era Gregorian -> () #

data Era Gregorian Source # 
type Rep (Era Gregorian) Source # 
type Rep (Era Gregorian) = D1 (MetaData "Era" "Data.Time.Exts.Base" "time-exts-3.0.3-XmpqNldVEYJgDacaKpCMH" False) ((:+:) (C1 (MetaCons "BeforeChrist" PrefixI False) U1) (C1 (MetaCons "AnnoDomini" PrefixI False) U1))

Components

newtype Year Source #

Year.

Constructors

Year 

Fields

Instances

Bounded Year Source # 
Enum Year Source # 

Methods

succ :: Year -> Year #

pred :: Year -> Year #

toEnum :: Int -> Year #

fromEnum :: Year -> Int #

enumFrom :: Year -> [Year] #

enumFromThen :: Year -> Year -> [Year] #

enumFromTo :: Year -> Year -> [Year] #

enumFromThenTo :: Year -> Year -> Year -> [Year] #

Eq Year Source # 

Methods

(==) :: Year -> Year -> Bool #

(/=) :: Year -> Year -> Bool #

Integral Year Source # 

Methods

quot :: Year -> Year -> Year #

rem :: Year -> Year -> Year #

div :: Year -> Year -> Year #

mod :: Year -> Year -> Year #

quotRem :: Year -> Year -> (Year, Year) #

divMod :: Year -> Year -> (Year, Year) #

toInteger :: Year -> Integer #

Data Year Source # 

Methods

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

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

toConstr :: Year -> Constr #

dataTypeOf :: Year -> DataType #

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

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

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

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

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

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

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

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

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

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

Num Year Source # 

Methods

(+) :: Year -> Year -> Year #

(-) :: Year -> Year -> Year #

(*) :: Year -> Year -> Year #

negate :: Year -> Year #

abs :: Year -> Year #

signum :: Year -> Year #

fromInteger :: Integer -> Year #

Ord Year Source # 

Methods

compare :: Year -> Year -> Ordering #

(<) :: Year -> Year -> Bool #

(<=) :: Year -> Year -> Bool #

(>) :: Year -> Year -> Bool #

(>=) :: Year -> Year -> Bool #

max :: Year -> Year -> Year #

min :: Year -> Year -> Year #

Read Year Source # 
Real Year Source # 

Methods

toRational :: Year -> Rational #

Show Year Source # 

Methods

showsPrec :: Int -> Year -> ShowS #

show :: Year -> String #

showList :: [Year] -> ShowS #

Generic Year Source # 

Associated Types

type Rep Year :: * -> * #

Methods

from :: Year -> Rep Year x #

to :: Rep Year x -> Year #

PrintfArg Year Source # 
NFData Year Source # 

Methods

rnf :: Year -> () #

type Rep Year Source # 
type Rep Year = D1 (MetaData "Year" "Data.Time.Exts.Base" "time-exts-3.0.3-XmpqNldVEYJgDacaKpCMH" True) (C1 (MetaCons "Year" PrefixI True) (S1 (MetaSel (Just Symbol "getYear") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int32)))

data family Month (cal :: Calendar) :: * Source #

Month.

Instances

Bounded (Month Gregorian) Source # 
Enum (Month Gregorian) Source # 
Eq (Month Gregorian) Source # 
Data (Month Gregorian) Source # 

Methods

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

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

toConstr :: Month Gregorian -> Constr #

dataTypeOf :: Month Gregorian -> DataType #

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

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

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

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

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

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

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

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

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

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

Ord (Month Gregorian) Source # 
Read (Month Gregorian) Source # 
Show (Month Gregorian) Source # 
Generic (Month Gregorian) Source # 

Associated Types

type Rep (Month Gregorian) :: * -> * #

NFData (Month Gregorian) Source # 

Methods

rnf :: Month Gregorian -> () #

data Month Gregorian Source # 
type Rep (Month Gregorian) Source # 
type Rep (Month Gregorian) = D1 (MetaData "Month" "Data.Time.Exts.Base" "time-exts-3.0.3-XmpqNldVEYJgDacaKpCMH" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "January" PrefixI False) U1) ((:+:) (C1 (MetaCons "February" PrefixI False) U1) (C1 (MetaCons "March" PrefixI False) U1))) ((:+:) (C1 (MetaCons "April" PrefixI False) U1) ((:+:) (C1 (MetaCons "May" PrefixI False) U1) (C1 (MetaCons "June" PrefixI False) U1)))) ((:+:) ((:+:) (C1 (MetaCons "July" PrefixI False) U1) ((:+:) (C1 (MetaCons "August" PrefixI False) U1) (C1 (MetaCons "September" PrefixI False) U1))) ((:+:) (C1 (MetaCons "October" PrefixI False) U1) ((:+:) (C1 (MetaCons "November" PrefixI False) U1) (C1 (MetaCons "December" PrefixI False) U1)))))

newtype Day Source #

Day.

Constructors

Day 

Fields

Instances

Bounded Day Source # 

Methods

minBound :: Day #

maxBound :: Day #

Enum Day Source # 

Methods

succ :: Day -> Day #

pred :: Day -> Day #

toEnum :: Int -> Day #

fromEnum :: Day -> Int #

enumFrom :: Day -> [Day] #

enumFromThen :: Day -> Day -> [Day] #

enumFromTo :: Day -> Day -> [Day] #

enumFromThenTo :: Day -> Day -> Day -> [Day] #

Eq Day Source # 

Methods

(==) :: Day -> Day -> Bool #

(/=) :: Day -> Day -> Bool #

Integral Day Source # 

Methods

quot :: Day -> Day -> Day #

rem :: Day -> Day -> Day #

div :: Day -> Day -> Day #

mod :: Day -> Day -> Day #

quotRem :: Day -> Day -> (Day, Day) #

divMod :: Day -> Day -> (Day, Day) #

toInteger :: Day -> Integer #

Data Day Source # 

Methods

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

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

toConstr :: Day -> Constr #

dataTypeOf :: Day -> DataType #

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

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

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

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

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

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

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

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

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

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

Num Day Source # 

Methods

(+) :: Day -> Day -> Day #

(-) :: Day -> Day -> Day #

(*) :: Day -> Day -> Day #

negate :: Day -> Day #

abs :: Day -> Day #

signum :: Day -> Day #

fromInteger :: Integer -> Day #

Ord Day Source # 

Methods

compare :: Day -> Day -> Ordering #

(<) :: Day -> Day -> Bool #

(<=) :: Day -> Day -> Bool #

(>) :: Day -> Day -> Bool #

(>=) :: Day -> Day -> Bool #

max :: Day -> Day -> Day #

min :: Day -> Day -> Day #

Read Day Source # 
Real Day Source # 

Methods

toRational :: Day -> Rational #

Show Day Source # 

Methods

showsPrec :: Int -> Day -> ShowS #

show :: Day -> String #

showList :: [Day] -> ShowS #

Generic Day Source # 

Associated Types

type Rep Day :: * -> * #

Methods

from :: Day -> Rep Day x #

to :: Rep Day x -> Day #

PrintfArg Day Source # 
NFData Day Source # 

Methods

rnf :: Day -> () #

Math (UnixDateTimeNanos Gregorian) Day Source # 
Math (UnixDateTime Gregorian) Day Source # 
Math (UnixDate Gregorian) Day Source # 
Math (UTCDate Gregorian) Day Source # 
type Rep Day Source # 
type Rep Day = D1 (MetaData "Day" "Data.Time.Exts.Base" "time-exts-3.0.3-XmpqNldVEYJgDacaKpCMH" True) (C1 (MetaCons "Day" PrefixI True) (S1 (MetaSel (Just Symbol "getDay") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int32)))

data family DayOfWeek (cal :: Calendar) :: * Source #

Day of week.

Instances

Bounded (DayOfWeek Gregorian) Source # 
Enum (DayOfWeek Gregorian) Source # 
Eq (DayOfWeek Gregorian) Source # 
Data (DayOfWeek Gregorian) Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DayOfWeek Gregorian -> c (DayOfWeek Gregorian) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (DayOfWeek Gregorian) #

toConstr :: DayOfWeek Gregorian -> Constr #

dataTypeOf :: DayOfWeek Gregorian -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (DayOfWeek Gregorian)) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (DayOfWeek Gregorian)) #

gmapT :: (forall b. Data b => b -> b) -> DayOfWeek Gregorian -> DayOfWeek Gregorian #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DayOfWeek Gregorian -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DayOfWeek Gregorian -> r #

gmapQ :: (forall d. Data d => d -> u) -> DayOfWeek Gregorian -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DayOfWeek Gregorian -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DayOfWeek Gregorian -> m (DayOfWeek Gregorian) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DayOfWeek Gregorian -> m (DayOfWeek Gregorian) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DayOfWeek Gregorian -> m (DayOfWeek Gregorian) #

Ord (DayOfWeek Gregorian) Source # 
Read (DayOfWeek Gregorian) Source # 
Show (DayOfWeek Gregorian) Source # 
Generic (DayOfWeek Gregorian) Source # 

Associated Types

type Rep (DayOfWeek Gregorian) :: * -> * #

NFData (DayOfWeek Gregorian) Source # 

Methods

rnf :: DayOfWeek Gregorian -> () #

data DayOfWeek Gregorian Source # 
type Rep (DayOfWeek Gregorian) Source # 
type Rep (DayOfWeek Gregorian) = D1 (MetaData "DayOfWeek" "Data.Time.Exts.Base" "time-exts-3.0.3-XmpqNldVEYJgDacaKpCMH" False) ((:+:) ((:+:) (C1 (MetaCons "Sunday" PrefixI False) U1) ((:+:) (C1 (MetaCons "Monday" PrefixI False) U1) (C1 (MetaCons "Tuesday" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "Wednesday" PrefixI False) U1) (C1 (MetaCons "Thursday" PrefixI False) U1)) ((:+:) (C1 (MetaCons "Friday" PrefixI False) U1) (C1 (MetaCons "Saturday" PrefixI False) U1))))

newtype Hour Source #

Hour.

Constructors

Hour 

Fields

Instances

Bounded Hour Source # 
Enum Hour Source # 

Methods

succ :: Hour -> Hour #

pred :: Hour -> Hour #

toEnum :: Int -> Hour #

fromEnum :: Hour -> Int #

enumFrom :: Hour -> [Hour] #

enumFromThen :: Hour -> Hour -> [Hour] #

enumFromTo :: Hour -> Hour -> [Hour] #

enumFromThenTo :: Hour -> Hour -> Hour -> [Hour] #

Eq Hour Source # 

Methods

(==) :: Hour -> Hour -> Bool #

(/=) :: Hour -> Hour -> Bool #

Integral Hour Source # 

Methods

quot :: Hour -> Hour -> Hour #

rem :: Hour -> Hour -> Hour #

div :: Hour -> Hour -> Hour #

mod :: Hour -> Hour -> Hour #

quotRem :: Hour -> Hour -> (Hour, Hour) #

divMod :: Hour -> Hour -> (Hour, Hour) #

toInteger :: Hour -> Integer #

Data Hour Source # 

Methods

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

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

toConstr :: Hour -> Constr #

dataTypeOf :: Hour -> DataType #

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

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

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

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

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

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

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

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

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

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

Num Hour Source # 

Methods

(+) :: Hour -> Hour -> Hour #

(-) :: Hour -> Hour -> Hour #

(*) :: Hour -> Hour -> Hour #

negate :: Hour -> Hour #

abs :: Hour -> Hour #

signum :: Hour -> Hour #

fromInteger :: Integer -> Hour #

Ord Hour Source # 

Methods

compare :: Hour -> Hour -> Ordering #

(<) :: Hour -> Hour -> Bool #

(<=) :: Hour -> Hour -> Bool #

(>) :: Hour -> Hour -> Bool #

(>=) :: Hour -> Hour -> Bool #

max :: Hour -> Hour -> Hour #

min :: Hour -> Hour -> Hour #

Read Hour Source # 
Real Hour Source # 

Methods

toRational :: Hour -> Rational #

Show Hour Source # 

Methods

showsPrec :: Int -> Hour -> ShowS #

show :: Hour -> String #

showList :: [Hour] -> ShowS #

Generic Hour Source # 

Associated Types

type Rep Hour :: * -> * #

Methods

from :: Hour -> Rep Hour x #

to :: Rep Hour x -> Hour #

PrintfArg Hour Source # 
NFData Hour Source # 

Methods

rnf :: Hour -> () #

Math (UnixDateTimeNanos Gregorian) Hour Source # 
Math (UnixDateTime Gregorian) Hour Source # 
type Rep Hour Source # 
type Rep Hour = D1 (MetaData "Hour" "Data.Time.Exts.Base" "time-exts-3.0.3-XmpqNldVEYJgDacaKpCMH" True) (C1 (MetaCons "Hour" PrefixI True) (S1 (MetaSel (Just Symbol "getHour") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int64)))

newtype Minute Source #

Minute.

Constructors

Minute 

Fields

Instances

Bounded Minute Source # 
Enum Minute Source # 
Eq Minute Source # 

Methods

(==) :: Minute -> Minute -> Bool #

(/=) :: Minute -> Minute -> Bool #

Integral Minute Source # 
Data Minute Source # 

Methods

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

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

toConstr :: Minute -> Constr #

dataTypeOf :: Minute -> DataType #

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

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

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

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

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

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

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

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

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

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

Num Minute Source # 
Ord Minute Source # 
Read Minute Source # 
Real Minute Source # 
Show Minute Source # 
Generic Minute Source # 

Associated Types

type Rep Minute :: * -> * #

Methods

from :: Minute -> Rep Minute x #

to :: Rep Minute x -> Minute #

PrintfArg Minute Source # 
NFData Minute Source # 

Methods

rnf :: Minute -> () #

Math (UnixDateTimeNanos Gregorian) Minute Source # 
Math (UnixDateTime Gregorian) Minute Source # 
type Rep Minute Source # 
type Rep Minute = D1 (MetaData "Minute" "Data.Time.Exts.Base" "time-exts-3.0.3-XmpqNldVEYJgDacaKpCMH" True) (C1 (MetaCons "Minute" PrefixI True) (S1 (MetaSel (Just Symbol "getMinute") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int64)))

newtype Second Source #

Second.

Constructors

Second 

Fields

Instances

Bounded Second Source # 
Enum Second Source # 
Eq Second Source # 

Methods

(==) :: Second -> Second -> Bool #

(/=) :: Second -> Second -> Bool #

Integral Second Source # 
Data Second Source # 

Methods

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

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

toConstr :: Second -> Constr #

dataTypeOf :: Second -> DataType #

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

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

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

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

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

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

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

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

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

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

Num Second Source # 
Ord Second Source # 
Read Second Source # 
Real Second Source # 
Show Second Source # 
Generic Second Source # 

Associated Types

type Rep Second :: * -> * #

Methods

from :: Second -> Rep Second x #

to :: Rep Second x -> Second #

PrintfArg Second Source # 
NFData Second Source # 

Methods

rnf :: Second -> () #

Math (UnixDateTimeNanos Gregorian) Second Source # 
Math (UnixDateTime Gregorian) Second Source # 
Math (UTCDateTimeNanos Gregorian) Second Source # 
Math (UTCDateTime Gregorian) Second Source # 
type Rep Second Source # 
type Rep Second = D1 (MetaData "Second" "Data.Time.Exts.Base" "time-exts-3.0.3-XmpqNldVEYJgDacaKpCMH" True) (C1 (MetaCons "Second" PrefixI True) (S1 (MetaSel (Just Symbol "getSecond") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int64)))

newtype Millis Source #

Millisecond.

Constructors

Millis 

Fields

Instances

Bounded Millis Source # 
Enum Millis Source # 
Eq Millis Source # 

Methods

(==) :: Millis -> Millis -> Bool #

(/=) :: Millis -> Millis -> Bool #

Integral Millis Source # 
Data Millis Source # 

Methods

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

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

toConstr :: Millis -> Constr #

dataTypeOf :: Millis -> DataType #

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

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

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

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

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

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

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

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

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

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

Num Millis Source # 
Ord Millis Source # 
Read Millis Source # 
Real Millis Source # 
Show Millis Source # 
Generic Millis Source # 

Associated Types

type Rep Millis :: * -> * #

Methods

from :: Millis -> Rep Millis x #

to :: Rep Millis x -> Millis #

PrintfArg Millis Source # 
NFData Millis Source # 

Methods

rnf :: Millis -> () #

Math (UnixDateTimeNanos Gregorian) Millis Source # 
Math (UTCDateTimeNanos Gregorian) Millis Source # 
type Rep Millis Source # 
type Rep Millis = D1 (MetaData "Millis" "Data.Time.Exts.Base" "time-exts-3.0.3-XmpqNldVEYJgDacaKpCMH" True) (C1 (MetaCons "Millis" PrefixI True) (S1 (MetaSel (Just Symbol "getMillis") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int64)))

newtype Micros Source #

Microsecond.

Constructors

Micros 

Fields

Instances

Bounded Micros Source # 
Enum Micros Source # 
Eq Micros Source # 

Methods

(==) :: Micros -> Micros -> Bool #

(/=) :: Micros -> Micros -> Bool #

Integral Micros Source # 
Data Micros Source # 

Methods

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

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

toConstr :: Micros -> Constr #

dataTypeOf :: Micros -> DataType #

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

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

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

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

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

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

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

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

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

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

Num Micros Source # 
Ord Micros Source # 
Read Micros Source # 
Real Micros Source # 
Show Micros Source # 
Generic Micros Source # 

Associated Types

type Rep Micros :: * -> * #

Methods

from :: Micros -> Rep Micros x #

to :: Rep Micros x -> Micros #

PrintfArg Micros Source # 
NFData Micros Source # 

Methods

rnf :: Micros -> () #

Math (UnixDateTimeNanos Gregorian) Micros Source # 
Math (UTCDateTimeNanos Gregorian) Micros Source # 
type Rep Micros Source # 
type Rep Micros = D1 (MetaData "Micros" "Data.Time.Exts.Base" "time-exts-3.0.3-XmpqNldVEYJgDacaKpCMH" True) (C1 (MetaCons "Micros" PrefixI True) (S1 (MetaSel (Just Symbol "getMicros") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int64)))

newtype Nanos Source #

Nanosecond.

Constructors

Nanos 

Fields

Instances

Bounded Nanos Source # 
Enum Nanos Source # 
Eq Nanos Source # 

Methods

(==) :: Nanos -> Nanos -> Bool #

(/=) :: Nanos -> Nanos -> Bool #

Integral Nanos Source # 
Data Nanos Source # 

Methods

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

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

toConstr :: Nanos -> Constr #

dataTypeOf :: Nanos -> DataType #

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

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

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

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

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

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

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

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

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

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

Num Nanos Source # 
Ord Nanos Source # 

Methods

compare :: Nanos -> Nanos -> Ordering #

(<) :: Nanos -> Nanos -> Bool #

(<=) :: Nanos -> Nanos -> Bool #

(>) :: Nanos -> Nanos -> Bool #

(>=) :: Nanos -> Nanos -> Bool #

max :: Nanos -> Nanos -> Nanos #

min :: Nanos -> Nanos -> Nanos #

Read Nanos Source # 
Real Nanos Source # 

Methods

toRational :: Nanos -> Rational #

Show Nanos Source # 

Methods

showsPrec :: Int -> Nanos -> ShowS #

show :: Nanos -> String #

showList :: [Nanos] -> ShowS #

Generic Nanos Source # 

Associated Types

type Rep Nanos :: * -> * #

Methods

from :: Nanos -> Rep Nanos x #

to :: Rep Nanos x -> Nanos #

PrintfArg Nanos Source # 
NFData Nanos Source # 

Methods

rnf :: Nanos -> () #

Math (UnixDateTimeNanos Gregorian) Nanos Source # 
Math (UTCDateTimeNanos Gregorian) Nanos Source # 
type Rep Nanos Source # 
type Rep Nanos = D1 (MetaData "Nanos" "Data.Time.Exts.Base" "time-exts-3.0.3-XmpqNldVEYJgDacaKpCMH" True) (C1 (MetaCons "Nanos" PrefixI True) (S1 (MetaSel (Just Symbol "getNanos") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int64)))

newtype Picos Source #

Picosecond.

Constructors

Picos 

Fields

Instances

Bounded Picos Source # 
Enum Picos Source # 
Eq Picos Source # 

Methods

(==) :: Picos -> Picos -> Bool #

(/=) :: Picos -> Picos -> Bool #

Integral Picos Source # 
Data Picos Source # 

Methods

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

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

toConstr :: Picos -> Constr #

dataTypeOf :: Picos -> DataType #

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

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

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

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

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

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

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

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

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

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

Num Picos Source # 
Ord Picos Source # 

Methods

compare :: Picos -> Picos -> Ordering #

(<) :: Picos -> Picos -> Bool #

(<=) :: Picos -> Picos -> Bool #

(>) :: Picos -> Picos -> Bool #

(>=) :: Picos -> Picos -> Bool #

max :: Picos -> Picos -> Picos #

min :: Picos -> Picos -> Picos #

Read Picos Source # 
Real Picos Source # 

Methods

toRational :: Picos -> Rational #

Show Picos Source # 

Methods

showsPrec :: Int -> Picos -> ShowS #

show :: Picos -> String #

showList :: [Picos] -> ShowS #

Generic Picos Source # 

Associated Types

type Rep Picos :: * -> * #

Methods

from :: Picos -> Rep Picos x #

to :: Rep Picos x -> Picos #

PrintfArg Picos Source # 
NFData Picos Source # 

Methods

rnf :: Picos -> () #

type Rep Picos Source # 
type Rep Picos = D1 (MetaData "Picos" "Data.Time.Exts.Base" "time-exts-3.0.3-XmpqNldVEYJgDacaKpCMH" True) (C1 (MetaCons "Picos" PrefixI True) (S1 (MetaSel (Just Symbol "getPicos") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int64)))

Structs

data DateStruct cal Source #

A struct with date components.

Constructors

DateStruct 

Fields

Instances

(Eq (Month cal), Eq (DayOfWeek cal)) => Eq (DateStruct cal) Source # 

Methods

(==) :: DateStruct cal -> DateStruct cal -> Bool #

(/=) :: DateStruct cal -> DateStruct cal -> Bool #

(Data (Month cal), Data (DayOfWeek cal), Typeable Calendar cal) => Data (DateStruct cal) Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DateStruct cal -> c (DateStruct cal) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (DateStruct cal) #

toConstr :: DateStruct cal -> Constr #

dataTypeOf :: DateStruct cal -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (DateStruct cal)) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (DateStruct cal)) #

gmapT :: (forall b. Data b => b -> b) -> DateStruct cal -> DateStruct cal #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DateStruct cal -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DateStruct cal -> r #

gmapQ :: (forall d. Data d => d -> u) -> DateStruct cal -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DateStruct cal -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DateStruct cal -> m (DateStruct cal) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DateStruct cal -> m (DateStruct cal) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DateStruct cal -> m (DateStruct cal) #

(Show (Month cal), Show (DayOfWeek cal)) => Show (DateStruct cal) Source # 

Methods

showsPrec :: Int -> DateStruct cal -> ShowS #

show :: DateStruct cal -> String #

showList :: [DateStruct cal] -> ShowS #

Generic (DateStruct cal) Source # 

Associated Types

type Rep (DateStruct cal) :: * -> * #

Methods

from :: DateStruct cal -> Rep (DateStruct cal) x #

to :: Rep (DateStruct cal) x -> DateStruct cal #

(NFData (Month cal), NFData (DayOfWeek cal)) => NFData (DateStruct cal) Source # 

Methods

rnf :: DateStruct cal -> () #

type Rep (DateStruct cal) Source # 
type Rep (DateStruct cal) = D1 (MetaData "DateStruct" "Data.Time.Exts.Base" "time-exts-3.0.3-XmpqNldVEYJgDacaKpCMH" False) (C1 (MetaCons "DateStruct" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_d_year") SourceUnpack SourceStrict DecidedStrict) (Rec0 Year)) (S1 (MetaSel (Just Symbol "_d_mon") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Month cal)))) ((:*:) (S1 (MetaSel (Just Symbol "_d_mday") SourceUnpack SourceStrict DecidedStrict) (Rec0 Day)) (S1 (MetaSel (Just Symbol "_d_wday") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DayOfWeek cal))))))

data TimeStruct Source #

A struct with time components.

Constructors

TimeStruct 

Fields

Instances

Eq TimeStruct Source # 
Data TimeStruct Source # 

Methods

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

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

toConstr :: TimeStruct -> Constr #

dataTypeOf :: TimeStruct -> DataType #

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

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

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

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

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

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

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

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

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

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

Show TimeStruct Source # 
Generic TimeStruct Source # 

Associated Types

type Rep TimeStruct :: * -> * #

NFData TimeStruct Source # 

Methods

rnf :: TimeStruct -> () #

type Rep TimeStruct Source # 
type Rep TimeStruct = D1 (MetaData "TimeStruct" "Data.Time.Exts.Base" "time-exts-3.0.3-XmpqNldVEYJgDacaKpCMH" False) (C1 (MetaCons "TimeStruct" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "_t_hour") SourceUnpack SourceStrict DecidedStrict) (Rec0 Hour)) ((:*:) (S1 (MetaSel (Just Symbol "_t_min") SourceUnpack SourceStrict DecidedStrict) (Rec0 Minute)) (S1 (MetaSel (Just Symbol "_t_sec") SourceUnpack SourceStrict DecidedStrict) (Rec0 Double)))))

data DateTimeStruct cal Source #

A struct with date and time components.

Constructors

DateTimeStruct 

Fields

Instances

(Eq (Month cal), Eq (DayOfWeek cal)) => Eq (DateTimeStruct cal) Source # 
(Data (Month cal), Data (DayOfWeek cal), Typeable Calendar cal) => Data (DateTimeStruct cal) Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DateTimeStruct cal -> c (DateTimeStruct cal) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (DateTimeStruct cal) #

toConstr :: DateTimeStruct cal -> Constr #

dataTypeOf :: DateTimeStruct cal -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (DateTimeStruct cal)) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (DateTimeStruct cal)) #

gmapT :: (forall b. Data b => b -> b) -> DateTimeStruct cal -> DateTimeStruct cal #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DateTimeStruct cal -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DateTimeStruct cal -> r #

gmapQ :: (forall d. Data d => d -> u) -> DateTimeStruct cal -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DateTimeStruct cal -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DateTimeStruct cal -> m (DateTimeStruct cal) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DateTimeStruct cal -> m (DateTimeStruct cal) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DateTimeStruct cal -> m (DateTimeStruct cal) #

(Show (Month cal), Show (DayOfWeek cal)) => Show (DateTimeStruct cal) Source # 
Generic (DateTimeStruct cal) Source # 

Associated Types

type Rep (DateTimeStruct cal) :: * -> * #

Methods

from :: DateTimeStruct cal -> Rep (DateTimeStruct cal) x #

to :: Rep (DateTimeStruct cal) x -> DateTimeStruct cal #

(NFData (Month cal), NFData (DayOfWeek cal)) => NFData (DateTimeStruct cal) Source # 

Methods

rnf :: DateTimeStruct cal -> () #

type Rep (DateTimeStruct cal) Source # 

data LocalDateStruct cal Source #

A struct with date and time zone components.

Constructors

LocalDateStruct 

Fields

Instances

(Eq (Month cal), Eq (DayOfWeek cal)) => Eq (LocalDateStruct cal) Source # 
(Data (Month cal), Data (DayOfWeek cal), Typeable Calendar cal) => Data (LocalDateStruct cal) Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LocalDateStruct cal -> c (LocalDateStruct cal) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (LocalDateStruct cal) #

toConstr :: LocalDateStruct cal -> Constr #

dataTypeOf :: LocalDateStruct cal -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (LocalDateStruct cal)) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (LocalDateStruct cal)) #

gmapT :: (forall b. Data b => b -> b) -> LocalDateStruct cal -> LocalDateStruct cal #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LocalDateStruct cal -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LocalDateStruct cal -> r #

gmapQ :: (forall d. Data d => d -> u) -> LocalDateStruct cal -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> LocalDateStruct cal -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LocalDateStruct cal -> m (LocalDateStruct cal) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LocalDateStruct cal -> m (LocalDateStruct cal) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LocalDateStruct cal -> m (LocalDateStruct cal) #

(Show (Month cal), Show (DayOfWeek cal)) => Show (LocalDateStruct cal) Source # 
Generic (LocalDateStruct cal) Source # 

Associated Types

type Rep (LocalDateStruct cal) :: * -> * #

Methods

from :: LocalDateStruct cal -> Rep (LocalDateStruct cal) x #

to :: Rep (LocalDateStruct cal) x -> LocalDateStruct cal #

(NFData (Month cal), NFData (DayOfWeek cal)) => NFData (LocalDateStruct cal) Source # 

Methods

rnf :: LocalDateStruct cal -> () #

type Rep (LocalDateStruct cal) Source # 
type Rep (LocalDateStruct cal) = D1 (MetaData "LocalDateStruct" "Data.Time.Exts.Base" "time-exts-3.0.3-XmpqNldVEYJgDacaKpCMH" False) (C1 (MetaCons "LocalDateStruct" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_ld_year") SourceUnpack SourceStrict DecidedStrict) (Rec0 Year)) (S1 (MetaSel (Just Symbol "_ld_mon") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (Month cal)))) ((:*:) (S1 (MetaSel (Just Symbol "_ld_mday") SourceUnpack SourceStrict DecidedStrict) (Rec0 Day)) ((:*:) (S1 (MetaSel (Just Symbol "_ld_wday") NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 (DayOfWeek cal))) (S1 (MetaSel (Just Symbol "_ld_zone") SourceUnpack SourceStrict DecidedStrict) (Rec0 TimeZone))))))

data LocalTimeStruct Source #

A struct with time and time zone components.

Constructors

LocalTimeStruct 

Instances

Eq LocalTimeStruct Source # 
Data LocalTimeStruct Source # 

Methods

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

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

toConstr :: LocalTimeStruct -> Constr #

dataTypeOf :: LocalTimeStruct -> DataType #

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

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

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

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

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

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

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

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

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

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

Show LocalTimeStruct Source # 
Generic LocalTimeStruct Source # 
NFData LocalTimeStruct Source # 

Methods

rnf :: LocalTimeStruct -> () #

type Rep LocalTimeStruct Source # 
type Rep LocalTimeStruct = D1 (MetaData "LocalTimeStruct" "Data.Time.Exts.Base" "time-exts-3.0.3-XmpqNldVEYJgDacaKpCMH" False) (C1 (MetaCons "LocalTimeStruct" PrefixI True) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "_lt_hour") SourceUnpack SourceStrict DecidedStrict) (Rec0 Hour)) (S1 (MetaSel (Just Symbol "_lt_min") SourceUnpack SourceStrict DecidedStrict) (Rec0 Minute))) ((:*:) (S1 (MetaSel (Just Symbol "_lt_sec") SourceUnpack SourceStrict DecidedStrict) (Rec0 Double)) (S1 (MetaSel (Just Symbol "_lt_zone") SourceUnpack SourceStrict DecidedStrict) (Rec0 TimeZone)))))

data LocalDateTimeStruct cal Source #

A struct with date, time, and time zone components.

Instances

(Eq (Month cal), Eq (DayOfWeek cal)) => Eq (LocalDateTimeStruct cal) Source # 
(Data (Month cal), Data (DayOfWeek cal), Typeable Calendar cal) => Data (LocalDateTimeStruct cal) Source # 

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LocalDateTimeStruct cal -> c (LocalDateTimeStruct cal) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (LocalDateTimeStruct cal) #

toConstr :: LocalDateTimeStruct cal -> Constr #

dataTypeOf :: LocalDateTimeStruct cal -> DataType #

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (LocalDateTimeStruct cal)) #

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (LocalDateTimeStruct cal)) #

gmapT :: (forall b. Data b => b -> b) -> LocalDateTimeStruct cal -> LocalDateTimeStruct cal #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LocalDateTimeStruct cal -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LocalDateTimeStruct cal -> r #

gmapQ :: (forall d. Data d => d -> u) -> LocalDateTimeStruct cal -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> LocalDateTimeStruct cal -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> LocalDateTimeStruct cal -> m (LocalDateTimeStruct cal) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LocalDateTimeStruct cal -> m (LocalDateTimeStruct cal) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LocalDateTimeStruct cal -> m (LocalDateTimeStruct cal) #

(Show (Month cal), Show (DayOfWeek cal)) => Show (LocalDateTimeStruct cal) Source # 
Generic (LocalDateTimeStruct cal) Source # 

Associated Types

type Rep (LocalDateTimeStruct cal) :: * -> * #

(NFData (Month cal), NFData (DayOfWeek cal)) => NFData (LocalDateTimeStruct cal) Source # 

Methods

rnf :: LocalDateTimeStruct cal -> () #

type Rep (LocalDateTimeStruct cal) Source # 

Fractions

properFracMillis :: RealFrac a => a -> (Second, Millis) Source #

Decompose a floating point number into second and millisecond components.

properFracMicros :: RealFrac a => a -> (Second, Micros) Source #

Decompose a floating point number into second and microsecond components.

properFracNanos :: RealFrac a => a -> (Second, Nanos) Source #

Decompose a floating point number into second and nanosecond components.

properFracPicos :: RealFrac a => a -> (Second, Picos) Source #

Decompose a floating point number into second and picosecond components.