InfiniteTupleFunctions3(A, B, C)

ituple.spad line 50 [edit on github]

• A: Type

• B: Type

• C: Type

Functions defined on streams with entries in three 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