prelude 0.0.3 → 0.0.5

Sign up to get free protection for your applications and to get access to all the features.
Files changed (43) hide show
  1. data/CHANGELOG +25 -1
  2. data/README +11 -12
  3. data/Rakefile +6 -10
  4. data/lib/prelude.rb +36 -91
  5. data/lib/prelude/{tuple.rb → array_list.rb} +30 -27
  6. data/lib/prelude/functions.rb +414 -0
  7. data/lib/prelude/functors.rb +72 -0
  8. data/lib/prelude/lambda.rb +89 -0
  9. data/lib/prelude/minimal_array_list.rb +61 -0
  10. data/lib/prelude/monad.rb +11 -15
  11. data/lib/prelude/proper_list.rb +47 -0
  12. data/lib/prelude/proper_ruby_list.rb +48 -0
  13. data/lib/prelude/util.rb +33 -0
  14. data/test/tc_functions.rb +801 -0
  15. data/test/tc_monad.rb +21 -41
  16. data/test/ts_prelude.rb +2 -8
  17. metadata +13 -36
  18. data/doc/classes/Kernel.html +0 -198
  19. data/doc/classes/Prelude.html +0 -241
  20. data/doc/classes/Prelude/EmptyListError.html +0 -113
  21. data/doc/classes/Prelude/List.html +0 -2692
  22. data/doc/classes/Prelude/MissingFunctionError.html +0 -113
  23. data/doc/classes/Prelude/Monad.html +0 -283
  24. data/doc/classes/Prelude/Tuple.html +0 -217
  25. data/doc/classes/Proc.html +0 -198
  26. data/doc/classes/Symbol.html +0 -219
  27. data/doc/created.rid +0 -1
  28. data/doc/files/CHANGELOG.html +0 -122
  29. data/doc/files/README.html +0 -328
  30. data/doc/files/TODO.html +0 -95
  31. data/doc/files/lib/prelude/list_rb.html +0 -83
  32. data/doc/files/lib/prelude/monad_rb.html +0 -83
  33. data/doc/files/lib/prelude/tuple_rb.html +0 -83
  34. data/doc/files/lib/prelude_rb.html +0 -98
  35. data/doc/fr_class_index.html +0 -35
  36. data/doc/fr_file_index.html +0 -33
  37. data/doc/fr_method_index.html +0 -140
  38. data/doc/index.html +0 -27
  39. data/doc/rdoc-style.css +0 -208
  40. data/lib/prelude/list.rb +0 -588
  41. data/test/tc_higher.rb +0 -89
  42. data/test/tc_list.rb +0 -777
  43. data/test/tc_tuple.rb +0 -82
data/doc/files/lib/prelude/monad_rb.html DELETED
@@ -1,83 +0,0 @@
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 DELETED
@@ -1,83 +0,0 @@
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 DELETED
@@ -1,98 +0,0 @@
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 17 2006-09-17 18:03:15Z 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 DELETED
@@ -1,35 +0,0 @@
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/Kernel.html">Kernel</a><br />
24
- <a href="classes/Prelude.html">Prelude</a><br />
25
- <a href="classes/Prelude/EmptyListError.html">Prelude::EmptyListError</a><br />
26
- <a href="classes/Prelude/List.html">Prelude::List</a><br />
27
- <a href="classes/Prelude/MissingFunctionError.html">Prelude::MissingFunctionError</a><br />
28
- <a href="classes/Prelude/Monad.html">Prelude::Monad</a><br />
29
- <a href="classes/Prelude/Tuple.html">Prelude::Tuple</a><br />
30
- <a href="classes/Proc.html">Proc</a><br />
31
- <a href="classes/Symbol.html">Symbol</a><br />
32
- </div>
33
- </div>
34
- </body>
35
- </html>
data/doc/fr_file_index.html DELETED
@@ -1,33 +0,0 @@
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
- Files
10
-
11
- -->
12
- <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
13
- <head>
14
- <title>Files</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">Files</h1>
22
- <div id="index-entries">
23
- <a href="files/CHANGELOG.html">CHANGELOG</a><br />
24
- <a href="files/README.html">README</a><br />
25
- <a href="files/TODO.html">TODO</a><br />
26
- <a href="files/lib/prelude_rb.html">lib/prelude.rb</a><br />
27
- <a href="files/lib/prelude/list_rb.html">lib/prelude/list.rb</a><br />
28
- <a href="files/lib/prelude/monad_rb.html">lib/prelude/monad.rb</a><br />
29
- <a href="files/lib/prelude/tuple_rb.html">lib/prelude/tuple.rb</a><br />
30
- </div>
31
- </div>
32
- </body>
33
- </html>
data/doc/fr_method_index.html DELETED
@@ -1,140 +0,0 @@
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
- Methods
10
-
11
- -->
12
- <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
13
- <head>
14
- <title>Methods</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">Methods</h1>
22
- <div id="index-entries">
23
- <a href="classes/Proc.html#M000006">** (Proc)</a><br />
24
- <a href="classes/Symbol.html#M000004">** (Symbol)</a><br />
25
- <a href="classes/Symbol.html#M000002">-@ (Symbol)</a><br />
26
- <a href="classes/Prelude/Monad.html#M000015"><< (Prelude::Monad)</a><br />
27
- <a href="classes/Prelude/List.html#M000038">all (Prelude::List)</a><br />
28
- <a href="classes/Prelude/List.html#M000035">and_ (Prelude::List)</a><br />
29
- <a href="classes/Prelude/List.html#M000037">any (Prelude::List)</a><br />
30
- <a href="classes/Prelude/Monad.html#M000014">bind (Prelude::Monad)</a><br />
31
- <a href="classes/Prelude/List.html#M000064">break_ (Prelude::List)</a><br />
32
- <a href="classes/Kernel.html#M000113">caller_method (Kernel)</a><br />
33
- <a href="classes/Prelude/List.html#M000032">concat (Prelude::List)</a><br />
34
- <a href="classes/Prelude/List.html#M000034">concatMap (Prelude::List)</a><br />
35
- <a href="classes/Prelude/List.html#M000033">concat_map (Prelude::List)</a><br />
36
- <a href="classes/Proc.html#M000005">curry (Proc)</a><br />
37
- <a href="classes/Symbol.html#M000003">curry (Symbol)</a><br />
38
- <a href="classes/Prelude/List.html#M000054">cycle (Prelude::List)</a><br />
39
- <a href="classes/Prelude/List.html#M000104">delete (Prelude::List)</a><br />
40
- <a href="classes/Prelude/List.html#M000057">drop (Prelude::List)</a><br />
41
- <a href="classes/Prelude/List.html#M000062">dropWhile (Prelude::List)</a><br />
42
- <a href="classes/Prelude/List.html#M000061">drop_while (Prelude::List)</a><br />
43
- <a href="classes/Prelude/List.html#M000072">elem (Prelude::List)</a><br />
44
- <a href="classes/Prelude/List.html#M000080">elemIndex (Prelude::List)</a><br />
45
- <a href="classes/Prelude/List.html#M000082">elemIndices (Prelude::List)</a><br />
46
- <a href="classes/Prelude/List.html#M000079">elem_index (Prelude::List)</a><br />
47
- <a href="classes/Prelude/List.html#M000081">elem_indices (Prelude::List)</a><br />
48
- <a href="classes/Prelude/Monad.html#M000012">empty (Prelude::Monad)</a><br />
49
- <a href="classes/Prelude.html#M000007">empty_list_error (Prelude)</a><br />
50
- <a href="classes/Prelude/List.html#M000077">filter (Prelude::List)</a><br />
51
- <a href="classes/Prelude/List.html#M000076">find (Prelude::List)</a><br />
52
- <a href="classes/Prelude/List.html#M000084">findIndex (Prelude::List)</a><br />
53
- <a href="classes/Prelude/List.html#M000086">findIndices (Prelude::List)</a><br />
54
- <a href="classes/Prelude/List.html#M000083">find_index (Prelude::List)</a><br />
55
- <a href="classes/Prelude/List.html#M000085">find_indices (Prelude::List)</a><br />
56
- <a href="classes/Prelude/List.html#M000026">foldl (Prelude::List)</a><br />
57
- <a href="classes/Prelude/List.html#M000028">foldl1 (Prelude::List)</a><br />
58
- <a href="classes/Prelude/List.html#M000029">foldl1_ (Prelude::List)</a><br />
59
- <a href="classes/Prelude/List.html#M000027">foldl_ (Prelude::List)</a><br />
60
- <a href="classes/Prelude/List.html#M000030">foldr (Prelude::List)</a><br />
61
- <a href="classes/Prelude/List.html#M000031">foldr1 (Prelude::List)</a><br />
62
- <a href="classes/Prelude/Tuple.html#M000110">fst (Prelude::Tuple)</a><br />
63
- <a href="classes/Prelude.html#M000009">get_proc (Prelude)</a><br />
64
- <a href="classes/Prelude/List.html#M000065">group (Prelude::List)</a><br />
65
- <a href="classes/Prelude/List.html#M000016">head (Prelude::List)</a><br />
66
- <a href="classes/Prelude/List.html#M000019">init (Prelude::List)</a><br />
67
- <a href="classes/Prelude/List.html#M000066">inits (Prelude::List)</a><br />
68
- <a href="classes/Prelude/List.html#M000108">insert (Prelude::List)</a><br />
69
- <a href="classes/Prelude/List.html#M000106">intersect (Prelude::List)</a><br />
70
- <a href="classes/Prelude/List.html#M000024">intersperse (Prelude::List)</a><br />
71
- <a href="classes/Prelude/List.html#M000069">isPrefixOf (Prelude::List)</a><br />
72
- <a href="classes/Prelude/List.html#M000071">isSuffixOf (Prelude::List)</a><br />
73
- <a href="classes/Prelude/List.html#M000068">is_prefix_of (Prelude::List)</a><br />
74
- <a href="classes/Prelude/List.html#M000070">is_suffix_of (Prelude::List)</a><br />
75
- <a href="classes/Prelude/List.html#M000051">iterate (Prelude::List)</a><br />
76
- <a href="classes/Prelude/Monad.html#M000013">join (Prelude::Monad)</a><br />
77
- <a href="classes/Prelude/List.html#M000018">last (Prelude::List)</a><br />
78
- <a href="classes/Prelude/List.html#M000021">length (Prelude::List)</a><br />
79
- <a href="classes/Prelude/List.html#M000099">lines (Prelude::List)</a><br />
80
- <a href="classes/Prelude/List.html#M000075">lookup (Prelude::List)</a><br />
81
- <a href="classes/Prelude/List.html#M000022">map (Prelude::List)</a><br />
82
- <a href="classes/Prelude/List.html#M000048">mapAccumL (Prelude::List)</a><br />
83
- <a href="classes/Prelude/List.html#M000050">mapAccumR (Prelude::List)</a><br />
84
- <a href="classes/Prelude/List.html#M000047">map_accum_l (Prelude::List)</a><br />
85
- <a href="classes/Prelude/List.html#M000049">map_accum_r (Prelude::List)</a><br />
86
- <a href="classes/Prelude/List.html#M000041">maximum (Prelude::List)</a><br />
87
- <a href="classes/Prelude/List.html#M000042">minimum (Prelude::List)</a><br />
88
- <a href="classes/Prelude.html#M000008">missing_function_error (Prelude)</a><br />
89
- <a href="classes/Prelude/Tuple.html#M000109">new (Prelude::Tuple)</a><br />
90
- <a href="classes/Prelude/List.html#M000074">notElem (Prelude::List)</a><br />
91
- <a href="classes/Prelude/List.html#M000073">not_elem (Prelude::List)</a><br />
92
- <a href="classes/Prelude/List.html#M000103">nub (Prelude::List)</a><br />
93
- <a href="classes/Prelude/List.html#M000020">null (Prelude::List)</a><br />
94
- <a href="classes/Prelude/List.html#M000036">or_ (Prelude::List)</a><br />
95
- <a href="classes/Prelude/List.html#M000078">partition (Prelude::List)</a><br />
96
- <a href="classes/Prelude/List.html#M000040">product (Prelude::List)</a><br />
97
- <a href="classes/Prelude/List.html#M000052">repeat (Prelude::List)</a><br />
98
- <a href="classes/Prelude/List.html#M000053">replicate (Prelude::List)</a><br />
99
- <a href="classes/Prelude/List.html#M000023">reverse (Prelude::List)</a><br />
100
- <a href="classes/Prelude/List.html#M000043">scanl (Prelude::List)</a><br />
101
- <a href="classes/Prelude/List.html#M000044">scanl1 (Prelude::List)</a><br />
102
- <a href="classes/Prelude/List.html#M000045">scanr (Prelude::List)</a><br />
103
- <a href="classes/Prelude/List.html#M000046">scanr1 (Prelude::List)</a><br />
104
- <a href="classes/Kernel.html#M000114">silence_warnings (Kernel)</a><br />
105
- <a href="classes/Prelude/Tuple.html#M000111">snd (Prelude::Tuple)</a><br />
106
- <a href="classes/Prelude/List.html#M000107">sort (Prelude::List)</a><br />
107
- <a href="classes/Prelude/List.html#M000063">span (Prelude::List)</a><br />
108
- <a href="classes/Prelude/List.html#M000058">split_at (Prelude::List)</a><br />
109
- <a href="classes/Prelude/List.html#M000039">sum (Prelude::List)</a><br />
110
- <a href="classes/Prelude/List.html#M000017">tail (Prelude::List)</a><br />
111
- <a href="classes/Prelude/List.html#M000067">tails (Prelude::List)</a><br />
112
- <a href="classes/Prelude/List.html#M000056">take (Prelude::List)</a><br />
113
- <a href="classes/Prelude/List.html#M000060">takeWhile (Prelude::List)</a><br />
114
- <a href="classes/Prelude/List.html#M000059">take_while (Prelude::List)</a><br />
115
- <a href="classes/Kernel.html#M000112">this_method (Kernel)</a><br />
116
- <a href="classes/Symbol.html#M000001">to_proc (Symbol)</a><br />
117
- <a href="classes/Prelude/List.html#M000025">transpose (Prelude::List)</a><br />
118
- <a href="classes/Prelude/List.html#M000055">unfoldr (Prelude::List)</a><br />
119
- <a href="classes/Prelude/List.html#M000105">union (Prelude::List)</a><br />
120
- <a href="classes/Prelude/List.html#M000101">unlines (Prelude::List)</a><br />
121
- <a href="classes/Prelude/List.html#M000102">unwords (Prelude::List)</a><br />
122
- <a href="classes/Prelude/Monad.html#M000011">unwrap (Prelude::Monad)</a><br />
123
- <a href="classes/Prelude/List.html#M000096">unzip (Prelude::List)</a><br />
124
- <a href="classes/Prelude/List.html#M000097">unzip3 (Prelude::List)</a><br />
125
- <a href="classes/Prelude/List.html#M000098">unzip4 (Prelude::List)</a><br />
126
- <a href="classes/Prelude/List.html#M000100">words (Prelude::List)</a><br />
127
- <a href="classes/Prelude/Monad.html#M000010">wrap (Prelude::Monad)</a><br />
128
- <a href="classes/Prelude/List.html#M000087">zip (Prelude::List)</a><br />
129
- <a href="classes/Prelude/List.html#M000088">zip3 (Prelude::List)</a><br />
130
- <a href="classes/Prelude/List.html#M000089">zip4 (Prelude::List)</a><br />
131
- <a href="classes/Prelude/List.html#M000091">zipWith (Prelude::List)</a><br />
132
- <a href="classes/Prelude/List.html#M000093">zipWith3 (Prelude::List)</a><br />
133
- <a href="classes/Prelude/List.html#M000095">zipWith4 (Prelude::List)</a><br />
134
- <a href="classes/Prelude/List.html#M000090">zip_with (Prelude::List)</a><br />
135
- <a href="classes/Prelude/List.html#M000092">zip_with3 (Prelude::List)</a><br />
136
- <a href="classes/Prelude/List.html#M000094">zip_with4 (Prelude::List)</a><br />
137
- </div>
138
- </div>
139
- </body>
140
- </html>