Safe Haskell	None
Language	Haskell2010

Time

Synopsis

Documentation

data Time Source #

Instances

Eq Time Source #
Methods (==) :: Time -> Time -> Bool # (/=) :: Time -> Time -> Bool #
Ord Time Source #
Methods compare :: Time -> Time -> Ordering # (<) :: Time -> Time -> Bool # (<=) :: Time -> Time -> Bool # (>) :: Time -> Time -> Bool # (>=) :: Time -> Time -> Bool # max :: Time -> Time -> Time # min :: Time -> Time -> Time #
Show Time Source #
Methods showsPrec :: Int -> Time -> ShowS # show :: Time -> String # showList :: [Time] -> ShowS #
Generic Time Source #
Associated Types type Rep Time :: * -> * # Methods from :: Time -> Rep Time x # to :: Rep Time x -> Time #
Binary Time Source #
Methods put :: Time -> Put # get :: Get Time # putList :: [Time] -> Put #
FormatTime Time Source #
Methods formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> Time -> String) #
ParseTime Time Source #
Methods buildTime :: TimeLocale -> [(Char, String)] -> Maybe Time #
Printable Time Source #
Methods print :: Printer p => Time -> p
type Rep Time Source #
type Rep Time = D1 (MetaData "Time" "Time" "liblawless-0.19.2-LdNDigc0pesLArUCs2vELr" True) (C1 (MetaCons "Time" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 UTCTime)))

class ParseTime t where #

The class of types which can be parsed given a UNIX-style time format string.

Minimal complete definition

buildTime

Methods

buildTime :: TimeLocale -> [(Char, String)] -> Maybe t #

Builds a time value from a parsed input string. If the input does not include all the information needed to construct a complete value, any missing parts should be taken from 1970-01-01 00:00:00 +0000 (which was a Thursday). In the absence of %C or %Y, century is 1969 - 2068.

Instances

ParseTime LocalTime
Methods buildTime :: TimeLocale -> [(Char, String)] -> Maybe LocalTime #
ParseTime ZonedTime
Methods buildTime :: TimeLocale -> [(Char, String)] -> Maybe ZonedTime #
ParseTime TimeOfDay
Methods buildTime :: TimeLocale -> [(Char, String)] -> Maybe TimeOfDay #
ParseTime TimeZone
Methods buildTime :: TimeLocale -> [(Char, String)] -> Maybe TimeZone #
ParseTime UTCTime
Methods buildTime :: TimeLocale -> [(Char, String)] -> Maybe UTCTime #
ParseTime Day
Methods buildTime :: TimeLocale -> [(Char, String)] -> Maybe Day #
ParseTime UniversalTime
Methods buildTime :: TimeLocale -> [(Char, String)] -> Maybe UniversalTime #
ParseTime Time #
Methods buildTime :: TimeLocale -> [(Char, String)] -> Maybe Time #

class FormatTime t where #

Minimal complete definition

formatCharacter

Methods

formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> t -> String) #

Instances

FormatTime LocalTime
Methods formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> LocalTime -> String) #
FormatTime ZonedTime
Methods formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> ZonedTime -> String) #
FormatTime TimeOfDay
Methods formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> TimeOfDay -> String) #
FormatTime TimeZone
Methods formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> TimeZone -> String) #
FormatTime UTCTime
Methods formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> UTCTime -> String) #
FormatTime Day
Methods formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> Day -> String) #
FormatTime UniversalTime
Methods formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> UniversalTime -> String) #
FormatTime Time #
Methods formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> Time -> String) #
FormatTime DotNetTime
Methods formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> DotNetTime -> String) #

_Time :: Iso' Time UTCTime Source #

day :: Lens' Time Day Source #

time :: Lens' Time DiffTime Source #

now :: IO Time Source #