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 : (Mapping(C, A, B), InfiniteTuple(A), InfiniteTuple(B)) -> InfiniteTuple(C)

map(f, a, b) is undocumented

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

map(f, a, b) is undocumented

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

map(f, a, b) is undocumented