add pleac 9.1

kzfm · kzfm · commit c83263a99b41 · 2012-07-22T09:18:37.000+09:00
diff --git a/pleac.html b/pleac.html
@@ -412,6 +412,35 @@ <h3>&#12503;&#12525;&#12464;&#12521;&#12512;8.3 laston<a class="headerlink" href="#laston" title="Permali
 <h2>9 &#31456;    &#12487;&#12451;&#12524;&#12463;&#12488;&#12522;<a class="headerlink" href="#id37" title="Permalink to this headline">&para;</a></h2>
 <div class="section" id="id38">
 <h3>&#12524;&#12471;&#12500;9.1 &#12479;&#12452;&#12512;&#12473;&#12479;&#12531;&#12503;&#12434;&#21462;&#24471;&#65295;&#35373;&#23450;&#12377;&#12427;<a class="headerlink" href="#id38" title="Permalink to this headline">&para;</a></h3>
+<p><a class="reference external" href="http://docstore.mik.ua/orelly/perl/cookbook/ch09_02.htm">Getting and Setting Timestamps</a></p>
+<p>&#26178;&#38291;&#12398;&#22793;&#25563;&#12364;&#12385;&#12423;&#12387;&#12392;&#38754;&#20498;&#12384;&#12290;</p>
+<div class="highlight-haskell"><div class="highlight"><pre><span class="kr">import</span> <span class="nn">System.Posix.Files</span>
+<span class="kr">import</span> <span class="nn">System.Time</span>
+<span class="kr">import</span> <span class="nn">System.Posix.Types</span>
+<span class="kr">import</span> <span class="nn">System.Environment</span>
+
+<span class="nf">getTimes</span> <span class="ow">::</span> <span class="kt">FilePath</span> <span class="ow">-&gt;</span> <span class="kt">IO</span> <span class="p">(</span><span class="kt">ClockTime</span><span class="p">,</span> <span class="kt">ClockTime</span><span class="p">)</span>
+<span class="nf">getTimes</span> <span class="n">fp</span> <span class="ow">=</span>
+    <span class="kr">do</span> <span class="n">stat</span> <span class="ow">&lt;-</span> <span class="n">getFileStatus</span> <span class="n">fp</span>
+       <span class="n">return</span> <span class="p">(</span><span class="n">toct</span> <span class="p">(</span><span class="n">accessTime</span> <span class="n">stat</span><span class="p">),</span>
+               <span class="n">toct</span> <span class="p">(</span><span class="n">modificationTime</span> <span class="n">stat</span><span class="p">))</span>
+
+<span class="nf">toct</span> <span class="ow">::</span> <span class="kt">EpochTime</span> <span class="ow">-&gt;</span> <span class="kt">ClockTime</span>
+<span class="nf">toct</span> <span class="n">et</span> <span class="ow">=</span> <span class="kt">TOD</span> <span class="p">(</span><span class="n">truncate</span> <span class="p">(</span><span class="n">toRational</span> <span class="n">et</span><span class="p">))</span> <span class="mi">0</span>
+
+<span class="nf">main</span> <span class="ow">::</span> <span class="kt">IO</span> <span class="nb">()</span>
+<span class="nf">main</span> <span class="ow">=</span> <span class="kr">do</span>
+  <span class="p">(</span><span class="n">file</span><span class="kt">:</span><span class="kr">_</span><span class="p">)</span> <span class="ow">&lt;-</span> <span class="n">getArgs</span>
+  <span class="p">(</span><span class="n">atime</span><span class="p">,</span> <span class="n">mtime</span><span class="p">)</span> <span class="ow">&lt;-</span> <span class="n">getTimes</span> <span class="n">file</span>
+  <span class="n">toCalendarTime</span> <span class="n">atime</span> <span class="o">&gt;&gt;=</span> <span class="n">print</span>
+  <span class="n">toCalendarTime</span> <span class="n">mtime</span> <span class="o">&gt;&gt;=</span> <span class="n">print</span>
+</pre></div>
+</div>
+<p>&#21442;&#32771;</p>
+<ul class="simple">
+<li><a class="reference external" href="http://book.realworldhaskell.org/read/systems-programming-in-haskell.html">File Modification Times</a></li>
+<li><a class="reference external" href="http://hackage.haskell.org/packages/archive/old-time/latest/doc/html/System-Time.html#t:ClockTime">System.Time</a></li>
+</ul>
 </div>
 <div class="section" id="id39">
 <h3>&#12524;&#12471;&#12500;9.2 &#12501;&#12449;&#12452;&#12523;&#12434;&#21066;&#38500;&#12377;&#12427;<a class="headerlink" href="#id39" title="Permalink to this headline">&para;</a></h3>
diff --git a/pleac.rst b/pleac.rst
@@ -410,6 +410,38 @@ reverse&#12377;&#12427;
 &#12524;&#12471;&#12500;9.1 &#12479;&#12452;&#12512;&#12473;&#12479;&#12531;&#12503;&#12434;&#21462;&#24471;&#65295;&#35373;&#23450;&#12377;&#12427;
 -----------------------------------------
 
+`Getting and Setting Timestamps <http://docstore.mik.ua/orelly/perl/cookbook/ch09_02.htm>`_
+
+&#26178;&#38291;&#12398;&#22793;&#25563;&#12364;&#12385;&#12423;&#12387;&#12392;&#38754;&#20498;&#12384;&#12290;
+
+.. code-block:: haskell
+
+    import System.Posix.Files
+    import System.Time
+    import System.Posix.Types
+    import System.Environment
+    
+    getTimes :: FilePath -> IO (ClockTime, ClockTime)
+    getTimes fp =
+        do stat <- getFileStatus fp
+           return (toct (accessTime stat),
+                   toct (modificationTime stat))
+    
+    toct :: EpochTime -> ClockTime
+    toct et = TOD (truncate (toRational et)) 0
+    
+    main :: IO ()
+    main = do
+      (file:_) <- getArgs
+      (atime, mtime) <- getTimes file
+      toCalendarTime atime >>= print
+      toCalendarTime mtime >>= print
+
+&#21442;&#32771;
+
+- `File Modification Times  <http://book.realworldhaskell.org/read/systems-programming-in-haskell.html>`_ 
+- `System.Time <http://hackage.haskell.org/packages/archive/old-time/latest/doc/html/System-Time.html#t:ClockTime>`_ 
+
 &#12524;&#12471;&#12500;9.2 &#12501;&#12449;&#12452;&#12523;&#12434;&#21066;&#38500;&#12377;&#12427;
 -----------------------------
 
diff --git a/searchindex.js b/searchindex.js
diff --git a/sources/pleac.txt b/sources/pleac.txt
@@ -410,6 +410,38 @@ reverse&#12377;&#12427;
 &#12524;&#12471;&#12500;9.1 &#12479;&#12452;&#12512;&#12473;&#12479;&#12531;&#12503;&#12434;&#21462;&#24471;&#65295;&#35373;&#23450;&#12377;&#12427;
 -----------------------------------------
 
+`Getting and Setting Timestamps <http://docstore.mik.ua/orelly/perl/cookbook/ch09_02.htm>`_
+
+&#26178;&#38291;&#12398;&#22793;&#25563;&#12364;&#12385;&#12423;&#12387;&#12392;&#38754;&#20498;&#12384;&#12290;
+
+.. code-block:: haskell
+
+    import System.Posix.Files
+    import System.Time
+    import System.Posix.Types
+    import System.Environment
+    
+    getTimes :: FilePath -> IO (ClockTime, ClockTime)
+    getTimes fp =
+        do stat <- getFileStatus fp
+           return (toct (accessTime stat),
+                   toct (modificationTime stat))
+    
+    toct :: EpochTime -> ClockTime
+    toct et = TOD (truncate (toRational et)) 0
+    
+    main :: IO ()
+    main = do
+      (file:_) <- getArgs
+      (atime, mtime) <- getTimes file
+      toCalendarTime atime >>= print
+      toCalendarTime mtime >>= print
+
+&#21442;&#32771;
+
+- `File Modification Times  <http://book.realworldhaskell.org/read/systems-programming-in-haskell.html>`_ 
+- `System.Time <http://hackage.haskell.org/packages/archive/old-time/latest/doc/html/System-Time.html#t:ClockTime>`_ 
+
 &#12524;&#12471;&#12500;9.2 &#12501;&#12449;&#12452;&#12523;&#12434;&#21066;&#38500;&#12377;&#12427;
 -----------------------------
 
