Safe Haskell	None
Language	Haskell2010

Data.Time.Clock.TAI.LeapData

Synopsis

Documentation

data SourceType Source #

A support type for deperating out the protocol over which to retrieve data.

Constructors

File
HTTPS

Instances

Bounded SourceType Source #
Methods minBound :: SourceType # maxBound :: SourceType #
Enum SourceType Source #
Methods succ :: SourceType -> SourceType # pred :: SourceType -> SourceType # toEnum :: Int -> SourceType # fromEnum :: SourceType -> Int # enumFrom :: SourceType -> [SourceType] # enumFromThen :: SourceType -> SourceType -> [SourceType] # enumFromTo :: SourceType -> SourceType -> [SourceType] # enumFromThenTo :: SourceType -> SourceType -> SourceType -> [SourceType] #
Eq SourceType Source #
Methods (==) :: SourceType -> SourceType -> Bool # (/=) :: SourceType -> SourceType -> Bool #
Ord SourceType Source #
Methods compare :: SourceType -> SourceType -> Ordering # (<) :: SourceType -> SourceType -> Bool # (<=) :: SourceType -> SourceType -> Bool # (>) :: SourceType -> SourceType -> Bool # (>=) :: SourceType -> SourceType -> Bool # max :: SourceType -> SourceType -> SourceType # min :: SourceType -> SourceType -> SourceType #
Read SourceType Source #
Methods readsPrec :: Int -> ReadS SourceType # readList :: ReadS [SourceType] # readPrec :: ReadPrec SourceType # readListPrec :: ReadPrec [SourceType] #
Show SourceType Source #
Methods showsPrec :: Int -> SourceType -> ShowS # show :: SourceType -> String # showList :: [SourceType] -> ShowS #

data LeapSource Source #

A leap second list location tagged with a protocol for retrieving it.

Constructors

LeapSource
Fields sourceType :: SourceType source :: String

Instances

Eq LeapSource Source #
Methods (==) :: LeapSource -> LeapSource -> Bool # (/=) :: LeapSource -> LeapSource -> Bool #
Ord LeapSource Source #
Methods compare :: LeapSource -> LeapSource -> Ordering # (<) :: LeapSource -> LeapSource -> Bool # (<=) :: LeapSource -> LeapSource -> Bool # (>) :: LeapSource -> LeapSource -> Bool # (>=) :: LeapSource -> LeapSource -> Bool # max :: LeapSource -> LeapSource -> LeapSource # min :: LeapSource -> LeapSource -> LeapSource #
Read LeapSource Source #
Methods readsPrec :: Int -> ReadS LeapSource # readList :: ReadS [LeapSource] # readPrec :: ReadPrec LeapSource # readListPrec :: ReadPrec [LeapSource] #
Show LeapSource Source #
Methods showsPrec :: Int -> LeapSource -> ShowS # show :: LeapSource -> String # showList :: [LeapSource] -> ShowS #

type LeapSources = [LeapSource] Source #

LeapSources is a list of strings, specifying URIs the program can potentially access up-to-date leap-second.lists from. Each source begins with a protocol: For local sources "file://" followed by a path to the local file. For remote source sources "https://" prefixed URIs.

parseLeapSource :: String -> Maybe LeapSource Source #

Convert a string source to a LeapSource

mayRetrieveList :: LeapSource -> IO (Maybe LeapSecondList) Source #

Given a LeapSource, perform the actual aquasition and parsing

parseFileMaybe :: Day -> String -> Maybe LeapSecondList Source #

Parse a leap second list file, failing if it is expired.

leapSources :: LeapSources Source #

A few places we should be able to download up-to-date leap-seconds.list data.

sourceLeapData :: LeapSources -> IO LeapSecondList Source #

Aquire leap-seconds files and parse them, Trying the provided list of sources in order from local, to secure remote (HTTPS), until an up-to-date source is aquired or all options are exausted.

Currently only local and HTTPS has been implimented.