-
Notifications
You must be signed in to change notification settings - Fork 7
/
generator.html
75 lines (72 loc) · 2.04 KB
/
generator.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<HTML>
<HEAD>
<!-- EDIT -->
<TITLE>Mozart Standard Library: Lazy Generators</TITLE>
<STYLE>
BODY {
background-color: white;
margin-left : 2cm;
margin-right : 2cm;
font-family : tahoma,arial,helvetica,sans-serif;
}
H1 {
text-align : center;
color : #9B0000;
}
H2 { color : #FF9933; }
H4 { color : slateblue; }
H3 { color : #881155; }
H5 { color : darkslateblue; }
CODE { color : #663366; }
CODE,TT {
font-family : "lucida console",courier,monospace;
}
CODE.DISPLAY {
display : block;
white-space : pre;
margin-left : 2cm;
margin-top : 1em;
margin-bottom : 1em;
}
P.AUTHOR {
text-align : center;
font-weight : bold;
}
SPAN.MODULE {
color : steelblue;
}
A { color : steelblue; }
SPAN.COMMENT { color: #B22222; }
SPAN.KEYWORD { color: #A020F0; }
SPAN.STRING { color: #BC8F8F; }
SPAN.FUNCTIONNAME { color: #0000FF; }
SPAN.TYPE { color: #228B22; }
SPAN.VARIABLENAME { color: #B8860B; }
SPAN.REFERENCE { color: #5F9EA0; }
SPAN.BUILTIN { color: #DA70D6; }
</STYLE>
</HEAD>
<BODY>
<!-- EDIT -->
<H1>Lazy Generators</H1>
<P CLASS="AUTHOR">Denys Duchier</P>
<DL>
<DT><B>module</B>
<DD><SPAN CLASS="MODULE">x-oz://system/Generator.ozf</SPAN>
</DL>
<HR>
<P>This module provides <I>lazy generators</I>, i.e. functions that
return lists which are lazily computed concurrently, by-need
<H2>Exports</H2>
<DL>
<DT><CODE>{Generator.Tails +L ?Tails}</CODE>
<DD>returns a lazy list of all non-empty tails of list <CODE>L</CODE>
<DT><CODE>{Generator.count +From +To +By ?L}</CODE>
<DD>returns a lazy list of integers starting at <CODE>From</CODE>, ending at
at most <CODE>To</CODE>, and in steps of <CODE>By</CODE>. Whether we count
up or down is determined by the sign of <CODE>By</CODE>
</DL>
<HR>
</BODY>
</HTML>