search

snoyberg / conduit

A streaming data library
903 stars 196 forks source link

Add |$| = zipSinks #211

Open snoyberg opened 9 years ago

snoyberg commented 9 years ago

Discussed with @ndmitchell via email, opening an issue to track this. It would be useful to have an operator |$| for common cases of ZipSink. However, it's unclear what the fixity of such an operator should be. Suggestions welcome!

ndmitchell commented 9 years ago

It's also unclear (to me at least) whether:

a =$= b |$| c =$= d

Is equivalent to which of:

(a =$= b) |$| (c =$= d)
a =$= (b |$| c) =$= d

I suggest we nail that down before hunting for a fixity. For an associativity, I suspect we want:

a |$| b |$| c
(a |$| b) |$| c

The alternative would seem unexpected.