Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | MLtonArray |
2 | ========== | |
3 | ||
4 | [source,sml] | |
5 | ---- | |
6 | signature MLTON_ARRAY = | |
7 | sig | |
8 | val unfoldi: int * 'b * (int * 'b -> 'a * 'b) -> 'a array * 'b | |
9 | end | |
10 | ---- | |
11 | ||
12 | * `unfoldi (n, b, f)` | |
13 | + | |
14 | constructs an array _a_ of length `n`, whose elements _a~i~_ are | |
15 | determined by the equations __b~0~ = b__ and | |
16 | __(a~i~, b~i+1~) = f (i, b~i~)__. |