/usr/share/doc/libghc-aeson-compat-doc/html/src/Data-Aeson-Compat-Time.html is in libghc-aeson-compat-doc 0.3.6-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 | <?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html>
<head>
<!-- Generated by HsColour, http://code.haskell.org/~malcolm/hscolour/ -->
<title>src/Data/Aeson/Compat/Time.hs</title>
<link type='text/css' rel='stylesheet' href='hscolour.css' />
</head>
<body>
<pre><a name="line-1"></a><span class='hs-comment'>{-# LANGUAGE BangPatterns, CPP, ScopedTypeVariables #-}</span>
<a name="line-2"></a>
<a name="line-3"></a><span class='hs-comment'>-- |</span>
<a name="line-4"></a><span class='hs-comment'>-- Module: Data.Aeson.Compat.Time (Data.Aeson.Parser.Time)</span>
<a name="line-5"></a><span class='hs-comment'>-- Copyright: (c) 2015 Bryan O'Sullivan</span>
<a name="line-6"></a><span class='hs-comment'>-- License: BSD3</span>
<a name="line-7"></a><span class='hs-comment'>-- Maintainer: Bryan O'Sullivan <bos@serpentine.com></span>
<a name="line-8"></a><span class='hs-comment'>-- Stability: experimental</span>
<a name="line-9"></a><span class='hs-comment'>-- Portability: portable</span>
<a name="line-10"></a><span class='hs-comment'>--</span>
<a name="line-11"></a><span class='hs-comment'>-- Parsers for parsing dates and times.</span>
<a name="line-12"></a>
<a name="line-13"></a><span class='hs-keyword'>module</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Aeson</span><span class='hs-varop'>.</span><span class='hs-conid'>Compat</span><span class='hs-varop'>.</span><span class='hs-conid'>Time</span>
<a name="line-14"></a> <span class='hs-layout'>(</span>
<a name="line-15"></a> <span class='hs-varid'>run</span>
<a name="line-16"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>day</span>
<a name="line-17"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>localTime</span>
<a name="line-18"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>timeOfDay</span>
<a name="line-19"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>timeZone</span>
<a name="line-20"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>utcTime</span>
<a name="line-21"></a> <span class='hs-layout'>,</span> <span class='hs-varid'>zonedTime</span>
<a name="line-22"></a> <span class='hs-layout'>)</span> <span class='hs-keyword'>where</span>
<a name="line-23"></a>
<a name="line-24"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Monad</span> <span class='hs-layout'>(</span><span class='hs-varid'>when</span><span class='hs-layout'>,</span> <span class='hs-varid'>void</span><span class='hs-layout'>)</span>
<a name="line-25"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Attoparsec</span><span class='hs-varop'>.</span><span class='hs-conid'>Text</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>A</span>
<a name="line-26"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Bits</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varop'>.&.</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-27"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Char</span> <span class='hs-layout'>(</span><span class='hs-varid'>isDigit</span><span class='hs-layout'>,</span> <span class='hs-varid'>ord</span><span class='hs-layout'>)</span>
<a name="line-28"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Fixed</span> <span class='hs-layout'>(</span><span class='hs-conid'>Pico</span><span class='hs-layout'>)</span>
<a name="line-29"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Int</span> <span class='hs-layout'>(</span><span class='hs-conid'>Int64</span><span class='hs-layout'>)</span>
<a name="line-30"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Maybe</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromMaybe</span><span class='hs-layout'>)</span>
<a name="line-31"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Text</span> <span class='hs-layout'>(</span><span class='hs-conid'>Text</span><span class='hs-layout'>)</span>
<a name="line-32"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Time</span><span class='hs-varop'>.</span><span class='hs-conid'>Calendar</span> <span class='hs-layout'>(</span><span class='hs-conid'>Day</span><span class='hs-layout'>,</span> <span class='hs-varid'>fromGregorianValid</span><span class='hs-layout'>)</span>
<a name="line-33"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Time</span><span class='hs-varop'>.</span><span class='hs-conid'>Clock</span> <span class='hs-layout'>(</span><span class='hs-conid'>UTCTime</span><span class='hs-layout'>(</span><span class='hs-keyglyph'>..</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-34"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Aeson</span><span class='hs-varop'>.</span><span class='hs-conid'>Types</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>Aeson</span>
<a name="line-35"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Text</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>T</span>
<a name="line-36"></a><span class='hs-keyword'>import</span> <span class='hs-keyword'>qualified</span> <span class='hs-conid'>Data</span><span class='hs-varop'>.</span><span class='hs-conid'>Time</span><span class='hs-varop'>.</span><span class='hs-conid'>LocalTime</span> <span class='hs-keyword'>as</span> <span class='hs-conid'>Local</span>
<a name="line-37"></a>
<a name="line-38"></a><span class='hs-cpp'>#if !MIN_VERSION_base(4,8,0)</span>
<a name="line-39"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Control</span><span class='hs-varop'>.</span><span class='hs-conid'>Applicative</span> <span class='hs-layout'>(</span><span class='hs-layout'>(</span><span class='hs-varop'><$></span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-layout'>(</span><span class='hs-varop'><*></span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-layout'>(</span><span class='hs-varop'><*</span><span class='hs-layout'>)</span><span class='hs-layout'>,</span> <span class='hs-layout'>(</span><span class='hs-varop'>*></span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-40"></a><span class='hs-cpp'>#endif</span>
<a name="line-41"></a>
<a name="line-42"></a><span class='hs-comment'>--- from Data.Aeson.Internal.Time</span>
<a name="line-43"></a><span class='hs-keyword'>import</span> <span class='hs-conid'>Unsafe</span><span class='hs-varop'>.</span><span class='hs-conid'>Coerce</span> <span class='hs-layout'>(</span><span class='hs-varid'>unsafeCoerce</span><span class='hs-layout'>)</span>
<a name="line-44"></a>
<a name="line-45"></a><a name="toPico"></a><span class='hs-definition'>toPico</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Integer</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Pico</span>
<a name="line-46"></a><span class='hs-definition'>toPico</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>unsafeCoerce</span>
<a name="line-47"></a>
<a name="line-48"></a><a name="run"></a><span class='hs-comment'>-- | Run an attoparsec parser as an aeson parser.</span>
<a name="line-49"></a><span class='hs-definition'>run</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Text</span> <span class='hs-keyglyph'>-></span> <span class='hs-conid'>Aeson</span><span class='hs-varop'>.</span><span class='hs-conid'>Parser</span> <span class='hs-varid'>a</span>
<a name="line-50"></a><span class='hs-definition'>run</span> <span class='hs-varid'>p</span> <span class='hs-varid'>t</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>case</span> <span class='hs-conid'>A</span><span class='hs-varop'>.</span><span class='hs-varid'>parseOnly</span> <span class='hs-layout'>(</span><span class='hs-varid'>p</span> <span class='hs-varop'><*</span> <span class='hs-varid'>endOfInput</span><span class='hs-layout'>)</span> <span class='hs-varid'>t</span> <span class='hs-keyword'>of</span>
<a name="line-51"></a> <span class='hs-conid'>Left</span> <span class='hs-varid'>err</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>fail</span> <span class='hs-varop'>$</span> <span class='hs-str'>"could not parse date: "</span> <span class='hs-varop'>++</span> <span class='hs-varid'>err</span>
<a name="line-52"></a> <span class='hs-conid'>Right</span> <span class='hs-varid'>r</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>return</span> <span class='hs-varid'>r</span>
<a name="line-53"></a>
<a name="line-54"></a><a name="day"></a><span class='hs-comment'>-- | Parse a date of the form @YYYY-MM-DD@.</span>
<a name="line-55"></a><span class='hs-definition'>day</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>Day</span>
<a name="line-56"></a><span class='hs-definition'>day</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-57"></a> <span class='hs-varid'>y</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>decimal</span> <span class='hs-varop'><*</span> <span class='hs-varid'>char</span> <span class='hs-chr'>'-'</span>
<a name="line-58"></a> <span class='hs-varid'>m</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>twoDigits</span> <span class='hs-varop'><*</span> <span class='hs-varid'>char</span> <span class='hs-chr'>'-'</span>
<a name="line-59"></a> <span class='hs-varid'>d</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>twoDigits</span>
<a name="line-60"></a> <span class='hs-varid'>maybe</span> <span class='hs-layout'>(</span><span class='hs-varid'>fail</span> <span class='hs-str'>"invalid date"</span><span class='hs-layout'>)</span> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromGregorianValid</span> <span class='hs-varid'>y</span> <span class='hs-varid'>m</span> <span class='hs-varid'>d</span><span class='hs-layout'>)</span>
<a name="line-61"></a>
<a name="line-62"></a><a name="twoDigits"></a><span class='hs-comment'>-- | Parse a two-digit integer (e.g. day of month, hour).</span>
<a name="line-63"></a><span class='hs-definition'>twoDigits</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>Int</span>
<a name="line-64"></a><span class='hs-definition'>twoDigits</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-65"></a> <span class='hs-varid'>a</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>digit</span>
<a name="line-66"></a> <span class='hs-varid'>b</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>digit</span>
<a name="line-67"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>c2d</span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ord</span> <span class='hs-varid'>c</span> <span class='hs-varop'>.&.</span> <span class='hs-num'>15</span>
<a name="line-68"></a> <span class='hs-varid'>return</span> <span class='hs-varop'>$!</span> <span class='hs-varid'>c2d</span> <span class='hs-varid'>a</span> <span class='hs-varop'>*</span> <span class='hs-num'>10</span> <span class='hs-varop'>+</span> <span class='hs-varid'>c2d</span> <span class='hs-varid'>b</span>
<a name="line-69"></a>
<a name="line-70"></a><a name="timeOfDay"></a><span class='hs-comment'>-- | Parse a time of the form @HH:MM[:SS[.SSS]]@.</span>
<a name="line-71"></a><span class='hs-definition'>timeOfDay</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>Local</span><span class='hs-varop'>.</span><span class='hs-conid'>TimeOfDay</span>
<a name="line-72"></a><span class='hs-definition'>timeOfDay</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-73"></a> <span class='hs-varid'>h</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>twoDigits</span>
<a name="line-74"></a> <span class='hs-varid'>m</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>char</span> <span class='hs-chr'>':'</span> <span class='hs-varop'>*></span> <span class='hs-varid'>twoDigits</span>
<a name="line-75"></a> <span class='hs-varid'>s</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>option</span> <span class='hs-num'>0</span> <span class='hs-layout'>(</span><span class='hs-varid'>char</span> <span class='hs-chr'>':'</span> <span class='hs-varop'>*></span> <span class='hs-varid'>seconds</span><span class='hs-layout'>)</span>
<a name="line-76"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>h</span> <span class='hs-varop'><</span> <span class='hs-num'>24</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>m</span> <span class='hs-varop'><</span> <span class='hs-num'>60</span> <span class='hs-varop'>&&</span> <span class='hs-varid'>s</span> <span class='hs-varop'><</span> <span class='hs-num'>61</span>
<a name="line-77"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-conid'>Local</span><span class='hs-varop'>.</span><span class='hs-conid'>TimeOfDay</span> <span class='hs-varid'>h</span> <span class='hs-varid'>m</span> <span class='hs-varid'>s</span><span class='hs-layout'>)</span>
<a name="line-78"></a> <span class='hs-keyword'>else</span> <span class='hs-varid'>fail</span> <span class='hs-str'>"invalid time"</span>
<a name="line-79"></a>
<a name="line-80"></a><a name="T"></a><span class='hs-keyword'>data</span> <span class='hs-conid'>T</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>T</span> <span class='hs-comment'>{-# UNPACK #-}</span> <span class='hs-varop'>!</span><span class='hs-conid'>Int</span> <span class='hs-comment'>{-# UNPACK #-}</span> <span class='hs-varop'>!</span><span class='hs-conid'>Int64</span>
<a name="line-81"></a>
<a name="line-82"></a><a name="seconds"></a><span class='hs-comment'>-- | Parse a count of seconds, with the integer part being two digits</span>
<a name="line-83"></a><span class='hs-comment'>-- long.</span>
<a name="line-84"></a><span class='hs-definition'>seconds</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>Pico</span>
<a name="line-85"></a><span class='hs-definition'>seconds</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-86"></a> <span class='hs-varid'>real</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>twoDigits</span>
<a name="line-87"></a> <span class='hs-varid'>mc</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>peekChar</span>
<a name="line-88"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>mc</span> <span class='hs-keyword'>of</span>
<a name="line-89"></a> <span class='hs-conid'>Just</span> <span class='hs-chr'>'.'</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>do</span>
<a name="line-90"></a> <span class='hs-varid'>t</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>anyChar</span> <span class='hs-varop'>*></span> <span class='hs-varid'>takeWhile1</span> <span class='hs-varid'>isDigit</span>
<a name="line-91"></a> <span class='hs-varid'>return</span> <span class='hs-varop'>$!</span> <span class='hs-varid'>parsePicos</span> <span class='hs-varid'>real</span> <span class='hs-varid'>t</span>
<a name="line-92"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>return</span> <span class='hs-varop'>$!</span> <span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>real</span>
<a name="line-93"></a> <span class='hs-keyword'>where</span>
<a name="line-94"></a> <span class='hs-varid'>parsePicos</span> <span class='hs-varid'>a0</span> <span class='hs-varid'>t</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>toPico</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>t'</span> <span class='hs-varop'>*</span> <span class='hs-num'>10</span><span class='hs-varop'>^</span><span class='hs-varid'>n</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span>
<a name="line-95"></a> <span class='hs-keyword'>where</span> <span class='hs-conid'>T</span> <span class='hs-varid'>n</span> <span class='hs-varid'>t'</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>T</span><span class='hs-varop'>.</span><span class='hs-varid'>foldl'</span> <span class='hs-varid'>step</span> <span class='hs-layout'>(</span><span class='hs-conid'>T</span> <span class='hs-num'>12</span> <span class='hs-layout'>(</span><span class='hs-varid'>fromIntegral</span> <span class='hs-varid'>a0</span><span class='hs-layout'>)</span><span class='hs-layout'>)</span> <span class='hs-varid'>t</span>
<a name="line-96"></a> <span class='hs-varid'>step</span> <span class='hs-varid'>ma</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>T</span> <span class='hs-varid'>m</span> <span class='hs-varid'>a</span><span class='hs-layout'>)</span> <span class='hs-varid'>c</span>
<a name="line-97"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>m</span> <span class='hs-varop'><=</span> <span class='hs-num'>0</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>ma</span>
<a name="line-98"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>T</span> <span class='hs-layout'>(</span><span class='hs-varid'>m</span><span class='hs-comment'>-</span><span class='hs-num'>1</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-num'>10</span> <span class='hs-varop'>*</span> <span class='hs-varid'>a</span> <span class='hs-varop'>+</span> <span class='hs-varid'>fromIntegral</span> <span class='hs-layout'>(</span><span class='hs-varid'>ord</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-varop'>.&.</span> <span class='hs-num'>15</span><span class='hs-layout'>)</span>
<a name="line-99"></a>
<a name="line-100"></a><a name="timeZone"></a><span class='hs-comment'>-- | Parse a time zone, and return 'Nothing' if the offset from UTC is</span>
<a name="line-101"></a><span class='hs-comment'>-- zero. (This makes some speedups possible.)</span>
<a name="line-102"></a><span class='hs-definition'>timeZone</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-layout'>(</span><span class='hs-conid'>Maybe</span> <span class='hs-conid'>Local</span><span class='hs-varop'>.</span><span class='hs-conid'>TimeZone</span><span class='hs-layout'>)</span>
<a name="line-103"></a><span class='hs-definition'>timeZone</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-104"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>maybeSkip</span> <span class='hs-varid'>c</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span> <span class='hs-varid'>ch</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>peekChar'</span><span class='hs-layout'>;</span> <span class='hs-varid'>when</span> <span class='hs-layout'>(</span><span class='hs-varid'>ch</span> <span class='hs-varop'>==</span> <span class='hs-varid'>c</span><span class='hs-layout'>)</span> <span class='hs-layout'>(</span><span class='hs-varid'>void</span> <span class='hs-varid'>anyChar</span><span class='hs-layout'>)</span>
<a name="line-105"></a> <span class='hs-varid'>maybeSkip</span> <span class='hs-chr'>' '</span>
<a name="line-106"></a> <span class='hs-varid'>ch</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>satisfy</span> <span class='hs-varop'>$</span> <span class='hs-keyglyph'>\</span><span class='hs-varid'>c</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>c</span> <span class='hs-varop'>==</span> <span class='hs-chr'>'Z'</span> <span class='hs-varop'>||</span> <span class='hs-varid'>c</span> <span class='hs-varop'>==</span> <span class='hs-chr'>'+'</span> <span class='hs-varop'>||</span> <span class='hs-varid'>c</span> <span class='hs-varop'>==</span> <span class='hs-chr'>'-'</span>
<a name="line-107"></a> <span class='hs-keyword'>if</span> <span class='hs-varid'>ch</span> <span class='hs-varop'>==</span> <span class='hs-chr'>'Z'</span>
<a name="line-108"></a> <span class='hs-keyword'>then</span> <span class='hs-varid'>return</span> <span class='hs-conid'>Nothing</span>
<a name="line-109"></a> <span class='hs-keyword'>else</span> <span class='hs-keyword'>do</span>
<a name="line-110"></a> <span class='hs-varid'>h</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>twoDigits</span>
<a name="line-111"></a> <span class='hs-varid'>mm</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>peekChar</span>
<a name="line-112"></a> <span class='hs-varid'>m</span> <span class='hs-keyglyph'><-</span> <span class='hs-keyword'>case</span> <span class='hs-varid'>mm</span> <span class='hs-keyword'>of</span>
<a name="line-113"></a> <span class='hs-conid'>Just</span> <span class='hs-chr'>':'</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>anyChar</span> <span class='hs-varop'>*></span> <span class='hs-varid'>twoDigits</span>
<a name="line-114"></a> <span class='hs-conid'>Just</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>isDigit</span> <span class='hs-varid'>d</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>twoDigits</span>
<a name="line-115"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>return</span> <span class='hs-num'>0</span>
<a name="line-116"></a> <span class='hs-keyword'>let</span> <span class='hs-varid'>off</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>ch</span> <span class='hs-varop'>==</span> <span class='hs-chr'>'-'</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>negate</span> <span class='hs-varid'>off0</span>
<a name="line-117"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>off0</span>
<a name="line-118"></a> <span class='hs-varid'>off0</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>h</span> <span class='hs-varop'>*</span> <span class='hs-num'>60</span> <span class='hs-varop'>+</span> <span class='hs-varid'>m</span>
<a name="line-119"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>undefined</span> <span class='hs-keyword'>of</span>
<a name="line-120"></a> <span class='hs-keyword'>_</span> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>off</span> <span class='hs-varop'>==</span> <span class='hs-num'>0</span> <span class='hs-keyglyph'>-></span>
<a name="line-121"></a> <span class='hs-varid'>return</span> <span class='hs-conid'>Nothing</span>
<a name="line-122"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>off</span> <span class='hs-varop'><</span> <span class='hs-comment'>-</span><span class='hs-num'>720</span> <span class='hs-varop'>||</span> <span class='hs-varid'>off</span> <span class='hs-varop'>></span> <span class='hs-num'>840</span> <span class='hs-varop'>||</span> <span class='hs-varid'>m</span> <span class='hs-varop'>></span> <span class='hs-num'>59</span> <span class='hs-keyglyph'>-></span>
<a name="line-123"></a> <span class='hs-varid'>fail</span> <span class='hs-str'>"invalid time zone offset"</span>
<a name="line-124"></a> <span class='hs-keyglyph'>|</span> <span class='hs-varid'>otherwise</span> <span class='hs-keyglyph'>-></span>
<a name="line-125"></a> <span class='hs-keyword'>let</span> <span class='hs-varop'>!</span><span class='hs-varid'>tz</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Local</span><span class='hs-varop'>.</span><span class='hs-varid'>minutesToTimeZone</span> <span class='hs-varid'>off</span>
<a name="line-126"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-conid'>Just</span> <span class='hs-varid'>tz</span><span class='hs-layout'>)</span>
<a name="line-127"></a>
<a name="line-128"></a><a name="localTime"></a><span class='hs-comment'>-- | Parse a date and time, of the form @YYYY-MM-DD HH:MM[:SS[.SSS]]@.</span>
<a name="line-129"></a><span class='hs-comment'>-- The space may be replaced with a @T@. The number of seconds is optional</span>
<a name="line-130"></a><span class='hs-comment'>-- and may be followed by a fractional component.</span>
<a name="line-131"></a><span class='hs-definition'>localTime</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>Local</span><span class='hs-varop'>.</span><span class='hs-conid'>LocalTime</span>
<a name="line-132"></a><span class='hs-definition'>localTime</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Local</span><span class='hs-varop'>.</span><span class='hs-conid'>LocalTime</span> <span class='hs-varop'><$></span> <span class='hs-varid'>day</span> <span class='hs-varop'><*</span> <span class='hs-varid'>daySep</span> <span class='hs-varop'><*></span> <span class='hs-varid'>timeOfDay</span>
<a name="line-133"></a> <span class='hs-keyword'>where</span> <span class='hs-varid'>daySep</span> <span class='hs-keyglyph'>=</span> <span class='hs-varid'>satisfy</span> <span class='hs-layout'>(</span><span class='hs-keyglyph'>\</span><span class='hs-varid'>c</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>c</span> <span class='hs-varop'>==</span> <span class='hs-chr'>'T'</span> <span class='hs-varop'>||</span> <span class='hs-varid'>c</span> <span class='hs-varop'>==</span> <span class='hs-chr'>' '</span><span class='hs-layout'>)</span>
<a name="line-134"></a>
<a name="line-135"></a><a name="utcTime"></a><span class='hs-comment'>-- | Behaves as 'zonedTime', but converts any time zone offset into a</span>
<a name="line-136"></a><span class='hs-comment'>-- UTC time.</span>
<a name="line-137"></a><span class='hs-definition'>utcTime</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>UTCTime</span>
<a name="line-138"></a><span class='hs-definition'>utcTime</span> <span class='hs-keyglyph'>=</span> <span class='hs-keyword'>do</span>
<a name="line-139"></a> <span class='hs-varid'>lt</span><span class='hs-keyglyph'>@</span><span class='hs-layout'>(</span><span class='hs-conid'>Local</span><span class='hs-varop'>.</span><span class='hs-conid'>LocalTime</span> <span class='hs-varid'>d</span> <span class='hs-varid'>t</span><span class='hs-layout'>)</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>localTime</span>
<a name="line-140"></a> <span class='hs-varid'>mtz</span> <span class='hs-keyglyph'><-</span> <span class='hs-varid'>timeZone</span>
<a name="line-141"></a> <span class='hs-keyword'>case</span> <span class='hs-varid'>mtz</span> <span class='hs-keyword'>of</span>
<a name="line-142"></a> <span class='hs-conid'>Nothing</span> <span class='hs-keyglyph'>-></span> <span class='hs-keyword'>let</span> <span class='hs-varop'>!</span><span class='hs-varid'>tt</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Local</span><span class='hs-varop'>.</span><span class='hs-varid'>timeOfDayToTime</span> <span class='hs-varid'>t</span>
<a name="line-143"></a> <span class='hs-keyword'>in</span> <span class='hs-varid'>return</span> <span class='hs-layout'>(</span><span class='hs-conid'>UTCTime</span> <span class='hs-varid'>d</span> <span class='hs-varid'>tt</span><span class='hs-layout'>)</span>
<a name="line-144"></a> <span class='hs-conid'>Just</span> <span class='hs-varid'>tz</span> <span class='hs-keyglyph'>-></span> <span class='hs-varid'>return</span> <span class='hs-varop'>$!</span> <span class='hs-conid'>Local</span><span class='hs-varop'>.</span><span class='hs-varid'>localTimeToUTC</span> <span class='hs-varid'>tz</span> <span class='hs-varid'>lt</span>
<a name="line-145"></a>
<a name="line-146"></a><a name="zonedTime"></a><span class='hs-comment'>-- | Parse a date with time zone info. Acceptable formats:</span>
<a name="line-147"></a><span class='hs-comment'>--</span>
<a name="line-148"></a><span class='hs-comment'>-- @YYYY-MM-DD HH:MM Z@</span>
<a name="line-149"></a><span class='hs-comment'>-- @YYYY-MM-DD HH:MM:SS Z@</span>
<a name="line-150"></a><span class='hs-comment'>-- @YYYY-MM-DD HH:MM:SS.SSS Z@</span>
<a name="line-151"></a><span class='hs-comment'>--</span>
<a name="line-152"></a><span class='hs-comment'>-- The first space may instead be a @T@, and the second space is</span>
<a name="line-153"></a><span class='hs-comment'>-- optional. The @Z@ represents UTC. The @Z@ may be replaced with a</span>
<a name="line-154"></a><span class='hs-comment'>-- time zone offset of the form @+0000@ or @-08:00@, where the first</span>
<a name="line-155"></a><span class='hs-comment'>-- two digits are hours, the @:@ is optional and the second two digits</span>
<a name="line-156"></a><span class='hs-comment'>-- (also optional) are minutes.</span>
<a name="line-157"></a><span class='hs-definition'>zonedTime</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Parser</span> <span class='hs-conid'>Local</span><span class='hs-varop'>.</span><span class='hs-conid'>ZonedTime</span>
<a name="line-158"></a><span class='hs-definition'>zonedTime</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Local</span><span class='hs-varop'>.</span><span class='hs-conid'>ZonedTime</span> <span class='hs-varop'><$></span> <span class='hs-varid'>localTime</span> <span class='hs-varop'><*></span> <span class='hs-layout'>(</span><span class='hs-varid'>fromMaybe</span> <span class='hs-varid'>utc</span> <span class='hs-varop'><$></span> <span class='hs-varid'>timeZone</span><span class='hs-layout'>)</span>
<a name="line-159"></a>
<a name="line-160"></a><a name="utc"></a><span class='hs-definition'>utc</span> <span class='hs-keyglyph'>::</span> <span class='hs-conid'>Local</span><span class='hs-varop'>.</span><span class='hs-conid'>TimeZone</span>
<a name="line-161"></a><span class='hs-definition'>utc</span> <span class='hs-keyglyph'>=</span> <span class='hs-conid'>Local</span><span class='hs-varop'>.</span><span class='hs-conid'>TimeZone</span> <span class='hs-num'>0</span> <span class='hs-conid'>False</span> <span class='hs-str'>""</span>
</pre></body>
</html>
|