Safe Haskell	None
Language	Haskell2010

Data.Time

Contents

Compatible with the time package
Incompatible Fay-specific helpers

Description

A limited subset of the time package.

Synopsis

getCurrentTime :: Fay UTCTime
fromGregorian :: Int -> Int -> Int -> Day
data UTCTime
data Day
utctDay :: UTCTime -> Day
showTime :: UTCTime -> Text
showDay :: Day -> Text

Compatible with the time package

getCurrentTime :: Fay UTCTime Source #

Get the current time.

fromGregorian Source #

Arguments

:: Int	Year.
-> Int	Month.
-> Int	Day.
-> Day

Convert from proleptic Gregorian calendar. First argument is year, second month number (1-12), third day (1-31).

data UTCTime Source #

Date representation (internally represented as milliseconds from Epoch).

Instances

Instances details

Eq UTCTime Source #
Instance details Defined in Data.Time Methods (==) :: UTCTime -> UTCTime -> Bool # (/=) :: UTCTime -> UTCTime -> Bool #
Data UTCTime Source #
Instance details Defined in Data.Time Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UTCTime -> c UTCTime # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UTCTime # toConstr :: UTCTime -> Constr # dataTypeOf :: UTCTime -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UTCTime) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UTCTime) # gmapT :: (forall b. Data b => b -> b) -> UTCTime -> UTCTime # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UTCTime -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UTCTime -> r # gmapQ :: (forall d. Data d => d -> u) -> UTCTime -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UTCTime -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UTCTime -> m UTCTime # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UTCTime -> m UTCTime # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UTCTime -> m UTCTime #
Show UTCTime Source #
Instance details Defined in Data.Time Methods showsPrec :: Int -> UTCTime -> ShowS # show :: UTCTime -> String # showList :: [UTCTime] -> ShowS #
Ord UTCTime Source #
Instance details Defined in Data.Time Methods (<) :: UTCTime -> UTCTime -> Bool Source # (<=) :: UTCTime -> UTCTime -> Bool Source # (>) :: UTCTime -> UTCTime -> Bool Source # (>=) :: UTCTime -> UTCTime -> Bool Source #

data Day Source #

Day representation (internally represented as milliseconds from Epoch).

Instances

Instances details

Eq Day Source #
Instance details Defined in Data.Time Methods (==) :: Day -> Day -> Bool # (/=) :: Day -> Day -> Bool #
Data Day Source #
Instance details Defined in Data.Time 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 :: forall r r'. (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 #
Show Day Source #
Instance details Defined in Data.Time Methods showsPrec :: Int -> Day -> ShowS # show :: Day -> String # showList :: [Day] -> ShowS #
Ord Day Source #
Instance details Defined in Data.Time Methods (<) :: Day -> Day -> Bool Source # (<=) :: Day -> Day -> Bool Source # (>) :: Day -> Day -> Bool Source # (>=) :: Day -> Day -> Bool Source #

utctDay :: UTCTime -> Day Source #

Extract the day from the time.

Incompatible Fay-specific helpers

showTime :: UTCTime -> Text Source #

Show a time. Meant for debugging purposes, not production presentation.

showDay :: Day -> Text Source #

Show a day. Meant for debugging purposes, not production presentation.