prelude 0.0.1 → 0.0.2

Sign up to get free protection for your applications and to get access to all the features.
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>