RubyGems - prelude - Versions diffs - 0.0.3 → 0.0.5 - Mend

prelude 0.0.3 → 0.0.5

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (43) hide show

data/CHANGELOG +25 -1
data/README +11 -12
data/Rakefile +6 -10
data/lib/prelude.rb +36 -91
data/lib/prelude/{tuple.rb → array_list.rb} +30 -27
data/lib/prelude/functions.rb +414 -0
data/lib/prelude/functors.rb +72 -0
data/lib/prelude/lambda.rb +89 -0
data/lib/prelude/minimal_array_list.rb +61 -0
data/lib/prelude/monad.rb +11 -15
data/lib/prelude/proper_list.rb +47 -0
data/lib/prelude/proper_ruby_list.rb +48 -0
data/lib/prelude/util.rb +33 -0
data/test/tc_functions.rb +801 -0
data/test/tc_monad.rb +21 -41
data/test/ts_prelude.rb +2 -8
metadata +13 -36
data/doc/classes/Kernel.html +0 -198
data/doc/classes/Prelude.html +0 -241
data/doc/classes/Prelude/EmptyListError.html +0 -113
data/doc/classes/Prelude/List.html +0 -2692
data/doc/classes/Prelude/MissingFunctionError.html +0 -113
data/doc/classes/Prelude/Monad.html +0 -283
data/doc/classes/Prelude/Tuple.html +0 -217
data/doc/classes/Proc.html +0 -198
data/doc/classes/Symbol.html +0 -219
data/doc/created.rid +0 -1
data/doc/files/CHANGELOG.html +0 -122
data/doc/files/README.html +0 -328
data/doc/files/TODO.html +0 -95
data/doc/files/lib/prelude/list_rb.html +0 -83
data/doc/files/lib/prelude/monad_rb.html +0 -83
data/doc/files/lib/prelude/tuple_rb.html +0 -83
data/doc/files/lib/prelude_rb.html +0 -98
data/doc/fr_class_index.html +0 -35
data/doc/fr_file_index.html +0 -33
data/doc/fr_method_index.html +0 -140
data/doc/index.html +0 -27
data/doc/rdoc-style.css +0 -208
data/lib/prelude/list.rb +0 -588
data/test/tc_higher.rb +0 -89
data/test/tc_list.rb +0 -777
data/test/tc_tuple.rb +0 -82

data/doc/classes/Prelude/MissingFunctionError.html DELETED

@@ -1,113 +0,0 @@
-<?xml version="1.0" encoding="iso-8859-1"?>
-<!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" xml:lang="en" lang="en">
-<head>
-  <title>Class: Prelude::MissingFunctionError</title>
-  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
-  <meta http-equiv="Content-Script-Type" content="text/javascript" />
-  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
-  <script type="text/javascript">
-  // <![CDATA[
-  function popupCode( url ) {
-    window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
-  }
-  function toggleCode( id ) {
-    if ( document.getElementById )
-      elem = document.getElementById( id );
-    else if ( document.all )
-      elem = eval( "document.all." + id );
-    else
-      return false;
-    elemStyle = elem.style;
-    if ( elemStyle.display != "block" ) {
-      elemStyle.display = "block"
-    } else {
-      elemStyle.display = "none"
-    }
-    return true;
-  }
-  // Make codeblocks hidden by default
-  document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
-  // ]]>
-  </script>
-</head>
-<body>
-    <div id="classHeader">
-        <table class="header-table">
-        <tr class="top-aligned-row">
-          <td><strong>Class</strong></td>
-          <td class="class-name-in-header">Prelude::MissingFunctionError</td>
-        </tr>
-        <tr class="top-aligned-row">
-            <td><strong>In:</strong></td>
-            <td>
-                <a href="../../files/lib/prelude_rb.html">
-                lib/prelude.rb
-                </a>
-        <br />
-            </td>
-        </tr>
-        <tr class="top-aligned-row">
-            <td><strong>Parent:</strong></td>
-            <td>
-                RuntimeError
-            </td>
-        </tr>
-        </table>
-    </div>
-  <!-- banner header -->
-  <div id="bodyContent">
-  <div id="contextContent">
-    <div id="description">
-      <p>
-Thrown if no function was supplied
-</p>
-    </div>
-   </div>
-  </div>
-    <!-- if includes -->
-    <div id="section">
-    <!-- if method_list -->
-  </div>
-</body>
-</html>

data/doc/classes/Prelude/Monad.html DELETED

@@ -1,283 +0,0 @@
-<?xml version="1.0" encoding="iso-8859-1"?>
-<!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" xml:lang="en" lang="en">
-<head>
-  <title>Module: Prelude::Monad</title>
-  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
-  <meta http-equiv="Content-Script-Type" content="text/javascript" />
-  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
-  <script type="text/javascript">
-  // <![CDATA[
-  function popupCode( url ) {
-    window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
-  }
-  function toggleCode( id ) {
-    if ( document.getElementById )
-      elem = document.getElementById( id );
-    else if ( document.all )
-      elem = eval( "document.all." + id );
-    else
-      return false;
-    elemStyle = elem.style;
-    if ( elemStyle.display != "block" ) {
-      elemStyle.display = "block"
-    } else {
-      elemStyle.display = "none"
-    }
-    return true;
-  }
-  // Make codeblocks hidden by default
-  document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
-  // ]]>
-  </script>
-</head>
-<body>
-    <div id="classHeader">
-        <table class="header-table">
-        <tr class="top-aligned-row">
-          <td><strong>Module</strong></td>
-          <td class="class-name-in-header">Prelude::Monad</td>
-        </tr>
-        <tr class="top-aligned-row">
-            <td><strong>In:</strong></td>
-            <td>
-                <a href="../../files/lib/prelude/monad_rb.html">
-                lib/prelude/monad.rb
-                </a>
-        <br />
-            </td>
-        </tr>
-        </table>
-    </div>
-  <!-- banner header -->
-  <div id="bodyContent">
-  <div id="contextContent">
-    <div id="description">
-      <p>
-$Id: monad.rb 13 2006-09-11 05:19:16Z prelude $
-</p>
-    </div>
-   </div>
-    <div id="method-list">
-      <h3 class="section-bar">Methods</h3>
-      <div class="name-list">
-      <a href="#M000015">&lt;&lt;</a>&nbsp;&nbsp;
-      <a href="#M000014">bind</a>&nbsp;&nbsp;
-      <a href="#M000012">empty</a>&nbsp;&nbsp;
-      <a href="#M000013">join</a>&nbsp;&nbsp;
-      <a href="#M000011">unwrap</a>&nbsp;&nbsp;
-      <a href="#M000010">wrap</a>&nbsp;&nbsp;
-      </div>
-    </div>
-  </div>
-    <!-- if includes -->
-    <div id="section">
-    <div id="constants-list">
-      <h3 class="section-bar">Constants</h3>
-      <div class="name-list">
-        <table summary="Constants">
-        <tr class="top-aligned-row context-row">
-          <td class="context-item-name">State</td>
-          <td>=</td>
-          <td class="context-item-value">{}</td>
-        </tr>
-        </table>
-      </div>
-    </div>
-    <!-- if method_list -->
-    <div id="methods">
-      <h3 class="section-bar">Public Class methods</h3>
-      <div id="method-M000013" class="method-detail">
-        <a name="M000013"></a>
-        <div class="method-heading">
-          <a href="#M000013" class="method-signature">
-          <span class="method-name">join</span><span class="method-args">(arr)</span>
-          </a>
-        </div>
-        <div class="method-description">
-          <p><a class="source-toggle" href="#"
-            onclick="toggleCode('M000013-source');return false;">[Source]</a></p>
-          <div class="method-source-code" id="M000013-source">
-<pre>
-    <span class="ruby-comment cmt"># File lib/prelude/monad.rb, line 45</span>
-45:     <span class="ruby-keyword kw">def</span> <span class="ruby-constant">Monad</span>.<span class="ruby-identifier">join</span>(<span class="ruby-identifier">arr</span>)
-46:       <span class="ruby-identifier">r</span> = []
-47:       <span class="ruby-identifier">arr</span>.<span class="ruby-identifier">each</span> {<span class="ruby-operator">|</span><span class="ruby-identifier">a</span><span class="ruby-operator">|</span> <span class="ruby-identifier">r</span>.<span class="ruby-identifier">push</span> <span class="ruby-operator">*</span><span class="ruby-identifier">a</span>}
-48:       <span class="ruby-identifier">r</span>
-49:     <span class="ruby-keyword kw">end</span>
-</pre>
-          </div>
-        </div>
-      </div>
-      <h3 class="section-bar">Public Instance methods</h3>
-      <div id="method-M000015" class="method-detail">
-        <a name="M000015"></a>
-        <div class="method-heading">
-          <span class="method-name">&lt;&lt;</span><span class="method-args">(f=nil)</span>
-        </div>
-        <div class="method-description">
-          <p>
-Alias for <a href="Monad.html#M000014">bind</a>
-</p>
-        </div>
-      </div>
-      <div id="method-M000014" class="method-detail">
-        <a name="M000014"></a>
-        <div class="method-heading">
-          <a href="#M000014" class="method-signature">
-          <span class="method-name">bind</span><span class="method-args">(f=nil)</span>
-          </a>
-        </div>
-        <div class="method-description">
-          <p><a class="source-toggle" href="#"
-            onclick="toggleCode('M000014-source');return false;">[Source]</a></p>
-          <div class="method-source-code" id="M000014-source">
-<pre>
-    <span class="ruby-comment cmt"># File lib/prelude/monad.rb, line 51</span>
-51:     <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">bind</span>(<span class="ruby-identifier">f</span>=<span class="ruby-keyword kw">nil</span>)
-52:       <span class="ruby-keyword kw">case</span>
-53:       <span class="ruby-keyword kw">when</span> <span class="ruby-identifier">f</span>.<span class="ruby-identifier">kind_of?</span>(<span class="ruby-constant">Symbol</span>) <span class="ruby-operator">||</span> <span class="ruby-identifier">f</span>.<span class="ruby-identifier">kind_of?</span>(<span class="ruby-constant">Method</span>) <span class="ruby-operator">||</span> <span class="ruby-identifier">f</span>.<span class="ruby-identifier">kind_of?</span>(<span class="ruby-constant">Proc</span>) <span class="ruby-operator">:</span>
-54:           <span class="ruby-constant">State</span>[<span class="ruby-identifier">object_id</span>] = <span class="ruby-identifier">f</span>.<span class="ruby-identifier">to_proc</span>.<span class="ruby-identifier">call</span>(<span class="ruby-constant">State</span>[<span class="ruby-identifier">object_id</span>])
-55:         <span class="ruby-keyword kw">self</span>
-56:
-57: <span class="ruby-comment cmt">#      when f.kind_of?(Proc) :</span>
-58: <span class="ruby-comment cmt">#          State[object_id] = f.call(State[object_id])</span>
-59: <span class="ruby-comment cmt">#        self</span>
-60:
-61:       <span class="ruby-keyword kw">else</span>
-62:         <span class="ruby-identifier">f</span>
-63:       <span class="ruby-keyword kw">end</span> <span class="ruby-comment cmt"># case</span>
-64:     <span class="ruby-keyword kw">end</span>
-</pre>
-          </div>
-        </div>
-      </div>
-      <div id="method-M000012" class="method-detail">
-        <a name="M000012"></a>
-        <div class="method-heading">
-          <a href="#M000012" class="method-signature">
-          <span class="method-name">empty</span><span class="method-args">()</span>
-          </a>
-        </div>
-        <div class="method-description">
-          <p><a class="source-toggle" href="#"
-            onclick="toggleCode('M000012-source');return false;">[Source]</a></p>
-          <div class="method-source-code" id="M000012-source">
-<pre>
-    <span class="ruby-comment cmt"># File lib/prelude/monad.rb, line 40</span>
-40:     <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">empty</span>
-41:       <span class="ruby-constant">State</span>[<span class="ruby-identifier">object_id</span>] = <span class="ruby-keyword kw">nil</span>
-42:       <span class="ruby-keyword kw">self</span>
-43:     <span class="ruby-keyword kw">end</span>
-</pre>
-          </div>
-        </div>
-      </div>
-      <div id="method-M000011" class="method-detail">
-        <a name="M000011"></a>
-        <div class="method-heading">
-          <a href="#M000011" class="method-signature">
-          <span class="method-name">unwrap</span><span class="method-args">()</span>
-          </a>
-        </div>
-        <div class="method-description">
-          <p><a class="source-toggle" href="#"
-            onclick="toggleCode('M000011-source');return false;">[Source]</a></p>
-          <div class="method-source-code" id="M000011-source">
-<pre>
-    <span class="ruby-comment cmt"># File lib/prelude/monad.rb, line 36</span>
-36:     <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">unwrap</span>
-37:       <span class="ruby-constant">State</span>[<span class="ruby-identifier">object_id</span>]
-38:     <span class="ruby-keyword kw">end</span>
-</pre>
-          </div>
-        </div>
-      </div>
-      <div id="method-M000010" class="method-detail">
-        <a name="M000010"></a>
-        <div class="method-heading">
-          <a href="#M000010" class="method-signature">
-          <span class="method-name">wrap</span><span class="method-args">()</span>
-          </a>
-        </div>
-        <div class="method-description">
-          <p><a class="source-toggle" href="#"
-            onclick="toggleCode('M000010-source');return false;">[Source]</a></p>
-          <div class="method-source-code" id="M000010-source">
-<pre>
-    <span class="ruby-comment cmt"># File lib/prelude/monad.rb, line 31</span>
-31:     <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">wrap</span>
-32:       <span class="ruby-constant">State</span>[<span class="ruby-identifier">object_id</span>] = <span class="ruby-keyword kw">self</span>
-33:       <span class="ruby-keyword kw">self</span>
-34:     <span class="ruby-keyword kw">end</span>
-</pre>
-          </div>
-        </div>
-      </div>
-    </div>
-  </div>
-</body>
-</html>

data/doc/classes/Prelude/Tuple.html DELETED

@@ -1,217 +0,0 @@
-<?xml version="1.0" encoding="iso-8859-1"?>
-<!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" xml:lang="en" lang="en">
-<head>
-  <title>Class: Prelude::Tuple</title>
-  <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
-  <meta http-equiv="Content-Script-Type" content="text/javascript" />
-  <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
-  <script type="text/javascript">
-  // <![CDATA[
-  function popupCode( url ) {
-    window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
-  }
-  function toggleCode( id ) {
-    if ( document.getElementById )
-      elem = document.getElementById( id );
-    else if ( document.all )
-      elem = eval( "document.all." + id );
-    else
-      return false;
-    elemStyle = elem.style;
-    if ( elemStyle.display != "block" ) {
-      elemStyle.display = "block"
-    } else {
-      elemStyle.display = "none"
-    }
-    return true;
-  }
-  // Make codeblocks hidden by default
-  document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
-  // ]]>
-  </script>
-</head>
-<body>
-    <div id="classHeader">
-        <table class="header-table">
-        <tr class="top-aligned-row">
-          <td><strong>Class</strong></td>
-          <td class="class-name-in-header">Prelude::Tuple</td>
-        </tr>
-        <tr class="top-aligned-row">
-            <td><strong>In:</strong></td>
-            <td>
-                <a href="../../files/lib/prelude/tuple_rb.html">
-                lib/prelude/tuple.rb
-                </a>
-        <br />
-            </td>
-        </tr>
-        <tr class="top-aligned-row">
-            <td><strong>Parent:</strong></td>
-            <td>
-                Array
-            </td>
-        </tr>
-        </table>
-    </div>
-  <!-- banner header -->
-  <div id="bodyContent">
-  <div id="contextContent">
-    <div id="description">
-      <p>
-$Id: tuple.rb 7 2006-09-06 17:03:26Z prelude $
-</p>
-<p>
-The <a href="Tuple.html">Tuple</a>&#8217;s being an Array should be
-considered an implementation inheritance.
-</p>
-    </div>
-   </div>
-    <div id="method-list">
-      <h3 class="section-bar">Methods</h3>
-      <div class="name-list">
-      <a href="#M000110">fst</a>&nbsp;&nbsp;
-      <a href="#M000109">new</a>&nbsp;&nbsp;
-      <a href="#M000111">snd</a>&nbsp;&nbsp;
-      </div>
-    </div>
-  </div>
-    <!-- if includes -->
-    <div id="section">
-    <!-- if method_list -->
-    <div id="methods">
-      <h3 class="section-bar">Public Class methods</h3>
-      <div id="method-M000109" class="method-detail">
-        <a name="M000109"></a>
-        <div class="method-heading">
-          <a href="#M000109" class="method-signature">
-          <span class="method-name">new</span><span class="method-args">(*args)</span>
-          </a>
-        </div>
-        <div class="method-description">
-          <p><a class="source-toggle" href="#"
-            onclick="toggleCode('M000109-source');return false;">[Source]</a></p>
-          <div class="method-source-code" id="M000109-source">
-<pre>
-    <span class="ruby-comment cmt"># File lib/prelude/tuple.rb, line 31</span>
-31:     <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">initialize</span>(<span class="ruby-operator">*</span><span class="ruby-identifier">args</span>)
-32:       <span class="ruby-keyword kw">case</span>
-33:       <span class="ruby-keyword kw">when</span> <span class="ruby-identifier">args</span>.<span class="ruby-identifier">nil?</span> <span class="ruby-operator">||</span> <span class="ruby-identifier">args</span>.<span class="ruby-identifier">empty?</span> <span class="ruby-operator">:</span>
-34:           <span class="ruby-keyword kw">self</span>[<span class="ruby-value">0</span>] = <span class="ruby-keyword kw">self</span>[<span class="ruby-value">1</span>] = <span class="ruby-keyword kw">nil</span>
-35:       <span class="ruby-keyword kw">when</span> <span class="ruby-identifier">args</span>.<span class="ruby-identifier">length</span> <span class="ruby-operator">==</span> <span class="ruby-value">1</span> <span class="ruby-operator">&amp;&amp;</span> <span class="ruby-identifier">args</span>[<span class="ruby-value">0</span>].<span class="ruby-identifier">kind_of?</span>(<span class="ruby-constant">Array</span>) <span class="ruby-operator">:</span>
-36:           <span class="ruby-keyword kw">self</span>[<span class="ruby-value">0</span>] = <span class="ruby-identifier">args</span>[<span class="ruby-value">0</span>][<span class="ruby-value">0</span>]
-37:           <span class="ruby-keyword kw">self</span>[<span class="ruby-value">1</span>] = <span class="ruby-identifier">args</span>[<span class="ruby-value">0</span>][<span class="ruby-value">1</span><span class="ruby-operator">..</span><span class="ruby-value">-1</span>]
-38:       <span class="ruby-keyword kw">when</span> <span class="ruby-identifier">args</span>.<span class="ruby-identifier">length</span> <span class="ruby-operator">==</span> <span class="ruby-value">1</span>         <span class="ruby-operator">:</span>
-39:           <span class="ruby-keyword kw">self</span>[<span class="ruby-value">0</span>] = <span class="ruby-identifier">args</span>[<span class="ruby-value">0</span>]
-40:           <span class="ruby-keyword kw">self</span>[<span class="ruby-value">1</span>] = <span class="ruby-keyword kw">nil</span>
-41:       <span class="ruby-keyword kw">when</span> <span class="ruby-identifier">args</span>.<span class="ruby-identifier">length</span> <span class="ruby-operator">==</span> <span class="ruby-value">2</span>         <span class="ruby-operator">:</span>
-42:           <span class="ruby-keyword kw">self</span>[<span class="ruby-value">0</span>] = <span class="ruby-identifier">args</span>[<span class="ruby-value">0</span>]
-43:           <span class="ruby-keyword kw">self</span>[<span class="ruby-value">1</span>] = <span class="ruby-identifier">args</span>[<span class="ruby-value">1</span>]
-44:       <span class="ruby-keyword kw">when</span> <span class="ruby-identifier">args</span>.<span class="ruby-identifier">length</span>  <span class="ruby-operator">&gt;</span> <span class="ruby-value">2</span>         <span class="ruby-operator">:</span>
-45:           <span class="ruby-keyword kw">self</span>[<span class="ruby-value">0</span>] = <span class="ruby-identifier">args</span>[<span class="ruby-value">0</span>]
-46:           <span class="ruby-keyword kw">self</span>[<span class="ruby-value">1</span>] = <span class="ruby-identifier">args</span>[<span class="ruby-value">1</span><span class="ruby-operator">..</span><span class="ruby-value">-1</span>]
-47:       <span class="ruby-keyword kw">end</span> <span class="ruby-comment cmt"># case</span>
-48:     <span class="ruby-keyword kw">end</span>
-</pre>
-          </div>
-        </div>
-      </div>
-      <h3 class="section-bar">Public Instance methods</h3>
-      <div id="method-M000110" class="method-detail">
-        <a name="M000110"></a>
-        <div class="method-heading">
-          <a href="#M000110" class="method-signature">
-          <span class="method-name">fst</span><span class="method-args">()</span>
-          </a>
-        </div>
-        <div class="method-description">
-          <p><a class="source-toggle" href="#"
-            onclick="toggleCode('M000110-source');return false;">[Source]</a></p>
-          <div class="method-source-code" id="M000110-source">
-<pre>
-    <span class="ruby-comment cmt"># File lib/prelude/tuple.rb, line 50</span>
-50:     <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">fst</span>
-51:       <span class="ruby-keyword kw">self</span>[<span class="ruby-value">0</span>]
-52:     <span class="ruby-keyword kw">end</span>
-</pre>
-          </div>
-        </div>
-      </div>
-      <div id="method-M000111" class="method-detail">
-        <a name="M000111"></a>
-        <div class="method-heading">
-          <a href="#M000111" class="method-signature">
-          <span class="method-name">snd</span><span class="method-args">()</span>
-          </a>
-        </div>
-        <div class="method-description">
-          <p><a class="source-toggle" href="#"
-            onclick="toggleCode('M000111-source');return false;">[Source]</a></p>
-          <div class="method-source-code" id="M000111-source">
-<pre>
-    <span class="ruby-comment cmt"># File lib/prelude/tuple.rb, line 54</span>
-54:     <span class="ruby-keyword kw">def</span> <span class="ruby-identifier">snd</span>
-55:       <span class="ruby-keyword kw">self</span>[<span class="ruby-value">1</span>]
-56:     <span class="ruby-keyword kw">end</span>
-</pre>
-          </div>
-        </div>
-      </div>
-    </div>
-  </div>
-</body>
-</html>