Sophie: ghc-7.4.2-4.mga5 i586

ghc-7.4.2-4.mga5.i586.rpm

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Data.Time.LocalTime</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">Data.Time.LocalTime</p></div><div id="interface"><h1>Time zones
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Data-Time-LocalTime.html#t:TimeZone" target="main">TimeZone</a> </p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:timeZoneOffsetString" target="main">timeZoneOffsetString</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:timeZoneOffsetString-39-" target="main">timeZoneOffsetString'</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:minutesToTimeZone" target="main">minutesToTimeZone</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:hoursToTimeZone" target="main">hoursToTimeZone</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:utc" target="main">utc</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:getTimeZone" target="main">getTimeZone</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:getCurrentTimeZone" target="main">getCurrentTimeZone</a></p></div><h1>Time of day
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Data-Time-LocalTime.html#t:TimeOfDay" target="main">TimeOfDay</a> </p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:midnight" target="main">midnight</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:midday" target="main">midday</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:makeTimeOfDayValid" target="main">makeTimeOfDayValid</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:utcToLocalTimeOfDay" target="main">utcToLocalTimeOfDay</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:localToUTCTimeOfDay" target="main">localToUTCTimeOfDay</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:timeToTimeOfDay" target="main">timeToTimeOfDay</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:timeOfDayToTime" target="main">timeOfDayToTime</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:dayFractionToTimeOfDay" target="main">dayFractionToTimeOfDay</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:timeOfDayToDayFraction" target="main">timeOfDayToDayFraction</a></p></div><h1>Local Time
</h1><div class="top"><p class="src"><span class="keyword">data</span> <a href="Data-Time-LocalTime.html#t:LocalTime" target="main">LocalTime</a> </p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:utcToLocalTime" target="main">utcToLocalTime</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:localTimeToUTC" target="main">localTimeToUTC</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:ut1ToLocalTime" target="main">ut1ToLocalTime</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:localTimeToUT1" target="main">localTimeToUT1</a></p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Data-Time-LocalTime.html#t:ZonedTime" target="main">ZonedTime</a> </p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:utcToZonedTime" target="main">utcToZonedTime</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:zonedTimeToUTC" target="main">zonedTimeToUTC</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:getZonedTime" target="main">getZonedTime</a></p></div><div class="top"><p class="src"><a href="Data-Time-LocalTime.html#v:utcToLocalZonedTime" target="main">utcToLocalZonedTime</a></p></div></div></body></html>