InfiniteTupleFunctions3(A, B, C)ΒΆ

ituple.spad line 50

Functions defined on streams with entries in two sets.

map: ((A, B) -> C, InfiniteTuple A, InfiniteTuple B) -> InfiniteTuple C
map(f, a, b) undocumented
map: ((A, B) -> C, InfiniteTuple A, Stream B) -> Stream C
map(f, a, b) undocumented
map: ((A, B) -> C, Stream A, InfiniteTuple B) -> Stream C
map(f, a, b) undocumented