prelude 0.0.1 → 0.0.2

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 (32) hide show
  1. data/CHANGELOG +11 -3
  2. data/COPYING +410 -247
  3. data/README +139 -9
  4. data/Rakefile +22 -19
  5. data/doc/classes/Prelude.html +134 -0
  6. data/doc/classes/Prelude/List.html +2549 -0
  7. data/doc/classes/Prelude/Monad.html +226 -0
  8. data/doc/classes/Prelude/Tuple.html +217 -0
  9. data/doc/classes/Proc.html +173 -0
  10. data/doc/classes/Symbol.html +166 -0
  11. data/doc/created.rid +1 -0
  12. data/doc/files/CHANGELOG.html +115 -0
  13. data/doc/files/README.html +328 -0
  14. data/doc/files/TODO.html +95 -0
  15. data/doc/files/lib/prelude/list_rb.html +83 -0
  16. data/doc/files/lib/prelude/monad_rb.html +83 -0
  17. data/doc/files/lib/prelude/tuple_rb.html +83 -0
  18. data/doc/files/lib/prelude_rb.html +98 -0
  19. data/doc/fr_class_index.html +32 -0
  20. data/doc/fr_file_index.html +33 -0
  21. data/doc/fr_method_index.html +124 -0
  22. data/doc/index.html +27 -0
  23. data/doc/rdoc-style.css +208 -0
  24. data/lib/prelude.rb +12 -15
  25. data/lib/prelude/list.rb +115 -131
  26. data/lib/prelude/monad.rb +31 -19
  27. data/lib/prelude/tuple.rb +27 -31
  28. data/test/tc_higher.rb +11 -11
  29. data/test/tc_list.rb +29 -15
  30. data/test/tc_tuple.rb +49 -11
  31. data/test/ts_prelude.rb +11 -11
  32. metadata +27 -3
data/doc/files/TODO.html ADDED
@@ -0,0 +1,95 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
7
+ <head>
8
+ <title>File: TODO</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <meta http-equiv="Content-Script-Type" content="text/javascript" />
11
+ <link rel="stylesheet" href=".././rdoc-style.css" type="text/css" media="screen" />
12
+ <script type="text/javascript">
13
+ // <![CDATA[
14
+
15
+ function popupCode( url ) {
16
+ window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
17
+ }
18
+
19
+ function toggleCode( id ) {
20
+ if ( document.getElementById )
21
+ elem = document.getElementById( id );
22
+ else if ( document.all )
23
+ elem = eval( "document.all." + id );
24
+ else
25
+ return false;
26
+
27
+ elemStyle = elem.style;
28
+
29
+ if ( elemStyle.display != "block" ) {
30
+ elemStyle.display = "block"
31
+ } else {
32
+ elemStyle.display = "none"
33
+ }
34
+
35
+ return true;
36
+ }
37
+
38
+ // Make codeblocks hidden by default
39
+ document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
40
+
41
+ // ]]>
42
+ </script>
43
+
44
+ </head>
45
+ <body>
46
+
47
+
48
+
49
+ <!-- banner header -->
50
+
51
+ <div id="bodyContent">
52
+
53
+
54
+
55
+ <div id="contextContent">
56
+
57
+ <div id="description">
58
+ <h1>TODO list</h1>
59
+ <p>
60
+ $Id: TODO 2 2006-08-25 00:11:17Z prelude $
61
+ </p>
62
+ <p>
63
+ Please refer to the task list on Rubyforge site for all outstanding tasks,
64
+ see <a
65
+ href="http://rubyforge.org/pm/?group_id=2096">rubyforge.org/pm/?group_id=2096</a>
66
+ </p>
67
+
68
+ </div>
69
+
70
+
71
+ </div>
72
+
73
+
74
+ </div>
75
+
76
+
77
+ <!-- if includes -->
78
+
79
+ <div id="section">
80
+
81
+
82
+
83
+
84
+
85
+
86
+
87
+
88
+ <!-- if method_list -->
89
+
90
+
91
+ </div>
92
+
93
+
94
+ </body>
95
+ </html>
data/doc/files/lib/prelude/list_rb.html ADDED
@@ -0,0 +1,83 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
7
+ <head>
8
+ <title>File: list.rb</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <meta http-equiv="Content-Script-Type" content="text/javascript" />
11
+ <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
12
+ <script type="text/javascript">
13
+ // <![CDATA[
14
+
15
+ function popupCode( url ) {
16
+ window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
17
+ }
18
+
19
+ function toggleCode( id ) {
20
+ if ( document.getElementById )
21
+ elem = document.getElementById( id );
22
+ else if ( document.all )
23
+ elem = eval( "document.all." + id );
24
+ else
25
+ return false;
26
+
27
+ elemStyle = elem.style;
28
+
29
+ if ( elemStyle.display != "block" ) {
30
+ elemStyle.display = "block"
31
+ } else {
32
+ elemStyle.display = "none"
33
+ }
34
+
35
+ return true;
36
+ }
37
+
38
+ // Make codeblocks hidden by default
39
+ document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
40
+
41
+ // ]]>
42
+ </script>
43
+
44
+ </head>
45
+ <body>
46
+
47
+
48
+
49
+ <!-- banner header -->
50
+
51
+ <div id="bodyContent">
52
+
53
+
54
+
55
+ <div id="contextContent">
56
+
57
+
58
+
59
+ </div>
60
+
61
+
62
+ </div>
63
+
64
+
65
+ <!-- if includes -->
66
+
67
+ <div id="section">
68
+
69
+
70
+
71
+
72
+
73
+
74
+
75
+
76
+ <!-- if method_list -->
77
+
78
+
79
+ </div>
80
+
81
+
82
+ </body>
83
+ </html>
data/doc/files/lib/prelude/monad_rb.html ADDED
@@ -0,0 +1,83 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
7
+ <head>
8
+ <title>File: monad.rb</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <meta http-equiv="Content-Script-Type" content="text/javascript" />
11
+ <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
12
+ <script type="text/javascript">
13
+ // <![CDATA[
14
+
15
+ function popupCode( url ) {
16
+ window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
17
+ }
18
+
19
+ function toggleCode( id ) {
20
+ if ( document.getElementById )
21
+ elem = document.getElementById( id );
22
+ else if ( document.all )
23
+ elem = eval( "document.all." + id );
24
+ else
25
+ return false;
26
+
27
+ elemStyle = elem.style;
28
+
29
+ if ( elemStyle.display != "block" ) {
30
+ elemStyle.display = "block"
31
+ } else {
32
+ elemStyle.display = "none"
33
+ }
34
+
35
+ return true;
36
+ }
37
+
38
+ // Make codeblocks hidden by default
39
+ document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
40
+
41
+ // ]]>
42
+ </script>
43
+
44
+ </head>
45
+ <body>
46
+
47
+
48
+
49
+ <!-- banner header -->
50
+
51
+ <div id="bodyContent">
52
+
53
+
54
+
55
+ <div id="contextContent">
56
+
57
+
58
+
59
+ </div>
60
+
61
+
62
+ </div>
63
+
64
+
65
+ <!-- if includes -->
66
+
67
+ <div id="section">
68
+
69
+
70
+
71
+
72
+
73
+
74
+
75
+
76
+ <!-- if method_list -->
77
+
78
+
79
+ </div>
80
+
81
+
82
+ </body>
83
+ </html>
data/doc/files/lib/prelude/tuple_rb.html ADDED
@@ -0,0 +1,83 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
7
+ <head>
8
+ <title>File: tuple.rb</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <meta http-equiv="Content-Script-Type" content="text/javascript" />
11
+ <link rel="stylesheet" href="../../.././rdoc-style.css" type="text/css" media="screen" />
12
+ <script type="text/javascript">
13
+ // <![CDATA[
14
+
15
+ function popupCode( url ) {
16
+ window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
17
+ }
18
+
19
+ function toggleCode( id ) {
20
+ if ( document.getElementById )
21
+ elem = document.getElementById( id );
22
+ else if ( document.all )
23
+ elem = eval( "document.all." + id );
24
+ else
25
+ return false;
26
+
27
+ elemStyle = elem.style;
28
+
29
+ if ( elemStyle.display != "block" ) {
30
+ elemStyle.display = "block"
31
+ } else {
32
+ elemStyle.display = "none"
33
+ }
34
+
35
+ return true;
36
+ }
37
+
38
+ // Make codeblocks hidden by default
39
+ document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
40
+
41
+ // ]]>
42
+ </script>
43
+
44
+ </head>
45
+ <body>
46
+
47
+
48
+
49
+ <!-- banner header -->
50
+
51
+ <div id="bodyContent">
52
+
53
+
54
+
55
+ <div id="contextContent">
56
+
57
+
58
+
59
+ </div>
60
+
61
+
62
+ </div>
63
+
64
+
65
+ <!-- if includes -->
66
+
67
+ <div id="section">
68
+
69
+
70
+
71
+
72
+
73
+
74
+
75
+
76
+ <!-- if method_list -->
77
+
78
+
79
+ </div>
80
+
81
+
82
+ </body>
83
+ </html>
data/doc/files/lib/prelude_rb.html ADDED
@@ -0,0 +1,98 @@
1
+ <?xml version="1.0" encoding="iso-8859-1"?>
2
+ <!DOCTYPE html
3
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
4
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
5
+
6
+ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
7
+ <head>
8
+ <title>File: prelude.rb</title>
9
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
10
+ <meta http-equiv="Content-Script-Type" content="text/javascript" />
11
+ <link rel="stylesheet" href="../.././rdoc-style.css" type="text/css" media="screen" />
12
+ <script type="text/javascript">
13
+ // <![CDATA[
14
+
15
+ function popupCode( url ) {
16
+ window.open(url, "Code", "resizable=yes,scrollbars=yes,toolbar=no,status=no,height=150,width=400")
17
+ }
18
+
19
+ function toggleCode( id ) {
20
+ if ( document.getElementById )
21
+ elem = document.getElementById( id );
22
+ else if ( document.all )
23
+ elem = eval( "document.all." + id );
24
+ else
25
+ return false;
26
+
27
+ elemStyle = elem.style;
28
+
29
+ if ( elemStyle.display != "block" ) {
30
+ elemStyle.display = "block"
31
+ } else {
32
+ elemStyle.display = "none"
33
+ }
34
+
35
+ return true;
36
+ }
37
+
38
+ // Make codeblocks hidden by default
39
+ document.writeln( "<style type=\"text/css\">div.method-source-code { display: none }</style>" )
40
+
41
+ // ]]>
42
+ </script>
43
+
44
+ </head>
45
+ <body>
46
+
47
+
48
+
49
+ <!-- banner header -->
50
+
51
+ <div id="bodyContent">
52
+
53
+
54
+
55
+ <div id="contextContent">
56
+
57
+ <div id="description">
58
+ <p>
59
+ $Id: prelude.rb 8 2006-09-06 17:06:22Z prelude $
60
+ </p>
61
+
62
+ </div>
63
+
64
+ <div id="requires-list">
65
+ <h3 class="section-bar">Required files</h3>
66
+
67
+ <div class="name-list">
68
+ prelude/list&nbsp;&nbsp;
69
+ prelude/tuple&nbsp;&nbsp;
70
+ prelude/monad&nbsp;&nbsp;
71
+ </div>
72
+ </div>
73
+
74
+ </div>
75
+
76
+
77
+ </div>
78
+
79
+
80
+ <!-- if includes -->
81
+
82
+ <div id="section">
83
+
84
+
85
+
86
+
87
+
88
+
89
+
90
+
91
+ <!-- if method_list -->
92
+
93
+
94
+ </div>
95
+
96
+
97
+ </body>
98
+ </html>
data/doc/fr_class_index.html ADDED
@@ -0,0 +1,32 @@
1
+
2
+ <?xml version="1.0" encoding="iso-8859-1"?>
3
+ <!DOCTYPE html
4
+ PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
5
+ "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
6
+
7
+ <!--
8
+
9
+ Classes
10
+
11
+ -->
12
+ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
13
+ <head>
14
+ <title>Classes</title>
15
+ <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
16
+ <link rel="stylesheet" href="rdoc-style.css" type="text/css" />
17
+ <base target="docwin" />
18
+ </head>
19
+ <body>
20
+ <div id="index">
21
+ <h1 class="section-bar">Classes</h1>
22
+ <div id="index-entries">
23
+ <a href="classes/Prelude.html">Prelude</a><br />
24
+ <a href="classes/Prelude/List.html">Prelude::List</a><br />
25
+ <a href="classes/Prelude/Monad.html">Prelude::Monad</a><br />
26
+ <a href="classes/Prelude/Tuple.html">Prelude::Tuple</a><br />
27
+ <a href="classes/Proc.html">Proc</a><br />
28
+ <a href="classes/Symbol.html">Symbol</a><br />
29
+ </div>
30
+ </div>
31
+ </body>
32
+ </html>