time-1.12: 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

data Format t Source #

A text format for a type

Constructors

MkFormat 

Fields

class FormatTime t where Source #

Methods

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

Since: 1.9.1

Instances

Instances details
FormatTime CalendarDiffDays Source # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

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

FormatTime Day Source # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

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

FormatTime Month Source # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

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

FormatTime DayOfWeek Source # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

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

FormatTime DiffTime Source # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

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

FormatTime NominalDiffTime Source # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

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

FormatTime UTCTime Source # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

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

FormatTime UniversalTime Source # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

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

FormatTime CalendarDiffTime Source # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

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

FormatTime TimeZone Source # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

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

FormatTime TimeOfDay Source # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

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

FormatTime LocalTime Source # 
Instance details

Defined in Data.Time.Format.Format.Instances

Methods

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

FormatTime ZonedTime Source # 
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: 1.9.1

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

Get the string corresponding to the given format specifier.

Since: 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: 1.9.1

Instances

Instances details
ParseTime CalendarDiffDays Source # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime Day Source # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime Month Source # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime DiffTime Source # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime NominalDiffTime Source # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime UTCTime Source # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime UniversalTime Source # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime CalendarDiffTime Source # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime TimeZone Source # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime TimeOfDay Source # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime LocalTime Source # 
Instance details

Defined in Data.Time.Format.Parse.Instances

ParseTime ZonedTime Source # 
Instance details

Defined in Data.Time.Format.Parse.Instances