InfiniteTupleFunctions2(A, B)

ituple.spad line 36 [edit on github]

• A : Type
• B : Type

Functions defined on streams with entries in two sets.

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

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