InfiniteTupleFunctions2(A, B)

ituple.spad line 36 [edit on github]

• A: Type

• B: Type

Functions defined on streams with entries in two sets.

map: (A -> B, InfiniteTuple A) -> InfiniteTuple B

map(f, [x0, x1, x2, ...]) returns [f(x0), f(x1), f(x2), ..].