time-1.9.3: A time library
Safe HaskellSafe
LanguageHaskell2010

Data.Time.Format.Internal

Description

The contents of this module is liable to change, or disappear entirely. Please let me know if you depend on anything here.

Synopsis

Documentation

class FormatTime t where Source #

Methods

formatCharacter :: Bool -> Char -> Maybe (FormatOptions -> t -> String) Source #

Since: time-1.9.1

Instances

Instances details
FormatTime CalendarDiffDays # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

formatCharacter :: Bool -> Char -> Maybe (FormatOptions -> CalendarDiffDays -> String) Source #

FormatTime Day # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

formatCharacter :: Bool -> Char -> Maybe (FormatOptions -> Day -> String) Source #

FormatTime DayOfWeek # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

formatCharacter :: Bool -> Char -> Maybe (FormatOptions -> DayOfWeek -> String) Source #

FormatTime DiffTime # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

formatCharacter :: Bool -> Char -> Maybe (FormatOptions -> DiffTime -> String) Source #

FormatTime NominalDiffTime # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

formatCharacter :: Bool -> Char -> Maybe (FormatOptions -> NominalDiffTime -> String) Source #

FormatTime UTCTime # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

formatCharacter :: Bool -> Char -> Maybe (FormatOptions -> UTCTime -> String) Source #

FormatTime UniversalTime # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

formatCharacter :: Bool -> Char -> Maybe (FormatOptions -> UniversalTime -> String) Source #

FormatTime CalendarDiffTime # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

formatCharacter :: Bool -> Char -> Maybe (FormatOptions -> CalendarDiffTime -> String) Source #

FormatTime TimeZone # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

formatCharacter :: Bool -> Char -> Maybe (FormatOptions -> TimeZone -> String) Source #

FormatTime TimeOfDay # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

formatCharacter :: Bool -> Char -> Maybe (FormatOptions -> TimeOfDay -> String) Source #

FormatTime LocalTime # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

formatCharacter :: Bool -> Char -> Maybe (FormatOptions -> LocalTime -> String) Source #

FormatTime ZonedTime # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

formatCharacter :: Bool -> Char -> Maybe (FormatOptions -> ZonedTime -> String) Source #

class ParseTime t where Source #

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

Minimal complete definition

parseTimeSpecifier, buildTime

Methods

substituteTimeSpecifier :: proxy t -> TimeLocale -> Char -> Maybe String Source #

Since: time-1.9.1

parseTimeSpecifier :: proxy t -> TimeLocale -> Maybe ParseNumericPadding -> Char -> ReadP String Source #

Get the string corresponding to the given format specifier.

Since: time-1.9.1

buildTime Source #

Arguments

:: TimeLocale

The time locale.

-> [(Char, String)]

Pairs of format characters and the corresponding part of the input.

-> 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.

Since: time-1.9.1

Instances

Instances details
ParseTime CalendarDiffDays # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime Day # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime DiffTime # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime NominalDiffTime # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime UTCTime # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime UniversalTime # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime CalendarDiffTime # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime TimeZone # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime TimeOfDay # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime LocalTime # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime ZonedTime # 
Instance details

Defined in Data.Time.Format.Parse.Instances