StreamFunctions3(A, B, C)

stream.spad line 1249 [edit on github]

• A : Type
• B : Type
• C : Type

Functions defined on streams with entries in three sets.

map : (Mapping(C, A, B), Stream(A), Stream(B)) -> Stream(C)

map(f, st1, st2) returns the stream whose elements are the function f applied to the corresponding elements of st1 and st2. Note: map(f, [x0, x1, x2, ..], [y0, y1, y2, ..]) = [f(x0, y0), f(x1, y1), ..].