<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <!--Rendered using the Haskell Html Library v0.2--> <HTML ><HEAD ><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8" ><TITLE >Data.Time.Clock.TAI</TITLE ><LINK HREF="haddock.css" REL="stylesheet" TYPE="text/css" ><SCRIPT SRC="haddock-util.js" TYPE="text/javascript" ></SCRIPT ><SCRIPT TYPE="text/javascript" >window.onload = function () {setSynopsis("mini_Data-Time-Clock-TAI.html")};</SCRIPT ></HEAD ><BODY ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="topbar" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD ><IMG SRC="haskell_icon.gif" WIDTH="16" HEIGHT="16" ALT=" " ></TD ><TD CLASS="title" >time-1.1.4: A time library</TD ><TD CLASS="topbut" ><A HREF="index.html" >Contents</A ></TD ><TD CLASS="topbut" ><A HREF="doc-index.html" >Index</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="modulebar" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD ><FONT SIZE="6" >Data.Time.Clock.TAI</FONT ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section1" >Description</TD ></TR ><TR ><TD CLASS="doc" >TAI and leap-second tables for converting to UTC: most people won't need this module. </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section1" >Synopsis</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A HREF="#t%3AAbsoluteTime" >AbsoluteTime</A > </TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtaiEpoch" >taiEpoch</A > :: <A HREF="Data-Time-Clock-TAI.html#t%3AAbsoluteTime" >AbsoluteTime</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AaddAbsoluteTime" >addAbsoluteTime</A > :: <A HREF="Data-Time-Clock.html#t%3ADiffTime" >DiffTime</A > -> <A HREF="Data-Time-Clock-TAI.html#t%3AAbsoluteTime" >AbsoluteTime</A > -> <A HREF="Data-Time-Clock-TAI.html#t%3AAbsoluteTime" >AbsoluteTime</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AdiffAbsoluteTime" >diffAbsoluteTime</A > :: <A HREF="Data-Time-Clock-TAI.html#t%3AAbsoluteTime" >AbsoluteTime</A > -> <A HREF="Data-Time-Clock-TAI.html#t%3AAbsoluteTime" >AbsoluteTime</A > -> <A HREF="Data-Time-Clock.html#t%3ADiffTime" >DiffTime</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A HREF="#t%3ALeapSecondTable" >LeapSecondTable</A > = <A HREF="Data-Time-Calendar.html#t%3ADay" >Day</A > -> <A HREF="../integer/GHC-Integer.html#t%3AInteger" >Integer</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AutcDayLength" >utcDayLength</A > :: <A HREF="Data-Time-Clock-TAI.html#t%3ALeapSecondTable" >LeapSecondTable</A > -> <A HREF="Data-Time-Calendar.html#t%3ADay" >Day</A > -> <A HREF="Data-Time-Clock.html#t%3ADiffTime" >DiffTime</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AutcToTAITime" >utcToTAITime</A > :: <A HREF="Data-Time-Clock-TAI.html#t%3ALeapSecondTable" >LeapSecondTable</A > -> <A HREF="Data-Time-Clock.html#t%3AUTCTime" >UTCTime</A > -> <A HREF="Data-Time-Clock-TAI.html#t%3AAbsoluteTime" >AbsoluteTime</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AtaiToUTCTime" >taiToUTCTime</A > :: <A HREF="Data-Time-Clock-TAI.html#t%3ALeapSecondTable" >LeapSecondTable</A > -> <A HREF="Data-Time-Clock-TAI.html#t%3AAbsoluteTime" >AbsoluteTime</A > -> <A HREF="Data-Time-Clock.html#t%3AUTCTime" >UTCTime</A ></TD ></TR ><TR ><TD CLASS="s8" ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="#v%3AparseTAIUTCDATFile" >parseTAIUTCDATFile</A > :: <A HREF="../base/Data-Char.html#t%3AString" >String</A > -> <A HREF="Data-Time-Clock-TAI.html#t%3ALeapSecondTable" >LeapSecondTable</A ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="section1" >Documentation</TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >data</SPAN > <A NAME="t:AbsoluteTime" ><A NAME="t%3AAbsoluteTime" ></A ></A ><B >AbsoluteTime</B > </TD ></TR ><TR ><TD CLASS="body" ><TABLE CLASS="vanilla" CELLSPACING="0" CELLPADDING="0" ><TR ><TD CLASS="ndoc" >AbsoluteTime is TAI, time as measured by a clock. </TD ></TR ><TR ><TD CLASS="section4" ><IMG SRC="minus.gif" CLASS="coll" ONCLICK="toggle(this,'i:AbsoluteTime')" ALT="show/hide" > Instances</TD ></TR ><TR ><TD CLASS="body" ><DIV ID="i:AbsoluteTime" STYLE="display:block;" ><TABLE CLASS="vanilla" CELLSPACING="1" CELLPADDING="0" ><TR ><TD CLASS="decl" ><A HREF="../base/Data-Eq.html#t%3AEq" >Eq</A > <A HREF="Data-Time-Clock-TAI.html#t%3AAbsoluteTime" >AbsoluteTime</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="../base/Data-Ord.html#t%3AOrd" >Ord</A > <A HREF="Data-Time-Clock-TAI.html#t%3AAbsoluteTime" >AbsoluteTime</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="../base/Text-Show.html#t%3AShow" >Show</A > <A HREF="Data-Time-Clock-TAI.html#t%3AAbsoluteTime" >AbsoluteTime</A ></TD ></TR ><TR ><TD CLASS="decl" ><A HREF="../base/Data-Typeable.html#t%3ATypeable" >Typeable</A > <A HREF="Data-Time-Clock-TAI.html#t%3AAbsoluteTime" >AbsoluteTime</A ></TD ></TR ></TABLE ></DIV ></TD ></TR ></TABLE ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:taiEpoch" ><A NAME="v%3AtaiEpoch" ></A ></A ><B >taiEpoch</B > :: <A HREF="Data-Time-Clock-TAI.html#t%3AAbsoluteTime" >AbsoluteTime</A ></TD ></TR ><TR ><TD CLASS="doc" >The epoch of TAI, which is 1858-11-17 00:00:00 TAI. </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:addAbsoluteTime" ><A NAME="v%3AaddAbsoluteTime" ></A ></A ><B >addAbsoluteTime</B > :: <A HREF="Data-Time-Clock.html#t%3ADiffTime" >DiffTime</A > -> <A HREF="Data-Time-Clock-TAI.html#t%3AAbsoluteTime" >AbsoluteTime</A > -> <A HREF="Data-Time-Clock-TAI.html#t%3AAbsoluteTime" >AbsoluteTime</A ></TD ></TR ><TR ><TD CLASS="doc" >addAbsoluteTime a b = a + b </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:diffAbsoluteTime" ><A NAME="v%3AdiffAbsoluteTime" ></A ></A ><B >diffAbsoluteTime</B > :: <A HREF="Data-Time-Clock-TAI.html#t%3AAbsoluteTime" >AbsoluteTime</A > -> <A HREF="Data-Time-Clock-TAI.html#t%3AAbsoluteTime" >AbsoluteTime</A > -> <A HREF="Data-Time-Clock.html#t%3ADiffTime" >DiffTime</A ></TD ></TR ><TR ><TD CLASS="doc" >diffAbsoluteTime a b = a - b </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><SPAN CLASS="keyword" >type</SPAN > <A NAME="t:LeapSecondTable" ><A NAME="t%3ALeapSecondTable" ></A ></A ><B >LeapSecondTable</B > = <A HREF="Data-Time-Calendar.html#t%3ADay" >Day</A > -> <A HREF="../integer/GHC-Integer.html#t%3AInteger" >Integer</A ></TD ></TR ><TR ><TD CLASS="doc" >TAI - UTC during this day. No table is provided, as any program compiled with it would become out of date in six months. </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:utcDayLength" ><A NAME="v%3AutcDayLength" ></A ></A ><B >utcDayLength</B > :: <A HREF="Data-Time-Clock-TAI.html#t%3ALeapSecondTable" >LeapSecondTable</A > -> <A HREF="Data-Time-Calendar.html#t%3ADay" >Day</A > -> <A HREF="Data-Time-Clock.html#t%3ADiffTime" >DiffTime</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:utcToTAITime" ><A NAME="v%3AutcToTAITime" ></A ></A ><B >utcToTAITime</B > :: <A HREF="Data-Time-Clock-TAI.html#t%3ALeapSecondTable" >LeapSecondTable</A > -> <A HREF="Data-Time-Clock.html#t%3AUTCTime" >UTCTime</A > -> <A HREF="Data-Time-Clock-TAI.html#t%3AAbsoluteTime" >AbsoluteTime</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:taiToUTCTime" ><A NAME="v%3AtaiToUTCTime" ></A ></A ><B >taiToUTCTime</B > :: <A HREF="Data-Time-Clock-TAI.html#t%3ALeapSecondTable" >LeapSecondTable</A > -> <A HREF="Data-Time-Clock-TAI.html#t%3AAbsoluteTime" >AbsoluteTime</A > -> <A HREF="Data-Time-Clock.html#t%3AUTCTime" >UTCTime</A ></TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="decl" ><A NAME="v:parseTAIUTCDATFile" ><A NAME="v%3AparseTAIUTCDATFile" ></A ></A ><B >parseTAIUTCDATFile</B > :: <A HREF="../base/Data-Char.html#t%3AString" >String</A > -> <A HREF="Data-Time-Clock-TAI.html#t%3ALeapSecondTable" >LeapSecondTable</A ></TD ></TR ><TR ><TD CLASS="doc" >Parse the contents of a tai-utc.dat file. This does not do any kind of validation and will return a bad table for input not in the correct format. </TD ></TR ><TR ><TD CLASS="s15" ></TD ></TR ><TR ><TD CLASS="botbar" >Produced by <A HREF="http://www.haskell.org/haddock/" >Haddock</A > version 2.4.2</TD ></TR ></TABLE ></BODY ></HTML >